Trace number 4507766

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.24 1993.35

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
MD5SUMe64e621864ff5f0b0d30a15b78ec6db8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.61141
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3960
Total number of constraints4106
Number of constraints which are clauses4034
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 73
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: 3960
0.00/0.02	c #constraint: 4106
0.00/0.02	c #equal: 0
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: 609511088
3600.17/1993.32	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62917 MiB free)
  memory of node 1: 64465 MiB (64008 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507766-1751190961/watcher-4507766-1751190961 -o /tmp/evaluation-result-4507766-1751190961/solver-4507766-1751190961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751190946-31840 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 609511088 HOME/instance-4507766-1751190961.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=31945, runsolver pid=31942

[startup+0.100064 s]*
/proc/loadavg: 1.92 1.93 3.46 8/271 31947
/proc/meminfo: memFree=129944456/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=96860 memory=24448 CPUtime=0.12 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 5651 0 0 0 11 1 0 0 20 0 2 0 34773629 99184640 6112 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 24215 6112 672 633 0 7586 0
[pid=31945/tid=31947] ppid=31942 vsize=96860 memory=4026531960 CPUtime=0.02 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) S 31942 31945 31824 0 -1 4194368 543 0 0 0 2 0 0 0 20 0 2 0 34773630 99184640 6112 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 24448 KiB

[startup+0.205965 s]*
/proc/loadavg: 1.92 1.93 3.46 9/271 31947
/proc/meminfo: memFree=129944456/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=96860 memory=24448 CPUtime=0.28 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) S 31942 31945 31824 0 -1 4194304 5651 0 0 0 27 1 0 0 20 0 2 0 34773629 99184640 6112 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 24215 6112 672 633 0 7586 0
[pid=31945/tid=31947] ppid=31942 vsize=96860 memory=664958721904869660 CPUtime=0.08 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 543 0 0 0 8 0 0 0 20 0 2 0 34773630 99184640 6112 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 24448 KiB

[startup+0.305685 s]*
/proc/loadavg: 1.92 1.93 3.46 8/271 31947
/proc/meminfo: memFree=129944936/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=96860 memory=24448 CPUtime=0.46 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 5651 0 0 0 45 1 0 0 20 0 2 0 34773629 99184640 6112 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 24215 6112 672 633 0 7586 0
[pid=31945/tid=31947] ppid=31942 vsize=96860 memory=7970109690504297843 CPUtime=0.16 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 543 0 0 0 16 0 0 0 20 0 2 0 34773630 99184640 6112 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 24448 KiB

[startup+0.700197 s]
/proc/loadavg: 1.92 1.93 3.46 8/271 31947
/proc/meminfo: memFree=129944936/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=96860 memory=24576 CPUtime=1.18 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 5662 0 0 0 116 2 0 0 20 0 2 0 34773629 99184640 6144 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 24215 6144 672 633 0 7586 0
[pid=31945/tid=31947] ppid=31942 vsize=96860 memory=17536 CPUtime=0.5 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 543 0 0 0 50 0 0 0 20 0 2 0 34773630 99184640 6144 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 24576 KiB

[startup+1.5002 s]
/proc/loadavg: 1.92 1.93 3.46 9/271 31947
/proc/meminfo: memFree=129944984/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=96784 memory=24564 CPUtime=2.63 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 14482 0 0 0 260 3 0 0 20 0 2 0 34773629 99106816 6141 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 24196 6141 672 633 0 7567 0
[pid=31945/tid=31947] ppid=31942 vsize=96784 memory=17536 CPUtime=1.16 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 889 0 0 0 116 0 0 0 20 0 2 0 34773630 99106816 6141 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 96784 KiB
Current children cumulated memory: 24564 KiB

[startup+3.10567 s]
/proc/loadavg: 1.92 1.93 3.46 7/271 31947
/proc/meminfo: memFree=129943476/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=97656 memory=25372 CPUtime=5.52 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 39895 0 0 0 543 9 0 0 20 0 2 0 34773629 99999744 6343 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 24414 6343 672 633 0 7785 0
[pid=31945/tid=31947] ppid=31942 vsize=97656 memory=24768 CPUtime=2.45 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) S 31942 31945 31824 0 -1 4194368 1244 0 0 0 245 0 0 0 20 0 2 0 34773630 99999744 6343 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 97656 KiB
Current children cumulated memory: 25372 KiB

[startup+6.3002 s]
/proc/loadavg: 2.40 2.03 3.48 8/271 31947
/proc/meminfo: memFree=129943492/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=98540 memory=26080 CPUtime=11.29 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 50082 0 0 0 1117 12 0 0 20 0 2 0 34773629 100904960 6520 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 24635 6520 672 633 0 8006 0
[pid=31945/tid=31947] ppid=31942 vsize=98540 memory=17536 CPUtime=5.06 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 2026 0 0 0 505 1 0 0 20 0 2 0 34773630 100904960 6520 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 11.29 s
Current children cumulated vsize: 98540 KiB
Current children cumulated memory: 26080 KiB

[startup+12.7002 s]
/proc/loadavg: 2.85 2.13 3.51 9/271 31947
/proc/meminfo: memFree=129942824/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=100684 memory=28104 CPUtime=23.08 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 60443 0 0 0 2290 18 0 0 20 0 2 0 34773629 103100416 7026 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 25171 7026 672 633 0 8542 0
[pid=31945/tid=31947] ppid=31942 vsize=100684 memory=27848 CPUtime=10.5 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 3808 0 0 0 1048 2 0 0 20 0 2 0 34773630 103100416 7026 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 23.08 s
Current children cumulated vsize: 100684 KiB
Current children cumulated memory: 28104 KiB

[startup+25.5002 s]
/proc/loadavg: 3.77 2.37 3.56 9/271 31948
/proc/meminfo: memFree=129935076/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=103468 memory=30336 CPUtime=46.47 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 71800 0 0 0 4618 29 0 0 20 0 2 0 34773629 105951232 7584 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 25867 7584 672 633 0 9238 0
[pid=31945/tid=31947] ppid=31942 vsize=103468 memory=28360 CPUtime=21.18 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 6260 0 0 0 2115 3 0 0 20 0 2 0 34773630 105951232 7584 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 46.47 s
Current children cumulated vsize: 103468 KiB
Current children cumulated memory: 30336 KiB

[startup+51.1057 s]
/proc/loadavg: 4.75 2.71 3.64 9/270 31948
/proc/meminfo: memFree=129930208/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=104596 memory=31872 CPUtime=93.61 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 78143 0 0 0 9307 54 0 0 20 0 2 0 34773629 107106304 7968 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 26149 7968 672 633 0 9520 0
[pid=31945/tid=31947] ppid=31942 vsize=104596 memory=14432 CPUtime=42.95 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 7300 0 0 0 4286 9 0 0 20 0 2 0 34773630 107106304 7968 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 93.61 s
Current children cumulated vsize: 104596 KiB
Current children cumulated memory: 31872 KiB

[startup+102.3 s]
/proc/loadavg: 6.34 3.47 3.85 9/269 31950
/proc/meminfo: memFree=129935964/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=105472 memory=33024 CPUtime=187.19 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 90647 0 0 0 18621 98 0 0 20 0 2 0 34773629 108003328 8256 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 26368 8256 672 633 0 9739 0
[pid=31945/tid=31947] ppid=31942 vsize=105472 memory=32256 CPUtime=85.79 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) S 31942 31945 31824 0 -1 4194368 9491 0 0 0 8560 19 0 0 20 0 2 0 34773630 108003328 8256 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 187.19 s
Current children cumulated vsize: 105472 KiB
Current children cumulated memory: 33024 KiB

[startup+162.3 s]
/proc/loadavg: 6.68 4.11 4.05 7/270 31999
/proc/meminfo: memFree=129943832/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=109492 memory=37060 CPUtime=296.13 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 97527 0 0 0 29472 141 0 0 20 0 2 0 34773629 112119808 9265 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 27373 9265 672 633 0 10744 0
[pid=31945/tid=31947] ppid=31942 vsize=109492 memory=34396 CPUtime=135.31 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) S 31942 31945 31824 0 -1 4194368 10029 0 0 0 13501 30 0 0 20 0 2 0 34773630 112119808 9265 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 296.13 s
Current children cumulated vsize: 109492 KiB
Current children cumulated memory: 37060 KiB

[startup+222.3 s]
/proc/loadavg: 6.56 4.55 4.21 7/270 32004
/proc/meminfo: memFree=129928456/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=110500 memory=38084 CPUtime=404.93 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 106708 0 0 0 40317 176 0 0 20 0 2 0 34773629 113152000 9521 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 27625 9521 672 633 0 10996 0
[pid=31945/tid=31947] ppid=31942 vsize=110500 memory=3200 CPUtime=184.71 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 11551 0 0 0 18431 40 0 0 20 0 2 0 34773630 113152000 9521 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 404.93 s
Current children cumulated vsize: 110500 KiB
Current children cumulated memory: 38084 KiB

[startup+282.3 s]
/proc/loadavg: 6.37 4.87 4.34 8/270 32006
/proc/meminfo: memFree=129950108/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=111368 memory=38980 CPUtime=513.64 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 108380 0 0 0 51163 201 0 0 20 0 2 0 34773629 114040832 9745 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 27842 9745 672 633 0 11213 0
[pid=31945/tid=31947] ppid=31942 vsize=111368 memory=38340 CPUtime=234.05 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 11752 0 0 0 23356 49 0 0 20 0 2 0 34773630 114040832 9745 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 513.64 s
Current children cumulated vsize: 111368 KiB
Current children cumulated memory: 38980 KiB

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

/proc/meminfo: memFree=129929536/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=122492 memory=47064 CPUtime=2573.49 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 122639 0 0 0 256852 497 0 0 20 0 2 0 34773629 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30623 11766 672 633 0 13994 0
[pid=31945/tid=31947] ppid=31942 vsize=122492 memory=17536 CPUtime=1165.58 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 12949 0 0 0 116399 159 0 0 20 0 2 0 34773630 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 2573.49 s
Current children cumulated vsize: 122492 KiB
Current children cumulated memory: 47064 KiB

[startup+1482.3 s]
/proc/loadavg: 6.46 6.53 6.00 6/269 32077
/proc/meminfo: memFree=129927688/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=122492 memory=47064 CPUtime=2682 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 122785 0 0 0 267689 511 0 0 20 0 2 0 34773629 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30623 11766 672 633 0 13994 0
[pid=31945/tid=31947] ppid=31942 vsize=122492 memory=47064 CPUtime=1214.68 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 12949 0 0 0 121304 164 0 0 20 0 2 0 34773630 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 2682 s
Current children cumulated vsize: 122492 KiB
Current children cumulated memory: 47064 KiB

[startup+1542.3 s]
/proc/loadavg: 6.54 6.54 6.04 7/269 32079
/proc/meminfo: memFree=129929124/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=122492 memory=47064 CPUtime=2782.23 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 122790 0 0 0 277700 523 0 0 20 0 2 0 34773629 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30623 11766 672 633 0 13994 0
[pid=31945/tid=31947] ppid=31942 vsize=122492 memory=14432 CPUtime=1255.48 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 12949 0 0 0 125380 168 0 0 20 0 2 0 34773630 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 2782.23 s
Current children cumulated vsize: 122492 KiB
Current children cumulated memory: 47064 KiB

[startup+1602.3 s]
/proc/loadavg: 6.67 6.58 6.08 8/269 32081
/proc/meminfo: memFree=129927764/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=122492 memory=47064 CPUtime=2890.86 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 124420 0 0 0 288549 537 0 0 20 0 2 0 34773629 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30623 11766 672 633 0 13994 0
[pid=31945/tid=31947] ppid=31942 vsize=122492 memory=47064 CPUtime=1304.72 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) S 31942 31945 31824 0 -1 4194368 13115 0 0 0 130298 174 0 0 20 0 2 0 34773630 125431808 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 2890.86 s
Current children cumulated vsize: 122492 KiB
Current children cumulated memory: 47064 KiB

[startup+1662.3 s]
/proc/loadavg: 6.65 6.60 6.12 7/268 32086
/proc/meminfo: memFree=129915068/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=122624 memory=47064 CPUtime=2999.62 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 124437 0 0 0 299412 550 0 0 20 0 2 0 34773629 125566976 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30656 11766 672 633 0 14027 0
[pid=31945/tid=31947] ppid=31942 vsize=122624 memory=14432 CPUtime=1354.07 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13115 0 0 0 135228 179 0 0 20 0 2 0 34773630 125566976 11766 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 2999.62 s
Current children cumulated vsize: 122624 KiB
Current children cumulated memory: 47064 KiB

[startup+1722.3 s]
/proc/loadavg: 6.58 6.59 6.15 8/267 32088
/proc/meminfo: memFree=129914400/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=122624 memory=47192 CPUtime=3108.21 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 124456 0 0 0 310257 564 0 0 20 0 2 0 34773629 125566976 11798 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30656 11798 672 633 0 14027 0
[pid=31945/tid=31947] ppid=31942 vsize=122624 memory=47064 CPUtime=1403.24 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13115 0 0 0 140139 185 0 0 20 0 2 0 34773630 125566976 11798 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 3108.21 s
Current children cumulated vsize: 122624 KiB
Current children cumulated memory: 47192 KiB

[startup+1782.3 s]
/proc/loadavg: 6.64 6.60 6.18 7/267 32090
/proc/meminfo: memFree=129914164/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=123236 memory=47704 CPUtime=3216.91 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 125741 0 0 0 321114 577 0 0 20 0 2 0 34773629 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30809 11926 672 633 0 14180 0
[pid=31945/tid=31947] ppid=31942 vsize=123236 memory=14432 CPUtime=1452.48 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13315 0 0 0 145058 190 0 0 20 0 2 0 34773630 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 3216.91 s
Current children cumulated vsize: 123236 KiB
Current children cumulated memory: 47704 KiB

[startup+1842.3 s]
/proc/loadavg: 6.70 6.61 6.21 7/267 32095
/proc/meminfo: memFree=129914768/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=123236 memory=47704 CPUtime=3325.74 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 125741 0 0 0 331985 589 0 0 20 0 2 0 34773629 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30809 11926 672 633 0 14180 0
[pid=31945/tid=31947] ppid=31942 vsize=123236 memory=47704 CPUtime=1501.9 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13315 0 0 0 149995 195 0 0 20 0 2 0 34773630 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 3325.74 s
Current children cumulated vsize: 123236 KiB
Current children cumulated memory: 47704 KiB

[startup+1902.3 s]
/proc/loadavg: 6.68 6.62 6.24 7/268 32098
/proc/meminfo: memFree=129914220/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=123236 memory=47704 CPUtime=3434.57 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 126922 0 0 0 342854 603 0 0 20 0 2 0 34773629 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30809 11926 672 633 0 14180 0
[pid=31945/tid=31947] ppid=31942 vsize=123236 memory=47704 CPUtime=1551.3 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13409 0 0 0 154930 200 0 0 20 0 2 0 34773630 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 3434.57 s
Current children cumulated vsize: 123236 KiB
Current children cumulated memory: 47704 KiB

[startup+1962.3 s]
/proc/loadavg: 6.68 6.64 6.27 7/270 32148
/proc/meminfo: memFree=129969276/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=123236 memory=47704 CPUtime=3543.4 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 127004 0 0 0 353726 614 0 0 20 0 2 0 34773629 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30809 11926 672 633 0 14180 0
[pid=31945/tid=31947] ppid=31942 vsize=123236 memory=47704 CPUtime=1600.73 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13444 0 0 0 159868 205 0 0 20 0 2 0 34773630 126193664 11926 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 3543.4 s
Current children cumulated vsize: 123236 KiB
Current children cumulated memory: 47704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1993.3 s]
/proc/loadavg: 6.48 6.60 6.27 7/270 32195
/proc/meminfo: memFree=130003416/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=123636 memory=48088 CPUtime=3600.17 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 127131 0 0 0 359397 620 0 0 20 0 2 0 34773629 126603264 12022 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30909 12022 672 633 0 14280 0
[pid=31945/tid=31947] ppid=31942 vsize=123636 memory=48088 CPUtime=1626.75 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13445 0 0 0 162468 207 0 0 20 0 2 0 34773630 126603264 12022 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 123636 KiB
Current children cumulated memory: 48088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.03 s, system=6.21027 s

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

[startup+1993.3 s]
/proc/loadavg: 6.48 6.60 6.27 7/270 32195
/proc/meminfo: memFree=130003416/131250000 swapFree=33010684/33010684
[pid=31945] ppid=31942 vsize=123636 memory=48088 CPUtime=3600.17 cores=5,7
/proc/31945/stat : 31945 (pb_competition_) R 31942 31945 31824 0 -1 4194304 127131 0 0 0 359397 620 0 0 20 0 2 0 34773629 126603264 12022 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
/proc/31945/statm: 30909 12022 672 633 0 14280 0
[pid=31945/tid=31947] ppid=31942 vsize=123636 memory=48088 CPUtime=1626.75 cores=5,7
/proc/31945/task/31947/stat : 31947 (pb_competition_) R 31942 31945 31824 0 -1 4194368 13445 0 0 0 162468 207 0 0 20 0 2 0 34773630 126603264 12022 18446744073709551615 4198400 6788177 140728841701584 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40579072 140728841709914 140728841710040 140728841710040 140728841715642 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 123636 KiB
Current children cumulated memory: 48088 KiB

Child status: 0

Real time (s): 1993.35
CPU time (s): 3600.24
CPU user time (s): 3594.03
CPU system time (s): 6.21027
CPU usage (%): 180.613
Max. virtual memory (cumulated for all children) (KiB): 123636
Max. memory (cumulated for all children) (KiB): 48088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.03
system time used= 6.21027
maximum resident set size= 48088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127426
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= 67881
involuntary context switches= 44095


# summary of solver processes directly reported to runsolver:
#   pid: 31945
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3594.03
#   total CPU system time (s): 6.21027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98419 second user time and 9.56967 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 11:56:01
IDJOB=4507766
IDBENCH=158382
IDSOLVER=3347
FILE ID=nodeC016/4507766-1751190961
RUNJOBID= nodeC016-1751190946-31840
SLURM_JOB_ID= 9587577
Free space on /tmp= 433048 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.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-4507766-1751190961/watcher-4507766-1751190961 -o /tmp/evaluation-result-4507766-1751190961/solver-4507766-1751190961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751190946-31840 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 609511088 HOME/instance-4507766-1751190961.opb

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

MD5SUM BENCH= e64e621864ff5f0b0d30a15b78ec6db8
RANDOM SEED=609511088

nodeC016 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.820
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.48
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.726
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.48
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.812
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.48
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.734
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.48
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		: 3599.639
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.48
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.706
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.48
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.815
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.48
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		: 3599.668
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129972452 kB
MemAvailable:   129716236 kB
Buffers:            3280 kB
Cached:           553568 kB
SwapCached:            0 kB
Active:           380840 kB
Inactive:         331804 kB
Active(anon):     173868 kB
Inactive(anon):        0 kB
Active(file):     206972 kB
Inactive(file):   331804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21732 kB
Writeback:            24 kB
AnonPages:        158964 kB
Mapped:           111104 kB
Shmem:             18072 kB
KReclaimable:      88496 kB
Slab:             172236 kB
SReclaimable:      88496 kB
SUnreclaim:        83740 kB
KernelStack:        4368 kB
PageTables:         3184 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     513992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 433044 MiB
End job on nodeC016 at 2025-06-29 12:29:14