Trace number 4528248

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
pb_picat 2025-07-11? (TO) 3600.01 3610.8

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-4528248-1752238182.opb (Picat 3.9b11, 7/10/2025)

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 (59467 MiB free)
  memory of node 1: 64465 MiB (58868 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=115401, runsolver pid=115390

[startup+0.100059 s]*
/proc/loadavg: 1.33 2.69 3.85 4/260 115402
/proc/meminfo: memFree=121150428/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2027148 memory=33824 CPUtime=0.08 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 989 0 0 0 8 0 0 0 20 0 1 0 139497584 2075799552 8456 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 506787 8456 1504 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 33824 KiB

[startup+0.20453 s]*
/proc/loadavg: 1.33 2.69 3.85 4/256 115411
/proc/meminfo: memFree=121149356/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2027148 memory=50208 CPUtime=0.2 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 997 0 0 0 19 1 0 0 20 0 1 0 139497584 2075799552 12552 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 506787 12552 1504 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 50208 KiB

[startup+0.305317 s]*
/proc/loadavg: 1.33 2.69 3.85 3/256 115418
/proc/meminfo: memFree=121138056/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2027148 memory=64544 CPUtime=0.29 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 1004 0 0 0 28 1 0 0 20 0 1 0 139497584 2075799552 16136 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 506787 16136 1504 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 64544 KiB

[startup+0.700164 s]
/proc/loadavg: 1.33 2.69 3.85 3/256 115418
/proc/meminfo: memFree=121108376/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2050636 memory=118588 CPUtime=0.68 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4787 0 0 0 66 2 0 0 20 0 1 0 139497584 2099851264 29647 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 512659 29647 1664 343 0 509723 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2050636 KiB
Current children cumulated memory: 118588 KiB

[startup+1.50013 s]
/proc/loadavg: 1.33 2.69 3.85 3/256 115418
/proc/meminfo: memFree=121086196/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2055184 memory=119808 CPUtime=1.48 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 6235 0 0 0 145 3 0 0 20 0 1 0 139497584 2104508416 29952 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 513796 29952 1664 343 0 510860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055184 KiB
Current children cumulated memory: 119808 KiB

[startup+3.10516 s]
/proc/loadavg: 1.33 2.69 3.85 4/260 115500
/proc/meminfo: memFree=121054984/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2055644 memory=123084 CPUtime=3.08 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 8594 0 0 0 305 3 0 0 20 0 1 0 139497584 2104979456 30771 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 513911 30771 1664 343 0 510975 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2055644 KiB
Current children cumulated memory: 123084 KiB

[startup+6.30011 s]
/proc/loadavg: 1.54 2.71 3.85 6/264 115582
/proc/meminfo: memFree=121047212/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2043888 memory=113452 CPUtime=6.26 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 12375 0 0 0 622 4 0 0 20 0 1 0 139497584 2092941312 28363 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 510972 28363 1664 343 0 508036 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2043888 KiB
Current children cumulated memory: 113452 KiB

[startup+12.7001 s]
/proc/loadavg: 1.74 2.74 3.85 4/263 115687
/proc/meminfo: memFree=121059272/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2052080 memory=117660 CPUtime=12.65 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 23328 0 0 0 1257 8 0 0 20 0 1 0 139497584 2101329920 29415 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 513020 29415 1664 343 0 510084 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2052080 KiB
Current children cumulated memory: 117660 KiB

[startup+25.5001 s]
/proc/loadavg: 2.32 2.81 3.86 5/265 115808
/proc/meminfo: memFree=121048904/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2047984 memory=115568 CPUtime=25.4 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 38007 0 0 0 2529 11 0 0 20 0 1 0 139497584 2097135616 28892 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 511996 28892 1664 343 0 509060 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2047984 KiB
Current children cumulated memory: 115568 KiB

[startup+51.1053 s]
/proc/loadavg: 2.89 2.91 3.87 5/265 115809
/proc/meminfo: memFree=121039376/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2056176 memory=119284 CPUtime=50.92 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 63400 0 0 0 5070 22 0 0 20 0 1 0 139497584 2105524224 29821 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 514044 29821 1664 343 0 511108 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2056176 KiB
Current children cumulated memory: 119284 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 3.10 3.88 5/265 115855
/proc/meminfo: memFree=120458028/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2113652 memory=168668 CPUtime=101.96 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 119723 0 0 0 10151 45 0 0 20 0 1 0 139497584 2164379648 42167 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 528413 42167 1664 343 0 525477 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2113652 KiB
Current children cumulated memory: 168668 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.29 3.90 5/265 115857
/proc/meminfo: memFree=120477492/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2052212 memory=125760 CPUtime=161.8 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 193823 0 0 0 16108 72 0 0 20 0 1 0 139497584 2101465088 31440 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 513053 31440 1664 343 0 510117 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2052212 KiB
Current children cumulated memory: 125760 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.45 3.92 5/264 115859
/proc/meminfo: memFree=120481480/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2080884 memory=151848 CPUtime=221.64 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 323443 0 0 0 22054 110 0 0 20 0 1 0 139497584 2130825216 37962 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 520221 37962 1664 343 0 517285 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2080884 KiB
Current children cumulated memory: 151848 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.57 3.93 5/266 115868
/proc/meminfo: memFree=120475776/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2056308 memory=126352 CPUtime=281.48 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 386106 0 0 0 28014 134 0 0 20 0 1 0 139497584 2105659392 31588 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 514077 31588 1664 343 0 511141 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2056308 KiB
Current children cumulated memory: 126352 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.66 3.94 5/264 115915
/proc/meminfo: memFree=119415740/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2113592 memory=168616 CPUtime=341.31 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 447731 0 0 0 33971 160 0 0 20 0 1 0 139497584 2164318208 42154 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 528398 42154 1664 343 0 525462 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2113592 KiB
Current children cumulated memory: 168616 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.74 3.95 5/264 115917
/proc/meminfo: memFree=119409832/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2080976 memory=145744 CPUtime=401.14 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 516259 0 0 0 39928 186 0 0 20 0 1 0 139497584 2130919424 36436 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 520244 36436 1664 343 0 517308 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2080976 KiB
Current children cumulated memory: 145744 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.82 3.97 5/264 115919
/proc/meminfo: memFree=119390664/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2080976 memory=154372 CPUtime=460.97 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 605647 0 0 0 45878 219 0 0 20 0 1 0 139497584 2130919424 38593 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 520244 38593 1664 343 0 517308 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 168956 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 116046
/proc/meminfo: memFree=119228588/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2053756 memory=122812 CPUtime=2854.04 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 3837977 0 0 0 283994 1410 0 0 20 0 1 0 139497584 2103046144 30703 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 513439 30703 1664 343 0 510503 0
Current children cumulated CPU time: 2854.04 s
Current children cumulated vsize: 2053756 KiB
Current children cumulated memory: 122812 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 116048
/proc/meminfo: memFree=119239036/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2180732 memory=192696 CPUtime=2913.83 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 3865528 0 0 0 289955 1428 0 0 20 0 1 0 139497584 2233069568 48174 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 545183 48174 1664 343 0 542247 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 2180732 KiB
Current children cumulated memory: 192696 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 116051
/proc/meminfo: memFree=119350852/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2061948 memory=130548 CPUtime=2973.62 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 3888209 0 0 0 295919 1443 0 0 20 0 1 0 139497584 2111434752 32637 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 515487 32637 1664 343 0 512551 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 2061948 KiB
Current children cumulated memory: 130548 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 116053
/proc/meminfo: memFree=119150568/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2188924 memory=233656 CPUtime=3033.42 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 3906099 0 0 0 301885 1457 0 0 20 0 1 0 139497584 2241458176 58414 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 547231 58414 1664 343 0 544295 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 2188924 KiB
Current children cumulated memory: 233656 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 116055
/proc/meminfo: memFree=119287780/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2123388 memory=177336 CPUtime=3093.22 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 3940823 0 0 0 307848 1474 0 0 20 0 1 0 139497584 2174349312 44334 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 530847 44334 1664 343 0 527911 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 2123388 KiB
Current children cumulated memory: 177336 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 116057
/proc/meminfo: memFree=119283988/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2090620 memory=147640 CPUtime=3153.01 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4000222 0 0 0 313806 1495 0 0 20 0 1 0 139497584 2140794880 36910 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 522655 36910 1664 343 0 519719 0
Current children cumulated CPU time: 3153.01 s
Current children cumulated vsize: 2090620 KiB
Current children cumulated memory: 147640 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 116059
/proc/meminfo: memFree=119379588/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2090620 memory=145056 CPUtime=3212.81 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4091650 0 0 0 319749 1532 0 0 20 0 1 0 139497584 2140794880 36264 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 522655 36264 1664 343 0 519719 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 2090620 KiB
Current children cumulated memory: 145056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 116069
/proc/meminfo: memFree=119137688/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2188924 memory=252148 CPUtime=3272.61 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4130229 0 0 0 325707 1554 0 0 20 0 1 0 139497584 2241458176 63037 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 547231 63037 1664 343 0 544295 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 2188924 KiB
Current children cumulated memory: 252148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 116072
/proc/meminfo: memFree=119145604/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2319996 memory=281552 CPUtime=3332.41 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4147105 0 0 0 331672 1569 0 0 20 0 1 0 139497584 2375675904 70388 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 579999 70388 1664 343 0 577063 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 2319996 KiB
Current children cumulated memory: 281552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 116074
/proc/meminfo: memFree=119054912/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2053756 memory=128376 CPUtime=3392.2 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4168016 0 0 0 337636 1584 0 0 20 0 1 0 139497584 2103046144 32094 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 513439 32094 1664 343 0 510503 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 2053756 KiB
Current children cumulated memory: 128376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 116076
/proc/meminfo: memFree=119316164/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2082628 memory=145304 CPUtime=3452 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4184489 0 0 0 343604 1596 0 0 20 0 1 0 139497584 2132611072 36326 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 520657 36326 1664 343 0 517721 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 2082628 KiB
Current children cumulated memory: 145304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 116078
/proc/meminfo: memFree=119222184/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2180932 memory=225920 CPUtime=3511.8 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4300330 0 0 0 349539 1641 0 0 20 0 1 0 139497584 2233274368 56480 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 545233 56480 1664 343 0 542297 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 2180932 KiB
Current children cumulated memory: 225920 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 116080
/proc/meminfo: memFree=119116520/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2189124 memory=223616 CPUtime=3571.6 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4473997 0 0 0 355457 1703 0 0 20 0 1 0 139497584 2241662976 55904 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 547281 55904 1664 343 0 544345 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 2189124 KiB
Current children cumulated memory: 223616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 116081
/proc/meminfo: memFree=119306660/131250000 swapFree=33009904/33010684
[pid=115401] ppid=115390 vsize=2074436 memory=143744 CPUtime=3600 cores=1,3
/proc/115401/stat : 115401 (pb_picat) R 115390 115401 113493 0 -1 4194304 4546210 0 0 0 358274 1726 0 0 20 0 1 0 139497584 2124222464 35936 18446744073709551615 94475634413568 94475635815149 140726395039856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475636086576 94475637960816 94475652427776 140726395042204 140726395042280 140726395042280 140726395047884 0
/proc/115401/statm: 518609 35936 1664 343 0 515673 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2074436 KiB
Current children cumulated memory: 143744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.74 s, system=17.271 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.8
CPU time (s): 3600.01
CPU user time (s): 3582.74
CPU system time (s): 17.271
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 2319996
Max. memory (cumulated for all children) (KiB): 293108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.74
system time used= 17.271
maximum resident set size= 293108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4546210
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= 76
involuntary context switches= 5618


# summary of solver processes directly reported to runsolver:
#   pid: 115401
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3582.74
#   total CPU system time (s): 17.271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.15472 second user time and 12.6302 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-11 14:49:42
IDJOB=4528248
IDBENCH=147077
IDSOLVER=3385
FILE ID=nodeC033/4528248-1752238182
RUNJOBID= nodeC033-1752238182-115344
SLURM_JOB_ID= 9682544
Free space on /tmp= 429768 MiB

SOLVER NAME= pb_picat 2025-07-11
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-4528248-1752238182/watcher-4528248-1752238182 -o /tmp/evaluation-result-4528248-1752238182/solver-4528248-1752238182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752238182-115344 --watchdog 3760  pb_picat HOME/instance-4528248-1752238182.opb

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

MD5SUM BENCH= 95947120f800d2178fb6b614b0e3950b
RANDOM SEED=496136826

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.384
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		: 3603.579
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		: 3600.042
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		: 3600.064
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.274
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		: 3599.994
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		: 3599.910
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.066
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:        121189228 kB
MemAvailable:   129651752 kB
Buffers:            2128 kB
Cached:          9183936 kB
SwapCached:           68 kB
Active:           738968 kB
Inactive:        8512528 kB
Active(anon):      77748 kB
Inactive(anon):     5388 kB
Active(file):     661220 kB
Inactive(file):  8507140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15880 kB
Writeback:            16 kB
AnonPages:         68108 kB
Mapped:           106212 kB
Shmem:             18028 kB
KReclaimable:     266808 kB
Slab:             362740 kB
SReclaimable:     266808 kB
SUnreclaim:        95932 kB
KernelStack:        4048 kB
PageTables:         2748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     342116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 429732 MiB
End job on nodeC033 at 2025-07-11 15:49:53