Trace number 4517270

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.04 3609.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
MD5SUMf4239567b5fcc3629584dc152b8218cf
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 benchmark1.4272
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2440
Total number of constraints1281
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 constraints1281
Minimum length of a constraint2
Maximum length of a constraint80
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 549755813888
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2199023255551
Number of bits of the biggest sum of numbers41
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.00/0.01	c Converting 2561 PB-constraints to clauses...
0.00/0.03	c ============================[ Encoding Statistics ]============================
0.00/0.03	c |  Number of variables:          4038                                         |
0.00/0.03	c |  Number of clauses:           13078                                         |
0.00/0.03	c ===============================================================================
3600.03/3609.50	c *** TERMINATED by signal 15 ***
3600.03/3609.50	c _______________________________________________________________________________
3600.03/3609.50	c 
3600.03/3609.50	c _______________________________________________________________________________
3600.03/3609.50	c 
3600.03/3609.50	c =======================[ UWrMaxSat resources usage ]===========================
3600.03/3609.50	c Memory used            : 342.00 MB
3600.03/3609.50	c CPU time               : 3597.43 s
3600.03/3609.50	c Constr Enc: Srt/BDD/Add: 1281 0 0
3600.03/3609.50	c _______________________________________________________________________________
3600.03/3609.50	c _______________________________________________________________________________
3600.03/3609.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517270-1751241215/watcher-4517270-1751241215 -o /tmp/evaluation-result-4517270-1751241215/solver-4517270-1751241215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751236431-39023 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517270-1751241215.opb -mem-lim=31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100064 s]*
/proc/loadavg: 4.15 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128772656/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=9672 memory=8624 CPUtime=0.09 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 2440 0 0 0 9 0 0 0 20 0 1 0 39799010 9904128 2156 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 2418 2156 544 484 0 1829 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9672 KiB
Current children cumulated memory: 8624 KiB

[startup+0.20559 s]*
/proc/loadavg: 4.15 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128771648/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=11356 memory=10220 CPUtime=0.2 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 3028 0 0 0 20 0 0 0 20 0 1 0 39799010 11628544 2555 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 2839 2555 544 484 0 2250 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 11356 KiB
Current children cumulated memory: 10220 KiB

[startup+0.305513 s]*
/proc/loadavg: 4.15 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128770640/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=10584 memory=9664 CPUtime=0.3 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 3231 0 0 0 30 0 0 0 20 0 1 0 39799010 10838016 2416 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 2646 2416 544 484 0 2057 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10584 KiB
Current children cumulated memory: 9664 KiB

[startup+0.700161 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128770640/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=11748 memory=10700 CPUtime=0.69 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 4585 0 0 0 68 1 0 0 20 0 1 0 39799010 12029952 2675 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 2937 2675 544 484 0 2348 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 11748 KiB
Current children cumulated memory: 10700 KiB

[startup+1.50014 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128760936/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=13760 memory=12720 CPUtime=1.49 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 6799 0 0 0 148 1 0 0 20 0 1 0 39799010 14090240 3180 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 3440 3180 544 484 0 2851 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 13760 KiB
Current children cumulated memory: 12720 KiB

[startup+3.10537 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128759280/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=16948 memory=15912 CPUtime=3.09 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 10617 0 0 0 307 2 0 0 20 0 1 0 39799010 17354752 3978 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 4237 3978 544 484 0 3648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 16948 KiB
Current children cumulated memory: 15912 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128765584/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=23788 memory=22712 CPUtime=6.27 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 15756 0 0 0 625 2 0 0 20 0 1 0 39799010 24358912 5678 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 5947 5678 544 484 0 5358 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23788 KiB
Current children cumulated memory: 22712 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 40460
/proc/meminfo: memFree=128733448/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=26504 memory=25308 CPUtime=12.66 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 24021 0 0 0 1261 5 0 0 20 0 1 0 39799010 27140096 6327 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 6626 6327 544 484 0 6037 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 26504 KiB
Current children cumulated memory: 25308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 40461
/proc/meminfo: memFree=128721180/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=33268 memory=31216 CPUtime=25.42 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 32499 0 0 0 2535 7 0 0 20 0 1 0 39799010 34066432 7804 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 8317 7804 544 484 0 7728 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 33268 KiB
Current children cumulated memory: 31216 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 40461
/proc/meminfo: memFree=128695516/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=51828 memory=50796 CPUtime=50.96 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 37343 0 0 0 5087 9 0 0 20 0 1 0 39799010 53071872 12699 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 12957 12699 544 484 0 12368 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 51828 KiB
Current children cumulated memory: 50796 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 40464
/proc/meminfo: memFree=128683404/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=47908 memory=47072 CPUtime=102.02 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 54904 0 0 0 10187 15 0 0 20 0 1 0 39799010 49057792 11768 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 11977 11768 544 484 0 11388 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 47908 KiB
Current children cumulated memory: 47072 KiB

[startup+162.3 s]
/proc/loadavg: 4.49 4.20 4.12 5/265 40466
/proc/meminfo: memFree=128634840/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=96948 memory=95896 CPUtime=161.87 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 62598 0 0 0 16168 19 0 0 20 0 1 0 39799010 99274752 23974 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 24237 23974 544 484 0 23648 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 96948 KiB
Current children cumulated memory: 95896 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/264 40468
/proc/meminfo: memFree=128588636/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=114308 memory=113304 CPUtime=221.67 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 64923 0 0 0 22147 20 0 0 20 0 1 0 39799010 117051392 28326 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 28577 28326 544 484 0 27988 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 114308 KiB
Current children cumulated memory: 113304 KiB

[startup+282.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/265 40473
/proc/meminfo: memFree=128580816/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=92812 memory=90200 CPUtime=281.47 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 71022 0 0 0 28124 23 0 0 20 0 1 0 39799010 95039488 22550 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 23203 22550 544 484 0 22614 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 92812 KiB
Current children cumulated memory: 90200 KiB

[startup+342.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/265 40475
/proc/meminfo: memFree=128579748/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=106312 memory=102872 CPUtime=341.32 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 77984 0 0 0 34104 28 0 0 20 0 1 0 39799010 108863488 25718 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 26578 25718 544 484 0 25989 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 106312 KiB
Current children cumulated memory: 102872 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.13 5/264 40479
/proc/meminfo: memFree=128586824/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=108988 memory=106360 CPUtime=401.16 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 83431 0 0 0 40083 33 0 0 20 0 1 0 39799010 111603712 26590 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 27247 26590 544 484 0 26658 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 108988 KiB
Current children cumulated memory: 106360 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/264 40496
/proc/meminfo: memFree=128560436/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=118156 memory=114736 CPUtime=461 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 89194 0 0 0 46063 37 0 0 20 0 1 0 39799010 120991744 28684 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 29539 28684 544 484 0 28950 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 255512 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.59 3.36 3/254 40726
/proc/meminfo: memFree=128580644/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=259720 memory=256588 CPUtime=2914.41 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 231210 0 0 0 291221 220 0 0 20 0 1 0 39799010 265953280 64147 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 64930 64147 544 484 0 64341 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 259720 KiB
Current children cumulated memory: 256588 KiB

[startup+2982.3 s]
/proc/loadavg: 2.13 2.51 3.28 3/254 40729
/proc/meminfo: memFree=128578664/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=263188 memory=257640 CPUtime=2974.27 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 232886 0 0 0 297204 223 0 0 20 0 1 0 39799010 269504512 64410 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 65797 64410 544 484 0 65208 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 263188 KiB
Current children cumulated memory: 257640 KiB

[startup+3042.3 s]
/proc/loadavg: 2.10 2.43 3.20 3/253 40731
/proc/meminfo: memFree=128582584/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=263680 memory=262660 CPUtime=3034.14 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 233739 0 0 0 303188 226 0 0 20 0 1 0 39799010 270008320 65665 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 65920 65665 544 484 0 65331 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 263680 KiB
Current children cumulated memory: 262660 KiB

[startup+3102.3 s]
/proc/loadavg: 2.15 2.38 3.14 3/253 40733
/proc/meminfo: memFree=128584828/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=265184 memory=263920 CPUtime=3094 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 234953 0 0 0 309172 228 0 0 20 0 1 0 39799010 271548416 65980 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 66296 65980 544 484 0 65707 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 265184 KiB
Current children cumulated memory: 263920 KiB

[startup+3162.3 s]
/proc/loadavg: 2.12 2.32 3.07 3/253 40737
/proc/meminfo: memFree=128580176/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=269356 memory=264820 CPUtime=3153.86 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 236297 0 0 0 315156 230 0 0 20 0 1 0 39799010 275820544 66205 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 67339 66205 544 484 0 66750 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 269356 KiB
Current children cumulated memory: 264820 KiB

[startup+3222.3 s]
/proc/loadavg: 2.08 2.28 3.00 3/253 40739
/proc/meminfo: memFree=128583364/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=269956 memory=265560 CPUtime=3213.73 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 237268 0 0 0 321140 233 0 0 20 0 1 0 39799010 276434944 66390 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 67489 66390 544 484 0 66900 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 269956 KiB
Current children cumulated memory: 265560 KiB

[startup+3282.3 s]
/proc/loadavg: 2.13 2.26 2.95 3/253 40742
/proc/meminfo: memFree=128581192/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=270840 memory=266444 CPUtime=3273.59 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 238599 0 0 0 327123 236 0 0 20 0 1 0 39799010 277340160 66611 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 67710 66611 544 484 0 67121 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 270840 KiB
Current children cumulated memory: 266444 KiB

[startup+3342.3 s]
/proc/loadavg: 2.10 2.22 2.89 3/253 40746
/proc/meminfo: memFree=128579692/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=272444 memory=267808 CPUtime=3333.45 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 239922 0 0 0 333107 238 0 0 20 0 1 0 39799010 278982656 66952 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 68111 66952 544 484 0 67522 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 272444 KiB
Current children cumulated memory: 267808 KiB

[startup+3402.3 s]
/proc/loadavg: 2.15 2.21 2.84 3/253 40748
/proc/meminfo: memFree=128574364/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=274688 memory=269320 CPUtime=3393.31 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 241418 0 0 0 339091 240 0 0 20 0 1 0 39799010 281280512 67330 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 68672 67330 544 484 0 68083 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 274688 KiB
Current children cumulated memory: 269320 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.19 2.79 3/252 40752
/proc/meminfo: memFree=128579952/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=274840 memory=257744 CPUtime=3453.17 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 247239 0 0 0 345074 243 0 0 20 0 1 0 39799010 281436160 64436 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 68710 64436 544 484 0 68121 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 274840 KiB
Current children cumulated memory: 257744 KiB

[startup+3522.3 s]
/proc/loadavg: 2.08 2.16 2.75 3/253 40755
/proc/meminfo: memFree=128631256/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=222612 memory=217568 CPUtime=3513.04 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 252975 0 0 0 351056 248 0 0 20 0 1 0 39799010 227954688 54392 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 55653 54392 544 484 0 55064 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 222612 KiB
Current children cumulated memory: 217568 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.16 2.71 3/253 40757
/proc/meminfo: memFree=128618916/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=212380 memory=211456 CPUtime=3572.9 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 274551 0 0 0 357033 257 0 0 20 0 1 0 39799010 217477120 52864 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 53095 52864 544 484 0 52506 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 212380 KiB
Current children cumulated memory: 211456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 2.09 2.15 2.69 3/252 40759
/proc/meminfo: memFree=128588744/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=270376 memory=248192 CPUtime=3600.03 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 283753 0 0 0 359743 260 0 0 20 0 1 0 39799010 276865024 62048 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 67594 62048 544 484 0 67005 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 270376 KiB
Current children cumulated memory: 248192 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.43 s, system=2.6073 s

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

[startup+3609.5 s]
/proc/loadavg: 2.09 2.15 2.69 3/252 40759
/proc/meminfo: memFree=128588744/131250000 swapFree=33010684/33010684
[pid=40459] ppid=40456 vsize=270376 memory=248192 CPUtime=3600.03 cores=5,7
/proc/40459/stat : 40459 (uwrmaxsat) R 40456 40459 39010 0 -1 4194304 283753 0 0 0 359743 260 0 0 20 0 1 0 39799010 276865024 62048 18446744073709551615 4198400 6176925 140728432450304 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 21155840 140728432453994 140728432454121 140728432454121 140728432459723 0
/proc/40459/statm: 67594 62048 544 484 0 67005 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 270376 KiB
Current children cumulated memory: 248192 KiB

Child status: 0

Real time (s): 3609.5
CPU time (s): 3600.04
CPU user time (s): 3597.43
CPU system time (s): 2.6073
CPU usage (%): 99.7379
Max. virtual memory (cumulated for all children) (KiB): 350344
Max. memory (cumulated for all children) (KiB): 339844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.43
system time used= 2.6073
maximum resident set size= 339844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283753
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= 49
involuntary context switches= 2026


# summary of solver processes directly reported to runsolver:
#   pid: 40459
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3597.43
#   total CPU system time (s): 2.6073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83175 second user time and 16.8131 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 01:53:35
IDJOB=4517270
IDBENCH=176048
IDSOLVER=3372
FILE ID=nodeC016/4517270-1751241215
RUNJOBID= nodeC016-1751236431-39023
SLURM_JOB_ID= 9587715
Free space on /tmp= 433056 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517270-1751241215/watcher-4517270-1751241215 -o /tmp/evaluation-result-4517270-1751241215/solver-4517270-1751241215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751236431-39023 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4517270-1751241215.opb -mem-lim=31000

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

MD5SUM BENCH= f4239567b5fcc3629584dc152b8218cf
RANDOM SEED=1390181179

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.736
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.739
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.910
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.269
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.758
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.778
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3622.283
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3541.753
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128772480 kB
MemAvailable:   129468028 kB
Buffers:            3280 kB
Cached:          1500240 kB
SwapCached:            0 kB
Active:           606996 kB
Inactive:        1243816 kB
Active(anon):     365364 kB
Inactive(anon):        0 kB
Active(file):     241632 kB
Inactive(file):  1243816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2652 kB
Writeback:             4 kB
AnonPages:        348896 kB
Mapped:           109436 kB
Shmem:             18072 kB
KReclaimable:      98676 kB
Slab:             185360 kB
SReclaimable:      98676 kB
SUnreclaim:        86684 kB
KernelStack:        4320 kB
PageTables:         3576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     679184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC016 at 2025-06-30 02:53:44