Trace number 4505397

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.15 3611.09

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
MD5SUMfb79dc5ec425f6747fbd9d81f9d6ccc8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14278749
Best CPU time to get the best result obtained on this benchmark68921.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019600
Biggest coefficient in the objective function 183250432
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 416475778904
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 183250432
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 416475778904
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.18/1.27	c solving HOME/instance-4505397-1751448361.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: 63708 MiB (44695 MiB free)
  memory of node 1: 64465 MiB (57099 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505397-1751448361/watcher-4505397-1751448361 -o /tmp/evaluation-result-4505397-1751448361/solver-4505397-1751448361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751444445-66210 --watchdog 3760 pb_picat HOME/instance-4505397-1751448361.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100066 s]*
/proc/loadavg: 4.16 4.14 4.08 5/265 66705
/proc/meminfo: memFree=104176728/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2027148 memory=29596 CPUtime=0.09 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 983 0 0 0 9 0 0 0 20 0 1 0 60515653 2075799552 7399 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 506787 7399 1472 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 29596 KiB

[startup+0.205522 s]*
/proc/loadavg: 4.16 4.14 4.08 5/265 66705
/proc/meminfo: memFree=104082520/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2027148 memory=41884 CPUtime=0.19 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 989 0 0 0 19 0 0 0 20 0 1 0 60515653 2075799552 10471 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 506787 10471 1472 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 41884 KiB

[startup+0.305464 s]*
/proc/loadavg: 4.16 4.14 4.08 5/265 66705
/proc/meminfo: memFree=103996504/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2042776 memory=52272 CPUtime=0.3 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1031 0 0 0 29 1 0 0 20 0 1 0 60515653 2091802624 13068 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 510694 13068 1472 343 0 507758 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 52272 KiB

[startup+0.700186 s]
/proc/loadavg: 4.16 4.14 4.08 5/265 66705
/proc/meminfo: memFree=103837288/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2058404 memory=78060 CPUtime=0.68 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1361 0 0 0 67 1 0 0 20 0 1 0 60515653 2107805696 19515 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 514601 19515 1472 343 0 511665 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2058404 KiB
Current children cumulated memory: 78060 KiB

[startup+1.50019 s]
/proc/loadavg: 4.16 4.14 4.08 5/265 66705
/proc/meminfo: memFree=103530088/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2141600 memory=237440 CPUtime=1.48 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 5354 0 0 0 143 5 0 0 20 0 1 0 60515653 2192998400 59360 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 535400 59360 1504 343 0 532464 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2141600 KiB
Current children cumulated memory: 237440 KiB

[startup+3.10533 s]
/proc/loadavg: 4.16 4.14 4.08 5/265 66705
/proc/meminfo: memFree=103108644/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2317076 memory=388704 CPUtime=3.08 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 12123 0 0 0 287 21 0 0 20 0 1 0 60515653 2372685824 97176 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 579269 97176 1504 343 0 576333 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2317076 KiB
Current children cumulated memory: 388704 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.14 4.08 5/265 66705
/proc/meminfo: memFree=102510252/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2385776 memory=1105216 CPUtime=6.26 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 13345 0 0 0 589 37 0 0 20 0 1 0 60515653 2443034624 276304 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 596444 276304 1568 343 0 593508 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2385776 KiB
Current children cumulated memory: 1105216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.08 5/265 66705
/proc/meminfo: memFree=102013908/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2856012 memory=1578268 CPUtime=12.65 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 16771 0 0 0 1212 53 0 0 20 0 1 0 60515653 2924556288 394567 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 714003 394567 1568 343 0 711067 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2856012 KiB
Current children cumulated memory: 1578268 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.08 5/265 66705
/proc/meminfo: memFree=100986424/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=2871636 memory=2460952 CPUtime=25.42 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 18007 0 0 0 2472 70 0 0 20 0 1 0 60515653 2940555264 615238 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 717909 615238 1568 343 0 714973 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2871636 KiB
Current children cumulated memory: 2460952 KiB

[startup+51.1053 s]
/proc/loadavg: 4.13 4.14 4.08 5/265 66706
/proc/meminfo: memFree=100212028/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=4319400 memory=3220360 CPUtime=50.96 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 20191 0 0 0 5003 93 0 0 20 0 1 0 60515653 4423065600 805090 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 1079850 805090 1568 343 0 1076914 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4319400 KiB
Current children cumulated memory: 3220360 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/264 66707
/proc/meminfo: memFree=98072744/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=4392752 memory=3740168 CPUtime=102.02 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 22657 0 0 0 10095 107 0 0 20 0 1 0 60515653 4498178048 935042 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 1098188 935042 1568 343 0 1095252 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 4392752 KiB
Current children cumulated memory: 3740168 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/267 66714
/proc/meminfo: memFree=95756872/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=8802512 memory=7323812 CPUtime=161.86 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 35764 0 0 0 15858 328 0 0 20 0 1 0 60515653 9013772288 1830953 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 2200628 1830953 1600 343 0 2197692 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 8802512 KiB
Current children cumulated memory: 7323812 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 66720
/proc/meminfo: memFree=93325568/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=15716672 memory=10812972 CPUtime=221.7 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 128153 0 0 0 21245 925 0 0 20 0 1 0 60515653 16093872128 2703243 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 3929168 2703243 1696 343 0 3926232 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 15716672 KiB
Current children cumulated memory: 10812972 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/266 66723
/proc/meminfo: memFree=88168912/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22663884 memory=15327204 CPUtime=281.56 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 301612 0 0 0 26744 1412 0 0 20 0 1 0 60515653 23207817216 3831801 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5665971 3831801 1696 343 0 5663035 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 22663884 KiB
Current children cumulated memory: 15327204 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 66726
/proc/meminfo: memFree=87487508/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22663884 memory=15615584 CPUtime=341.37 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 304274 0 0 0 32717 1420 0 0 20 0 1 0 60515653 23207817216 3903896 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5665971 3903896 1696 343 0 5663035 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 22663884 KiB
Current children cumulated memory: 15615584 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/266 66728
/proc/meminfo: memFree=87573256/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22816804 memory=15109692 CPUtime=401.19 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 321072 0 0 0 38636 1483 0 0 20 0 1 0 60515653 23364407296 3777423 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5704201 3777423 1696 343 0 5701265 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 22816804 KiB
Current children cumulated memory: 15109692 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 66730
/proc/meminfo: memFree=85753516/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=27054804 memory=16656340 CPUtime=461.01 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 439842 0 0 0 44537 1564 0 0 20 0 1 0 60515653 27704119296 4164085 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 6763701 4164085 1696 343 0 6760765 0

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

Current children cumulated memory: 15155760 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/264 66867
/proc/meminfo: memFree=87130372/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=15166000 CPUtime=2853.65 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 948156 0 0 0 283236 2129 0 0 20 0 1 0 60515653 23290482688 3791500 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 3791500 1696 343 0 5683217 0
Current children cumulated CPU time: 2853.65 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 15166000 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/264 66869
/proc/meminfo: memFree=87189384/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=15168048 CPUtime=2913.46 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 950453 0 0 0 289216 2130 0 0 20 0 1 0 60515653 23290482688 3792012 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 3792012 1696 343 0 5683217 0
Current children cumulated CPU time: 2913.46 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 15168048 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 66872
/proc/meminfo: memFree=87533272/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=15168048 CPUtime=2973.27 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 953080 0 0 0 295197 2130 0 0 20 0 1 0 60515653 23290482688 3792012 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 3792012 1696 343 0 5683217 0
Current children cumulated CPU time: 2973.27 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 15168048 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/265 66874
/proc/meminfo: memFree=87195424/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=15168048 CPUtime=3033.08 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 955715 0 0 0 301178 2130 0 0 20 0 1 0 60515653 23290482688 3792012 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 3792012 1696 343 0 5683217 0
Current children cumulated CPU time: 3033.08 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 15168048 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 66876
/proc/meminfo: memFree=87174720/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=15188528 CPUtime=3092.9 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 958446 0 0 0 307158 2132 0 0 20 0 1 0 60515653 23290482688 3797132 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 3797132 1696 343 0 5683217 0
Current children cumulated CPU time: 3092.9 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 15188528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 66882
/proc/meminfo: memFree=87048628/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=23881324 memory=15342844 CPUtime=3152.71 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 966954 0 0 0 313134 2137 0 0 20 0 1 0 60515653 24454475776 3835711 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5970331 3835711 1696 343 0 5967395 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 23881324 KiB
Current children cumulated memory: 15342844 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 66889
/proc/meminfo: memFree=87446248/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=23006752 memory=15319476 CPUtime=3212.53 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1078736 0 0 0 319004 2249 0 0 20 0 1 0 60515653 23558914048 3829869 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5751688 3829869 1696 343 0 5748752 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 23006752 KiB
Current children cumulated memory: 15319476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 66891
/proc/meminfo: memFree=87649180/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=15077936 CPUtime=3272.35 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1079761 0 0 0 324983 2252 0 0 20 0 1 0 60515653 23290482688 3769484 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 3769484 1696 343 0 5683217 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 15077936 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 67028
/proc/meminfo: memFree=97100984/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=16321072 CPUtime=3332.16 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1085262 0 0 0 330924 2292 0 0 20 0 1 0 60515653 23290482688 4080268 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 4080268 1696 343 0 5683217 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 16321072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/265 67030
/proc/meminfo: memFree=92880436/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=16325296 CPUtime=3391.96 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1085934 0 0 0 336903 2293 0 0 20 0 1 0 60515653 23290482688 4081324 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 4081324 1696 343 0 5683217 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 16325296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 67033
/proc/meminfo: memFree=85414292/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=16325296 CPUtime=3451.79 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1086223 0 0 0 342886 2293 0 0 20 0 1 0 60515653 23290482688 4081324 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 4081324 1696 343 0 5683217 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 16325296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 67035
/proc/meminfo: memFree=78366244/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=16325296 CPUtime=3511.6 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1087564 0 0 0 348867 2293 0 0 20 0 1 0 60515653 23290482688 4081324 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 4081324 1696 343 0 5683217 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 16325296 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 67038
/proc/meminfo: memFree=69610800/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=16329392 CPUtime=3571.43 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1090634 0 0 0 354849 2294 0 0 20 0 1 0 60515653 23290482688 4082348 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 4082348 1696 343 0 5683217 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 16329392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.07 4.10 4.09 5/265 67040
/proc/meminfo: memFree=69197248/131250000 swapFree=33009904/33010684
[pid=66704] ppid=66701 vsize=22744612 memory=16331440 CPUtime=3600.05 cores=5,7
/proc/66704/stat : 66704 (pb_picat) R 66701 66704 66197 0 -1 4194304 1091248 0 0 0 357710 2295 0 0 20 0 1 0 60515653 23290482688 4082860 18446744073709551615 94547870396416 94547871797997 140737118041920 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94547872069424 94547873943728 94547906932736 140737118046622 140737118046698 140737118046698 140737118052300 0
/proc/66704/statm: 5686153 4082860 1696 343 0 5683217 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 22744612 KiB
Current children cumulated memory: 16331440 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.1 s, system=23.0452 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.09
CPU time (s): 3600.15
CPU user time (s): 3577.1
CPU system time (s): 23.0452
CPU usage (%): 99.6969
Max. virtual memory (cumulated for all children) (KiB): 28076624
Max. memory (cumulated for all children) (KiB): 18510824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.1
system time used= 23.0452
maximum resident set size= 18510824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1091248
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= 113
involuntary context switches= 3522


# summary of solver processes directly reported to runsolver:
#   pid: 66704
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3577.1
#   total CPU system time (s): 23.0452

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29286 second user time and 13.0362 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-02 11:26:02
IDJOB=4505397
IDBENCH=155756
IDSOLVER=3346
FILE ID=nodeC033/4505397-1751448361
RUNJOBID= nodeC033-1751444445-66210
SLURM_JOB_ID= 9598420
Free space on /tmp= 429388 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505397-1751448361/watcher-4505397-1751448361 -o /tmp/evaluation-result-4505397-1751448361/solver-4505397-1751448361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751444445-66210 --watchdog 3760  pb_picat HOME/instance-4505397-1751448361.opb

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

MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=447686026

nodeC033 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.088
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.13
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.082
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.13
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		: 3639.555
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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.148
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.13
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.069
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.13
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		: 3631.825
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.13
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		: 3649.366
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.13
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.080
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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        104242456 kB
MemAvailable:   110508552 kB
Buffers:            2128 kB
Cached:          7020256 kB
SwapCached:           68 kB
Active:         19790932 kB
Inactive:        6440484 kB
Active(anon):   19221292 kB
Inactive(anon):     5768 kB
Active(file):     569640 kB
Inactive(file):  6434716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            225580 kB
Writeback:             0 kB
AnonPages:      19210676 kB
Mapped:           114824 kB
Shmem:             18028 kB
KReclaimable:     201956 kB
Slab:             294152 kB
SReclaimable:     201956 kB
SUnreclaim:        92196 kB
KernelStack:        4304 kB
PageTables:        41024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   27414692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16488448 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429144 MiB
End job on nodeC033 at 2025-07-02 12:26:14