Trace number 4498420

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
Picat 2025-06-16? (TO) 3600.03 3611.2

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa48c66dfa619fe9822eb3addabc6673c
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-93
Best CPU time to get the best result obtained on this benchmark72001.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

Solver Data 

0.00/0.01	c solving HOME/instance-4498420-1751275465.opb (Picat 3.9b6)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62921 MiB free)
  memory of node 1: 64507 MiB (62461 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498420-1751275465/watcher-4498420-1751275465 -o /tmp/evaluation-result-4498420-1751275465/solver-4498420-1751275465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751275465-33891 --watchdog 3760 pb_picat HOME/instance-4498420-1751275465.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=33946, runsolver pid=33938

[startup+0.10006 s]*
/proc/loadavg: 2.09 2.14 2.17 5/261 33952
/proc/meminfo: memFree=128350688/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2027148 memory=46440 CPUtime=0.09 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 1057 0 0 0 8 1 0 0 20 0 1 0 43226070 2075799552 11610 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 506787 11610 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 46440 KiB

[startup+0.205549 s]*
/proc/loadavg: 2.09 2.14 2.17 5/261 33959
/proc/meminfo: memFree=128320968/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2027148 memory=73064 CPUtime=0.19 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 1070 0 0 0 18 1 0 0 20 0 1 0 43226070 2075799552 18266 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 506787 18266 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73064 KiB

[startup+0.305826 s]*
/proc/loadavg: 2.09 2.14 2.17 5/261 33959
/proc/meminfo: memFree=128292296/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2027148 memory=99688 CPUtime=0.3 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 1083 0 0 0 28 2 0 0 20 0 1 0 43226070 2075799552 24922 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 506787 24922 1536 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 99688 KiB

[startup+0.700171 s]
/proc/loadavg: 2.09 2.14 2.17 5/261 33959
/proc/meminfo: memFree=128251336/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2046992 memory=190272 CPUtime=0.68 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 3750 0 0 0 64 4 0 0 20 0 1 0 43226070 2096119808 47568 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 511748 47568 1664 343 0 508812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2046992 KiB
Current children cumulated memory: 190272 KiB

[startup+1.50019 s]
/proc/loadavg: 2.24 2.18 2.18 5/261 33959
/proc/meminfo: memFree=128154112/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2102592 memory=234736 CPUtime=1.48 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 12206 0 0 0 142 6 0 0 20 0 1 0 43226070 2153054208 58684 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 525648 58684 1696 343 0 522712 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2102592 KiB
Current children cumulated memory: 234736 KiB

[startup+3.10575 s]
/proc/loadavg: 2.24 2.18 2.18 5/261 34004
/proc/meminfo: memFree=128104236/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2104724 memory=236868 CPUtime=3.08 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 13375 0 0 0 302 6 0 0 20 0 1 0 43226070 2155237376 59217 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 526181 59217 1696 343 0 523245 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2104724 KiB
Current children cumulated memory: 236868 KiB

[startup+6.30017 s]
/proc/loadavg: 2.38 2.21 2.19 6/265 34041
/proc/meminfo: memFree=128000680/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2097412 memory=232244 CPUtime=6.26 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 16319 0 0 0 619 7 0 0 20 0 1 0 43226070 2147749888 58061 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 524353 58061 1696 343 0 521417 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2097412 KiB
Current children cumulated memory: 232244 KiB

[startup+12.7002 s]
/proc/loadavg: 2.51 2.24 2.20 6/265 34041
/proc/meminfo: memFree=128004060/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2097412 memory=231752 CPUtime=12.64 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 18466 0 0 0 1256 8 0 0 20 0 1 0 43226070 2147749888 57938 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 524353 57938 1696 343 0 521417 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2097412 KiB
Current children cumulated memory: 231752 KiB

[startup+25.5002 s]
/proc/loadavg: 2.82 2.31 2.23 6/265 34041
/proc/meminfo: memFree=127972068/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2113796 memory=244040 CPUtime=25.39 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 23525 0 0 0 2529 10 0 0 20 0 1 0 43226070 2164527104 61010 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 528449 61010 1696 343 0 525513 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2113796 KiB
Current children cumulated memory: 244040 KiB

[startup+51.1058 s]
/proc/loadavg: 3.29 2.47 2.28 6/265 34041
/proc/meminfo: memFree=127945040/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2130180 memory=248636 CPUtime=50.91 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 31784 0 0 0 5077 14 0 0 20 0 1 0 43226070 2181304320 62159 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 532545 62159 1696 343 0 529609 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2130180 KiB
Current children cumulated memory: 248636 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 2.74 2.39 6/264 34043
/proc/meminfo: memFree=127916964/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2130180 memory=265452 CPUtime=101.93 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 42340 0 0 0 10172 21 0 0 20 0 1 0 43226070 2181304320 66363 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 532545 66363 1696 343 0 529609 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2130180 KiB
Current children cumulated memory: 265452 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.99 2.50 6/265 34046
/proc/meminfo: memFree=127899776/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2163828 memory=276984 CPUtime=161.73 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 54090 0 0 0 16146 27 0 0 20 0 1 0 43226070 2215759872 69246 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 540957 69246 1696 343 0 538021 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 2163828 KiB
Current children cumulated memory: 276984 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.19 2.60 6/265 34048
/proc/meminfo: memFree=127874036/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2196596 memory=289272 CPUtime=221.53 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 63658 0 0 0 22120 33 0 0 20 0 1 0 43226070 2249314304 72318 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 549149 72318 1696 343 0 546213 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 2196596 KiB
Current children cumulated memory: 289272 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.37 2.70 6/264 34050
/proc/meminfo: memFree=127861944/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2198476 memory=288284 CPUtime=281.33 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 71368 0 0 0 28096 37 0 0 20 0 1 0 43226070 2251239424 72071 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 549619 72071 1696 343 0 546683 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 2198476 KiB
Current children cumulated memory: 288284 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.50 2.79 6/263 34052
/proc/meminfo: memFree=127851348/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2200332 memory=297176 CPUtime=341.12 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 78251 0 0 0 34071 41 0 0 20 0 1 0 43226070 2253139968 74294 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 550083 74294 1696 343 0 547147 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 2200332 KiB
Current children cumulated memory: 297176 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.61 2.87 6/263 34054
/proc/meminfo: memFree=127828308/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2200332 memory=309464 CPUtime=400.92 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 80825 0 0 0 40049 43 0 0 20 0 1 0 43226070 2253139968 77366 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 550083 77366 1696 343 0 547147 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 2200332 KiB
Current children cumulated memory: 309464 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.71 2.95 6/262 34056
/proc/meminfo: memFree=127807552/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2200332 memory=319708 CPUtime=460.71 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 86460 0 0 0 46024 47 0 0 20 0 1 0 43226070 2253139968 79927 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 550083 79927 1696 343 0 547147 0
Current children cumulated CPU time: 460.71 s

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

Current children cumulated memory: 429536 KiB

[startup+2862.3 s]
/proc/loadavg: 4.20 4.12 4.04 6/263 34182
/proc/meminfo: memFree=127508612/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=439776 CPUtime=2853.28 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 180761 0 0 0 285175 153 0 0 20 0 1 0 43226070 2407211008 109944 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 109944 1696 343 0 584762 0
Current children cumulated CPU time: 2853.28 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 439776 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.04 6/263 34184
/proc/meminfo: memFree=127523240/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=423392 CPUtime=2913.1 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 183623 0 0 0 291154 156 0 0 20 0 1 0 43226070 2407211008 105848 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 105848 1696 343 0 584762 0
Current children cumulated CPU time: 2913.1 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 423392 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/263 34187
/proc/meminfo: memFree=127497224/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=431584 CPUtime=2972.93 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 185872 0 0 0 297133 160 0 0 20 0 1 0 43226070 2407211008 107896 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 107896 1696 343 0 584762 0
Current children cumulated CPU time: 2972.93 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 431584 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/265 34197
/proc/meminfo: memFree=127488688/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=439776 CPUtime=3032.76 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 185876 0 0 0 303116 160 0 0 20 0 1 0 43226070 2407211008 109944 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 109944 1696 343 0 584762 0
Current children cumulated CPU time: 3032.76 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 439776 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.06 6/265 34199
/proc/meminfo: memFree=127502168/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=423392 CPUtime=3092.59 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 188739 0 0 0 309096 163 0 0 20 0 1 0 43226070 2407211008 105848 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 105848 1696 343 0 584762 0
Current children cumulated CPU time: 3092.59 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 423392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.06 6/265 34202
/proc/meminfo: memFree=127495216/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=443872 CPUtime=3152.41 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 188749 0 0 0 315078 163 0 0 20 0 1 0 43226070 2407211008 110968 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 110968 1696 343 0 584762 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 443872 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.06 6/265 34204
/proc/meminfo: memFree=127502952/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=427488 CPUtime=3212.25 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 192120 0 0 0 321058 167 0 0 20 0 1 0 43226070 2407211008 106872 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 106872 1696 343 0 584762 0
Current children cumulated CPU time: 3212.25 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 427488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.06 6/264 34206
/proc/meminfo: memFree=127481448/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=443872 CPUtime=3272.07 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 192543 0 0 0 327039 168 0 0 20 0 1 0 43226070 2407211008 110968 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 110968 1696 343 0 584762 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 443872 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.06 6/262 34208
/proc/meminfo: memFree=127520664/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=435680 CPUtime=3331.91 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 194723 0 0 0 333019 172 0 0 20 0 1 0 43226070 2407211008 108920 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 108920 1696 343 0 584762 0
Current children cumulated CPU time: 3331.91 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 435680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.07 6/262 34210
/proc/meminfo: memFree=127532540/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=452064 CPUtime=3391.73 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 194731 0 0 0 339001 172 0 0 20 0 1 0 43226070 2407211008 113016 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 113016 1696 343 0 584762 0
Current children cumulated CPU time: 3391.73 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 452064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.07 6/262 34212
/proc/meminfo: memFree=127501100/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=431584 CPUtime=3451.56 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 197930 0 0 0 344980 176 0 0 20 0 1 0 43226070 2407211008 107896 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 107896 1696 343 0 584762 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 431584 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.07 6/262 34214
/proc/meminfo: memFree=127488128/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=445920 CPUtime=3511.38 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 200028 0 0 0 350959 179 0 0 20 0 1 0 43226070 2407211008 111480 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 111480 1696 343 0 584762 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 445920 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.08 6/263 34217
/proc/meminfo: memFree=127483188/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=450016 CPUtime=3571.21 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 200030 0 0 0 356942 179 0 0 20 0 1 0 43226070 2407211008 112504 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 112504 1696 343 0 584762 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 450016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.18 4.13 4.08 5/260 34233
/proc/meminfo: memFree=127580304/131249996 swapFree=33010416/33010684
[pid=33946] ppid=33938 vsize=2350792 memory=452064 CPUtime=3600.02 cores=0,2
/proc/33946/stat : 33946 (pb_picat) R 33938 33946 33131 0 -1 4194304 200031 0 0 0 359822 180 0 0 20 0 1 0 43226070 2407211008 113016 18446744073709551615 94270354481152 94270355882733 140736538511264 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94270356154160 94270358028464 94270395228160 140736538519966 140736538520042 140736538520042 140736538525644 0
/proc/33946/statm: 587698 113016 1696 343 0 584762 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2350792 KiB
Current children cumulated memory: 452064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.22 s, system=1.81004 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.2
CPU time (s): 3600.03
CPU user time (s): 3598.22
CPU system time (s): 1.81004
CPU usage (%): 99.6907
Max. virtual memory (cumulated for all children) (KiB): 2397404
Max. memory (cumulated for all children) (KiB): 469952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 1.81004
maximum resident set size= 483020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200031
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= 119
involuntary context switches= 7846


# summary of solver processes directly reported to runsolver:
#   pid: 33946
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.22
#   total CPU system time (s): 1.81004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1505 second user time and 12.4007 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-06-30 11:24:25
IDJOB=4498420
IDBENCH=148671
IDSOLVER=3346
FILE ID=nodeC030/4498420-1751275465
RUNJOBID= nodeC030-1751275465-33891
SLURM_JOB_ID= 9594197
Free space on /tmp= 433036 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498420-1751275465/watcher-4498420-1751275465 -o /tmp/evaluation-result-4498420-1751275465/solver-4498420-1751275465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751275465-33891 --watchdog 3760  pb_picat HOME/instance-4498420-1751275465.opb

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

MD5SUM BENCH= a48c66dfa619fe9822eb3addabc6673c
RANDOM SEED=2131902572

nodeC030 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.013
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	: 7000.62
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		: 3552.301
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	: 7000.62
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.321
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	: 7000.62
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		: 3582.209
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	: 7000.62
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		: 3775.214
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	: 7000.62
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		: 2644.032
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	: 7000.62
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		: 3599.549
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	: 7000.62
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		: 2295.024
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128399112 kB
MemAvailable:   129738632 kB
Buffers:            2564 kB
Cached:          2134692 kB
SwapCached:           16 kB
Active:           363580 kB
Inactive:        1834368 kB
Active(anon):      74080 kB
Inactive(anon):     4660 kB
Active(file):     289500 kB
Inactive(file):  1829708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16612 kB
Writeback:             4 kB
AnonPages:         63704 kB
Mapped:           102956 kB
Shmem:             18048 kB
KReclaimable:     118700 kB
Slab:             205840 kB
SReclaimable:     118700 kB
SUnreclaim:        87140 kB
KernelStack:        4016 kB
PageTables:         2552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC030 at 2025-06-30 12:24:36