Trace number 4492956

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
UWrMaxSat 2025-06-04? (TO) 3600.09 3608.9

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
MD5SUM2590c1209b8f449ade71ad316e08b5f7
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 benchmark0.529767
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints39645
Number of constraints which are clauses39645
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint40
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
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 Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00	c Setting memory limit to 31000MB.
0.00/0.00	c Parsing PB file...
0.09/0.13	c Converting 39645 PB-constraints to clauses...
0.09/0.15	c ============================[ Encoding Statistics ]============================
0.09/0.15	c |  Number of variables:          1800                                         |
0.09/0.15	c |  Number of clauses:           39645                                         |
0.09/0.15	c ===============================================================================
3600.07/3608.90	c *** TERMINATED by signal 15 ***
3600.07/3608.90	c _______________________________________________________________________________
3600.07/3608.90	c 
3600.07/3608.90	c _______________________________________________________________________________
3600.07/3608.90	c 
3600.07/3608.90	c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3608.90	c Memory used            : 279.00 MB
3600.07/3608.90	c CPU time               : 3598.4 s
3600.07/3608.90	c _______________________________________________________________________________
3600.07/3608.90	c _______________________________________________________________________________
3600.07/3608.90	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 (62945 MiB free)
  memory of node 1: 64507 MiB (64069 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492956-1751147932/watcher-4492956-1751147932 -o /tmp/evaluation-result-4492956-1751147932/solver-4492956-1751147932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751144206-14862 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4492956-1751147932.opb -mem-lim=31000 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16427, runsolver pid=16424

[startup+0.100062 s]*
/proc/loadavg: 4.20 4.14 4.10 5/265 16428
/proc/meminfo: memFree=130059648/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=22916 memory=21760 CPUtime=0.09 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 5115 0 0 0 9 0 0 0 20 0 1 0 30472067 23465984 5440 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 5729 5440 448 484 0 5140 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22916 KiB
Current children cumulated memory: 21760 KiB

[startup+0.205421 s]*
/proc/loadavg: 4.20 4.14 4.10 5/265 16428
/proc/meminfo: memFree=130046544/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=34948 memory=33852 CPUtime=0.2 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 8724 0 0 0 19 1 0 0 20 0 1 0 30472067 35786752 8463 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 8737 8463 512 484 0 8148 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34948 KiB
Current children cumulated memory: 33852 KiB

[startup+0.304872 s]*
/proc/loadavg: 4.20 4.14 4.10 5/265 16428
/proc/meminfo: memFree=130046544/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=35160 memory=34080 CPUtime=0.3 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 9491 0 0 0 29 1 0 0 20 0 1 0 30472067 36003840 8520 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 8790 8520 512 484 0 8201 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35160 KiB
Current children cumulated memory: 34080 KiB

[startup+0.700132 s]
/proc/loadavg: 4.19 4.14 4.10 5/265 16428
/proc/meminfo: memFree=130046040/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=36940 memory=35744 CPUtime=0.69 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 11685 0 0 0 68 1 0 0 20 0 1 0 30472067 37826560 8936 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 9235 8936 512 484 0 8646 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36940 KiB
Current children cumulated memory: 35744 KiB

[startup+1.50012 s]
/proc/loadavg: 4.19 4.14 4.10 5/265 16428
/proc/meminfo: memFree=130044276/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=38456 memory=37552 CPUtime=1.49 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 12766 0 0 0 148 1 0 0 20 0 1 0 30472067 39378944 9388 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 9614 9388 512 484 0 9025 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38456 KiB
Current children cumulated memory: 37552 KiB

[startup+3.10521 s]
/proc/loadavg: 4.19 4.14 4.10 5/265 16428
/proc/meminfo: memFree=130042780/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=37296 memory=36528 CPUtime=3.09 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 16678 0 0 0 307 2 0 0 20 0 1 0 30472067 38191104 9132 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 9324 9132 512 484 0 8735 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37296 KiB
Current children cumulated memory: 36528 KiB

[startup+6.30011 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 16428
/proc/meminfo: memFree=130041348/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=37964 memory=37172 CPUtime=6.27 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 19693 0 0 0 625 2 0 0 20 0 1 0 30472067 38875136 9293 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 9491 9293 512 484 0 8902 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37964 KiB
Current children cumulated memory: 37172 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.14 4.09 5/265 16428
/proc/meminfo: memFree=130039872/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=43680 memory=42872 CPUtime=12.66 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 23266 0 0 0 1262 4 0 0 20 0 1 0 30472067 44728320 10718 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 10920 10718 512 484 0 10331 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43680 KiB
Current children cumulated memory: 42872 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 16428
/proc/meminfo: memFree=129995648/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=48876 memory=47992 CPUtime=25.43 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 26374 0 0 0 2538 5 0 0 20 0 1 0 30472067 50049024 11998 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 12219 11998 512 484 0 11630 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48876 KiB
Current children cumulated memory: 47992 KiB

[startup+51.1052 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 16429
/proc/meminfo: memFree=129965640/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=54500 memory=53624 CPUtime=50.97 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 29416 0 0 0 5091 6 0 0 20 0 1 0 30472067 55808000 13406 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 13625 13406 512 484 0 13036 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 54500 KiB
Current children cumulated memory: 53624 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 16430
/proc/meminfo: memFree=129940992/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=66552 memory=65780 CPUtime=102.03 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 35161 0 0 0 10195 8 0 0 20 0 1 0 30472067 68149248 16445 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 16638 16445 512 484 0 16049 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 66552 KiB
Current children cumulated memory: 65780 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/264 16469
/proc/meminfo: memFree=129909192/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=108480 memory=107768 CPUtime=161.85 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 42547 0 0 0 16172 13 0 0 20 0 1 0 30472067 111083520 26942 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 27120 26942 512 484 0 26531 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 108480 KiB
Current children cumulated memory: 107768 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 4.20 4.12 5/264 16472
/proc/meminfo: memFree=129822164/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=108480 memory=107768 CPUtime=221.71 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 42627 0 0 0 22158 13 0 0 20 0 1 0 30472067 111083520 26942 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 27120 26942 512 484 0 26531 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 108480 KiB
Current children cumulated memory: 107768 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/265 16475
/proc/meminfo: memFree=129789072/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=108480 memory=107768 CPUtime=281.57 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 42669 0 0 0 28144 13 0 0 20 0 1 0 30472067 111083520 26942 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 27120 26942 512 484 0 26531 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 108480 KiB
Current children cumulated memory: 107768 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 16477
/proc/meminfo: memFree=129772504/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=108480 memory=107768 CPUtime=341.43 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 42679 0 0 0 34130 13 0 0 20 0 1 0 30472067 111083520 26942 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 27120 26942 512 484 0 26531 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 108480 KiB
Current children cumulated memory: 107768 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 16479
/proc/meminfo: memFree=129787424/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=113960 memory=113272 CPUtime=401.3 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 43081 0 0 0 40116 14 0 0 20 0 1 0 30472067 116695040 28318 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 28490 28318 512 484 0 27901 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 113960 KiB
Current children cumulated memory: 113272 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/264 16481
/proc/meminfo: memFree=129737836/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=123956 memory=123256 CPUtime=461.15 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 44611 0 0 0 46101 14 0 0 20 0 1 0 30472067 126930944 30814 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 30989 30814 512 484 0 30400 0
Current children cumulated CPU time: 461.15 s

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

Current children cumulated memory: 201436 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 16605
/proc/meminfo: memFree=129472512/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=166284 memory=163848 CPUtime=2915.14 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 102882 0 0 0 291402 112 0 0 20 0 1 0 30472067 170274816 40962 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 41571 40962 512 484 0 40982 0
Current children cumulated CPU time: 2915.14 s
Current children cumulated vsize: 166284 KiB
Current children cumulated memory: 163848 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 16607
/proc/meminfo: memFree=129457372/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=167300 memory=164864 CPUtime=2975 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 105091 0 0 0 297383 117 0 0 20 0 1 0 30472067 171315200 41216 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 41825 41216 512 484 0 41236 0
Current children cumulated CPU time: 2975 s
Current children cumulated vsize: 167300 KiB
Current children cumulated memory: 164864 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16613
/proc/meminfo: memFree=129455096/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=167480 memory=165940 CPUtime=3034.85 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 107431 0 0 0 303365 120 0 0 20 0 1 0 30472067 171499520 41485 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 41870 41485 512 484 0 41281 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 167480 KiB
Current children cumulated memory: 165940 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 16615
/proc/meminfo: memFree=129465140/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=167080 memory=165540 CPUtime=3094.71 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 110257 0 0 0 309343 128 0 0 20 0 1 0 30472067 171089920 41385 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 41770 41385 512 484 0 41181 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 167080 KiB
Current children cumulated memory: 165540 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 16619
/proc/meminfo: memFree=129479556/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=168076 memory=166536 CPUtime=3154.57 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 112473 0 0 0 315322 135 0 0 20 0 1 0 30472067 172109824 41634 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 42019 41634 512 484 0 41430 0
Current children cumulated CPU time: 3154.57 s
Current children cumulated vsize: 168076 KiB
Current children cumulated memory: 166536 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 16621
/proc/meminfo: memFree=129510400/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=177828 memory=176288 CPUtime=3214.41 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 114714 0 0 0 321302 139 0 0 20 0 1 0 30472067 182095872 44072 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 44457 44072 512 484 0 43868 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 177828 KiB
Current children cumulated memory: 176288 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 16623
/proc/meminfo: memFree=129473724/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=165784 memory=164244 CPUtime=3274.27 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 117084 0 0 0 327283 144 0 0 20 0 1 0 30472067 169762816 41061 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 41446 41061 512 484 0 40857 0
Current children cumulated CPU time: 3274.27 s
Current children cumulated vsize: 165784 KiB
Current children cumulated memory: 164244 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16625
/proc/meminfo: memFree=129508660/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=171992 memory=170452 CPUtime=3334.12 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 119035 0 0 0 333264 148 0 0 20 0 1 0 30472067 176119808 42613 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 42998 42613 512 484 0 42409 0
Current children cumulated CPU time: 3334.12 s
Current children cumulated vsize: 171992 KiB
Current children cumulated memory: 170452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.14 4.10 5/263 16627
/proc/meminfo: memFree=129501808/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=177076 memory=175536 CPUtime=3393.98 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 120895 0 0 0 339246 152 0 0 20 0 1 0 30472067 181325824 43884 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 44269 43884 512 484 0 43680 0
Current children cumulated CPU time: 3393.98 s
Current children cumulated vsize: 177076 KiB
Current children cumulated memory: 175536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/263 16629
/proc/meminfo: memFree=129459512/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=168044 memory=166504 CPUtime=3453.83 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 122707 0 0 0 345228 155 0 0 20 0 1 0 30472067 172077056 41626 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 42011 41626 512 484 0 41422 0
Current children cumulated CPU time: 3453.83 s
Current children cumulated vsize: 168044 KiB
Current children cumulated memory: 166504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 16634
/proc/meminfo: memFree=129417892/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=214788 memory=213556 CPUtime=3513.69 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 126619 0 0 0 351209 160 0 0 20 0 1 0 30472067 219942912 53389 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 53697 53389 512 484 0 53108 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 214788 KiB
Current children cumulated memory: 213556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 16771
/proc/meminfo: memFree=129610620/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=198368 memory=197504 CPUtime=3573.54 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 128541 0 0 0 357189 165 0 0 20 0 1 0 30472067 203128832 49376 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 49592 49376 512 484 0 49003 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 198368 KiB
Current children cumulated memory: 197504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 16772
/proc/meminfo: memFree=129565968/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=193384 memory=192520 CPUtime=3600.07 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 130079 0 0 0 359839 168 0 0 20 0 1 0 30472067 198025216 48130 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 48346 48130 512 484 0 47757 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 192520 KiB

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

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

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

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

[startup+3608.9 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 16772
/proc/meminfo: memFree=129565968/131249988 swapFree=33010684/33010684
[pid=16427] ppid=16424 vsize=193384 memory=192520 CPUtime=3600.07 cores=1,3
/proc/16427/stat : 16427 (uwrmaxsat) R 16424 16427 14850 0 -1 4194304 130079 0 0 0 359839 168 0 0 20 0 1 0 30472067 198025216 48130 18446744073709551615 4198400 6176925 140726264495216 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 31408128 140726264498538 140726264498665 140726264498665 140726264504267 0
/proc/16427/statm: 48346 48130 512 484 0 47757 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 192520 KiB

Child status: 0

Real time (s): 3608.9
CPU time (s): 3600.09
CPU user time (s): 3598.4
CPU system time (s): 1.6881
CPU usage (%): 99.7558
Max. virtual memory (cumulated for all children) (KiB): 285984
Max. memory (cumulated for all children) (KiB): 281916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.4
system time used= 1.6881
maximum resident set size= 284680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130079
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= 29
involuntary context switches= 1580


# summary of solver processes directly reported to runsolver:
#   pid: 16427
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.4
#   total CPU system time (s): 1.6881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33722 second user time and 14.7895 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-06-28 23:58:52
IDJOB=4492956
IDBENCH=147833
IDSOLVER=3372
FILE ID=nodeC034/4492956-1751147932
RUNJOBID= nodeC034-1751144206-14862
SLURM_JOB_ID= 9587439
Free space on /tmp= 433052 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492956-1751147932/watcher-4492956-1751147932 -o /tmp/evaluation-result-4492956-1751147932/solver-4492956-1751147932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751144206-14862 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4492956-1751147932.opb -mem-lim=31000

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

MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=1903102482

nodeC034 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.764
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.53
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		: 3600.068
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.53
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.083
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        130063108 kB
MemAvailable:   129675820 kB
Buffers:            3280 kB
Cached:           390096 kB
SwapCached:            0 kB
Active:           401768 kB
Inactive:         181292 kB
Active(anon):     207796 kB
Inactive(anon):        0 kB
Active(file):     193972 kB
Inactive(file):   181292 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6376 kB
Writeback:             0 kB
AnonPages:        191664 kB
Mapped:           109256 kB
Shmem:             18104 kB
KReclaimable:      85116 kB
Slab:             167800 kB
SReclaimable:      85116 kB
SUnreclaim:        82684 kB
KernelStack:        4304 kB
PageTables:         3240 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     519868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC034 at 2025-06-29 00:59:01