Trace number 4515164

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.19 2277.88

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
MD5SUM84d6a262f1f6531f4a7714720272edd7
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 benchmark56.7591
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11891
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint11734
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 1285216
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501285383
Number of bits of the biggest sum of numbers29
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.09	c #variable: 12675
0.00/0.09	c #constraint: 11891
0.00/0.09	c #equal: 0
0.00/0.09	c intsize: 29
0.00/0.09	c sizeproduct: 0
0.00/0.09	c #soft: 0
0.00/0.09	c mincost: 0
0.00/0.09	c maxcost: 0
0.00/0.09	c sumcost: 0
0.00/0.09	c iteration_max: -1
0.00/0.09	c time_max: -1
0.00/0.09	c number_of_threads(move update): 2
0.00/0.09	c number_of_threads(move evaluation): 2
0.00/0.09	c seed: 1925539655
3600.08/2277.83	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 (45600 MiB free)
  memory of node 1: 64507 MiB (60983 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515164-1751234343/watcher-4515164-1751234343 -o /tmp/evaluation-result-4515164-1751234343/solver-4515164-1751234343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751228328-33809 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1925539655 HOME/instance-4515164-1751234343.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=34788, runsolver pid=34785
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 7.44 7.47 7.63 9/269 34790
/proc/meminfo: memFree=109112108/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=104604 memory=32252 CPUtime=0.12 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 7201 0 0 0 11 1 0 0 20 0 2 0 39112070 107114496 8063 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 26151 8063 640 633 0 9634 0
[pid=34788/tid=34790] ppid=34785 vsize=104604 memory=4026531960 CPUtime=0.02 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 655 0 0 0 2 0 0 0 20 0 2 0 39112071 107114496 8063 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 104604 KiB
Current children cumulated memory: 32252 KiB

[startup+0.205172 s]*
/proc/loadavg: 7.44 7.47 7.63 7/269 34790
/proc/meminfo: memFree=109088024/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=132892 memory=60540 CPUtime=0.22 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 14257 0 0 0 20 2 0 0 20 0 2 0 39112070 136081408 15135 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 33223 15135 672 633 0 16706 0
[pid=34788/tid=34790] ppid=34785 vsize=132892 memory=664958721904869660 CPUtime=0.02 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 655 0 0 0 2 0 0 0 20 0 2 0 39112071 136081408 15135 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 132892 KiB
Current children cumulated memory: 60540 KiB

[startup+0.305807 s]*
/proc/loadavg: 7.44 7.47 7.63 7/269 34790
/proc/meminfo: memFree=109014868/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=145004 memory=71848 CPUtime=0.34 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 17259 0 0 0 31 3 0 0 20 0 2 0 39112070 148484096 17962 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 36251 17962 672 633 0 19734 0
[pid=34788/tid=34790] ppid=34785 vsize=145004 memory=7970958504941535601 CPUtime=0.03 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 655 0 0 0 3 0 0 0 20 0 2 0 39112071 148484096 17962 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 71848 KiB

[startup+0.70022 s]
/proc/loadavg: 7.44 7.47 7.63 6/269 34790
/proc/meminfo: memFree=109066320/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=145004 memory=71976 CPUtime=0.9 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 17276 0 0 0 87 3 0 0 20 0 2 0 39112070 148484096 17994 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 36251 17994 672 633 0 19734 0
[pid=34788/tid=34790] ppid=34785 vsize=145004 memory=17536 CPUtime=0.22 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 655 0 0 0 22 0 0 0 20 0 2 0 39112071 148484096 17994 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 71976 KiB

[startup+1.50018 s]
/proc/loadavg: 7.44 7.47 7.63 9/269 34790
/proc/meminfo: memFree=109066320/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=145004 memory=71976 CPUtime=2.28 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 25910 0 0 0 225 3 0 0 20 0 2 0 39112070 148484096 17994 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 36251 17994 672 633 0 19734 0
[pid=34788/tid=34790] ppid=34785 vsize=145004 memory=17536 CPUtime=0.81 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 1624 0 0 0 81 0 0 0 20 0 2 0 39112071 148484096 17994 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 71976 KiB

[startup+3.10566 s]
/proc/loadavg: 7.32 7.45 7.62 9/269 34790
/proc/meminfo: memFree=109097760/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=145004 memory=71976 CPUtime=5.26 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 31992 0 0 0 522 4 0 0 20 0 2 0 39112070 148484096 17994 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 36251 17994 672 633 0 19734 0
[pid=34788/tid=34790] ppid=34785 vsize=145004 memory=71976 CPUtime=2.19 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 3680 0 0 0 219 0 0 0 20 0 2 0 39112071 148484096 17994 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 5.26 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 71976 KiB

[startup+6.30021 s]
/proc/loadavg: 7.32 7.45 7.62 9/269 34790
/proc/meminfo: memFree=109070448/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=145004 memory=72360 CPUtime=10.94 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 45014 0 0 0 1087 7 0 0 20 0 2 0 39112070 148484096 18090 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 36251 18090 672 633 0 19734 0
[pid=34788/tid=34790] ppid=34785 vsize=145004 memory=17536 CPUtime=4.71 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 5118 0 0 0 470 1 0 0 20 0 2 0 39112071 148484096 18090 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 10.94 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 72360 KiB

[startup+12.7002 s]
/proc/loadavg: 7.30 7.44 7.62 7/269 34790
/proc/meminfo: memFree=109065028/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=145528 memory=73128 CPUtime=20.48 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 64421 0 0 0 2037 11 0 0 20 0 2 0 39112070 149020672 18282 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 36382 18282 672 633 0 19865 0
[pid=34788/tid=34790] ppid=34785 vsize=145528 memory=73128 CPUtime=7.87 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 5268 0 0 0 786 1 0 0 20 0 2 0 39112071 149020672 18282 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 20.48 s
Current children cumulated vsize: 145528 KiB
Current children cumulated memory: 73128 KiB

[startup+25.5002 s]
/proc/loadavg: 7.23 7.42 7.61 8/269 34791
/proc/meminfo: memFree=109076956/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=148216 memory=75032 CPUtime=33.23 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 76148 0 0 0 3310 13 0 0 20 0 2 0 39112070 151773184 18758 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 37054 18758 672 633 0 20537 0
[pid=34788/tid=34790] ppid=34785 vsize=148216 memory=75032 CPUtime=7.87 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 5268 0 0 0 786 1 0 0 20 0 2 0 39112071 151773184 18758 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 33.23 s
Current children cumulated vsize: 148216 KiB
Current children cumulated memory: 75032 KiB

[startup+51.1056 s]
/proc/loadavg: 6.87 7.32 7.57 8/269 34837
/proc/meminfo: memFree=109087844/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=148216 memory=75288 CPUtime=67.76 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 96937 0 0 0 6758 18 0 0 20 0 2 0 39112070 151773184 18822 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 37054 18822 672 633 0 20537 0
[pid=34788/tid=34790] ppid=34785 vsize=148216 memory=75032 CPUtime=16.95 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 6237 0 0 0 1693 2 0 0 20 0 2 0 39112071 151773184 18822 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 67.76 s
Current children cumulated vsize: 148216 KiB
Current children cumulated memory: 75288 KiB

[startup+102.3 s]
/proc/loadavg: 7.15 7.33 7.56 9/269 34838
/proc/meminfo: memFree=109065772/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=150240 memory=77840 CPUtime=153.27 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 120900 0 0 0 15289 38 0 0 20 0 2 0 39112070 153845760 19460 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 37560 19460 672 633 0 21043 0
[pid=34788/tid=34790] ppid=34785 vsize=150240 memory=77132 CPUtime=51.65 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 9947 0 0 0 5156 9 0 0 20 0 2 0 39112071 153845760 19460 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 153.27 s
Current children cumulated vsize: 150240 KiB
Current children cumulated memory: 77840 KiB

[startup+162.3 s]
/proc/loadavg: 7.50 7.40 7.57 8/272 34868
/proc/meminfo: memFree=109255980/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=152468 memory=79616 CPUtime=253.78 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 139809 0 0 0 25320 58 0 0 20 0 2 0 39112070 156127232 19904 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 38117 19904 672 633 0 21600 0
[pid=34788/tid=34790] ppid=34785 vsize=152468 memory=79616 CPUtime=92.65 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 12495 0 0 0 9247 18 0 0 20 0 2 0 39112071 156127232 19904 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 253.78 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 79616 KiB

[startup+222.3 s]
/proc/loadavg: 6.87 7.24 7.50 7/271 34874
/proc/meminfo: memFree=109147000/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=155032 memory=81536 CPUtime=353.04 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 164401 0 0 0 35228 76 0 0 20 0 2 0 39112070 158752768 20384 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 38758 20384 672 633 0 22241 0
[pid=34788/tid=34790] ppid=34785 vsize=155032 memory=81536 CPUtime=132.39 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 18284 0 0 0 13213 26 0 0 20 0 2 0 39112071 158752768 20384 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 353.04 s
Current children cumulated vsize: 155032 KiB
Current children cumulated memory: 81536 KiB

[startup+282.3 s]
/proc/loadavg: 6.63 7.10 7.43 7/271 34876
/proc/meminfo: memFree=109152520/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=155780 memory=81892 CPUtime=451.31 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 176165 0 0 0 45039 92 0 0 20 0 2 0 39112070 159518720 20473 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 38945 20473 672 633 0 22428 0
[pid=34788/tid=34790] ppid=34785 vsize=155780 memory=17536 CPUtime=171.14 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 19455 0 0 0 17082 32 0 0 20 0 2 0 39112071 159518720 20473 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 451.31 s
Current children cumulated vsize: 155780 KiB

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

/proc/meminfo: memFree=109031780/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=175208 memory=99400 CPUtime=2580.83 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 362827 0 0 0 257653 430 0 0 20 0 2 0 39112070 179412992 24850 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 43802 24850 672 633 0 27285 0
[pid=34788/tid=34790] ppid=34785 vsize=175208 memory=99400 CPUtime=931.14 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 43511 0 0 0 92934 180 0 0 20 0 2 0 39112071 179412992 24850 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 2580.83 s
Current children cumulated vsize: 175208 KiB
Current children cumulated memory: 99400 KiB

[startup+1722.3 s]
/proc/loadavg: 7.49 7.40 7.37 8/267 35040
/proc/meminfo: memFree=109015236/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=175720 memory=100168 CPUtime=2674.44 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 378367 0 0 0 266998 446 0 0 20 0 2 0 39112070 179937280 25042 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 43930 25042 672 633 0 27413 0
[pid=34788/tid=34790] ppid=34785 vsize=175720 memory=99400 CPUtime=965.18 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 44746 0 0 0 96330 188 0 0 20 0 2 0 39112071 179937280 25042 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 2674.44 s
Current children cumulated vsize: 175720 KiB
Current children cumulated memory: 100168 KiB

[startup+1782.3 s]
/proc/loadavg: 7.31 7.37 7.36 7/267 35042
/proc/meminfo: memFree=108998924/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=175968 memory=100168 CPUtime=2774.3 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 394012 0 0 0 276968 462 0 0 20 0 2 0 39112070 180191232 25042 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 43992 25042 672 633 0 27475 0
[pid=34788/tid=34790] ppid=34785 vsize=175968 memory=100168 CPUtime=1005.56 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 48922 0 0 0 100359 197 0 0 20 0 2 0 39112071 180191232 25042 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 2774.3 s
Current children cumulated vsize: 175968 KiB
Current children cumulated memory: 100168 KiB

[startup+1842.3 s]
/proc/loadavg: 7.34 7.37 7.36 9/268 35047
/proc/meminfo: memFree=109005628/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=176728 memory=100424 CPUtime=2875.54 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 409594 0 0 0 287077 477 0 0 20 0 2 0 39112070 180969472 25106 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44182 25106 672 633 0 27665 0
[pid=34788/tid=34790] ppid=34785 vsize=176728 memory=17536 CPUtime=1047.32 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 53155 0 0 0 104526 206 0 0 20 0 2 0 39112071 180969472 25106 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 2875.54 s
Current children cumulated vsize: 176728 KiB
Current children cumulated memory: 100424 KiB

[startup+1902.3 s]
/proc/loadavg: 6.93 7.27 7.33 6/268 35095
/proc/meminfo: memFree=126623248/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=176728 memory=101320 CPUtime=2973.98 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 424386 0 0 0 296904 494 0 0 20 0 2 0 39112070 180969472 25330 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44182 25330 672 633 0 27665 0
[pid=34788/tid=34790] ppid=34785 vsize=176728 memory=17536 CPUtime=1086.27 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 54494 0 0 0 108413 214 0 0 20 0 2 0 39112071 180969472 25330 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 2973.98 s
Current children cumulated vsize: 176728 KiB
Current children cumulated memory: 101320 KiB

[startup+1962.3 s]
/proc/loadavg: 6.73 7.14 7.28 7/268 35143
/proc/meminfo: memFree=126645636/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=177424 memory=102216 CPUtime=3068.2 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 426128 0 0 0 306311 509 0 0 20 0 2 0 39112070 181682176 25554 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44356 25554 672 633 0 27839 0
[pid=34788/tid=34790] ppid=34785 vsize=177424 memory=101448 CPUtime=1120.9 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 54899 0 0 0 111868 222 0 0 20 0 2 0 39112071 181682176 25554 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 3068.2 s
Current children cumulated vsize: 177424 KiB
Current children cumulated memory: 102216 KiB

[startup+2022.3 s]
/proc/loadavg: 6.45 6.97 7.21 7/268 35145
/proc/meminfo: memFree=126625080/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=178232 memory=102216 CPUtime=3160.95 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 427873 0 0 0 315573 522 0 0 20 0 2 0 39112070 182509568 25554 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44558 25554 672 633 0 28041 0
[pid=34788/tid=34790] ppid=34785 vsize=178232 memory=102216 CPUtime=1154.04 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 55290 0 0 0 115174 230 0 0 20 0 2 0 39112071 182509568 25554 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 3160.95 s
Current children cumulated vsize: 178232 KiB
Current children cumulated memory: 102216 KiB

[startup+2082.3 s]
/proc/loadavg: 6.39 6.86 7.15 8/268 35151
/proc/meminfo: memFree=126615992/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=178232 memory=102344 CPUtime=3263.52 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 429622 0 0 0 325818 534 0 0 20 0 2 0 39112070 182509568 25586 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44558 25586 672 633 0 28041 0
[pid=34788/tid=34790] ppid=34785 vsize=178232 memory=102216 CPUtime=1197.16 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 55686 0 0 0 119481 235 0 0 20 0 2 0 39112071 182509568 25586 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 3263.52 s
Current children cumulated vsize: 178232 KiB
Current children cumulated memory: 102344 KiB

[startup+2142.3 s]
/proc/loadavg: 6.50 6.81 7.11 8/268 35153
/proc/meminfo: memFree=126624748/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=178232 memory=103112 CPUtime=3366.45 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 431570 0 0 0 336101 544 0 0 20 0 2 0 39112070 182509568 25778 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44558 25778 672 633 0 28041 0
[pid=34788/tid=34790] ppid=34785 vsize=178232 memory=102216 CPUtime=1240.63 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 55729 0 0 0 123824 239 0 0 20 0 2 0 39112071 182509568 25778 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 3366.45 s
Current children cumulated vsize: 178232 KiB
Current children cumulated memory: 103112 KiB

[startup+2202.3 s]
/proc/loadavg: 6.18 6.68 7.05 6/269 35201
/proc/meminfo: memFree=126554116/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=178364 memory=103112 CPUtime=3469.39 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 431586 0 0 0 346385 554 0 0 20 0 2 0 39112070 182644736 25778 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44591 25778 672 633 0 28074 0
[pid=34788/tid=34790] ppid=34785 vsize=178364 memory=102216 CPUtime=1284.08 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) S 34785 34788 33797 0 -1 4194368 55729 0 0 0 128166 242 0 0 20 0 2 0 39112071 182644736 25778 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 3469.39 s
Current children cumulated vsize: 178364 KiB
Current children cumulated memory: 103112 KiB

[startup+2262.3 s]
/proc/loadavg: 6.25 6.60 7.00 6/268 35203
/proc/meminfo: memFree=126553104/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=179180 memory=103880 CPUtime=3573.49 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 433413 0 0 0 356784 565 0 0 20 0 2 0 39112070 183480320 25970 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44795 25970 672 633 0 28278 0
[pid=34788/tid=34790] ppid=34785 vsize=179180 memory=103880 CPUtime=1328.7 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 56038 0 0 0 132624 246 0 0 20 0 2 0 39112071 183480320 25970 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 179180 KiB
Current children cumulated memory: 103880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2277.8 s]
/proc/loadavg: 6.04 6.54 6.97 6/268 35204
/proc/meminfo: memFree=126581924/131249996 swapFree=33010684/33010684
[pid=34788] ppid=34785 vsize=179696 memory=103880 CPUtime=3600.08 cores=1,3
/proc/34788/stat : 34788 (pb_competition_) R 34785 34788 33797 0 -1 4194304 433418 0 0 0 359441 567 0 0 20 0 2 0 39112070 184008704 25970 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
/proc/34788/statm: 44924 25970 672 633 0 28407 0
[pid=34788/tid=34790] ppid=34785 vsize=179696 memory=103880 CPUtime=1339.94 cores=1,3
/proc/34788/task/34790/stat : 34790 (pb_competition_) R 34785 34788 33797 0 -1 4194368 56038 0 0 0 133747 247 0 0 20 0 2 0 39112071 184008704 25970 18446744073709551615 4198400 6788177 140737388349376 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 23969792 140737388357977 140737388358104 140737388358104 140737388363706 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 103880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.51 s, system=5.68122 s

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

Child status: 0

Real time (s): 2277.88
CPU time (s): 3600.19
CPU user time (s): 3594.51
CPU system time (s): 5.68122
CPU usage (%): 158.05
Max. virtual memory (cumulated for all children) (KiB): 179696
Max. memory (cumulated for all children) (KiB): 103880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.51
system time used= 5.68122
maximum resident set size= 103880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435616
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= 303723
involuntary context switches= 121364


# summary of solver processes directly reported to runsolver:
#   pid: 34788
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3594.51
#   total CPU system time (s): 5.68122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.7488 second user time and 11.1527 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 23:59:03
IDJOB=4515164
IDBENCH=164178
IDSOLVER=3347
FILE ID=nodeC017/4515164-1751234343
RUNJOBID= nodeC017-1751228328-33809
SLURM_JOB_ID= 9587689
Free space on /tmp= 432568 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.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-4515164-1751234343/watcher-4515164-1751234343 -o /tmp/evaluation-result-4515164-1751234343/solver-4515164-1751234343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751228328-33809 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1925539655 HOME/instance-4515164-1751234343.opb

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

MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7
RANDOM SEED=1925539655

nodeC017 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		: 3600.036
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	: 7000.12
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.867
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	: 7000.12
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		: 3600.315
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	: 7000.12
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		: 3624.204
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	: 7000.12
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.987
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	: 7000.12
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		: 3600.024
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	: 7000.12
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		: 3600.143
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109142036 kB
MemAvailable:   112360404 kB
Buffers:            2380 kB
Cached:          3990840 kB
SwapCached:            0 kB
Active:         17683176 kB
Inactive:        3685680 kB
Active(anon):   17393704 kB
Inactive(anon):       12 kB
Active(file):     289472 kB
Inactive(file):  3685668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5816 kB
Writeback:            32 kB
AnonPages:      17378808 kB
Mapped:           110964 kB
Shmem:             18080 kB
KReclaimable:     164532 kB
Slab:             252220 kB
SReclaimable:     164532 kB
SUnreclaim:        87688 kB
KernelStack:        4352 kB
PageTables:        37724 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   18058088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2719744 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC017 at 2025-06-30 00:37:01