Trace number 4486881

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.05 3611.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
MD5SUM95947120f800d2178fb6b614b0e3950b
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 benchmark2231
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4500
Total number of constraints72413
Number of constraints which are clauses72413
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18
Number of terms in the objective function 4500
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 4500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4500
Number of bits of the biggest sum of numbers13
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-4486881-1751322936.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 (62297 MiB free)
  memory of node 1: 64465 MiB (63120 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486881-1751322936/watcher-4486881-1751322936 -o /tmp/evaluation-result-4486881-1751322936/solver-4486881-1751322936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751315694-45261 --watchdog 3760 pb_picat HOME/instance-4486881-1751322936.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=46347, runsolver pid=46344

[startup+0.100062 s]*
/proc/loadavg: 3.99 4.06 4.08 5/264 46348
/proc/meminfo: memFree=128410100/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2027148 memory=32552 CPUtime=0.09 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 1121 0 0 0 9 0 0 0 20 0 1 0 47972233 2075799552 8138 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 506787 8138 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32552 KiB

[startup+0.205524 s]*
/proc/loadavg: 3.99 4.06 4.08 5/264 46348
/proc/meminfo: memFree=128397812/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2027148 memory=48936 CPUtime=0.19 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 1129 0 0 0 19 0 0 0 20 0 1 0 47972233 2075799552 12234 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 506787 12234 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 48936 KiB

[startup+0.305446 s]*
/proc/loadavg: 3.99 4.06 4.08 5/264 46348
/proc/meminfo: memFree=128381428/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2027148 memory=65320 CPUtime=0.3 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 1137 0 0 0 29 1 0 0 20 0 1 0 47972233 2075799552 16330 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 506787 16330 1568 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 65320 KiB

[startup+0.700172 s]
/proc/loadavg: 3.99 4.06 4.08 5/264 46348
/proc/meminfo: memFree=128362996/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2054732 memory=116504 CPUtime=0.68 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 4723 0 0 0 67 1 0 0 20 0 1 0 47972233 2104045568 29126 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 513683 29126 1728 343 0 510747 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2054732 KiB
Current children cumulated memory: 116504 KiB

[startup+1.50013 s]
/proc/loadavg: 3.99 4.06 4.08 5/264 46348
/proc/meminfo: memFree=128350740/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2055184 memory=119436 CPUtime=1.48 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 5917 0 0 0 147 1 0 0 20 0 1 0 47972233 2104508416 29859 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 513796 29859 1728 343 0 510860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055184 KiB
Current children cumulated memory: 119436 KiB

[startup+3.10523 s]
/proc/loadavg: 3.99 4.06 4.08 5/264 46348
/proc/meminfo: memFree=128348992/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2048476 memory=114284 CPUtime=3.08 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 8010 0 0 0 307 1 0 0 20 0 1 0 47972233 2097639424 28571 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 512119 28571 1728 343 0 509183 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2048476 KiB
Current children cumulated memory: 114284 KiB

[startup+6.30011 s]
/proc/loadavg: 3.99 4.06 4.08 5/264 46348
/proc/meminfo: memFree=128345116/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2045936 memory=112304 CPUtime=6.27 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 11597 0 0 0 625 2 0 0 20 0 1 0 47972233 2095038464 28076 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 511484 28076 1728 343 0 508548 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2045936 KiB
Current children cumulated memory: 112304 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 4/262 46433
/proc/meminfo: memFree=128362088/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2052080 memory=116384 CPUtime=12.63 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 20588 0 0 0 1257 6 0 0 20 0 1 0 47972233 2101329920 29096 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 513020 29096 1728 343 0 510084 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2052080 KiB
Current children cumulated memory: 116384 KiB

[startup+25.5001 s]
/proc/loadavg: 4.06 4.07 4.08 5/264 46484
/proc/meminfo: memFree=128326776/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2047984 memory=114292 CPUtime=25.39 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 32692 0 0 0 2527 12 0 0 20 0 1 0 47972233 2097135616 28573 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 511996 28573 1728 343 0 509060 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2047984 KiB
Current children cumulated memory: 114292 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 46799
/proc/meminfo: memFree=128352152/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2052080 memory=118652 CPUtime=50.86 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 53434 0 0 0 5057 29 0 0 20 0 1 0 47972233 2101329920 29663 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 513020 29663 1728 343 0 510084 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 2052080 KiB
Current children cumulated memory: 118652 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 47025
/proc/meminfo: memFree=128310232/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2113652 memory=160468 CPUtime=101.88 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 97859 0 0 0 10136 52 0 0 20 0 1 0 47972233 2164379648 40117 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 528413 40117 1728 343 0 525477 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 2113652 KiB
Current children cumulated memory: 160468 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 47073
/proc/meminfo: memFree=128321528/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2052212 memory=118440 CPUtime=161.71 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 155676 0 0 0 16095 76 0 0 20 0 1 0 47972233 2101465088 29610 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 513053 29610 1728 343 0 510117 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2052212 KiB
Current children cumulated memory: 118440 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 47075
/proc/meminfo: memFree=128318460/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2074740 memory=141612 CPUtime=221.55 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 255469 0 0 0 22041 114 0 0 20 0 1 0 47972233 2124533760 35403 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 518685 35403 1728 343 0 515749 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 2074740 KiB
Current children cumulated memory: 141612 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 47077
/proc/meminfo: memFree=128311692/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2052212 memory=119036 CPUtime=281.39 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 306817 0 0 0 28005 134 0 0 20 0 1 0 47972233 2101465088 29759 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 513053 29759 1728 343 0 510117 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 2052212 KiB
Current children cumulated memory: 119036 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 47079
/proc/meminfo: memFree=128296804/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2046008 memory=114488 CPUtime=341.22 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 355913 0 0 0 33966 156 0 0 20 0 1 0 47972233 2095112192 28622 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 511502 28622 1728 343 0 508566 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 2046008 KiB
Current children cumulated memory: 114488 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 47081
/proc/meminfo: memFree=128297292/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2080976 memory=144124 CPUtime=401.06 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 411896 0 0 0 39928 178 0 0 20 0 1 0 47972233 2130919424 36031 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 520244 36031 1728 343 0 517308 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 2080976 KiB
Current children cumulated memory: 144124 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 47083
/proc/meminfo: memFree=128299276/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2109648 memory=149200 CPUtime=460.9 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 492793 0 0 0 45880 210 0 0 20 0 1 0 47972233 2160279552 37300 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 527412 37300 1728 343 0 524476 0
Current children cumulated CPU time: 460.9 s

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

Current children cumulated memory: 194732 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 47346
/proc/meminfo: memFree=128061312/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2078332 memory=135276 CPUtime=2853.48 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3314694 0 0 0 284003 1345 0 0 20 0 1 0 47972233 2128211968 33819 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 519583 33819 1728 343 0 516647 0
Current children cumulated CPU time: 2853.48 s
Current children cumulated vsize: 2078332 KiB
Current children cumulated memory: 135276 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 47355
/proc/meminfo: memFree=128049092/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2082428 memory=149680 CPUtime=2913.3 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3336765 0 0 0 289969 1361 0 0 20 0 1 0 47972233 2132406272 37420 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 520607 37420 1728 343 0 517671 0
Current children cumulated CPU time: 2913.3 s
Current children cumulated vsize: 2082428 KiB
Current children cumulated memory: 149680 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 47357
/proc/meminfo: memFree=128001480/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2188924 memory=209072 CPUtime=2973.11 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3351756 0 0 0 295937 1374 0 0 20 0 1 0 47972233 2241458176 52268 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 547231 52268 1728 343 0 544295 0
Current children cumulated CPU time: 2973.11 s
Current children cumulated vsize: 2188924 KiB
Current children cumulated memory: 209072 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 47359
/proc/meminfo: memFree=127972764/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2188924 memory=211120 CPUtime=3032.92 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3395811 0 0 0 301897 1395 0 0 20 0 1 0 47972233 2241458176 52780 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 547231 52780 1728 343 0 544295 0
Current children cumulated CPU time: 3032.92 s
Current children cumulated vsize: 2188924 KiB
Current children cumulated memory: 211120 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 47361
/proc/meminfo: memFree=128045028/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2090620 memory=151728 CPUtime=3092.73 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3423087 0 0 0 307866 1407 0 0 20 0 1 0 47972233 2140794880 37932 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 522655 37932 1728 343 0 519719 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 2090620 KiB
Current children cumulated memory: 151728 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 47363
/proc/meminfo: memFree=128005780/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2123388 memory=166064 CPUtime=3152.54 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3498937 0 0 0 313812 1442 0 0 20 0 1 0 47972233 2174349312 41516 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 530847 41516 1728 343 0 527911 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 2123388 KiB
Current children cumulated memory: 166064 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 47365
/proc/meminfo: memFree=127968412/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2115196 memory=178624 CPUtime=3212.35 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3516322 0 0 0 319779 1456 0 0 20 0 1 0 47972233 2165960704 44656 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 528799 44656 1728 343 0 525863 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 2115196 KiB
Current children cumulated memory: 178624 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 47367
/proc/meminfo: memFree=128000652/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2123388 memory=184556 CPUtime=3272.16 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3534018 0 0 0 325746 1470 0 0 20 0 1 0 47972233 2174349312 46139 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 530847 46139 1728 343 0 527911 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 2123388 KiB
Current children cumulated memory: 184556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 47369
/proc/meminfo: memFree=127989196/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2188924 memory=194796 CPUtime=3331.97 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3549090 0 0 0 331714 1483 0 0 20 0 1 0 47972233 2241458176 48699 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 547231 48699 1728 343 0 544295 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 2188924 KiB
Current children cumulated memory: 194796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 47371
/proc/meminfo: memFree=127987484/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2115396 memory=165240 CPUtime=3391.8 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3567200 0 0 0 337684 1496 0 0 20 0 1 0 47972233 2166165504 41310 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 528849 41310 1728 343 0 525913 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 2115396 KiB
Current children cumulated memory: 165240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 47373
/proc/meminfo: memFree=128066440/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2082628 memory=136440 CPUtime=3451.61 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3712106 0 0 0 343605 1556 0 0 20 0 1 0 47972233 2132611072 34110 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 520657 34110 1728 343 0 517721 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 2082628 KiB
Current children cumulated memory: 136440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 47383
/proc/meminfo: memFree=128049320/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2066244 memory=134264 CPUtime=3511.41 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3814320 0 0 0 349542 1599 0 0 20 0 1 0 47972233 2115833856 33566 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 516561 33566 1728 343 0 513625 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 2066244 KiB
Current children cumulated memory: 134264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 47385
/proc/meminfo: memFree=127945444/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2115396 memory=159608 CPUtime=3571.23 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3845220 0 0 0 355505 1618 0 0 20 0 1 0 47972233 2166165504 39902 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 528849 39902 1728 343 0 525913 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 2115396 KiB
Current children cumulated memory: 159608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 47385
/proc/meminfo: memFree=127982492/131250000 swapFree=33010684/33010684
[pid=46347] ppid=46344 vsize=2189124 memory=213368 CPUtime=3600.03 cores=0,2
/proc/46347/stat : 46347 (pb_picat) R 46344 46347 45251 0 -1 4194304 3917997 0 0 0 358358 1645 0 0 20 0 1 0 47972233 2241662976 53342 18446744073709551615 94376433872896 94376435274477 140736921057120 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94376435545904 94376437420208 94376451559424 140736921061790 140736921061866 140736921061866 140736921067468 0
/proc/46347/statm: 547281 53342 1728 343 0 544345 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2189124 KiB
Current children cumulated memory: 213368 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.59 s, system=16.4613 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.2
CPU time (s): 3600.05
CPU user time (s): 3583.59
CPU system time (s): 16.4613
CPU usage (%): 99.6911
Max. virtual memory (cumulated for all children) (KiB): 2319996
Max. memory (cumulated for all children) (KiB): 287596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.59
system time used= 16.4613
maximum resident set size= 287724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3917997
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= 73
involuntary context switches= 7992


# summary of solver processes directly reported to runsolver:
#   pid: 46347
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3583.59
#   total CPU system time (s): 16.4613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63794 second user time and 15.3907 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-01 00:35:36
IDJOB=4486881
IDBENCH=147077
IDSOLVER=3346
FILE ID=nodeC026/4486881-1751322936
RUNJOBID= nodeC026-1751315694-45261
SLURM_JOB_ID= 9594333
Free space on /tmp= 432912 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486881-1751322936/watcher-4486881-1751322936 -o /tmp/evaluation-result-4486881-1751322936/solver-4486881-1751322936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751315694-45261 --watchdog 3760  pb_picat HOME/instance-4486881-1751322936.opb

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

MD5SUM BENCH= 95947120f800d2178fb6b614b0e3950b
RANDOM SEED=1370211584

nodeC026 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		: 3548.055
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.59
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.740
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.59
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.759
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.59
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.337
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.59
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.789
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.59
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.655
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128428248 kB
MemAvailable:   129643496 kB
Buffers:            3280 kB
Cached:          2011728 kB
SwapCached:            0 kB
Active:           473504 kB
Inactive:        1753284 kB
Active(anon):     229864 kB
Inactive(anon):        0 kB
Active(file):     243640 kB
Inactive(file):  1753284 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13736 kB
Writeback:             0 kB
AnonPages:        214952 kB
Mapped:           114292 kB
Shmem:             18080 kB
KReclaimable:     115128 kB
Slab:             202984 kB
SReclaimable:     115128 kB
SUnreclaim:        87856 kB
KernelStack:        4272 kB
PageTables:         3428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6554524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432908 MiB
End job on nodeC026 at 2025-07-01 01:35:47