Trace number 4528438

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11? (TO) 3600.1 3611.7

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
MD5SUMbb00c8681178995acecbc2b6e4ec1a1a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2410.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 636
Number of bits of the biggest sum of numbers10
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-4528438-1752241672.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 (62752 MiB free)
  memory of node 1: 64507 MiB (60827 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528438-1752241672/watcher-4528438-1752241672 -o /tmp/evaluation-result-4528438-1752241672/solver-4528438-1752241672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109810 --watchdog 3760 pb_picat HOME/instance-4528438-1752241672.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=110460, runsolver pid=110457
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.15 4.13 4.16 5/253 110461
/proc/meminfo: memFree=126542152/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2027148 memory=23900 CPUtime=0.09 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1002 0 0 0 9 0 0 0 20 0 1 0 139846585 2075799552 5975 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 506787 5975 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 23900 KiB

[startup+0.213124 s]*
/proc/loadavg: 4.15 4.13 4.16 5/253 110461
/proc/meminfo: memFree=126529864/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2034964 memory=36356 CPUtime=0.21 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1019 0 0 0 20 1 0 0 20 0 1 0 139846585 2083803136 9089 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 508741 9089 1600 343 0 505805 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 36356 KiB

[startup+0.313057 s]*
/proc/loadavg: 4.15 4.13 4.16 5/253 110461
/proc/meminfo: memFree=126525768/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2034964 memory=40856 CPUtime=0.31 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1093 0 0 0 30 1 0 0 20 0 1 0 139846585 2083803136 10214 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 508741 10214 1632 343 0 505805 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 40856 KiB

[startup+0.700313 s]
/proc/loadavg: 4.15 4.13 4.16 5/253 110461
/proc/meminfo: memFree=126513480/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2044848 memory=60680 CPUtime=0.69 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 3286 0 0 0 62 7 0 0 20 0 1 0 139846585 2093924352 15170 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 511212 15170 1728 343 0 508276 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2044848 KiB
Current children cumulated memory: 60680 KiB

[startup+1.50033 s]
/proc/loadavg: 4.15 4.13 4.16 5/253 110461
/proc/meminfo: memFree=126497792/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2073520 memory=80936 CPUtime=1.48 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 7799 0 0 0 130 18 0 0 20 0 1 0 139846585 2123284480 20234 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 518380 20234 1728 343 0 515444 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2073520 KiB
Current children cumulated memory: 80936 KiB

[startup+3.11281 s]
/proc/loadavg: 4.15 4.13 4.16 5/253 110461
/proc/meminfo: memFree=126473596/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2092928 memory=91904 CPUtime=3.08 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 13604 0 0 0 287 21 0 0 20 0 1 0 139846585 2143158272 22976 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 523232 22976 1728 343 0 520296 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2092928 KiB
Current children cumulated memory: 91904 KiB

[startup+6.30031 s]
/proc/loadavg: 4.22 4.14 4.16 5/253 110462
/proc/meminfo: memFree=126492852/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2093740 memory=92072 CPUtime=6.26 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 19212 0 0 0 603 23 0 0 20 0 1 0 139846585 2143989760 23018 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 523435 23018 1728 343 0 520499 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2093740 KiB
Current children cumulated memory: 92072 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.14 4.16 5/253 110462
/proc/meminfo: memFree=126464684/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2093740 memory=94636 CPUtime=12.64 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 23647 0 0 0 1239 25 0 0 20 0 1 0 139846585 2143989760 23659 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 523435 23659 1728 343 0 520499 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2093740 KiB
Current children cumulated memory: 94636 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.13 4.16 5/253 110507
/proc/meminfo: memFree=126663536/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2093376 memory=93236 CPUtime=25.4 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 31226 0 0 0 2512 28 0 0 20 0 1 0 139846585 2143617024 23309 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 523344 23309 1728 343 0 520408 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2093376 KiB
Current children cumulated memory: 93236 KiB

[startup+51.1129 s]
/proc/loadavg: 4.10 4.12 4.15 5/252 110507
/proc/meminfo: memFree=126479656/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2085184 memory=92856 CPUtime=50.92 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 41260 0 0 0 5061 31 0 0 20 0 1 0 139846585 2135228416 23214 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 521296 23214 1728 343 0 518360 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2085184 KiB
Current children cumulated memory: 92856 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/252 110509
/proc/meminfo: memFree=126449648/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2093544 memory=97120 CPUtime=101.95 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 54638 0 0 0 10158 37 0 0 20 0 1 0 139846585 2143789056 24280 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 523386 24280 1728 343 0 520450 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2093544 KiB
Current children cumulated memory: 97120 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 110511
/proc/meminfo: memFree=126416492/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2093544 memory=110880 CPUtime=161.75 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 66695 0 0 0 16132 43 0 0 20 0 1 0 139846585 2143789056 27720 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 523386 27720 1728 343 0 520450 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2093544 KiB
Current children cumulated memory: 110880 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/251 110513
/proc/meminfo: memFree=126448196/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2118000 memory=111944 CPUtime=221.54 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 88970 0 0 0 22100 54 0 0 20 0 1 0 139846585 2168832000 27986 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 529500 27986 1728 343 0 526564 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 2118000 KiB
Current children cumulated memory: 111944 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/249 110515
/proc/meminfo: memFree=126410368/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2077040 memory=88752 CPUtime=281.35 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 110794 0 0 0 28069 66 0 0 20 0 1 0 139846585 2126888960 22188 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 519260 22188 1728 343 0 516324 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 2077040 KiB
Current children cumulated memory: 88752 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/249 110517
/proc/meminfo: memFree=126462000/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2101616 memory=98192 CPUtime=341.15 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 138489 0 0 0 34035 80 0 0 20 0 1 0 139846585 2152054784 24548 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 525404 24548 1728 343 0 522468 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 2101616 KiB
Current children cumulated memory: 98192 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/250 110566
/proc/meminfo: memFree=123296540/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2101616 memory=102516 CPUtime=400.95 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 163060 0 0 0 39999 96 0 0 20 0 1 0 139846585 2152054784 25629 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 525404 25629 1728 343 0 522468 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 2101616 KiB
Current children cumulated memory: 102516 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/253 110575
/proc/meminfo: memFree=122292416/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2101616 memory=95856 CPUtime=460.76 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 187000 0 0 0 45966 110 0 0 20 0 1 0 139846585 2152054784 23964 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 525404 23964 1728 343 0 522468 0
Current children cumulated CPU time: 460.76 s

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

Current children cumulated memory: 130500 KiB

[startup+2922.3 s]
/proc/loadavg: 3.04 3.10 3.40 4/246 110735
/proc/meminfo: memFree=114828072/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2134092 memory=154580 CPUtime=2912.82 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 887172 0 0 0 290726 556 0 0 20 0 1 0 139846585 2185310208 38645 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 533523 38645 1728 343 0 530587 0
Current children cumulated CPU time: 2912.82 s
Current children cumulated vsize: 2134092 KiB
Current children cumulated memory: 154580 KiB

[startup+2982.3 s]
/proc/loadavg: 3.11 3.11 3.38 4/246 110737
/proc/meminfo: memFree=114825584/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2134092 memory=120972 CPUtime=2972.63 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 903465 0 0 0 296698 565 0 0 20 0 1 0 139846585 2185310208 30243 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 533523 30243 1728 343 0 530587 0
Current children cumulated CPU time: 2972.63 s
Current children cumulated vsize: 2134092 KiB
Current children cumulated memory: 120972 KiB

[startup+3042.3 s]
/proc/loadavg: 3.14 3.12 3.36 4/246 110739
/proc/meminfo: memFree=114839424/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2134092 memory=130004 CPUtime=3032.43 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 916859 0 0 0 302668 575 0 0 20 0 1 0 139846585 2185310208 32501 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 533523 32501 1728 343 0 530587 0
Current children cumulated CPU time: 3032.43 s
Current children cumulated vsize: 2134092 KiB
Current children cumulated memory: 130004 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.11 3.34 4/246 110741
/proc/meminfo: memFree=114814696/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2150476 memory=138884 CPUtime=3092.25 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 931071 0 0 0 308640 585 0 0 20 0 1 0 139846585 2202087424 34721 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 537619 34721 1728 343 0 534683 0
Current children cumulated CPU time: 3092.25 s
Current children cumulated vsize: 2150476 KiB
Current children cumulated memory: 138884 KiB

[startup+3162.3 s]
/proc/loadavg: 3.09 3.10 3.33 4/244 110743
/proc/meminfo: memFree=114772644/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2084940 memory=100668 CPUtime=3152.06 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 946156 0 0 0 314613 593 0 0 20 0 1 0 139846585 2134978560 25167 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 521235 25167 1728 343 0 518299 0
Current children cumulated CPU time: 3152.06 s
Current children cumulated vsize: 2084940 KiB
Current children cumulated memory: 100668 KiB

[startup+3222.3 s]
/proc/loadavg: 3.08 3.10 3.31 4/243 110745
/proc/meminfo: memFree=114759352/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2150476 memory=148436 CPUtime=3211.88 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 960857 0 0 0 320586 602 0 0 20 0 1 0 139846585 2202087424 37109 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 537619 37109 1728 343 0 534683 0
Current children cumulated CPU time: 3211.88 s
Current children cumulated vsize: 2150476 KiB
Current children cumulated memory: 148436 KiB

[startup+3282.3 s]
/proc/loadavg: 3.14 3.11 3.30 4/243 110747
/proc/meminfo: memFree=114665700/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2150476 memory=164820 CPUtime=3271.7 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 977187 0 0 0 326559 611 0 0 20 0 1 0 139846585 2202087424 41205 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 537619 41205 1728 343 0 534683 0
Current children cumulated CPU time: 3271.7 s
Current children cumulated vsize: 2150476 KiB
Current children cumulated memory: 164820 KiB

[startup+3342.3 s]
/proc/loadavg: 3.05 3.09 3.27 4/243 110749
/proc/meminfo: memFree=114698264/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2199628 memory=164820 CPUtime=3331.52 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 991958 0 0 0 332530 622 0 0 20 0 1 0 139846585 2252419072 41205 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 549907 41205 1728 343 0 546971 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 2199628 KiB
Current children cumulated memory: 164820 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.10 3.27 4/243 110752
/proc/meminfo: memFree=114725636/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2134092 memory=136148 CPUtime=3391.33 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1006586 0 0 0 338501 632 0 0 20 0 1 0 139846585 2185310208 34037 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 533523 34037 1728 343 0 530587 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 2134092 KiB
Current children cumulated memory: 136148 KiB

[startup+3462.3 s]
/proc/loadavg: 3.11 3.09 3.25 4/245 110758
/proc/meminfo: memFree=114723696/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2134092 memory=132432 CPUtime=3451.15 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1018670 0 0 0 344472 643 0 0 20 0 1 0 139846585 2185310208 33108 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 533523 33108 1728 343 0 530587 0
Current children cumulated CPU time: 3451.15 s
Current children cumulated vsize: 2134092 KiB
Current children cumulated memory: 132432 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.09 3.24 4/245 110764
/proc/meminfo: memFree=114726376/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2117708 memory=125652 CPUtime=3510.96 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1030801 0 0 0 350444 652 0 0 20 0 1 0 139846585 2168532992 31413 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 529427 31413 1728 343 0 526491 0
Current children cumulated CPU time: 3510.96 s
Current children cumulated vsize: 2117708 KiB
Current children cumulated memory: 125652 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.09 3.23 4/244 110766
/proc/meminfo: memFree=114857520/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2101324 memory=121812 CPUtime=3570.78 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1044322 0 0 0 356416 662 0 0 20 0 1 0 139846585 2151755776 30453 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 525331 30453 1728 343 0 522395 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 2101324 KiB
Current children cumulated memory: 121812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 3.06 3.08 3.22 4/244 110767
/proc/meminfo: memFree=114658384/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2084940 memory=95956 CPUtime=3600.09 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1052617 0 0 0 359343 666 0 0 20 0 1 0 139846585 2134978560 23989 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 521235 23989 1728 343 0 518299 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2084940 KiB
Current children cumulated memory: 95956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.43 s, system=6.67122 s

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

[startup+3611.7 s]
/proc/loadavg: 3.06 3.08 3.22 4/244 110767
/proc/meminfo: memFree=114658384/131382120 swapFree=33010416/33010684
[pid=110460] ppid=110457 vsize=2084940 memory=95956 CPUtime=3600.09 cores=4,6
/proc/110460/stat : 110460 (pb_picat) R 110457 110460 108148 0 -1 4194304 1052617 0 0 0 359343 666 0 0 20 0 1 0 139846585 2134978560 23989 18446744073709551615 94632997105664 94632998507245 140735504458928 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94632998778672 94633000652912 94633013989376 140735504464284 140735504464360 140735504464360 140735504469964 0
/proc/110460/statm: 521235 23989 1728 343 0 518299 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2084940 KiB
Current children cumulated memory: 95956 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.7
CPU time (s): 3600.1
CPU user time (s): 3593.43
CPU system time (s): 6.67122
CPU usage (%): 99.6788
Max. virtual memory (cumulated for all children) (KiB): 2216012
Max. memory (cumulated for all children) (KiB): 203732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.43
system time used= 6.67122
maximum resident set size= 203732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1052617
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= 77
involuntary context switches= 21971


# summary of solver processes directly reported to runsolver:
#   pid: 110460
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.43
#   total CPU system time (s): 6.67122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4693 second user time and 34.0881 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-11 15:47:52
IDJOB=4528438
IDBENCH=148770
IDSOLVER=3385
FILE ID=nodeC006/4528438-1752241672
RUNJOBID= nodeC006-1752237995-109810
SLURM_JOB_ID= 9682517
Free space on /tmp= 432000 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528438-1752241672/watcher-4528438-1752241672 -o /tmp/evaluation-result-4528438-1752241672/solver-4528438-1752241672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109810 --watchdog 3760  pb_picat HOME/instance-4528438-1752241672.opb

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

MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=2010664737

nodeC006 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.477
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.32
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		: 3491.591
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.32
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.333
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.32
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.606
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.32
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.142
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.32
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		: 3691.183
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.32
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		: 1197.933
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.32
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.508
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126545852 kB
MemAvailable:   128782668 kB
Buffers:            2128 kB
Cached:          2999252 kB
SwapCached:           12 kB
Active:          1637288 kB
Inactive:        2530652 kB
Active(anon):    1173520 kB
Inactive(anon):    10992 kB
Active(file):     463768 kB
Inactive(file):  2519660 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3848 kB
Writeback:            12 kB
AnonPages:       1163480 kB
Mapped:           116308 kB
Shmem:             17948 kB
KReclaimable:     185648 kB
Slab:             274548 kB
SReclaimable:     185648 kB
SUnreclaim:        88900 kB
KernelStack:        4140 kB
PageTables:         5620 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6898052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1001472 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431436 MiB
End job on nodeC006 at 2025-07-11 16:48:04