Trace number 4522686

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
PRINTEMPS 2025-05-28? (TO) 3600.83 3319.69

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb
MD5SUM092bae33cfc085630516b7197b68f9db
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark18.1263
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120000
Total number of constraints120001
Number of constraints which are clauses100000
Number of constraints which are cardinality constraints (but not clauses)20000
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint20000
Number of terms in the objective function 20000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 20000
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20000
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
2.34/1.50	c #variable: 120000
2.34/1.50	c #constraint: 120001
2.34/1.50	c #equal: 20001
2.34/1.50	c intsize: 15
2.34/1.50	c sizeproduct: 0
2.34/1.50	c #soft: 0
2.34/1.50	c mincost: 0
2.34/1.50	c maxcost: 0
2.34/1.50	c sumcost: 0
2.34/1.50	c iteration_max: -1
2.34/1.50	c time_max: -1
2.34/1.50	c number_of_threads(move update): 2
2.34/1.50	c number_of_threads(move evaluation): 2
2.34/1.50	c seed: 811675406
3600.03/3319.00	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: 63665 MiB (60791 MiB free)
  memory of node 1: 64507 MiB (61154 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522686-1751591333/watcher-4522686-1751591333 -o /tmp/evaluation-result-4522686-1751591333/solver-4522686-1751591333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751589378-92772 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 811675406 HOME/instance-4522686-1751591333.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=92992, runsolver pid=92989

[startup+0.100061 s]*
/proc/loadavg: 5.33 5.29 5.05 6/270 92994
/proc/meminfo: memFree=124819928/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=127676 memory=65856 CPUtime=0.16 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 14562 0 0 0 12 4 0 0 20 0 2 0 74811152 130740224 16464 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 31919 16464 576 633 0 18290 0
[pid=92992/tid=92994] ppid=92989 vsize=127676 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) R 92989 92992 92759 0 -1 4194368 3544 0 0 0 5 1 0 0 20 0 2 0 74811156 130740224 16464 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 127676 KiB
Current children cumulated memory: 65856 KiB

[startup+0.206158 s]*
/proc/loadavg: 5.33 5.29 5.05 6/270 92994
/proc/meminfo: memFree=124773308/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=150644 memory=110656 CPUtime=0.36 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 25758 0 0 0 29 7 0 0 20 0 2 0 74811152 154259456 27664 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 37661 27664 576 633 0 29473 0
[pid=92992/tid=92994] ppid=92989 vsize=150644 memory=664958721904869660 CPUtime=0.16 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) R 92989 92992 92759 0 -1 4194368 8985 0 0 0 13 3 0 0 20 0 2 0 74811156 154259456 27664 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 150644 KiB
Current children cumulated memory: 110656 KiB

[startup+0.306163 s]*
/proc/loadavg: 5.33 5.29 5.05 6/270 92994
/proc/meminfo: memFree=124728016/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=172952 memory=153408 CPUtime=0.54 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 36451 0 0 0 45 9 0 0 20 0 2 0 74811152 177102848 38352 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 43238 38352 576 633 0 40184 0
[pid=92992/tid=92994] ppid=92989 vsize=172952 memory=7972084413404758643 CPUtime=0.26 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) R 92989 92992 92759 0 -1 4194368 14118 0 0 0 21 5 0 0 20 0 2 0 74811156 177102848 38352 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 172952 KiB
Current children cumulated memory: 153408 KiB

[startup+0.700214 s]
/proc/loadavg: 5.33 5.29 5.05 6/270 92994
/proc/meminfo: memFree=124659632/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=269900 memory=224448 CPUtime=1.02 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 54205 0 0 0 89 13 0 0 20 0 2 0 74811152 276377600 56112 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 67475 56112 576 633 0 58225 0
[pid=92992/tid=92994] ppid=92989 vsize=269900 memory=18560 CPUtime=0.42 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 24006 0 0 0 35 7 0 0 20 0 2 0 74811156 276377600 56112 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 269900 KiB
Current children cumulated memory: 224448 KiB

[startup+1.50023 s]
/proc/loadavg: 5.33 5.29 5.05 6/270 92994
/proc/meminfo: memFree=124546092/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=488072 memory=424844 CPUtime=2.34 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 127491 0 0 0 209 25 0 0 20 0 2 0 74811152 499785728 106211 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 122018 106211 608 633 0 107948 0
[pid=92992/tid=92994] ppid=92989 vsize=488072 memory=18560 CPUtime=0.98 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 50809 0 0 0 87 11 0 0 20 0 2 0 74811156 499785728 106211 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 488072 KiB
Current children cumulated memory: 424844 KiB

[startup+3.10566 s]
/proc/loadavg: 5.33 5.29 5.05 5/270 92994
/proc/meminfo: memFree=124360904/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=588808 memory=525708 CPUtime=3.94 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 194607 0 0 0 362 32 0 0 20 0 2 0 74811152 602939392 131427 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 147202 131427 640 633 0 133132 0
[pid=92992/tid=92994] ppid=92989 vsize=588808 memory=436876 CPUtime=0.98 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 50809 0 0 0 87 11 0 0 20 0 2 0 74811156 602939392 131427 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 588808 KiB
Current children cumulated memory: 525708 KiB

[startup+6.30024 s]
/proc/loadavg: 5.22 5.27 5.04 6/270 92994
/proc/meminfo: memFree=124361604/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=588808 memory=525708 CPUtime=7.12 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 199580 0 0 0 680 32 0 0 20 0 2 0 74811152 602939392 131427 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 147202 131427 640 633 0 133132 0
[pid=92992/tid=92994] ppid=92989 vsize=588808 memory=525708 CPUtime=0.98 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 50809 0 0 0 87 11 0 0 20 0 2 0 74811156 602939392 131427 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 588808 KiB
Current children cumulated memory: 525708 KiB

[startup+12.7002 s]
/proc/loadavg: 5.20 5.27 5.04 5/270 92994
/proc/meminfo: memFree=124055052/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1081284 memory=1017840 CPUtime=13.5 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 484724 0 0 0 1293 57 0 0 20 0 2 0 74811152 1107234816 254460 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 270321 254460 640 633 0 256251 0
[pid=92992/tid=92994] ppid=92989 vsize=1081284 memory=525708 CPUtime=0.99 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 50809 0 0 0 88 11 0 0 20 0 2 0 74811156 1107234816 254460 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 13.5 s
Current children cumulated vsize: 1081284 KiB
Current children cumulated memory: 1017840 KiB

[startup+25.5002 s]
/proc/loadavg: 5.00 5.22 5.03 5/270 92994
/proc/meminfo: memFree=123834852/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1120864 memory=1057468 CPUtime=26.43 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 672104 0 0 0 2572 71 0 0 20 0 2 0 74811152 1147764736 264367 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 280216 264367 640 633 0 266146 0
[pid=92992/tid=92994] ppid=92989 vsize=1120864 memory=1057468 CPUtime=1.18 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 55477 0 0 0 106 12 0 0 20 0 2 0 74811156 1147764736 264367 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 26.43 s
Current children cumulated vsize: 1120864 KiB
Current children cumulated memory: 1057468 KiB

[startup+51.1061 s]
/proc/loadavg: 4.80 5.15 5.01 6/270 92994
/proc/meminfo: memFree=123786004/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1119168 memory=1055736 CPUtime=56.02 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 892337 0 0 0 5510 92 0 0 20 0 2 0 74811152 1146028032 263934 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 279792 263934 640 633 0 265722 0
[pid=92992/tid=92994] ppid=92989 vsize=1119168 memory=1055736 CPUtime=5.27 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 73643 0 0 0 514 13 0 0 20 0 2 0 74811156 1146028032 263934 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 56.02 s
Current children cumulated vsize: 1119168 KiB
Current children cumulated memory: 1055736 KiB

[startup+102.3 s]
/proc/loadavg: 4.72 5.08 5.00 5/270 92996
/proc/meminfo: memFree=123826704/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1121992 memory=1058532 CPUtime=112.48 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 1202346 0 0 0 11120 128 0 0 20 0 2 0 74811152 1148919808 264633 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 280498 264633 640 633 0 266428 0
[pid=92992/tid=92994] ppid=92989 vsize=1121992 memory=16360 CPUtime=10.79 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 82784 0 0 0 1064 15 0 0 20 0 2 0 74811156 1148919808 264633 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 112.48 s
Current children cumulated vsize: 1121992 KiB
Current children cumulated memory: 1058532 KiB

[startup+162.3 s]
/proc/loadavg: 4.48 4.94 4.95 6/269 92999
/proc/meminfo: memFree=123837348/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1126272 memory=1062756 CPUtime=179.7 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 3060475 0 0 0 17470 500 0 0 20 0 2 0 74811152 1153302528 265689 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 281568 265689 640 633 0 267498 0
[pid=92992/tid=92994] ppid=92989 vsize=1126272 memory=1055716 CPUtime=18.27 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 99459 0 0 0 1810 17 0 0 20 0 2 0 74811156 1153302528 265689 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 179.7 s
Current children cumulated vsize: 1126272 KiB
Current children cumulated memory: 1062756 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 4.83 4.91 5/268 93001
/proc/meminfo: memFree=123812200/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1131000 memory=1067544 CPUtime=247.67 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 5000039 0 0 0 23870 897 0 0 20 0 2 0 74811152 1158144000 266886 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 282750 266886 640 633 0 268680 0
[pid=92992/tid=92994] ppid=92989 vsize=1131000 memory=1060888 CPUtime=26.53 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 109420 0 0 0 2634 19 0 0 20 0 2 0 74811156 1158144000 266886 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 247.67 s
Current children cumulated vsize: 1131000 KiB
Current children cumulated memory: 1067544 KiB

[startup+282.3 s]
/proc/loadavg: 4.73 4.85 4.91 5/269 93006
/proc/meminfo: memFree=123824124/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1122764 memory=1059436 CPUtime=315.54 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 6996597 0 0 0 30271 1283 0 0 20 0 2 0 74811152 1149710336 264859 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 280691 264859 640 633 0 266621 0
[pid=92992/tid=92994] ppid=92989 vsize=1122764 memory=1059456 CPUtime=34.69 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 118527 0 0 0 3448 21 0 0 20 0 2 0 74811156 1149710336 264859 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 315.54 s
Current children cumulated vsize: 1122764 KiB
Current children cumulated memory: 1059436 KiB

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

/proc/meminfo: memFree=122493088/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1162428 memory=1099132 CPUtime=3054.14 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 71353804 0 0 0 291314 14100 0 0 20 0 2 0 74811152 1190326272 274783 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 290607 274783 640 633 0 276537 0
[pid=92992/tid=92994] ppid=92989 vsize=1162428 memory=1100092 CPUtime=264.86 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 433943 0 0 0 26373 113 0 0 20 0 2 0 74811156 1190326272 274783 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3054.14 s
Current children cumulated vsize: 1162428 KiB
Current children cumulated memory: 1099132 KiB

[startup+2862.3 s]
/proc/loadavg: 4.79 4.80 4.81 6/267 93274
/proc/meminfo: memFree=122489112/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1164196 memory=1100732 CPUtime=3117.74 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 73297272 0 0 0 297296 14478 0 0 20 0 2 0 74811152 1192136704 275183 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 291049 275183 640 633 0 276979 0
[pid=92992/tid=92994] ppid=92989 vsize=1164196 memory=1100732 CPUtime=268.73 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 441888 0 0 0 26757 116 0 0 20 0 2 0 74811156 1192136704 275183 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3117.74 s
Current children cumulated vsize: 1164196 KiB
Current children cumulated memory: 1100732 KiB

[startup+2922.3 s]
/proc/loadavg: 4.82 4.82 4.82 5/267 93276
/proc/meminfo: memFree=122470724/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1162612 memory=1099196 CPUtime=3181.38 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 75237652 0 0 0 303279 14859 0 0 20 0 2 0 74811152 1190514688 274799 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 290653 274799 640 633 0 276583 0
[pid=92992/tid=92994] ppid=92989 vsize=1162612 memory=1100348 CPUtime=272.66 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 450084 0 0 0 27148 118 0 0 20 0 2 0 74811156 1190514688 274799 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3181.38 s
Current children cumulated vsize: 1162612 KiB
Current children cumulated memory: 1099196 KiB

[startup+2982.3 s]
/proc/loadavg: 5.01 4.85 4.83 6/269 93285
/proc/meminfo: memFree=122457388/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1155112 memory=1091828 CPUtime=3245.42 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 77145517 0 0 0 309300 15242 0 0 20 0 2 0 74811152 1182834688 272957 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 288778 272957 640 633 0 274708 0
[pid=92992/tid=92994] ppid=92989 vsize=1155112 memory=1100860 CPUtime=276.97 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) R 92989 92992 92759 0 -1 4194368 459235 0 0 0 27576 121 0 0 20 0 2 0 74811156 1182834688 272957 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3245.42 s
Current children cumulated vsize: 1155112 KiB
Current children cumulated memory: 1091828 KiB

[startup+3042.3 s]
/proc/loadavg: 4.80 4.83 4.82 6/269 93287
/proc/meminfo: memFree=122429148/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1171212 memory=1107728 CPUtime=3308.48 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 78539420 0 0 0 315336 15512 0 0 20 0 2 0 74811152 1199321088 276932 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 292803 276932 640 633 0 278733 0
[pid=92992/tid=92994] ppid=92989 vsize=1171212 memory=1096516 CPUtime=280.29 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 463354 0 0 0 27906 123 0 0 20 0 2 0 74811156 1199321088 276932 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3308.48 s
Current children cumulated vsize: 1171212 KiB
Current children cumulated memory: 1107728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.74 4.80 4.81 5/270 93290
/proc/meminfo: memFree=122428124/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1163972 memory=1100688 CPUtime=3371.27 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 79527990 0 0 0 321413 15714 0 0 20 0 2 0 74811152 1191907328 275172 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 290993 275172 640 633 0 276923 0
[pid=92992/tid=92994] ppid=92989 vsize=1163972 memory=16360 CPUtime=283.34 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 468331 0 0 0 28209 125 0 0 20 0 2 0 74811156 1191907328 275172 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3371.27 s
Current children cumulated vsize: 1163972 KiB
Current children cumulated memory: 1100688 KiB

[startup+3162.3 s]
/proc/loadavg: 4.60 4.76 4.80 6/270 93303
/proc/meminfo: memFree=122402796/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1175264 memory=1111924 CPUtime=3434.64 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 79985607 0 0 0 327664 15800 0 0 20 0 2 0 74811152 1203470336 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 293816 277981 640 633 0 279746 0
[pid=92992/tid=92994] ppid=92989 vsize=1175264 memory=1111924 CPUtime=286.97 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 476496 0 0 0 28570 127 0 0 20 0 2 0 74811156 1203470336 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3434.64 s
Current children cumulated vsize: 1175264 KiB
Current children cumulated memory: 1111924 KiB

[startup+3222.3 s]
/proc/loadavg: 4.58 4.74 4.79 6/270 93305
/proc/meminfo: memFree=122392496/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1175396 memory=1111924 CPUtime=3497.95 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 80047749 0 0 0 333988 15807 0 0 20 0 2 0 74811152 1203605504 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 293849 277981 640 633 0 279779 0
[pid=92992/tid=92994] ppid=92989 vsize=1175396 memory=1111924 CPUtime=290.55 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 483520 0 0 0 28926 129 0 0 20 0 2 0 74811156 1203605504 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3497.95 s
Current children cumulated vsize: 1175396 KiB
Current children cumulated memory: 1111924 KiB

[startup+3282.3 s]
/proc/loadavg: 4.75 4.74 4.79 6/269 93310
/proc/meminfo: memFree=122339612/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1175396 memory=1111924 CPUtime=3561.33 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 80110035 0 0 0 340317 15816 0 0 20 0 2 0 74811152 1203605504 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 293849 277981 640 633 0 279779 0
[pid=92992/tid=92994] ppid=92989 vsize=1175396 memory=5760 CPUtime=294.19 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 490556 0 0 0 29287 132 0 0 20 0 2 0 74811156 1203605504 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3561.33 s
Current children cumulated vsize: 1175396 KiB
Current children cumulated memory: 1111924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3318.9 s]
/proc/loadavg: 4.55 4.69 4.77 5/268 93311
/proc/meminfo: memFree=122302768/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1175396 memory=1111924 CPUtime=3600.03 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 80151577 0 0 0 344183 15820 0 0 20 0 2 0 74811152 1203605504 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 293849 277981 640 633 0 279779 0
[pid=92992/tid=92994] ppid=92989 vsize=1175396 memory=1111924 CPUtime=296.44 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 492124 0 0 0 29511 133 0 0 20 0 2 0 74811156 1203605504 277981 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1175396 KiB
Current children cumulated memory: 1111924 KiB

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

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

# cumulated CPU time of all completed processes:  user=3442.51 s, system=158.313 s

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

[startup+3319.2 s]
/proc/loadavg: 4.59 4.70 4.77 7/268 93311
/proc/meminfo: memFree=122298460/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1166056 memory=1102684 CPUtime=3600.33 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 80198186 0 0 0 344211 15822 0 0 20 0 2 0 74811152 1194041344 275671 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 291514 275671 640 633 0 277444 0
[pid=92992/tid=92994] ppid=92989 vsize=1166056 memory=1111924 CPUtime=296.44 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 492124 0 0 0 29511 133 0 0 20 0 2 0 74811156 1194041344 275671 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 1166056 KiB
Current children cumulated memory: 1102684 KiB

[startup+3319.6 s]
/proc/loadavg: 4.59 4.70 4.77 7/268 93311
/proc/meminfo: memFree=122298460/131250000 swapFree=33010416/33010684
[pid=92992] ppid=92989 vsize=1098552 memory=1035180 CPUtime=3600.72 cores=5,7
/proc/92992/stat : 92992 (pb_competition_) R 92989 92992 92759 0 -1 4194304 80299287 0 0 0 344245 15827 0 0 20 0 2 0 74811152 1124917248 258795 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
/proc/92992/statm: 274638 258795 640 633 0 260568 0
[pid=92992/tid=92994] ppid=92989 vsize=1098552 memory=3104 CPUtime=296.44 cores=5,7
/proc/92992/task/92994/stat : 92994 (pb_competition_) S 92989 92992 92759 0 -1 4194368 492124 0 0 0 29511 133 0 0 20 0 2 0 74811156 1124917248 258795 18446744073709551615 4198400 6788177 140728097489920 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28016640 140728097495386 140728097495512 140728097495512 140728097501114 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 1098552 KiB
Current children cumulated memory: 1035180 KiB

Child status: 0

Real time (s): 3319.69
CPU time (s): 3600.83
CPU user time (s): 3442.51
CPU system time (s): 158.313
CPU usage (%): 108.469
Max. virtual memory (cumulated for all children) (KiB): 1175396
Max. memory (cumulated for all children) (KiB): 1111924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3442.51
system time used= 158.313
maximum resident set size= 1111924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80307104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62502
involuntary context switches= 16214


# summary of solver processes directly reported to runsolver:
#   pid: 92992
#   total CPU time (s): 3600.83
#   total CPU user time (s): 3442.51
#   total CPU system time (s): 158.313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87363 second user time and 17.8924 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-04 03:08:53
IDJOB=4522686
IDBENCH=179260
IDSOLVER=3347
FILE ID=nodeC018/4522686-1751591333
RUNJOBID= nodeC018-1751589378-92772
SLURM_JOB_ID= 9598843
Free space on /tmp= 432480 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522686-1751591333/watcher-4522686-1751591333 -o /tmp/evaluation-result-4522686-1751591333/solver-4522686-1751591333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751589378-92772 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 811675406 HOME/instance-4522686-1751591333.opb

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

MD5SUM BENCH= 092bae33cfc085630516b7197b68f9db
RANDOM SEED=811675406

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124872036 kB
MemAvailable:   125611188 kB
Buffers:            2128 kB
Cached:          1502984 kB
SwapCached:           32 kB
Active:          4578548 kB
Inactive:        1028024 kB
Active(anon):    4119216 kB
Inactive(anon):      288 kB
Active(file):     459332 kB
Inactive(file):  1027736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23648 kB
Writeback:            24 kB
AnonPages:       4102660 kB
Mapped:           112380 kB
Shmem:             18044 kB
KReclaimable:     182244 kB
Slab:             272520 kB
SReclaimable:     182244 kB
SUnreclaim:        90276 kB
KernelStack:        4384 kB
PageTables:        11068 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4460012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1759232 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432460 MiB
End job on nodeC018 at 2025-07-04 04:04:13