Trace number 4490351

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? 3596.5 3608.63

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUMb4b357048b7fd6a2befaa81502734110
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 benchmark11
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
Number of bits of the biggest sum of numbers13
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...
499.33/501.36	c Encoding OPB into MaxSAT...
499.33/501.36	c This is the PBCProcessor based on SCIP solver.
500.20/502.25	c Solving by WMaxCDCL...
3596.46/3608.61	c Rebuilding OPB solution...
3596.46/3608.62	c This is the PBCProcessor based on SCIP solver.
3596.46/3608.62	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 (62756 MiB free)
  memory of node 1: 64465 MiB (62771 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490351-1751372188/watcher-4490351-1751372188 -o /tmp/evaluation-result-4490351-1751372188/solver-4490351-1751372188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751371144-48822 --watchdog 3760 HOME/opbsolver HOME/instance-4490351-1751372188.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49176, runsolver pid=49173

[startup+0.100104 s]*
/proc/loadavg: 4.13 4.06 3.75 5/253 49180
/proc/meminfo: memFree=128540176/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=32084 memory=22016 CPUtime=0.07 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 3071 0 0 0 7 0 0 0 20 0 1 0 52898271 32854016 5504 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 8021 5504 2688 2826 0 4633 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36276 KiB
Current children cumulated memory: 24960 KiB

[startup+0.213149 s]*
/proc/loadavg: 4.13 4.06 3.75 5/253 49180
/proc/meminfo: memFree=128539952/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=45996 memory=34560 CPUtime=0.18 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 6205 0 0 0 18 0 0 0 20 0 1 0 52898271 47099904 8640 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 11499 8640 2688 2826 0 8111 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50188 KiB
Current children cumulated memory: 37504 KiB

[startup+0.313184 s]*
/proc/loadavg: 4.13 4.06 3.75 5/253 49180
/proc/meminfo: memFree=128539952/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=45996 memory=34560 CPUtime=0.28 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 6205 0 0 0 28 0 0 0 20 0 1 0 52898271 47099904 8640 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 11499 8640 2688 2826 0 8111 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50188 KiB
Current children cumulated memory: 37504 KiB

[startup+0.700392 s]
/proc/loadavg: 4.13 4.06 3.75 5/253 49180
/proc/meminfo: memFree=128539952/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=47144 memory=36608 CPUtime=0.66 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 6699 0 0 0 66 0 0 0 20 0 1 0 52898271 48275456 9152 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 11786 9152 2688 2826 0 8398 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 51336 KiB
Current children cumulated memory: 39552 KiB

[startup+1.5004 s]
/proc/loadavg: 4.13 4.06 3.75 6/253 49180
/proc/meminfo: memFree=128539952/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=52572 memory=40832 CPUtime=1.45 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 7778 0 0 0 145 0 0 0 20 0 1 0 52898271 53833728 10208 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 13143 10208 2688 2826 0 9755 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 56764 KiB
Current children cumulated memory: 43776 KiB

[startup+3.1127 s]
/proc/loadavg: 4.13 4.06 3.75 6/253 49180
/proc/meminfo: memFree=128556128/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=58312 memory=47360 CPUtime=3.06 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 9398 0 0 0 305 1 0 0 20 0 1 0 52898271 59711488 11840 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 14578 11840 2688 2826 0 11190 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 62504 KiB
Current children cumulated memory: 50304 KiB

[startup+6.3004 s]
/proc/loadavg: 4.12 4.06 3.75 6/253 49180
/proc/meminfo: memFree=128598808/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=67932 memory=58264 CPUtime=6.23 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 12012 0 0 0 622 1 0 0 20 0 1 0 52898271 69562368 14566 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 16983 14566 3008 2826 0 13595 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 72124 KiB
Current children cumulated memory: 61208 KiB

[startup+12.7004 s]
/proc/loadavg: 4.19 4.07 3.76 6/253 49180
/proc/meminfo: memFree=128609824/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=96968 memory=84748 CPUtime=12.61 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 19030 0 0 0 1258 3 0 0 20 0 1 0 52898271 99295232 21187 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 24242 21187 3008 2826 0 20854 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 101160 KiB
Current children cumulated memory: 87692 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.08 3.77 6/253 49180
/proc/meminfo: memFree=128590752/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=124676 memory=110988 CPUtime=25.34 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 25582 0 0 0 2530 4 0 0 20 0 1 0 52898271 127668224 27747 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 31169 27747 3008 2826 0 27781 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 128868 KiB
Current children cumulated memory: 113932 KiB

[startup+51.1131 s]
/proc/loadavg: 4.15 4.08 3.77 5/255 49234
/proc/meminfo: memFree=128475588/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=185656 memory=170204 CPUtime=50.84 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 41005 0 0 0 5076 8 0 0 20 0 1 0 52898271 190111744 42551 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 46414 42551 3008 2826 0 43026 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 189848 KiB
Current children cumulated memory: 173148 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.08 3.79 5/256 49237
/proc/meminfo: memFree=128271472/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=296856 memory=278760 CPUtime=101.8 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 68432 0 0 0 10166 14 0 0 20 0 1 0 52898271 303980544 69690 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 74214 69690 3008 2826 0 70826 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 301048 KiB
Current children cumulated memory: 281704 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.11 3.83 5/257 49240
/proc/meminfo: memFree=128153788/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=412072 memory=395412 CPUtime=161.53 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 98277 0 0 0 16134 19 0 0 20 0 1 0 52898271 421961728 98853 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 103018 98853 3008 2826 0 99630 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 416264 KiB
Current children cumulated memory: 398356 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 3.84 5/257 49242
/proc/meminfo: memFree=128167564/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49180] ppid=49176 vsize=490936 memory=471572 CPUtime=221.29 cores=1,3
/proc/49180/stat : 49180 (pbcpreprocessor) R 49176 49176 48810 0 -1 4194304 116468 0 0 0 22106 23 0 0 20 0 1 0 52898271 502718464 117893 18446744073709551615 4198400 15773533 140736977219456 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 33280000 140736977221956 140736977222110 140736977222110 140736977227717 0
/proc/49180/statm: 122734 117893 3008 2826 0 119346 0
Current children cumulated CPU time: 221.29 s

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

/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 65746 0 0 0 282958 117 0 0 20 0 1 0 52948494 318717952 67493 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 77812 67493 448 424 0 77267 0
Current children cumulated CPU time: 3331.02 s
Current children cumulated vsize: 315440 KiB
Current children cumulated memory: 272916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/254 49521
/proc/meminfo: memFree=128445492/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=314440 memory=298812 CPUtime=2890.52 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 66546 0 0 0 288934 118 0 0 20 0 1 0 52948494 321986560 74703 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 78610 74703 448 424 0 78065 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 318632 KiB
Current children cumulated memory: 301756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.10 4.13 5/254 49523
/proc/meminfo: memFree=128444880/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=318824 memory=272208 CPUtime=2950.33 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 68713 0 0 0 294912 121 0 0 20 0 1 0 52948494 326475776 68052 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 79706 68052 448 424 0 79161 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 323016 KiB
Current children cumulated memory: 275152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/255 49532
/proc/meminfo: memFree=128443924/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=325852 memory=305252 CPUtime=3010.15 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 70317 0 0 0 300893 122 0 0 20 0 1 0 52948494 333672448 76313 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 81463 76313 448 424 0 80918 0
Current children cumulated CPU time: 3510.42 s
Current children cumulated vsize: 330044 KiB
Current children cumulated memory: 308196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/255 49534
/proc/meminfo: memFree=128477076/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=281264 memory=272712 CPUtime=3069.96 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 71662 0 0 0 306872 124 0 0 20 0 1 0 52948494 288014336 68178 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 70316 68178 448 424 0 69771 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 285456 KiB
Current children cumulated memory: 275656 KiB

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

# cumulated CPU time of all completed processes:  user=3594.73 s, system=1.77557 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.13 5/255 49534
/proc/meminfo: memFree=128469136/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=281264 memory=272712 CPUtime=3071.67 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 71662 0 0 0 307043 124 0 0 20 0 1 0 52948494 288014336 68178 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 70316 68178 448 424 0 69771 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 285456 KiB
Current children cumulated memory: 275656 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.13 5/255 49535
/proc/meminfo: memFree=128461700/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=281264 memory=274760 CPUtime=3084.42 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 71663 0 0 0 308318 124 0 0 20 0 1 0 52948494 288014336 68690 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 70316 68690 448 424 0 69771 0
Current children cumulated CPU time: 3584.69 s
Current children cumulated vsize: 285456 KiB
Current children cumulated memory: 277704 KiB

[startup+3603.2 s]
/proc/loadavg: 4.17 4.13 4.13 5/255 49536
/proc/meminfo: memFree=128484636/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=331352 memory=280060 CPUtime=3090.8 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 72477 0 0 0 308955 125 0 0 20 0 1 0 52948494 339304448 70015 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 82838 70015 448 424 0 82293 0
Current children cumulated CPU time: 3591.07 s
Current children cumulated vsize: 335544 KiB
Current children cumulated memory: 283004 KiB

[startup+3606.4 s]
/proc/loadavg: 4.16 4.12 4.13 5/255 49536
/proc/meminfo: memFree=128484636/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=331352 memory=282108 CPUtime=3094 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 72478 0 0 0 309274 126 0 0 20 0 1 0 52948494 339304448 70527 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 82838 70527 448 424 0 82293 0
Current children cumulated CPU time: 3594.27 s
Current children cumulated vsize: 335544 KiB
Current children cumulated memory: 285052 KiB

[startup+3608 s]*
/proc/loadavg: 4.16 4.12 4.13 5/255 49536
/proc/meminfo: memFree=128476444/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=331352 memory=282108 CPUtime=3095.6 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 72478 0 0 0 309434 126 0 0 20 0 1 0 52948494 339304448 70527 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 82838 70527 448 424 0 82293 0
Current children cumulated CPU time: 3595.87 s
Current children cumulated vsize: 335544 KiB
Current children cumulated memory: 285052 KiB

[startup+3608.4 s]
/proc/loadavg: 4.16 4.12 4.13 5/255 49536
/proc/meminfo: memFree=128476444/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=331352 memory=282108 CPUtime=3095.99 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 72478 0 0 0 309473 126 0 0 20 0 1 0 52948494 339304448 70527 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 82838 70527 448 424 0 82293 0
Current children cumulated CPU time: 3596.26 s
Current children cumulated vsize: 335544 KiB
Current children cumulated memory: 285052 KiB

[startup+3608.6 s]
/proc/loadavg: 4.16 4.12 4.13 5/255 49536
/proc/meminfo: memFree=128476444/131382116 swapFree=33010684/33010684
[pid=49176] ppid=49173 vsize=4192 memory=2944 CPUtime=500.27 cores=1,3
/proc/49176/stat : 49176 (opbsolver) S 49173 49176 48810 0 -1 4194304 408 194866 0 0 0 0 49977 50 20 0 1 0 52898268 4292608 736 18446744073709551615 94433068392448 94433069286981 140731200322848 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94433069526032 94433069573776 94433077858304 140731200325918 140731200326121 140731200326121 140731200331723 0
/proc/49176/statm: 1048 736 672 219 0 110 0
[pid=49264] ppid=49176 vsize=331352 memory=282108 CPUtime=3096.19 cores=1,3
/proc/49264/stat : 49264 (wmaxcdcl) R 49176 49176 48810 0 -1 4194304 72478 0 0 0 309493 126 0 0 20 0 1 0 52948494 339304448 70527 18446744073709551615 4198400 5932793 140722336727200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 9818112 140722336733531 140722336733676 140722336733676 140722336739276 0
/proc/49264/statm: 82838 70527 448 424 0 82293 0
Current children cumulated CPU time: 3596.46 s
Current children cumulated vsize: 335544 KiB
Current children cumulated memory: 285052 KiB

Child status: 0

Real time (s): 3608.63
CPU time (s): 3596.5
CPU user time (s): 3594.73
CPU system time (s): 1.77557
CPU usage (%): 99.6639
Max. virtual memory (cumulated for all children) (KiB): 795788
Max. memory (cumulated for all children) (KiB): 768596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.73
system time used= 1.77557
maximum resident set size= 765652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 606
involuntary context switches= 21013


# summary of solver processes directly reported to runsolver:
#   pid: 49176
#   total CPU time (s): 3596.5
#   total CPU user time (s): 3594.73
#   total CPU system time (s): 1.77557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1179 second user time and 36.9617 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-01 14:16:29
IDJOB=4490351
IDBENCH=147578
IDSOLVER=3374
FILE ID=nodeC010/4490351-1751372188
RUNJOBID= nodeC010-1751371144-48822
SLURM_JOB_ID= 9598193
Free space on /tmp= 432572 MiB

SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490351-1751372188/watcher-4490351-1751372188 -o /tmp/evaluation-result-4490351-1751372188/solver-4490351-1751372188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751371144-48822 --watchdog 3760  HOME/opbsolver HOME/instance-4490351-1751372188.opb 3600 31000 HOME HOME

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

MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=1738457822

nodeC010 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		: 3292.156
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.36
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		: 3492.043
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.36
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.457
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.36
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		: 1197.144
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.36
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		: 3691.192
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.36
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		: 3664.151
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128540176 kB
MemAvailable:   129147268 kB
Buffers:            3280 kB
Cached:          1414112 kB
SwapCached:            0 kB
Active:           931960 kB
Inactive:        1108464 kB
Active(anon):     640992 kB
Inactive(anon):        0 kB
Active(file):     290968 kB
Inactive(file):  1108464 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             41216 kB
Writeback:            68 kB
AnonPages:        626200 kB
Mapped:           118452 kB
Shmem:             17960 kB
KReclaimable:      94576 kB
Slab:             178516 kB
SReclaimable:      94576 kB
SUnreclaim:        83940 kB
KernelStack:        4064 kB
PageTables:         4312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1046120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432596 MiB
End job on nodeC010 at 2025-07-01 15:16:38