Trace number 4514444

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 NameAnswerCPU timeWall clock time
PRINTEMPS 2025-05-28? (TO) 3600.06 1972.42

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_36.opb
MD5SUM483b29da31af2436e91ca4a2082e11b8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1244.51
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1722
Total number of constraints8246
Number of constraints which are clauses8241
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 77
Number of bits of the biggest sum of numbers7
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/)
0.00/0.02	c #variable: 1722
0.00/0.02	c #constraint: 8246
0.00/0.02	c #equal: 4
0.00/0.02	c intsize: 7
0.00/0.02	c sizeproduct: 0
0.00/0.02	c #soft: 0
0.00/0.02	c mincost: 0
0.00/0.02	c maxcost: 0
0.00/0.02	c sumcost: 0
0.00/0.02	c iteration_max: -1
0.00/0.02	c time_max: -1
0.00/0.02	c number_of_threads(move update): 2
0.00/0.02	c number_of_threads(move evaluation): 2
0.00/0.02	c seed: 179258803
3600.02/1972.41	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 (63029 MiB free)
  memory of node 1: 64507 MiB (63675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514444-1751230919/watcher-4514444-1751230919 -o /tmp/evaluation-result-4514444-1751230919/solver-4514444-1751230919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751229108-33731 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 179258803 HOME/instance-4514444-1751230919.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 7.11 7.42 6.77 5/263 33995
/proc/meminfo: memFree=129685544/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=103076 memory=30696 CPUtime=0.14 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 6817 0 0 0 13 1 0 0 20 0 2 0 38769629 105549824 7674 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 25769 7674 672 633 0 9171 0
[pid=33985/tid=33987] ppid=33977 vsize=103076 memory=4026531959 CPUtime=0.04 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 574 0 0 0 4 0 0 0 20 0 2 0 38769629 105549824 7674 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 103076 KiB
Current children cumulated memory: 30696 KiB

[startup+0.205837 s]*
/proc/loadavg: 7.11 7.42 6.77 5/265 34001
/proc/meminfo: memFree=129673272/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=103076 memory=30824 CPUtime=0.29 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 6832 0 0 0 28 1 0 0 20 0 2 0 38769629 105549824 7706 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 25769 7706 672 633 0 9171 0
[pid=33985/tid=33987] ppid=33977 vsize=103076 memory=8097827320052580472 CPUtime=0.09 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 574 0 0 0 9 0 0 0 20 0 2 0 38769629 105549824 7706 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103076 KiB
Current children cumulated memory: 30824 KiB

[startup+0.305798 s]*
/proc/loadavg: 7.11 7.42 6.77 7/265 34007
/proc/meminfo: memFree=129656748/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=103208 memory=30952 CPUtime=0.45 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) S 33977 33985 33720 0 -1 4194304 6853 0 0 0 44 1 0 0 20 0 2 0 38769629 105684992 7738 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 25802 7738 672 633 0 9204 0
[pid=33985/tid=33987] ppid=33977 vsize=103208 memory=-6879379008950013033 CPUtime=0.15 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 574 0 0 0 15 0 0 0 20 0 2 0 38769629 105684992 7738 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 103208 KiB
Current children cumulated memory: 30952 KiB

[startup+0.7002 s]
/proc/loadavg: 7.11 7.42 6.77 6/265 34027
/proc/meminfo: memFree=129647976/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=103340 memory=31208 CPUtime=1.1 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 6898 0 0 0 108 2 0 0 20 0 2 0 38769629 105820160 7802 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 25835 7802 672 633 0 9237 0
[pid=33985/tid=33987] ppid=33977 vsize=103340 memory=10752 CPUtime=0.42 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 574 0 0 0 42 0 0 0 20 0 2 0 38769629 105820160 7802 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 103340 KiB
Current children cumulated memory: 31208 KiB

[startup+1.50018 s]
/proc/loadavg: 7.11 7.42 6.77 7/268 34033
/proc/meminfo: memFree=129643820/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=103472 memory=31336 CPUtime=2.5 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 11661 0 0 0 248 2 0 0 20 0 2 0 38769629 105955328 7834 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 25868 7834 672 633 0 9270 0
[pid=33985/tid=33987] ppid=33977 vsize=103472 memory=10752 CPUtime=1.02 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 698 0 0 0 102 0 0 0 20 0 2 0 38769629 105955328 7834 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 103472 KiB
Current children cumulated memory: 31336 KiB

[startup+3.1049 s]
/proc/loadavg: 7.02 7.40 6.76 8/268 34033
/proc/meminfo: memFree=129643260/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=103604 memory=31464 CPUtime=5.34 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 15186 0 0 0 531 3 0 0 20 0 2 0 38769629 106090496 7866 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 25901 7866 672 633 0 9303 0
[pid=33985/tid=33987] ppid=33977 vsize=103604 memory=31208 CPUtime=2.28 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 1196 0 0 0 227 1 0 0 20 0 2 0 38769629 106090496 7866 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 103604 KiB
Current children cumulated memory: 31464 KiB

[startup+6.3002 s]
/proc/loadavg: 7.02 7.40 6.76 7/268 34033
/proc/meminfo: memFree=129643308/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=103868 memory=31592 CPUtime=11.04 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 21287 0 0 0 1099 5 0 0 20 0 2 0 38769629 106360832 7898 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 25967 7898 672 633 0 9369 0
[pid=33985/tid=33987] ppid=33977 vsize=103868 memory=31208 CPUtime=4.8 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 1536 0 0 0 479 1 0 0 20 0 2 0 38769629 106360832 7898 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 11.04 s
Current children cumulated vsize: 103868 KiB
Current children cumulated memory: 31592 KiB

[startup+12.7002 s]
/proc/loadavg: 7.02 7.39 6.77 8/268 34034
/proc/meminfo: memFree=129643308/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=104000 memory=31848 CPUtime=22.43 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 30673 0 0 0 2234 9 0 0 20 0 2 0 38769629 106496000 7962 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 26000 7962 672 633 0 9402 0
[pid=33985/tid=33987] ppid=33977 vsize=104000 memory=31208 CPUtime=9.84 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 2458 0 0 0 981 3 0 0 20 0 2 0 38769629 106496000 7962 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 22.43 s
Current children cumulated vsize: 104000 KiB
Current children cumulated memory: 31848 KiB

[startup+25.5002 s]
/proc/loadavg: 6.94 7.36 6.76 8/268 34035
/proc/meminfo: memFree=129643088/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=104396 memory=32104 CPUtime=44.87 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 36087 0 0 0 4464 23 0 0 20 0 2 0 38769629 106901504 8026 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 26099 8026 672 633 0 9501 0
[pid=33985/tid=33987] ppid=33977 vsize=104396 memory=31208 CPUtime=19.57 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 2971 0 0 0 1949 8 0 0 20 0 2 0 38769629 106901504 8026 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 44.87 s
Current children cumulated vsize: 104396 KiB
Current children cumulated memory: 32104 KiB

[startup+51.1055 s]
/proc/loadavg: 6.84 7.29 6.76 8/268 34035
/proc/meminfo: memFree=129642332/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=104332 memory=32016 CPUtime=89.79 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 162784 0 0 0 8917 62 0 0 20 0 2 0 38769629 106835968 8004 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 26083 8004 672 633 0 9485 0
[pid=33985/tid=33987] ppid=33977 vsize=104332 memory=31848 CPUtime=39.09 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 5014 0 0 0 3895 14 0 0 20 0 2 0 38769629 106835968 8004 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 89.79 s
Current children cumulated vsize: 104332 KiB
Current children cumulated memory: 32016 KiB

[startup+102.3 s]
/proc/loadavg: 6.61 7.15 6.74 8/268 34037
/proc/meminfo: memFree=129640696/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=105976 memory=33808 CPUtime=179.63 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 256259 0 0 0 17850 113 0 0 20 0 2 0 38769629 108519424 8452 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 26494 8452 672 633 0 9896 0
[pid=33985/tid=33987] ppid=33977 vsize=105976 memory=33552 CPUtime=78.12 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 5665 0 0 0 7785 27 0 0 20 0 2 0 38769629 108519424 8452 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 179.63 s
Current children cumulated vsize: 105976 KiB
Current children cumulated memory: 33808 KiB

[startup+162.3 s]
/proc/loadavg: 6.58 7.04 6.73 8/269 34042
/proc/meminfo: memFree=129608036/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=106400 memory=36044 CPUtime=284.44 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 1286056 0 0 0 28143 301 0 0 20 0 2 0 38769629 108953600 9011 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 26600 9011 672 633 0 10002 0
[pid=33985/tid=33987] ppid=33977 vsize=106400 memory=14592 CPUtime=123.4 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 6297 0 0 0 12299 41 0 0 20 0 2 0 38769629 108953600 9011 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 284.44 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 36044 KiB

[startup+222.3 s]
/proc/loadavg: 6.67 6.99 6.73 8/269 34048
/proc/meminfo: memFree=129608132/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=106796 memory=36556 CPUtime=391.16 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 1286832 0 0 0 38780 336 0 0 20 0 2 0 38769629 109359104 9139 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 26699 9139 672 633 0 10101 0
[pid=33985/tid=33987] ppid=33977 vsize=106796 memory=36300 CPUtime=170.59 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 6605 0 0 0 17008 51 0 0 20 0 2 0 38769629 109359104 9139 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 391.16 s
Current children cumulated vsize: 106796 KiB
Current children cumulated memory: 36556 KiB

[startup+282.3 s]
/proc/loadavg: 6.44 6.87 6.71 8/268 34050
/proc/meminfo: memFree=129617388/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=107680 memory=36768 CPUtime=496.92 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 2113267 0 0 0 49199 493 0 0 20 0 2 0 38769629 110264320 9192 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 26920 9192 672 633 0 10322 0
[pid=33985/tid=33987] ppid=33977 vsize=107680 memory=36548 CPUtime=216.82 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 6605 0 0 0 21619 63 0 0 20 0 2 0 38769629 110264320 9192 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 496.92 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 36768 KiB

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

/proc/meminfo: memFree=129558140/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=112956 memory=42472 CPUtime=2466.41 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3569029 0 0 0 245487 1154 0 0 20 0 2 0 38769629 115666944 10618 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28239 10618 672 633 0 11641 0
[pid=33985/tid=33987] ppid=33977 vsize=112956 memory=17664 CPUtime=1115.32 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 8455 0 0 0 111319 213 0 0 20 0 2 0 38769629 115666944 10618 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 2466.41 s
Current children cumulated vsize: 112956 KiB
Current children cumulated memory: 42472 KiB

[startup+1422.3 s]
/proc/loadavg: 7.42 7.09 6.87 9/269 34165
/proc/meminfo: memFree=129569848/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=113008 memory=42584 CPUtime=2577.99 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3570789 0 0 0 256626 1173 0 0 20 0 2 0 38769629 115720192 10646 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28252 10646 672 633 0 11654 0
[pid=33985/tid=33987] ppid=33977 vsize=113008 memory=17664 CPUtime=1167.37 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 8628 0 0 0 116517 220 0 0 20 0 2 0 38769629 115720192 10646 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 2577.99 s
Current children cumulated vsize: 113008 KiB
Current children cumulated memory: 42584 KiB

[startup+1482.3 s]
/proc/loadavg: 7.54 7.19 6.93 8/269 34171
/proc/meminfo: memFree=129574668/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=113432 memory=43008 CPUtime=2689.53 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3573032 0 0 0 267760 1193 0 0 20 0 2 0 38769629 116154368 10752 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28358 10752 672 633 0 11760 0
[pid=33985/tid=33987] ppid=33977 vsize=113432 memory=42880 CPUtime=1219.4 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 8633 0 0 0 121713 227 0 0 20 0 2 0 38769629 116154368 10752 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 2689.53 s
Current children cumulated vsize: 113432 KiB
Current children cumulated memory: 43008 KiB

[startup+1542.3 s]
/proc/loadavg: 7.54 7.25 6.96 8/267 34173
/proc/meminfo: memFree=129580064/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=113696 memory=43264 CPUtime=2800.78 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3573101 0 0 0 278869 1209 0 0 20 0 2 0 38769629 116424704 10816 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28424 10816 672 633 0 11826 0
[pid=33985/tid=33987] ppid=33977 vsize=113696 memory=43264 CPUtime=1271.14 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 8635 0 0 0 126879 235 0 0 20 0 2 0 38769629 116424704 10816 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 2800.78 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 43264 KiB

[startup+1602.3 s]
/proc/loadavg: 7.45 7.28 7.00 9/267 34175
/proc/meminfo: memFree=129579928/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=113828 memory=43264 CPUtime=2911.9 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3574289 0 0 0 289962 1228 0 0 20 0 2 0 38769629 116559872 10816 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28457 10816 672 633 0 11859 0
[pid=33985/tid=33987] ppid=33977 vsize=113828 memory=43264 CPUtime=1322.75 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 8796 0 0 0 132031 244 0 0 20 0 2 0 38769629 116559872 10816 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 2911.9 s
Current children cumulated vsize: 113828 KiB
Current children cumulated memory: 43264 KiB

[startup+1662.3 s]
/proc/loadavg: 7.63 7.35 7.04 8/266 34177
/proc/meminfo: memFree=129582864/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=114076 memory=43608 CPUtime=3022.9 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3574650 0 0 0 301044 1246 0 0 20 0 2 0 38769629 116813824 10902 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28519 10902 672 633 0 11921 0
[pid=33985/tid=33987] ppid=33977 vsize=114076 memory=43264 CPUtime=1374.26 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 8796 0 0 0 137174 252 0 0 20 0 2 0 38769629 116813824 10902 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 3022.9 s
Current children cumulated vsize: 114076 KiB
Current children cumulated memory: 43608 KiB

[startup+1722.3 s]
/proc/loadavg: 7.78 7.44 7.09 9/267 34180
/proc/meminfo: memFree=129583548/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=114076 memory=43608 CPUtime=3133.62 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3575897 0 0 0 312096 1266 0 0 20 0 2 0 38769629 116813824 10902 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28519 10902 672 633 0 11921 0
[pid=33985/tid=33987] ppid=33977 vsize=114076 memory=43264 CPUtime=1425.47 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) S 33977 33985 33720 0 -1 4194368 9224 0 0 0 142287 260 0 0 20 0 2 0 38769629 116813824 10902 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 3133.62 s
Current children cumulated vsize: 114076 KiB
Current children cumulated memory: 43608 KiB

[startup+1782.3 s]
/proc/loadavg: 7.83 7.52 7.14 9/267 34182
/proc/meminfo: memFree=129581828/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=114500 memory=44028 CPUtime=3245.7 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3576136 0 0 0 323290 1280 0 0 20 0 2 0 38769629 117248000 11007 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28625 11007 672 633 0 12027 0
[pid=33985/tid=33987] ppid=33977 vsize=114500 memory=17664 CPUtime=1478.06 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 9224 0 0 0 147539 267 0 0 20 0 2 0 38769629 117248000 11007 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 3245.7 s
Current children cumulated vsize: 114500 KiB
Current children cumulated memory: 44028 KiB

[startup+1842.3 s]
/proc/loadavg: 7.65 7.51 7.16 9/267 34230
/proc/meminfo: memFree=129585192/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=114500 memory=44028 CPUtime=3357.07 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3577509 0 0 0 334404 1303 0 0 20 0 2 0 38769629 117248000 11007 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28625 11007 672 633 0 12027 0
[pid=33985/tid=33987] ppid=33977 vsize=114500 memory=44028 CPUtime=1529.96 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 9683 0 0 0 152721 275 0 0 20 0 2 0 38769629 117248000 11007 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 3357.07 s
Current children cumulated vsize: 114500 KiB
Current children cumulated memory: 44028 KiB

[startup+1902.3 s]
/proc/loadavg: 7.60 7.53 7.19 9/267 34232
/proc/meminfo: memFree=129584540/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=114816 memory=44432 CPUtime=3469.03 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3577743 0 0 0 345585 1318 0 0 20 0 2 0 38769629 117571584 11108 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28704 11108 672 633 0 12106 0
[pid=33985/tid=33987] ppid=33977 vsize=114816 memory=44028 CPUtime=1582.45 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 9683 0 0 0 157964 281 0 0 20 0 2 0 38769629 117571584 11108 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 3469.03 s
Current children cumulated vsize: 114816 KiB
Current children cumulated memory: 44432 KiB

[startup+1962.3 s]
/proc/loadavg: 7.72 7.58 7.23 9/267 34234
/proc/meminfo: memFree=129584192/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=114952 memory=44432 CPUtime=3581.28 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3579204 0 0 0 356792 1336 0 0 20 0 2 0 38769629 117710848 11108 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28738 11108 672 633 0 12140 0
[pid=33985/tid=33987] ppid=33977 vsize=114952 memory=14592 CPUtime=1635.2 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 10196 0 0 0 163232 288 0 0 20 0 2 0 38769629 117710848 11108 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 3581.28 s
Current children cumulated vsize: 114952 KiB
Current children cumulated memory: 44432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1972.4 s]
/proc/loadavg: 7.69 7.58 7.23 9/267 34234
/proc/meminfo: memFree=129584200/131249996 swapFree=33010684/33010684
[pid=33985] ppid=33977 vsize=115280 memory=44740 CPUtime=3600.02 cores=4,6
/proc/33985/stat : 33985 (pb_competition_) R 33977 33985 33720 0 -1 4194304 3579439 0 0 0 358663 1339 0 0 20 0 2 0 38769629 118046720 11185 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
/proc/33985/statm: 28820 11185 672 633 0 12222 0
[pid=33985/tid=33987] ppid=33977 vsize=115280 memory=44740 CPUtime=1643.94 cores=4,6
/proc/33985/task/33987/stat : 33987 (pb_competition_) R 33977 33985 33720 0 -1 4194368 10197 0 0 0 164104 290 0 0 20 0 2 0 38769629 118046720 11185 18446744073709551615 4198400 6788177 140735817827584 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38408192 140735817832794 140735817832920 140735817832920 140735817838522 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 115280 KiB
Current children cumulated memory: 44740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.67 s, system=13.3972 s

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

Child status: 0

Real time (s): 1972.42
CPU time (s): 3600.06
CPU user time (s): 3586.67
CPU system time (s): 13.3972
CPU usage (%): 182.52
Max. virtual memory (cumulated for all children) (KiB): 115280
Max. memory (cumulated for all children) (KiB): 44740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.67
system time used= 13.3972
maximum resident set size= 45200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3579778
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= 325581
involuntary context switches= 58379


# summary of solver processes directly reported to runsolver:
#   pid: 33985
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3586.67
#   total CPU system time (s): 13.3972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39542 second user time and 8.95537 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 23:01:59
IDJOB=4514444
IDBENCH=162693
IDSOLVER=3347
FILE ID=nodeC021/4514444-1751230919
RUNJOBID= nodeC021-1751229108-33731
SLURM_JOB_ID= 9587693
Free space on /tmp= 433052 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_36.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-4514444-1751230919/watcher-4514444-1751230919 -o /tmp/evaluation-result-4514444-1751230919/solver-4514444-1751230919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751229108-33731 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 179258803 HOME/instance-4514444-1751230919.opb

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

MD5SUM BENCH= 483b29da31af2436e91ca4a2082e11b8
RANDOM SEED=179258803

nodeC021 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.792
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.56
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		: 3601.290
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.842
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.56
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		: 3601.283
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.56
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		: 3597.906
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.56
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		: 3599.767
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.56
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		: 3599.752
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.56
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		: 3597.852
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129746356 kB
MemAvailable:   129780400 kB
Buffers:            3280 kB
Cached:           842460 kB
SwapCached:            0 kB
Active:           342932 kB
Inactive:         585096 kB
Active(anon):     100356 kB
Inactive(anon):        0 kB
Active(file):     242576 kB
Inactive(file):   585096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11044 kB
Writeback:            16 kB
AnonPages:         85304 kB
Mapped:           105932 kB
Shmem:             18060 kB
KReclaimable:      90820 kB
Slab:             176388 kB
SReclaimable:      90820 kB
SUnreclaim:        85568 kB
KernelStack:        4160 kB
PageTables:         3056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     401956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC021 at 2025-06-29 23:34:52