Trace number 4528273

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.06 3611.01

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUMaa9fde9a58805e0fa430d773484bcae7
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 benchmark288
Best CPU time to get the best result obtained on this benchmark72000.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
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-4528273-1752238086.opb (Picat 3.9b11, 7/10/2025)
12.25/12.33	o 408

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528273-1752238086/watcher-4528273-1752238086 -o /tmp/evaluation-result-4528273-1752238086/solver-4528273-1752238086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752238069-116865 --watchdog 3760 pb_picat HOME/instance-4528273-1752238086.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117104, runsolver pid=117101
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 1.76 1.35 2.28 5/264 117105
/proc/meminfo: memFree=118905716/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2027148 memory=37976 CPUtime=0.08 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 985 0 0 0 8 0 0 0 20 0 1 0 139486375 2075799552 9494 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 506787 9494 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 37976 KiB

[startup+0.20557 s]*
/proc/loadavg: 1.76 1.35 2.28 5/264 117105
/proc/meminfo: memFree=118879132/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2027148 memory=58500 CPUtime=0.2 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 995 0 0 0 19 1 0 0 20 0 1 0 139486375 2075799552 14625 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 506787 14625 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 58500 KiB

[startup+0.305482 s]*
/proc/loadavg: 1.94 1.40 2.28 5/264 117105
/proc/meminfo: memFree=118836156/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2027148 memory=81028 CPUtime=0.29 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 1006 0 0 0 28 1 0 0 20 0 1 0 139486375 2075799552 20257 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 506787 20257 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 81028 KiB

[startup+0.700177 s]
/proc/loadavg: 1.94 1.40 2.28 5/264 117105
/proc/meminfo: memFree=118748376/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2034964 memory=163204 CPUtime=0.68 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 1079 0 0 0 65 3 0 0 20 0 1 0 139486375 2083803136 40801 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 508741 40801 1568 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 163204 KiB

[startup+1.50018 s]
/proc/loadavg: 1.94 1.40 2.28 5/264 117105
/proc/meminfo: memFree=118539480/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2128932 memory=363280 CPUtime=1.48 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 2569 0 0 0 142 6 0 0 20 0 1 0 139486375 2180026368 90820 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 532233 90820 1600 343 0 529297 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2128932 KiB
Current children cumulated memory: 363280 KiB

[startup+3.1053 s]
/proc/loadavg: 1.94 1.40 2.28 5/264 117105
/proc/meminfo: memFree=117965228/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2314992 memory=617396 CPUtime=3.08 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 9317 0 0 0 281 27 0 0 20 0 1 0 139486375 2370551808 154349 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 578748 154349 1696 343 0 575812 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2314992 KiB
Current children cumulated memory: 617396 KiB

[startup+6.30017 s]
/proc/loadavg: 2.11 1.44 2.29 5/264 117105
/proc/meminfo: memFree=118287044/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2511600 memory=714756 CPUtime=6.27 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 12556 0 0 0 560 67 0 0 20 0 1 0 139486375 2571878400 178689 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 627900 178689 1696 343 0 624964 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2511600 KiB
Current children cumulated memory: 714756 KiB

[startup+12.7002 s]
/proc/loadavg: 2.26 1.48 2.30 5/264 117105
/proc/meminfo: memFree=117537240/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2511988 memory=760368 CPUtime=12.65 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 12897 0 0 0 1197 68 0 0 20 0 1 0 139486375 2572275712 190092 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 627997 190092 1696 343 0 625061 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2511988 KiB
Current children cumulated memory: 760368 KiB

[startup+25.5002 s]
/proc/loadavg: 2.53 1.57 2.32 5/264 117105
/proc/meminfo: memFree=117158832/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2514036 memory=764472 CPUtime=25.42 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 19067 0 0 0 2411 131 0 0 20 0 1 0 139486375 2574372864 191118 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 628509 191118 1696 343 0 625573 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2514036 KiB
Current children cumulated memory: 764472 KiB

[startup+51.1055 s]
/proc/loadavg: 3.32 1.85 2.39 5/264 117106
/proc/meminfo: memFree=116882216/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2538076 memory=743464 CPUtime=50.95 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 27206 0 0 0 4958 137 0 0 20 0 1 0 139486375 2598989824 185866 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 634519 185866 1696 343 0 631583 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2538076 KiB
Current children cumulated memory: 743464 KiB

[startup+102.3 s]
/proc/loadavg: 3.88 2.24 2.50 5/264 117108
/proc/meminfo: memFree=116774480/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2538076 memory=761896 CPUtime=101.99 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 32436 0 0 0 10056 143 0 0 20 0 1 0 139486375 2598989824 190474 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 634519 190474 1696 343 0 631583 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2538076 KiB
Current children cumulated memory: 761896 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.58 2.60 5/265 117111
/proc/meminfo: memFree=116792668/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2472540 memory=695356 CPUtime=161.83 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 37850 0 0 0 16036 147 0 0 20 0 1 0 139486375 2531880960 173839 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 618135 173839 1696 343 0 615199 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2472540 KiB
Current children cumulated memory: 695356 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.85 2.70 5/264 117113
/proc/meminfo: memFree=116814520/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2300508 memory=602152 CPUtime=221.66 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 52544 0 0 0 22011 155 0 0 20 0 1 0 139486375 2355720192 150538 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 575127 150538 1696 343 0 572191 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2300508 KiB
Current children cumulated memory: 602152 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.08 2.79 5/264 117115
/proc/meminfo: memFree=117634220/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2300508 memory=606248 CPUtime=281.49 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 82111 0 0 0 27985 164 0 0 20 0 1 0 139486375 2355720192 151562 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 575127 151562 1696 343 0 572191 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 2300508 KiB
Current children cumulated memory: 606248 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.28 2.88 5/263 117117
/proc/meminfo: memFree=116834432/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2308700 memory=603392 CPUtime=341.33 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 119415 0 0 0 33955 178 0 0 20 0 1 0 139486375 2364108800 150848 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 577175 150848 1696 343 0 574239 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2308700 KiB
Current children cumulated memory: 603392 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.41 2.95 5/264 117120
/proc/meminfo: memFree=116815580/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2308700 memory=612392 CPUtime=401.15 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 138858 0 0 0 39930 185 0 0 20 0 1 0 139486375 2364108800 153098 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 577175 153098 1696 343 0 574239 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 2308700 KiB
Current children cumulated memory: 612392 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.55 3.03 5/264 117122
/proc/meminfo: memFree=114557976/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2308700 memory=607920 CPUtime=460.99 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 158094 0 0 0 45907 192 0 0 20 0 1 0 139486375 2364108800 151980 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 577175 151980 1696 343 0 574239 0

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

Current children cumulated memory: 640404 KiB

[startup+2862.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/264 117390
/proc/meminfo: memFree=120349816/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2325084 memory=632168 CPUtime=2853.5 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 770505 0 0 0 284875 475 0 0 20 0 1 0 139486375 2380886016 158042 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 581271 158042 1696 343 0 578335 0
Current children cumulated CPU time: 2853.5 s
Current children cumulated vsize: 2325084 KiB
Current children cumulated memory: 632168 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 117399
/proc/meminfo: memFree=120387836/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2325084 memory=625064 CPUtime=2913.33 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 784308 0 0 0 290851 482 0 0 20 0 1 0 139486375 2380886016 156266 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 581271 156266 1696 343 0 578335 0
Current children cumulated CPU time: 2913.33 s
Current children cumulated vsize: 2325084 KiB
Current children cumulated memory: 625064 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 117401
/proc/meminfo: memFree=120383100/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2316892 memory=617316 CPUtime=2973.16 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 799521 0 0 0 296826 490 0 0 20 0 1 0 139486375 2372497408 154329 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 579223 154329 1696 343 0 576287 0
Current children cumulated CPU time: 2973.16 s
Current children cumulated vsize: 2316892 KiB
Current children cumulated memory: 617316 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 117403
/proc/meminfo: memFree=120368680/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2325084 memory=640424 CPUtime=3032.99 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 813952 0 0 0 302801 498 0 0 20 0 1 0 139486375 2380886016 160106 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 581271 160106 1696 343 0 578335 0
Current children cumulated CPU time: 3032.99 s
Current children cumulated vsize: 2325084 KiB
Current children cumulated memory: 640424 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 117404
/proc/meminfo: memFree=120389504/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2374236 memory=654984 CPUtime=3092.82 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 822666 0 0 0 308779 503 0 0 20 0 1 0 139486375 2431217664 163746 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 593559 163746 1696 343 0 590623 0
Current children cumulated CPU time: 3092.82 s
Current children cumulated vsize: 2374236 KiB
Current children cumulated memory: 654984 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 117406
/proc/meminfo: memFree=120396416/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2374236 memory=649612 CPUtime=3152.65 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 830535 0 0 0 314757 508 0 0 20 0 1 0 139486375 2431217664 162403 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 593559 162403 1696 343 0 590623 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 2374236 KiB
Current children cumulated memory: 649612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/262 117408
/proc/meminfo: memFree=120363008/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2325084 memory=633868 CPUtime=3212.47 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 842317 0 0 0 320732 515 0 0 20 0 1 0 139486375 2380886016 158467 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 581271 158467 1696 343 0 578335 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 2325084 KiB
Current children cumulated memory: 633868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/262 117410
/proc/meminfo: memFree=120371564/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2325084 memory=633256 CPUtime=3272.3 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 852663 0 0 0 326708 522 0 0 20 0 1 0 139486375 2380886016 158314 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 581271 158314 1696 343 0 578335 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 2325084 KiB
Current children cumulated memory: 633256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/262 117412
/proc/meminfo: memFree=120351036/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2374236 memory=651404 CPUtime=3332.13 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 866335 0 0 0 332683 530 0 0 20 0 1 0 139486375 2431217664 162851 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 593559 162851 1696 343 0 590623 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 2374236 KiB
Current children cumulated memory: 651404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/262 117415
/proc/meminfo: memFree=120395256/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2341468 memory=641780 CPUtime=3391.96 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 872853 0 0 0 338663 533 0 0 20 0 1 0 139486375 2397663232 160445 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 585367 160445 1696 343 0 582431 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 2341468 KiB
Current children cumulated memory: 641780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/262 117417
/proc/meminfo: memFree=120396816/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2341468 memory=646476 CPUtime=3451.79 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 884979 0 0 0 344639 540 0 0 20 0 1 0 139486375 2397663232 161619 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 585367 161619 1696 343 0 582431 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 2341468 KiB
Current children cumulated memory: 646476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 117426
/proc/meminfo: memFree=120368052/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2374236 memory=653736 CPUtime=3511.62 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 895237 0 0 0 350616 546 0 0 20 0 1 0 139486375 2431217664 163434 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 593559 163434 1696 343 0 590623 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 2374236 KiB
Current children cumulated memory: 653736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 117428
/proc/meminfo: memFree=120394000/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2341468 memory=640012 CPUtime=3571.44 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 906169 0 0 0 356592 552 0 0 20 0 1 0 139486375 2397663232 160003 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 585367 160003 1696 343 0 582431 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 2341468 KiB
Current children cumulated memory: 640012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.07 4.08 4.02 5/263 117519
/proc/meminfo: memFree=120214072/131249996 swapFree=33010416/33010684
[pid=117104] ppid=117101 vsize=2341468 memory=633256 CPUtime=3600.04 cores=0,2
/proc/117104/stat : 117104 (pb_picat) R 117101 117104 115813 0 -1 4194304 910411 0 0 0 359448 556 0 0 20 0 1 0 139486375 2397663232 158314 18446744073709551615 93972099678208 93972101079789 140736738418480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93972101351216 93972103225456 93972136251392 140736738421148 140736738421224 140736738421224 140736738426828 0
/proc/117104/statm: 585367 158314 1696 343 0 582431 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2341468 KiB
Current children cumulated memory: 633256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.49 s, system=5.56774 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.01
CPU time (s): 3600.06
CPU user time (s): 3594.49
CPU system time (s): 5.56774
CPU usage (%): 99.6968
Max. virtual memory (cumulated for all children) (KiB): 2669148
Max. memory (cumulated for all children) (KiB): 819240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.49
system time used= 5.56774
maximum resident set size= 819240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 910411
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= 78
involuntary context switches= 7929


# summary of solver processes directly reported to runsolver:
#   pid: 117104
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.49
#   total CPU system time (s): 5.56774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76429 second user time and 14.7512 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-11 14:48:06
IDJOB=4528273
IDBENCH=147019
IDSOLVER=3385
FILE ID=nodeC022/4528273-1752238086
RUNJOBID= nodeC022-1752238069-116865
SLURM_JOB_ID= 9682533
Free space on /tmp= 432208 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528273-1752238086/watcher-4528273-1752238086 -o /tmp/evaluation-result-4528273-1752238086/solver-4528273-1752238086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752238069-116865 --watchdog 3760  pb_picat HOME/instance-4528273-1752238086.opb

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

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=1851649135

nodeC022 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.712
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.44
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.676
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.44
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		: 3426.369
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.44
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.629
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.44
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.708
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.44
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.841
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.44
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		: 3531.525
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.44
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		: 3653.458
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        118964824 kB
MemAvailable:   126895948 kB
Buffers:            2128 kB
Cached:          8679600 kB
SwapCached:           32 kB
Active:          3557840 kB
Inactive:        8022784 kB
Active(anon):    2914808 kB
Inactive(anon):     2124 kB
Active(file):     643032 kB
Inactive(file):  8020660 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             83952 kB
Writeback:            20 kB
AnonPages:       2901976 kB
Mapped:           116528 kB
Shmem:             18028 kB
KReclaimable:     212944 kB
Slab:             306704 kB
SReclaimable:     212944 kB
SUnreclaim:        93760 kB
KernelStack:        4304 kB
PageTables:         8740 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8700420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2803712 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432132 MiB
End job on nodeC022 at 2025-07-11 15:48:17