Trace number 4504201

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.02 3610.01

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
MD5SUM26289d562a21d461fc03dcfb0c556d93
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4241631
Best CPU time to get the best result obtained on this benchmark686.735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4504201-1751431122.opb (Picat 3.9b6)
4.16/4.26	o 22275879
700.27/702.23	o 6997917

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504201-1751431122/watcher-4504201-1751431122 -o /tmp/evaluation-result-4504201-1751431122/solver-4504201-1751431122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751431122-67564 --watchdog 3760 pb_picat HOME/instance-4504201-1751431122.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100061 s]*
/proc/loadavg: 0.61 1.39 1.31 5/317 67622
/proc/meminfo: memFree=122446248/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2027148 memory=42336 CPUtime=0.09 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 1013 0 0 0 8 1 0 0 20 0 1 0 58790143 2075799552 10584 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 506787 10584 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42336 KiB

[startup+0.20627 s]*
/proc/loadavg: 0.61 1.39 1.31 5/317 67622
/proc/meminfo: memFree=122372520/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2034964 memory=60976 CPUtime=0.18 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 1043 0 0 0 17 1 0 0 20 0 1 0 58790143 2083803136 15244 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 508741 15244 1600 343 0 505805 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 60976 KiB

[startup+0.306062 s]*
/proc/loadavg: 0.61 1.39 1.31 5/317 67622
/proc/meminfo: memFree=122298856/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2034964 memory=71644 CPUtime=0.28 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 1155 0 0 0 27 1 0 0 20 0 1 0 58790143 2083803136 17911 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 508741 17911 1600 343 0 505805 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 71644 KiB

[startup+0.70017 s]
/proc/loadavg: 0.61 1.39 1.31 5/317 67622
/proc/meminfo: memFree=122164024/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2044372 memory=104852 CPUtime=0.67 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 3148 0 0 0 59 8 0 0 20 0 1 0 58790143 2093436928 26213 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 511093 26213 1728 343 0 508157 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2044372 KiB
Current children cumulated memory: 104852 KiB

[startup+1.50012 s]
/proc/loadavg: 0.61 1.39 1.31 5/317 67622
/proc/meminfo: memFree=122041532/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2112468 memory=160340 CPUtime=1.46 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 10651 0 0 0 128 18 0 0 20 0 1 0 58790143 2163167232 40085 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 528117 40085 1728 343 0 525181 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2112468 KiB
Current children cumulated memory: 160340 KiB

[startup+3.10655 s]
/proc/loadavg: 0.88 1.43 1.32 5/317 67622
/proc/meminfo: memFree=121656732/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2116368 memory=169164 CPUtime=3.07 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 14030 0 0 0 286 21 0 0 20 0 1 0 58790143 2167160832 42291 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529092 42291 1728 343 0 526156 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2116368 KiB
Current children cumulated memory: 169164 KiB

[startup+6.30017 s]
/proc/loadavg: 0.88 1.43 1.32 5/317 67622
/proc/meminfo: memFree=121652332/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2114172 memory=168816 CPUtime=6.25 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 19779 0 0 0 591 34 0 0 20 0 1 0 58790143 2164912128 42204 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 528543 42204 1728 343 0 525607 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2114172 KiB
Current children cumulated memory: 168816 KiB

[startup+12.7002 s]
/proc/loadavg: 1.44 1.54 1.36 5/317 67622
/proc/meminfo: memFree=121647708/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2116660 memory=167000 CPUtime=12.63 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 26568 0 0 0 1227 36 0 0 20 0 1 0 58790143 2167459840 41750 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529165 41750 1728 343 0 526229 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2116660 KiB
Current children cumulated memory: 167000 KiB

[startup+25.5002 s]
/proc/loadavg: 1.84 1.62 1.39 5/317 67622
/proc/meminfo: memFree=121617256/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2117604 memory=165896 CPUtime=25.4 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 31990 0 0 0 2502 38 0 0 20 0 1 0 58790143 2168426496 41474 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529401 41474 1728 343 0 526465 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2117604 KiB
Current children cumulated memory: 165896 KiB

[startup+51.1067 s]
/proc/loadavg: 2.66 1.83 1.46 5/318 67624
/proc/meminfo: memFree=121594860/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2117604 memory=174088 CPUtime=50.94 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 36959 0 0 0 5054 40 0 0 20 0 1 0 58790143 2168426496 43522 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529401 43522 1728 343 0 526465 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2117604 KiB
Current children cumulated memory: 174088 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.21 1.62 5/318 67626
/proc/meminfo: memFree=121565904/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2117604 memory=168680 CPUtime=101.99 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 47985 0 0 0 10155 44 0 0 20 0 1 0 58790143 2168426496 42170 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529401 42170 1728 343 0 526465 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2117604 KiB
Current children cumulated memory: 168680 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.55 1.77 5/317 67627
/proc/meminfo: memFree=121568656/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2101220 memory=165312 CPUtime=161.82 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 61192 0 0 0 16127 55 0 0 20 0 1 0 58790143 2151649280 41328 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 525305 41328 1728 343 0 522369 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2101220 KiB
Current children cumulated memory: 165312 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.83 1.92 5/269 67629
/proc/meminfo: memFree=121547532/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2133988 memory=190480 CPUtime=221.66 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 70202 0 0 0 22105 61 0 0 20 0 1 0 58790143 2185203712 47620 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 533497 47620 1728 343 0 530561 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2133988 KiB
Current children cumulated memory: 190480 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.08 2.06 5/266 67631
/proc/meminfo: memFree=121578124/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2133988 memory=184336 CPUtime=281.51 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 87015 0 0 0 28073 78 0 0 20 0 1 0 58790143 2185203712 46084 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 533497 46084 1728 343 0 530561 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2133988 KiB
Current children cumulated memory: 184336 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.26 2.19 5/266 67634
/proc/meminfo: memFree=121558900/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2199524 memory=200720 CPUtime=341.35 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 98238 0 0 0 34049 86 0 0 20 0 1 0 58790143 2252312576 50180 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 549881 50180 1728 343 0 546945 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 2199524 KiB
Current children cumulated memory: 200720 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.43 2.32 5/264 67636
/proc/meminfo: memFree=121560312/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2133988 memory=170004 CPUtime=401.19 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 109045 0 0 0 40021 98 0 0 20 0 1 0 58790143 2185203712 42501 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 533497 42501 1728 343 0 530561 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 2133988 KiB
Current children cumulated memory: 170004 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 3.57 2.44 5/264 67638
/proc/meminfo: memFree=121545692/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2346980 memory=290836 CPUtime=461.04 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 119582 0 0 0 45994 110 0 0 20 0 1 0 58790143 2403307520 72709 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 586745 72709 1728 343 0 583809 0
Current children cumulated CPU time: 461.04 s

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

Current children cumulated memory: 167384 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/264 67769
/proc/meminfo: memFree=121670652/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2119884 memory=178392 CPUtime=2854.46 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 506212 0 0 0 284951 495 0 0 20 0 1 0 58790143 2170761216 44598 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529971 44598 1728 343 0 527035 0
Current children cumulated CPU time: 2854.46 s
Current children cumulated vsize: 2119884 KiB
Current children cumulated memory: 178392 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 67772
/proc/meminfo: memFree=121633932/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2152652 memory=200152 CPUtime=2914.29 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 514773 0 0 0 290922 507 0 0 20 0 1 0 58790143 2204315648 50038 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 538163 50038 1728 343 0 535227 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 2152652 KiB
Current children cumulated memory: 200152 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.12 4.02 5/265 67781
/proc/meminfo: memFree=121571232/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2152652 memory=191960 CPUtime=2974.13 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 525657 0 0 0 296894 519 0 0 20 0 1 0 58790143 2204315648 47990 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 538163 47990 1728 343 0 535227 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 2152652 KiB
Current children cumulated memory: 191960 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/264 67783
/proc/meminfo: memFree=121588296/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2119884 memory=178112 CPUtime=3033.96 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 533086 0 0 0 302869 527 0 0 20 0 1 0 58790143 2170761216 44528 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529971 44528 1728 343 0 527035 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 2119884 KiB
Current children cumulated memory: 178112 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.12 4.03 5/264 67785
/proc/meminfo: memFree=121565884/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2152652 memory=185064 CPUtime=3093.79 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 540353 0 0 0 308847 532 0 0 20 0 1 0 58790143 2204315648 46266 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 538163 46266 1728 343 0 535227 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 2152652 KiB
Current children cumulated memory: 185064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/264 67787
/proc/meminfo: memFree=121523620/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2103500 memory=164900 CPUtime=3153.64 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 547278 0 0 0 314824 540 0 0 20 0 1 0 58790143 2153984000 41225 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 525875 41225 1728 343 0 522939 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 2103500 KiB
Current children cumulated memory: 164900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/264 67789
/proc/meminfo: memFree=121449108/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2209996 memory=225820 CPUtime=3213.48 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 556928 0 0 0 320797 551 0 0 20 0 1 0 58790143 2263035904 56455 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 552499 56455 1728 343 0 549563 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 2209996 KiB
Current children cumulated memory: 225820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/264 67792
/proc/meminfo: memFree=121381648/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2136268 memory=173528 CPUtime=3273.31 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 564601 0 0 0 326772 559 0 0 20 0 1 0 58790143 2187538432 43382 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 534067 43382 1728 343 0 531131 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 2136268 KiB
Current children cumulated memory: 173528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/264 67794
/proc/meminfo: memFree=121642100/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2136268 memory=169020 CPUtime=3333.14 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 568996 0 0 0 332752 562 0 0 20 0 1 0 58790143 2187538432 42255 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 534067 42255 1728 343 0 531131 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 2136268 KiB
Current children cumulated memory: 169020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/264 67796
/proc/meminfo: memFree=121579252/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2119884 memory=177624 CPUtime=3392.96 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 574719 0 0 0 338728 568 0 0 20 0 1 0 58790143 2170761216 44406 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529971 44406 1728 343 0 527035 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 2119884 KiB
Current children cumulated memory: 177624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.13 4.04 5/265 67799
/proc/meminfo: memFree=121259908/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2365644 memory=296408 CPUtime=3452.77 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 581080 0 0 0 344702 575 0 0 20 0 1 0 58790143 2422419456 74102 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 591411 74102 1728 343 0 588475 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 2365644 KiB
Current children cumulated memory: 296408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/265 67801
/proc/meminfo: memFree=121528620/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2218188 memory=216536 CPUtime=3512.58 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 592931 0 0 0 350668 590 0 0 20 0 1 0 58790143 2271424512 54134 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 554547 54134 1728 343 0 551611 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 2218188 KiB
Current children cumulated memory: 216536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/265 67810
/proc/meminfo: memFree=121346700/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2119884 memory=175576 CPUtime=3572.39 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 602862 0 0 0 356637 602 0 0 20 0 1 0 58790143 2170761216 43894 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 529971 43894 1728 343 0 527035 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 2119884 KiB
Current children cumulated memory: 175576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.10 4.11 4.05 5/264 67812
/proc/meminfo: memFree=121150320/131249996 swapFree=33010684/33010684
[pid=67613] ppid=67604 vsize=2103500 memory=165116 CPUtime=3600.01 cores=4,6
/proc/67613/stat : 67613 (pb_picat) R 67604 67613 67525 0 -1 4194304 605739 0 0 0 359397 604 0 0 20 0 1 0 58790143 2153984000 41279 18446744073709551615 94266698801152 94266700202733 140729378048672 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94266700474160 94266702348464 94266735833088 140729378056606 140729378056682 140729378056682 140729378062284 0
/proc/67613/statm: 525875 41279 1728 343 0 522939 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2103500 KiB
Current children cumulated memory: 165116 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.97 s, system=6.04888 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.01
CPU time (s): 3600.02
CPU user time (s): 3593.97
CPU system time (s): 6.04888
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 2463948
Max. memory (cumulated for all children) (KiB): 398808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.97
system time used= 6.04888
maximum resident set size= 429940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605739
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= 87
involuntary context switches= 4311


# summary of solver processes directly reported to runsolver:
#   pid: 67613
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3593.97
#   total CPU system time (s): 6.04888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8409 second user time and 15.4633 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-02 06:38:42
IDJOB=4504201
IDBENCH=155636
IDSOLVER=3346
FILE ID=nodeC024/4504201-1751431122
RUNJOBID= nodeC024-1751431122-67564
SLURM_JOB_ID= 9598375
Free space on /tmp= 432560 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504201-1751431122/watcher-4504201-1751431122 -o /tmp/evaluation-result-4504201-1751431122/solver-4504201-1751431122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751431122-67564 --watchdog 3760  pb_picat HOME/instance-4504201-1751431122.opb

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

MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=1724256990

nodeC024 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.677
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	: 6999.36
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		: 3599.665
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	: 6999.36
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		: 3599.093
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	: 6999.36
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		: 3527.349
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	: 6999.36
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		: 3599.655
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	: 6999.36
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.680
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	: 6999.36
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		: 3436.790
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	: 6999.36
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		: 3350.438
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122564656 kB
MemAvailable:   129756928 kB
Buffers:            3280 kB
Cached:          7960704 kB
SwapCached:            0 kB
Active:           326684 kB
Inactive:        7702516 kB
Active(anon):      83280 kB
Inactive(anon):        0 kB
Active(file):     243404 kB
Inactive(file):  7702516 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18792 kB
Writeback:             0 kB
AnonPages:         68616 kB
Mapped:           103696 kB
Shmem:             18064 kB
KReclaimable:     170784 kB
Slab:             262280 kB
SReclaimable:     170784 kB
SUnreclaim:        91496 kB
KernelStack:        4884 kB
PageTables:         2552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     338168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151224 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432548 MiB
End job on nodeC024 at 2025-07-02 07:38:53