Trace number 4485713

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
ExactPR-S 2025-06-01? (TO) 3600.45 3610.32

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMd021d78883fac2a7bf820bb220b2a7e2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark1.14616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 12491747892670016
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.58/1.66	c 4509 constraints
1.58/1.66	c after presolve  4701
3.28/3.38	c Finish cloning data from SAT to LS
3.28/3.38	c intsize: 55
3600.01/3609.98	c Use LS-small
3600.01/3609.98	c Program interrupted by user.
3600.01/3609.98	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 (60281 MiB free)
  memory of node 1: 64507 MiB (63809 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485713-1751282718/watcher-4485713-1751282718 -o /tmp/evaluation-result-4485713-1751282718/solver-4485713-1751282718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751279092-35044 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485713-1751282718.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=35723, runsolver pid=35720
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.10 4.03 5/263 35724
/proc/meminfo: memFree=126972080/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=188784 memory=147760 CPUtime=0.08 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 13547 0 0 0 5 3 0 0 20 0 1 0 43951705 193314816 36940 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 47196 36940 1696 2271 0 41834 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 188784 KiB
Current children cumulated memory: 147760 KiB

[startup+0.205419 s]*
/proc/loadavg: 4.13 4.10 4.03 5/263 35724
/proc/meminfo: memFree=126944044/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=210884 memory=172536 CPUtime=0.19 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 19215 0 0 0 14 5 0 0 20 0 1 0 43951705 215945216 43134 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 52721 43134 1696 2271 0 47359 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 210884 KiB
Current children cumulated memory: 172536 KiB

[startup+0.305428 s]*
/proc/loadavg: 4.13 4.10 4.03 5/263 35724
/proc/meminfo: memFree=126935980/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=220140 memory=181752 CPUtime=0.29 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 21530 0 0 0 24 5 0 0 20 0 1 0 43951705 225423360 45438 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 55035 45438 1696 2271 0 49673 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 220140 KiB
Current children cumulated memory: 181752 KiB

[startup+0.700187 s]
/proc/loadavg: 4.13 4.10 4.03 5/263 35724
/proc/meminfo: memFree=126911788/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=247376 memory=211116 CPUtime=0.68 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 28350 0 0 0 61 7 0 0 20 0 1 0 43951705 253313024 52779 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 61844 52779 1696 2271 0 56482 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 247376 KiB
Current children cumulated memory: 211116 KiB

[startup+1.50012 s]
/proc/loadavg: 4.12 4.10 4.03 5/263 35724
/proc/meminfo: memFree=126891060/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=386852 memory=350124 CPUtime=1.48 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 54131 0 0 0 136 12 0 0 20 0 1 0 43951705 396136448 87531 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 96713 87531 1888 2271 0 91351 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 386852 KiB
Current children cumulated memory: 350124 KiB

[startup+3.10561 s]
/proc/loadavg: 4.12 4.10 4.03 5/263 35724
/proc/meminfo: memFree=126114544/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1098436 memory=1047724 CPUtime=3.08 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 228542 0 0 0 270 38 0 0 20 0 1 0 43951705 1124798464 261931 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 274609 261931 1888 2271 0 269247 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1098436 KiB
Current children cumulated memory: 1047724 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 4.10 4.03 5/263 35724
/proc/meminfo: memFree=125897012/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1252224 memory=1207212 CPUtime=6.27 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 268406 0 0 0 579 48 0 0 20 0 1 0 43951705 1282277376 301803 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 313056 301803 1920 2271 0 307694 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1252224 KiB
Current children cumulated memory: 1207212 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.03 5/263 35724
/proc/meminfo: memFree=125880992/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1252224 memory=1207212 CPUtime=12.65 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 268412 0 0 0 1211 54 0 0 20 0 1 0 43951705 1282277376 301803 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 313056 301803 1920 2271 0 307694 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1252224 KiB
Current children cumulated memory: 1207212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.03 5/263 35724
/proc/meminfo: memFree=125848544/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1252224 memory=1207212 CPUtime=25.42 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 268412 0 0 0 2478 64 0 0 20 0 1 0 43951705 1282277376 301803 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 313056 301803 1920 2271 0 307694 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1252224 KiB
Current children cumulated memory: 1207212 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.10 4.03 5/263 35725
/proc/meminfo: memFree=125784080/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1252224 memory=1208236 CPUtime=50.97 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 268664 0 0 0 5013 84 0 0 20 0 1 0 43951705 1282277376 302059 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 313056 302059 1920 2271 0 307694 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1252224 KiB
Current children cumulated memory: 1208236 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/263 35770
/proc/meminfo: memFree=126399196/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1479516 memory=1417740 CPUtime=102.03 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 309726 0 0 0 10101 102 0 0 20 0 1 0 43951705 1515024384 354435 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 369879 354435 1952 2271 0 364517 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1479516 KiB
Current children cumulated memory: 1417740 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/263 35772
/proc/meminfo: memFree=126148512/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1633244 memory=1540108 CPUtime=161.88 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 333680 0 0 0 16077 111 0 0 20 0 1 0 43951705 1672441856 385027 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 408311 385027 1952 2271 0 402949 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1633244 KiB
Current children cumulated memory: 1540108 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 35774
/proc/meminfo: memFree=126033576/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1668868 memory=1597728 CPUtime=221.72 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 342032 0 0 0 22058 114 0 0 20 0 1 0 43951705 1708920832 399432 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 417217 399432 1952 2271 0 411855 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1668868 KiB
Current children cumulated memory: 1597728 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/263 35776
/proc/meminfo: memFree=125990252/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1688216 memory=1627796 CPUtime=281.57 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 347567 0 0 0 28040 117 0 0 20 0 1 0 43951705 1728733184 406949 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 422054 406949 1952 2271 0 416692 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1688216 KiB
Current children cumulated memory: 1627796 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/262 35779
/proc/meminfo: memFree=125958320/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1688216 memory=1628948 CPUtime=341.42 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 347941 0 0 0 34024 118 0 0 20 0 1 0 43951705 1728733184 407237 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 422054 407237 1952 2271 0 416692 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 1688216 KiB
Current children cumulated memory: 1628948 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/262 35781
/proc/meminfo: memFree=125954176/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1688216 memory=1631188 CPUtime=401.27 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 347992 0 0 0 40009 118 0 0 20 0 1 0 43951705 1728733184 407797 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 422054 407797 1952 2271 0 416692 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1688216 KiB
Current children cumulated memory: 1631188 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/262 35783
/proc/meminfo: memFree=125930944/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=1688216 memory=1631444 CPUtime=461.1 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 348178 0 0 0 45990 120 0 0 20 0 1 0 43951705 1728733184 407861 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 422054 407861 1952 2271 0 416692 0

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

Current children cumulated memory: 2407092 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 35922
/proc/meminfo: memFree=123071944/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2483044 memory=2407092 CPUtime=3033.86 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 481256 0 0 0 303202 184 0 0 20 0 1 0 43951705 2542637056 601773 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 620761 601773 1952 2271 0 615399 0
Current children cumulated CPU time: 3033.86 s
Current children cumulated vsize: 2483044 KiB
Current children cumulated memory: 2407092 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 35924
/proc/meminfo: memFree=123067356/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2483044 memory=2407092 CPUtime=3093.7 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 481311 0 0 0 309186 184 0 0 20 0 1 0 43951705 2542637056 601773 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 620761 601773 1952 2271 0 615399 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 2483044 KiB
Current children cumulated memory: 2407092 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 35926
/proc/meminfo: memFree=122995012/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2483044 memory=2407092 CPUtime=3153.55 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 481845 0 0 0 315171 184 0 0 20 0 1 0 43951705 2542637056 601773 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 620761 601773 1952 2271 0 615399 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 2483044 KiB
Current children cumulated memory: 2407092 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 35928
/proc/meminfo: memFree=122982816/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2483044 memory=2407092 CPUtime=3213.4 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 481938 0 0 0 321150 190 0 0 20 0 1 0 43951705 2542637056 601773 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 620761 601773 1952 2271 0 615399 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 2483044 KiB
Current children cumulated memory: 2407092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 35930
/proc/meminfo: memFree=122981836/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2487140 memory=2410168 CPUtime=3273.24 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 482541 0 0 0 327134 190 0 0 20 0 1 0 43951705 2546831360 602542 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 621785 602542 1952 2271 0 616423 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 2487140 KiB
Current children cumulated memory: 2410168 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 35932
/proc/meminfo: memFree=122978676/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2487140 memory=2410168 CPUtime=3333.09 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 482820 0 0 0 333119 190 0 0 20 0 1 0 43951705 2546831360 602542 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 621785 602542 1952 2271 0 616423 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 2487140 KiB
Current children cumulated memory: 2410168 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 35934
/proc/meminfo: memFree=122938428/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2487140 memory=2410168 CPUtime=3392.94 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 482901 0 0 0 339104 190 0 0 20 0 1 0 43951705 2546831360 602542 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 621785 602542 1952 2271 0 616423 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 2487140 KiB
Current children cumulated memory: 2410168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.43 4.16 4.11 5/262 35936
/proc/meminfo: memFree=122844764/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2561400 memory=2484792 CPUtime=3452.79 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 502105 0 0 0 345083 196 0 0 20 0 1 0 43951705 2622873600 621198 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 640350 621198 1952 2271 0 634988 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 2561400 KiB
Current children cumulated memory: 2484792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/262 35938
/proc/meminfo: memFree=122757148/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2652032 memory=2568376 CPUtime=3512.65 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 523028 0 0 0 351062 203 0 0 20 0 1 0 43951705 2715680768 642094 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 663008 642094 1952 2271 0 657646 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 2652032 KiB
Current children cumulated memory: 2568376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/262 35940
/proc/meminfo: memFree=122672360/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2652032 memory=2568376 CPUtime=3572.49 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 523580 0 0 0 357046 203 0 0 20 0 1 0 43951705 2715680768 642094 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 663008 642094 1952 2271 0 657646 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 2652032 KiB
Current children cumulated memory: 2568376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.15 4.16 4.12 4/255 36234
/proc/meminfo: memFree=126126832/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2652032 memory=2568376 CPUtime=3600.01 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 523693 0 0 0 359798 203 0 0 20 0 1 0 43951705 2715680768 642094 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 663008 642094 1952 2271 0 657646 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2652032 KiB
Current children cumulated memory: 2568376 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.4 s, system=2.04889 s

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

[startup+3610 s]*
/proc/loadavg: 4.15 4.16 4.12 3/257 36316
/proc/meminfo: memFree=126364008/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2367492 memory=2336524 CPUtime=3600.12 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 523707 0 0 0 359809 203 0 0 20 0 1 0 43951705 2424311808 584131 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 591873 584131 2080 2271 0 586511 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 2367492 KiB
Current children cumulated memory: 2336524 KiB

[startup+3610.2 s]
/proc/loadavg: 4.15 4.16 4.12 3/257 36316
/proc/meminfo: memFree=126364008/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2367492 memory=2336524 CPUtime=3600.31 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 523710 0 0 0 359828 203 0 0 20 0 1 0 43951705 2424311808 584131 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 591873 584131 2080 2271 0 586511 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 2367492 KiB
Current children cumulated memory: 2336524 KiB

[startup+3610.3 s]
/proc/loadavg: 4.15 4.16 4.12 3/257 36316
/proc/meminfo: memFree=126364008/131250000 swapFree=33010684/33010684
[pid=35723] ppid=35720 vsize=2258280 memory=2227312 CPUtime=3600.41 cores=1,3
/proc/35723/stat : 35723 (ExactPR-S) R 35720 35723 35027 0 -1 4194304 523754 0 0 0 359838 203 0 0 20 0 1 0 43951705 2312478720 556828 18446744073709551615 94283510398976 94283519699013 140724083758240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94283521485120 94283521524200 94283563286528 140724083763585 140724083763722 140724083763722 140724083769324 0
/proc/35723/statm: 564570 556828 2080 2271 0 559208 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 2258280 KiB
Current children cumulated memory: 2227312 KiB

Child status: 0

Real time (s): 3610.32
CPU time (s): 3600.45
CPU user time (s): 3598.4
CPU system time (s): 2.04889
CPU usage (%): 99.7264
Max. virtual memory (cumulated for all children) (KiB): 2652032
Max. memory (cumulated for all children) (KiB): 2568376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.4
system time used= 2.04889
maximum resident set size= 2568888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523770
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= 342
involuntary context switches= 2801


# summary of solver processes directly reported to runsolver:
#   pid: 35723
#   total CPU time (s): 3600.45
#   total CPU user time (s): 3598.4
#   total CPU system time (s): 2.04889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88554 second user time and 15.6476 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-30 13:25:18
IDJOB=4485713
IDBENCH=146868
IDSOLVER=3326
FILE ID=nodeC027/4485713-1751282718
RUNJOBID= nodeC027-1751279092-35044
SLURM_JOB_ID= 9594206
Free space on /tmp= 433008 MiB

SOLVER NAME= ExactPR-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485713-1751282718/watcher-4485713-1751282718 -o /tmp/evaluation-result-4485713-1751282718/solver-4485713-1751282718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751279092-35044 --watchdog 3760  ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485713-1751282718.opb

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

MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=607678995

nodeC027 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.608
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.29
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.810
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.29
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		: 3559.681
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.29
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		: 3600.780
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.29
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.613
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.29
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.647
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.29
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.149
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.29
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.845
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127069048 kB
MemAvailable:   127555916 kB
Buffers:            3280 kB
Cached:          1289724 kB
SwapCached:            0 kB
Active:          2506152 kB
Inactive:        1033120 kB
Active(anon):    2264340 kB
Inactive(anon):        0 kB
Active(file):     241812 kB
Inactive(file):  1033120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46696 kB
Writeback:             0 kB
AnonPages:       2249372 kB
Mapped:           126180 kB
Shmem:             18068 kB
KReclaimable:     101948 kB
Slab:             187708 kB
SReclaimable:     101948 kB
SUnreclaim:        85760 kB
KernelStack:        4240 kB
PageTables:         7568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2916216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1019904 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC027 at 2025-06-30 14:25:29