Trace number 4545289

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
pb_picat 2025-07-11? (TO) 3600.01 3611.12

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-20_c24.opb
MD5SUMfea607129b7127550b39e04c37b78aae
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark243.081
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33526
Total number of constraints12724
Number of constraints which are clauses2302
Number of constraints which are cardinality constraints (but not clauses)1180
Number of constraints which are nor clauses,nor cardinality constraints9242
Minimum length of a constraint1
Maximum length of a constraint44
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 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1204
Number of bits of the biggest sum of numbers11
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.01	c solving HOME/instance-4545289-1753238721.opb (Picat 3.9b11, 7/10/2025)

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: 63794 MiB (45498 MiB free)
  memory of node 1: 64507 MiB (39152 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545289-1753238721/watcher-4545289-1753238721 -o /tmp/evaluation-result-4545289-1753238721/solver-4545289-1753238721 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753237999-163597 --watchdog 3760 pb_picat HOME/instance-4545289-1753238721.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=163872, runsolver pid=163869
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 4.12 4.07 3.89 5/252 163873
/proc/meminfo: memFree=86682040/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2027148 memory=25716 CPUtime=0.09 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 978 0 0 0 8 1 0 0 20 0 1 0 239551011 2075799552 6429 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 506787 6429 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 25716 KiB

[startup+0.207459 s]*
/proc/loadavg: 4.12 4.07 3.89 5/252 163873
/proc/meminfo: memFree=86673848/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2027148 memory=33952 CPUtime=0.21 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 993 0 0 0 20 1 0 0 20 0 1 0 239551011 2075799552 8488 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 506787 8488 1536 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 33952 KiB

[startup+0.3138 s]*
/proc/loadavg: 4.12 4.07 3.89 5/252 163873
/proc/meminfo: memFree=86665656/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2027148 memory=42188 CPUtime=0.31 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 1008 0 0 0 30 1 0 0 20 0 1 0 239551011 2075799552 10547 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 506787 10547 1536 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42188 KiB

[startup+0.700275 s]
/proc/loadavg: 4.12 4.07 3.89 5/252 163873
/proc/meminfo: memFree=86649272/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2027148 memory=73064 CPUtime=0.68 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 1062 0 0 0 66 2 0 0 20 0 1 0 239551011 2075799552 18266 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 506787 18266 1536 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73064 KiB

[startup+1.50028 s]
/proc/loadavg: 4.12 4.07 3.89 5/252 163873
/proc/meminfo: memFree=86600392/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2027148 memory=161644 CPUtime=1.48 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 1200 0 0 0 144 4 0 0 20 0 1 0 239551011 2075799552 40411 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 506787 40411 1568 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 161644 KiB

[startup+3.11412 s]
/proc/loadavg: 4.12 4.07 3.89 5/252 163873
/proc/meminfo: memFree=86245180/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2330076 memory=460176 CPUtime=3.09 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 3817 0 0 0 301 8 0 0 20 0 1 0 239551011 2385997824 115044 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 582519 115044 1632 343 0 579583 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2330076 KiB
Current children cumulated memory: 460176 KiB

[startup+6.30025 s]
/proc/loadavg: 4.11 4.06 3.90 5/252 163873
/proc/meminfo: memFree=86003432/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2505704 memory=718448 CPUtime=6.27 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 15270 0 0 0 558 69 0 0 20 0 1 0 239551011 2565840896 179612 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 626426 179612 1696 343 0 623490 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2505704 KiB
Current children cumulated memory: 718448 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.06 3.90 5/252 163873
/proc/meminfo: memFree=85726120/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2943980 memory=955384 CPUtime=12.65 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 33248 0 0 0 1087 178 0 0 20 0 1 0 239551011 3014635520 238846 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 735995 238846 1728 343 0 733059 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2943980 KiB
Current children cumulated memory: 955384 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.08 3.91 5/252 163873
/proc/meminfo: memFree=85708352/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2943980 memory=972408 CPUtime=25.42 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 34526 0 0 0 2312 230 0 0 20 0 1 0 239551011 3014635520 243102 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 735995 243102 1728 343 0 733059 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2943980 KiB
Current children cumulated memory: 972408 KiB

[startup+51.1141 s]
/proc/loadavg: 4.10 4.07 3.91 5/252 163873
/proc/meminfo: memFree=85539440/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2974868 memory=1105628 CPUtime=50.98 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 41869 0 0 0 4804 294 0 0 20 0 1 0 239551011 3046264832 276407 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 743717 276407 1728 343 0 740781 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2974868 KiB
Current children cumulated memory: 1105628 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.07 3.92 5/252 163875
/proc/meminfo: memFree=85597652/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2966240 memory=1029068 CPUtime=102.04 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 53389 0 0 0 9897 307 0 0 20 0 1 0 239551011 3037429760 257267 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 741560 257267 1728 343 0 738624 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2966240 KiB
Current children cumulated memory: 1029068 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.12 3.95 5/252 163877
/proc/meminfo: memFree=85504464/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2999012 memory=1078400 CPUtime=161.89 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 56618 0 0 0 15871 318 0 0 20 0 1 0 239551011 3070988288 269600 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 749753 269600 1728 343 0 746817 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2999012 KiB
Current children cumulated memory: 1078400 KiB

[startup+222.3 s]
/proc/loadavg: 4.79 4.30 4.02 5/252 163879
/proc/meminfo: memFree=85613240/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2765816 memory=892140 CPUtime=221.73 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 59468 0 0 0 21848 325 0 0 20 0 1 0 239551011 2832195584 223035 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 691454 223035 1728 343 0 688518 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2765816 KiB
Current children cumulated memory: 892140 KiB

[startup+282.3 s]
/proc/loadavg: 4.41 4.27 4.03 5/252 163882
/proc/meminfo: memFree=85349048/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2962424 memory=1086700 CPUtime=281.57 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 62732 0 0 0 27822 335 0 0 20 0 1 0 239551011 3033522176 271675 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 740606 271675 1728 343 0 737670 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2962424 KiB
Current children cumulated memory: 1086700 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.24 4.03 5/251 163884
/proc/meminfo: memFree=85316928/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2962424 memory=1080556 CPUtime=341.42 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 63908 0 0 0 33801 341 0 0 20 0 1 0 239551011 3033522176 270139 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 740606 270139 1728 343 0 737670 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 2962424 KiB
Current children cumulated memory: 1080556 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.22 4.03 5/251 163886
/proc/meminfo: memFree=84911604/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2958804 memory=1070792 CPUtime=401.25 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 66639 0 0 0 39780 345 0 0 20 0 1 0 239551011 3029815296 267698 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 739701 267698 1728 343 0 736765 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2958804 KiB
Current children cumulated memory: 1070792 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.21 4.04 5/251 163888
/proc/meminfo: memFree=84554644/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2958804 memory=1074888 CPUtime=461.09 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 66641 0 0 0 45763 346 0 0 20 0 1 0 239551011 3029815296 268722 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 739701 268722 1728 343 0 736765 0
Current children cumulated CPU time: 461.09 s

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

Current children cumulated memory: 991840 KiB

[startup+2922.3 s]
/proc/loadavg: 2.35 2.95 3.36 2/233 164104
/proc/meminfo: memFree=100028804/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=994144 CPUtime=2912.81 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 94702 0 0 0 290863 418 0 0 20 0 1 0 239551011 2917154816 248536 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 248536 1728 343 0 709260 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 994144 KiB

[startup+2982.3 s]
/proc/loadavg: 1.54 2.60 3.22 2/232 164105
/proc/meminfo: memFree=100013972/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2979856 memory=1006432 CPUtime=2972.65 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 95227 0 0 0 296847 418 0 0 20 0 1 0 239551011 3051372544 251608 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 744964 251608 1728 343 0 742028 0
Current children cumulated CPU time: 2972.65 s
Current children cumulated vsize: 2979856 KiB
Current children cumulated memory: 1006432 KiB

[startup+3042.3 s]
/proc/loadavg: 1.26 2.33 3.08 2/232 164106
/proc/meminfo: memFree=100017612/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2979856 memory=1006432 CPUtime=3032.5 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 95231 0 0 0 302832 418 0 0 20 0 1 0 239551011 3051372544 251608 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 744964 251608 1728 343 0 742028 0
Current children cumulated CPU time: 3032.5 s
Current children cumulated vsize: 2979856 KiB
Current children cumulated memory: 1006432 KiB

[startup+3102.3 s]
/proc/loadavg: 1.15 2.10 2.95 2/232 164107
/proc/meminfo: memFree=100013580/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2979856 memory=1008480 CPUtime=3092.35 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 95326 0 0 0 308817 418 0 0 20 0 1 0 239551011 3051372544 252120 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 744964 252120 1728 343 0 742028 0
Current children cumulated CPU time: 3092.35 s
Current children cumulated vsize: 2979856 KiB
Current children cumulated memory: 1008480 KiB

[startup+3162.3 s]
/proc/loadavg: 1.09 1.91 2.83 2/232 164108
/proc/meminfo: memFree=100033428/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=981856 CPUtime=3152.19 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 97758 0 0 0 314791 428 0 0 20 0 1 0 239551011 2917154816 245464 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 245464 1728 343 0 709260 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 981856 KiB

[startup+3222.3 s]
/proc/loadavg: 1.06 1.76 2.72 2/231 164109
/proc/meminfo: memFree=100029136/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=988000 CPUtime=3212.04 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 97777 0 0 0 320776 428 0 0 20 0 1 0 239551011 2917154816 247000 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 247000 1728 343 0 709260 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 988000 KiB

[startup+3282.3 s]
/proc/loadavg: 1.07 1.63 2.62 2/231 164110
/proc/meminfo: memFree=100024572/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=992096 CPUtime=3271.9 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 97779 0 0 0 326762 428 0 0 20 0 1 0 239551011 2917154816 248024 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 248024 1728 343 0 709260 0
Current children cumulated CPU time: 3271.9 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 992096 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.54 2.52 2/234 164115
/proc/meminfo: memFree=100017152/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=998240 CPUtime=3331.77 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 97859 0 0 0 332749 428 0 0 20 0 1 0 239551011 2917154816 249560 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 249560 1728 343 0 709260 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 998240 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.46 2.43 2/234 164116
/proc/meminfo: memFree=100017756/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=998240 CPUtime=3391.64 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 97859 0 0 0 338736 428 0 0 20 0 1 0 239551011 2917154816 249560 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 249560 1728 343 0 709260 0
Current children cumulated CPU time: 3391.64 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 998240 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 1.41 2.35 2/234 164117
/proc/meminfo: memFree=100018008/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=1001440 CPUtime=3451.51 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 98169 0 0 0 344723 428 0 0 20 0 1 0 239551011 2917154816 250360 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 250360 1728 343 0 709260 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 1001440 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.35 2.27 2/234 164118
/proc/meminfo: memFree=99858416/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=3242000 memory=1163744 CPUtime=3511.38 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 100530 0 0 0 350703 435 0 0 20 0 1 0 239551011 3319808000 290936 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 810500 290936 1728 343 0 807564 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 3242000 KiB
Current children cumulated memory: 1163744 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.30 2.19 2/234 164119
/proc/meminfo: memFree=99858416/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=3242000 memory=1163744 CPUtime=3571.25 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 100681 0 0 0 356690 435 0 0 20 0 1 0 239551011 3319808000 290936 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 810500 290936 1728 343 0 807564 0
Current children cumulated CPU time: 3571.25 s
Current children cumulated vsize: 3242000 KiB
Current children cumulated memory: 1163744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 1.12 1.28 2.16 2/232 164119
/proc/meminfo: memFree=100057324/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=958944 CPUtime=3600 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 100839 0 0 0 359563 437 0 0 20 0 1 0 239551011 2917154816 239736 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 239736 1728 343 0 709260 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 958944 KiB

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

[startup+3611.12 s]
# the end of solver process 163872 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3595.64 s, system=4.37773 s

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

[startup+3611.11 s]
/proc/loadavg: 1.12 1.28 2.16 2/232 164119
/proc/meminfo: memFree=100057324/131382112 swapFree=33009904/33010684
[pid=163872] ppid=163869 vsize=2848784 memory=958944 CPUtime=3600 cores=4,6
/proc/163872/stat : 163872 (pb_picat) R 163869 163872 163060 0 -1 4194304 100839 0 0 0 359563 437 0 0 20 0 1 0 239551011 2917154816 239736 18446744073709551615 94917940412416 94917941813997 140725740596448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94917942085424 94917943959664 94917964894208 140725740599708 140725740599784 140725740599784 140725740605388 0
/proc/163872/statm: 712196 239736 1728 343 0 709260 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2848784 KiB
Current children cumulated memory: 958944 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.12
CPU time (s): 3600.01
CPU user time (s): 3595.64
CPU system time (s): 4.37773
CPU usage (%): 99.6925
Max. virtual memory (cumulated for all children) (KiB): 3310088
Max. memory (cumulated for all children) (KiB): 1215456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.64
system time used= 4.37772
maximum resident set size= 1227744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100839
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= 130
involuntary context switches= 1780


# summary of solver processes directly reported to runsolver:
#   pid: 163872
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3595.64
#   total CPU system time (s): 4.37773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9957 second user time and 37.5966 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-23 04:45:21
IDJOB=4545289
IDBENCH=180787
IDSOLVER=3385
FILE ID=nodeC001/4545289-1753238721
RUNJOBID= nodeC001-1753237999-163597
SLURM_JOB_ID= 9687854
Free space on /tmp= 432628 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-20_c24.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545289-1753238721/watcher-4545289-1753238721 -o /tmp/evaluation-result-4545289-1753238721/solver-4545289-1753238721 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753237999-163597 --watchdog 3760  pb_picat HOME/instance-4545289-1753238721.opb

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

MD5SUM BENCH= fea607129b7127550b39e04c37b78aae
RANDOM SEED=392312253

nodeC001 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	: 0xb00001f
cpu MHz		: 3661.350
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3674.436
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.415
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.342
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3674.536
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 2493.267
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.253
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        86682328 kB
MemAvailable:   115370080 kB
Buffers:            1668 kB
Cached:         27339452 kB
SwapCached:          136 kB
Active:         15271824 kB
Inactive:       26453100 kB
Active(anon):   14393176 kB
Inactive(anon):    16604 kB
Active(file):     878648 kB
Inactive(file): 26436496 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6072 kB
Writeback:             0 kB
AnonPages:      14384176 kB
Mapped:           118660 kB
Shmem:             25972 kB
KReclaimable:    2433736 kB
Slab:            2563640 kB
SReclaimable:    2433736 kB
SUnreclaim:       129904 kB
KernelStack:        4080 kB
PageTables:        31588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   22308004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9396224 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432668 MiB
End job on nodeC001 at 2025-07-23 05:45:33