Trace number 4498459

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.11 3610.4

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb
MD5SUM38e00c2bd7e76d458d5bc96a9953dc34
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-46
Best CPU time to get the best result obtained on this benchmark72001.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74916
Sum of products size (including duplicates)149832
Number of different products37458
Sum of products size74916

Solver Data 

0.00/0.01	c solving HOME/instance-4498459-1751275470.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 (62685 MiB free)
  memory of node 1: 64507 MiB (62433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498459-1751275470/watcher-4498459-1751275470 -o /tmp/evaluation-result-4498459-1751275470/solver-4498459-1751275470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751275465-33892 --watchdog 3760 pb_picat HOME/instance-4498459-1751275470.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=34040, runsolver pid=34037

[startup+0.100061 s]*
/proc/loadavg: 2.24 2.18 2.18 5/265 34041
/proc/meminfo: memFree=128093248/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2027148 memory=40688 CPUtime=0.08 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 1112 0 0 0 8 0 0 0 20 0 1 0 43226577 2075799552 10172 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 506787 10172 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40688 KiB

[startup+0.205555 s]*
/proc/loadavg: 2.24 2.18 2.18 5/265 34041
/proc/meminfo: memFree=128059972/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2027148 memory=69360 CPUtime=0.19 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 1126 0 0 0 18 1 0 0 20 0 1 0 43226577 2075799552 17340 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 506787 17340 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69360 KiB

[startup+0.305499 s]*
/proc/loadavg: 2.24 2.18 2.18 5/265 34041
/proc/meminfo: memFree=128039240/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2034964 memory=92792 CPUtime=0.29 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 1304 0 0 0 27 2 0 0 20 0 1 0 43226577 2083803136 23198 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 508741 23198 1632 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 92792 KiB

[startup+0.700187 s]
/proc/loadavg: 2.24 2.18 2.18 5/265 34041
/proc/meminfo: memFree=128004712/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2070104 memory=124792 CPUtime=0.68 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 8721 0 0 0 65 3 0 0 20 0 1 0 43226577 2119786496 31198 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 517526 31198 1728 343 0 514590 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2070104 KiB
Current children cumulated memory: 124792 KiB

[startup+1.50018 s]
/proc/loadavg: 2.38 2.21 2.19 5/265 34041
/proc/meminfo: memFree=127999672/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2070104 memory=127296 CPUtime=1.48 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 9448 0 0 0 145 3 0 0 20 0 1 0 43226577 2119786496 31824 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 517526 31824 1728 343 0 514590 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2070104 KiB
Current children cumulated memory: 127296 KiB

[startup+3.10543 s]
/proc/loadavg: 2.38 2.21 2.19 5/265 34041
/proc/meminfo: memFree=127993568/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2066552 memory=123480 CPUtime=3.08 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 11296 0 0 0 304 4 0 0 20 0 1 0 43226577 2116149248 30870 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 516638 30870 1728 343 0 513702 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2066552 KiB
Current children cumulated memory: 123480 KiB

[startup+6.30018 s]
/proc/loadavg: 2.51 2.24 2.20 5/265 34041
/proc/meminfo: memFree=128004060/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2074744 memory=130004 CPUtime=6.26 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 13103 0 0 0 622 4 0 0 20 0 1 0 43226577 2124537856 32501 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 518686 32501 1728 343 0 515750 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2074744 KiB
Current children cumulated memory: 130004 KiB

[startup+12.7002 s]
/proc/loadavg: 2.63 2.27 2.21 5/265 34041
/proc/meminfo: memFree=127984244/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2082936 memory=135328 CPUtime=12.64 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 15827 0 0 0 1259 5 0 0 20 0 1 0 43226577 2132926464 33832 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 520734 33832 1728 343 0 517798 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2082936 KiB
Current children cumulated memory: 135328 KiB

[startup+25.5002 s]
/proc/loadavg: 2.92 2.34 2.24 5/265 34041
/proc/meminfo: memFree=127968872/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2099320 memory=143404 CPUtime=25.41 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 21282 0 0 0 2534 7 0 0 20 0 1 0 43226577 2149703680 35851 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 524830 35851 1728 343 0 521894 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2099320 KiB
Current children cumulated memory: 143404 KiB

[startup+51.1055 s]
/proc/loadavg: 3.35 2.50 2.29 5/265 34041
/proc/meminfo: memFree=127935444/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2099320 memory=149792 CPUtime=50.94 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 29479 0 0 0 5084 10 0 0 20 0 1 0 43226577 2149703680 37448 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 524830 37448 1728 343 0 521894 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2099320 KiB
Current children cumulated memory: 149792 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 2.76 2.39 5/264 34043
/proc/meminfo: memFree=127916008/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2119340 memory=164816 CPUtime=101.98 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 45282 0 0 0 10183 15 0 0 20 0 1 0 43226577 2170204160 41204 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 529835 41204 1728 343 0 526899 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2119340 KiB
Current children cumulated memory: 164816 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.00 2.50 5/265 34046
/proc/meminfo: memFree=127895736/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2119232 memory=168804 CPUtime=161.81 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 54330 0 0 0 16162 19 0 0 20 0 1 0 43226577 2170093568 42201 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 529808 42201 1728 343 0 526872 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2119232 KiB
Current children cumulated memory: 168804 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.20 2.60 5/265 34048
/proc/meminfo: memFree=127873336/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2119232 memory=172900 CPUtime=221.63 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 61557 0 0 0 22139 24 0 0 20 0 1 0 43226577 2170093568 43225 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 529808 43225 1728 343 0 526872 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2119232 KiB
Current children cumulated memory: 172900 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.38 2.71 5/264 34050
/proc/meminfo: memFree=127857876/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2121564 memory=175172 CPUtime=281.46 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 69106 0 0 0 28118 28 0 0 20 0 1 0 43226577 2172481536 43793 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 530391 43793 1728 343 0 527455 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 2121564 KiB
Current children cumulated memory: 175172 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 3.53 2.80 5/263 34052
/proc/meminfo: memFree=127839156/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2123276 memory=181056 CPUtime=341.29 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 76525 0 0 0 34096 33 0 0 20 0 1 0 43226577 2174234624 45264 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 530819 45264 1728 343 0 527883 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 2123276 KiB
Current children cumulated memory: 181056 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.63 2.88 5/263 34054
/proc/meminfo: memFree=127832460/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2123276 memory=181056 CPUtime=401.12 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 82318 0 0 0 40075 37 0 0 20 0 1 0 43226577 2174234624 45264 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 530819 45264 1728 343 0 527883 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 2123276 KiB
Current children cumulated memory: 181056 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.72 2.96 5/262 34056
/proc/meminfo: memFree=127803496/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2156044 memory=189248 CPUtime=460.94 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 87336 0 0 0 46054 40 0 0 20 0 1 0 43226577 2207789056 47312 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 539011 47312 1728 343 0 536075 0

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

Current children cumulated memory: 268636 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.12 4.04 5/263 34182
/proc/meminfo: memFree=127504540/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=270684 CPUtime=2854.08 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 190252 0 0 0 285271 137 0 0 20 0 1 0 43226577 2387574784 67671 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 67671 1728 343 0 579968 0
Current children cumulated CPU time: 2854.08 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 270684 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/263 34184
/proc/meminfo: memFree=127523288/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2266080 memory=265180 CPUtime=2913.92 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 190533 0 0 0 291254 138 0 0 20 0 1 0 43226577 2320465920 66295 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 566520 66295 1728 343 0 563584 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 2266080 KiB
Current children cumulated memory: 265180 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 34187
/proc/meminfo: memFree=127497264/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2266080 memory=262492 CPUtime=2973.75 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 192616 0 0 0 297234 141 0 0 20 0 1 0 43226577 2320465920 65623 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 566520 65623 1728 343 0 563584 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 2266080 KiB
Current children cumulated memory: 262492 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/265 34197
/proc/meminfo: memFree=127488420/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=270684 CPUtime=3033.58 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 193747 0 0 0 303216 142 0 0 20 0 1 0 43226577 2387574784 67671 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 67671 1728 343 0 579968 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 270684 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/265 34199
/proc/meminfo: memFree=127502184/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=278876 CPUtime=3093.42 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 196488 0 0 0 309197 145 0 0 20 0 1 0 43226577 2387574784 69719 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 69719 1728 343 0 579968 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 278876 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.06 5/265 34202
/proc/meminfo: memFree=127497348/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=276828 CPUtime=3153.25 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 197103 0 0 0 315179 146 0 0 20 0 1 0 43226577 2387574784 69207 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 69207 1728 343 0 579968 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 276828 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/265 34204
/proc/meminfo: memFree=127475072/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=280924 CPUtime=3213.09 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 199373 0 0 0 321160 149 0 0 20 0 1 0 43226577 2387574784 70231 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 70231 1728 343 0 579968 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 280924 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/264 34206
/proc/meminfo: memFree=127477352/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=278876 CPUtime=3272.91 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 199989 0 0 0 327142 149 0 0 20 0 1 0 43226577 2387574784 69719 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 69719 1728 343 0 579968 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 278876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.12 4.07 5/262 34208
/proc/meminfo: memFree=127522464/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=274780 CPUtime=3332.74 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 200604 0 0 0 333124 150 0 0 20 0 1 0 43226577 2387574784 68695 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 68695 1728 343 0 579968 0
Current children cumulated CPU time: 3332.74 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 274780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/262 34210
/proc/meminfo: memFree=127515940/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2266080 memory=258396 CPUtime=3392.58 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 200703 0 0 0 339107 151 0 0 20 0 1 0 43226577 2320465920 64599 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 566520 64599 1728 343 0 563584 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 2266080 KiB
Current children cumulated memory: 258396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/262 34212
/proc/meminfo: memFree=127484516/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=272732 CPUtime=3452.41 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 202970 0 0 0 345088 153 0 0 20 0 1 0 43226577 2387574784 68183 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 68183 1728 343 0 579968 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 272732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/262 34214
/proc/meminfo: memFree=127492224/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=274780 CPUtime=3512.24 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 205929 0 0 0 351069 155 0 0 20 0 1 0 43226577 2387574784 68695 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 68695 1728 343 0 579968 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 274780 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/263 34217
/proc/meminfo: memFree=127518044/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2266080 memory=258396 CPUtime=3572.08 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 208291 0 0 0 357049 159 0 0 20 0 1 0 43226577 2320465920 64599 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 566520 64599 1728 343 0 563584 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 2266080 KiB
Current children cumulated memory: 258396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.17 4.13 4.08 2/246 34318
/proc/meminfo: memFree=128190560/131249996 swapFree=33010416/33010684
[pid=34040] ppid=34037 vsize=2331616 memory=278876 CPUtime=3600.09 cores=4,6
/proc/34040/stat : 34040 (pb_picat) R 34037 34040 33131 0 -1 4194304 208812 0 0 0 359850 159 0 0 20 0 1 0 43226577 2387574784 69719 18446744073709551615 94044978454528 94044979856109 140730624117984 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94044980127536 94044982001840 94045003763712 140730624125342 140730624125418 140730624125418 140730624131020 0
/proc/34040/statm: 582904 69719 1728 343 0 579968 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2331616 KiB
Current children cumulated memory: 278876 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.51 s, system=1.59753 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): 3610.4
CPU time (s): 3600.11
CPU user time (s): 3598.51
CPU system time (s): 1.59753
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 2375688
Max. memory (cumulated for all children) (KiB): 310996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.59753
maximum resident set size= 316756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208812
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= 67
involuntary context switches= 2712


# summary of solver processes directly reported to runsolver:
#   pid: 34040
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.51
#   total CPU system time (s): 1.59753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.93562 second user time and 12.8138 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-06-30 11:24:30
IDJOB=4498459
IDBENCH=148683
IDSOLVER=3346
FILE ID=nodeC030/4498459-1751275470
RUNJOBID= nodeC030-1751275465-33892
SLURM_JOB_ID= 9594197
Free space on /tmp= 433024 MiB

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

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

MD5SUM BENCH= 38e00c2bd7e76d458d5bc96a9953dc34
RANDOM SEED=1634672074

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		: 3600.353
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		: 3600.363
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.612
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		: 3700.000
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		: 3600.312
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		: 3599.764
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		: 3559.174
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		: 3600.310
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:        128123020 kB
MemAvailable:   129464584 kB
Buffers:            2564 kB
Cached:          2136708 kB
SwapCached:           16 kB
Active:           662856 kB
Inactive:        1836368 kB
Active(anon):     373340 kB
Inactive(anon):     4660 kB
Active(file):     289516 kB
Inactive(file):  1831708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16036 kB
Writeback:             4 kB
AnonPages:        361688 kB
Mapped:           113684 kB
Shmem:             18048 kB
KReclaimable:     118756 kB
Slab:             205472 kB
SReclaimable:     118756 kB
SUnreclaim:        86716 kB
KernelStack:        4336 kB
PageTables:         3920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6566716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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= 433032 MiB
End job on nodeC030 at 2025-06-30 12:24:41