Trace number 4505949

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.07 3610.03

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
MD5SUMc802f246252f1c3f359f42604d33488d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11408
Best CPU time to get the best result obtained on this benchmark7035.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 174643715
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 174643715
Number of bits of the biggest sum of numbers28
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.16	c solving HOME/instance-4505949-1751480579.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: 63665 MiB (62661 MiB free)
  memory of node 1: 64507 MiB (63804 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505949-1751480579/watcher-4505949-1751480579 -o /tmp/evaluation-result-4505949-1751480579/solver-4505949-1751480579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751480579-65381 --watchdog 3760 pb_picat HOME/instance-4505949-1751480579.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=65439, runsolver pid=65432

[startup+0.10007 s]*
/proc/loadavg: 3.09 3.84 4.01 5/262 65440
/proc/meminfo: memFree=129436544/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2027148 memory=34076 CPUtime=0.09 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 1080 0 0 0 9 0 0 0 20 0 1 0 63737815 2075799552 8519 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 506787 8519 1472 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34076 KiB

[startup+0.205464 s]*
/proc/loadavg: 3.09 3.84 4.01 5/262 65440
/proc/meminfo: memFree=129313664/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2027148 memory=65588 CPUtime=0.2 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 1263 0 0 0 19 1 0 0 20 0 1 0 63737815 2075799552 16397 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 506787 16397 1504 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 65588 KiB

[startup+0.305416 s]*
/proc/loadavg: 3.09 3.84 4.01 5/262 65440
/proc/meminfo: memFree=129174908/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2099440 memory=128272 CPUtime=0.29 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 4564 0 0 0 27 2 0 0 20 0 1 0 63737815 2149826560 32068 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 524860 32068 1504 343 0 521924 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2099440 KiB
Current children cumulated memory: 128272 KiB

[startup+0.700168 s]
/proc/loadavg: 3.09 3.84 4.01 5/262 65440
/proc/meminfo: memFree=128982396/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2135016 memory=267020 CPUtime=0.68 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 5908 0 0 0 63 5 0 0 20 0 1 0 63737815 2186256384 66755 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 533754 66755 1536 343 0 530818 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2135016 KiB
Current children cumulated memory: 267020 KiB

[startup+1.50012 s]
/proc/loadavg: 3.09 3.84 4.01 5/262 65440
/proc/meminfo: memFree=128585548/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2150644 memory=411008 CPUtime=1.48 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 6141 0 0 0 140 8 0 0 20 0 1 0 63737815 2202259456 102752 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 537661 102752 1536 343 0 534725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2150644 KiB
Current children cumulated memory: 411008 KiB

[startup+3.10524 s]
/proc/loadavg: 3.09 3.84 4.01 5/262 65440
/proc/meminfo: memFree=127440952/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2150644 memory=695068 CPUtime=3.08 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 6751 0 0 0 295 13 0 0 20 0 1 0 63737815 2202259456 173767 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 537661 173767 1536 343 0 534725 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2150644 KiB
Current children cumulated memory: 695068 KiB

[startup+6.30016 s]
/proc/loadavg: 3.16 3.84 4.01 5/262 65440
/proc/meminfo: memFree=125608468/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1266524 CPUtime=6.27 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 7908 0 0 0 601 26 0 0 20 0 1 0 63737815 2872688640 316631 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 316631 1536 343 0 698404 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1266524 KiB

[startup+12.7001 s]
/proc/loadavg: 3.23 3.85 4.00 5/262 65440
/proc/meminfo: memFree=125357536/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=12.65 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8103 0 0 0 1239 26 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+25.5002 s]
/proc/loadavg: 3.48 3.87 4.01 5/262 65440
/proc/meminfo: memFree=125313084/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=25.42 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8165 0 0 0 2515 27 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+51.1054 s]
/proc/loadavg: 3.66 3.88 4.01 5/262 65441
/proc/meminfo: memFree=124623660/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=50.96 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8289 0 0 0 5069 27 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+102.3 s]
/proc/loadavg: 3.90 3.92 4.01 5/262 65443
/proc/meminfo: memFree=124568792/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=102.01 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8474 0 0 0 10174 27 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 3.97 4.01 5/262 65445
/proc/meminfo: memFree=124577248/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=161.84 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8568 0 0 0 16157 27 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.97 4.01 5/263 65450
/proc/meminfo: memFree=124500764/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=221.67 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8667 0 0 0 22140 27 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.00 4.01 5/263 65452
/proc/meminfo: memFree=124545920/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=281.51 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8760 0 0 0 28124 27 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.03 4.01 5/263 65458
/proc/meminfo: memFree=124331512/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=341.34 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8820 0 0 0 34106 28 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.03 4.01 5/263 65460
/proc/meminfo: memFree=124441672/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=401.18 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8856 0 0 0 40090 28 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 2805360 KiB
Current children cumulated memory: 1293280 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.04 4.01 5/263 65462
/proc/meminfo: memFree=124464464/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=2805360 memory=1293280 CPUtime=461.02 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 8917 0 0 0 46073 29 0 0 20 0 1 0 63737815 2872688640 323320 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 701340 323320 1568 343 0 698404 0
Current children cumulated CPU time: 461.02 s

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

Current children cumulated memory: 4246516 KiB

[startup+2862.3 s]
/proc/loadavg: 4.38 4.17 4.11 5/263 65581
/proc/meminfo: memFree=120002484/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=5391288 memory=3991432 CPUtime=2854.41 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 571752 0 0 0 284687 754 0 0 20 0 1 0 63737815 5520678912 997858 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1347822 997858 1696 343 0 1344886 0
Current children cumulated CPU time: 2854.41 s
Current children cumulated vsize: 5391288 KiB
Current children cumulated memory: 3991432 KiB

[startup+2922.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/263 65583
/proc/meminfo: memFree=119366352/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=6437732 memory=4400036 CPUtime=2914.25 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 598368 0 0 0 290647 778 0 0 20 0 1 0 63737815 6592237568 1100009 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1609433 1100009 1696 343 0 1606497 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 6437732 KiB
Current children cumulated memory: 4400036 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 65585
/proc/meminfo: memFree=119183092/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=5389156 memory=4228004 CPUtime=2974.08 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 606903 0 0 0 296606 802 0 0 20 0 1 0 63737815 5518495744 1057001 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1347289 1057001 1696 343 0 1344353 0
Current children cumulated CPU time: 2974.08 s
Current children cumulated vsize: 5389156 KiB
Current children cumulated memory: 4228004 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/263 65587
/proc/meminfo: memFree=118999664/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=5389156 memory=4260772 CPUtime=3033.91 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 608068 0 0 0 302587 804 0 0 20 0 1 0 63737815 5518495744 1065193 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1347289 1065193 1696 343 0 1344353 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 5389156 KiB
Current children cumulated memory: 4260772 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 65589
/proc/meminfo: memFree=119279224/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=6440928 memory=4405232 CPUtime=3093.75 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 629660 0 0 0 308558 817 0 0 20 0 1 0 63737815 6595510272 1101308 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1610232 1101308 1696 343 0 1607296 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 6440928 KiB
Current children cumulated memory: 4405232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.36 4.18 4.11 5/263 65591
/proc/meminfo: memFree=119126976/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=6440928 memory=4407280 CPUtime=3153.59 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 629709 0 0 0 314542 817 0 0 20 0 1 0 63737815 6595510272 1101820 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1610232 1101820 1696 343 0 1607296 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 6440928 KiB
Current children cumulated memory: 4407280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.50 4.27 4.15 5/263 65595
/proc/meminfo: memFree=119274280/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=5389156 memory=4215716 CPUtime=3213.42 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 637910 0 0 0 320503 839 0 0 20 0 1 0 63737815 5518495744 1053929 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1347289 1053929 1696 343 0 1344353 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 5389156 KiB
Current children cumulated memory: 4215716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/263 65597
/proc/meminfo: memFree=118772296/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=6437732 memory=4381604 CPUtime=3273.25 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 659152 0 0 0 326474 851 0 0 20 0 1 0 63737815 6592237568 1095401 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1609433 1095401 1696 343 0 1606497 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 6437732 KiB
Current children cumulated memory: 4381604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/263 65603
/proc/meminfo: memFree=118906044/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=5538748 memory=4275188 CPUtime=3333.08 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 665423 0 0 0 332435 873 0 0 20 0 1 0 63737815 5671677952 1068797 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1384687 1068797 1696 343 0 1381751 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 5538748 KiB
Current children cumulated memory: 4275188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/263 65605
/proc/meminfo: memFree=118556552/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=6437732 memory=4406180 CPUtime=3392.91 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 668292 0 0 0 338411 880 0 0 20 0 1 0 63737815 6592237568 1101545 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1609433 1101545 1696 343 0 1606497 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 6437732 KiB
Current children cumulated memory: 4406180 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/263 65607
/proc/meminfo: memFree=118820816/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=6413156 memory=4297716 CPUtime=3452.75 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 675394 0 0 0 344368 907 0 0 20 0 1 0 63737815 6567071744 1074429 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1603289 1074429 1696 343 0 1600353 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 6413156 KiB
Current children cumulated memory: 4297716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/263 65609
/proc/meminfo: memFree=119204276/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=4875316 memory=3775472 CPUtime=3512.58 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 697730 0 0 0 350337 921 0 0 20 0 1 0 63737815 4992323584 943868 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1218829 943868 1696 343 0 1215893 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 4875316 KiB
Current children cumulated memory: 3775472 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/262 65611
/proc/meminfo: memFree=119460412/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=4875316 memory=3775472 CPUtime=3572.41 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 697771 0 0 0 356319 922 0 0 20 0 1 0 63737815 4992323584 943868 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1218829 943868 1696 343 0 1215893 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 4875316 KiB
Current children cumulated memory: 3775472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.13 4.14 4.11 4/258 65621
/proc/meminfo: memFree=119608880/131250000 swapFree=33010416/33010684
[pid=65439] ppid=65432 vsize=5391288 memory=4051880 CPUtime=3600.03 cores=0,2
/proc/65439/stat : 65439 (pb_picat) R 65432 65439 65371 0 -1 4194304 701450 0 0 0 359064 939 0 0 20 0 1 0 63737815 5520678912 1012970 18446744073709551615 93835411636224 93835413037805 140736019985200 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93835413309232 93835415183536 93835431604224 140736019986846 140736019986922 140736019986922 140736019992524 0
/proc/65439/statm: 1347822 1012970 1696 343 0 1344886 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5391288 KiB
Current children cumulated memory: 4051880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.65 s, system=9.42465 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.03
CPU time (s): 3600.07
CPU user time (s): 3590.65
CPU system time (s): 9.42465
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 6834376
Max. memory (cumulated for all children) (KiB): 4786524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.65
system time used= 9.42465
maximum resident set size= 4786524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701450
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= 68
involuntary context switches= 7841


# summary of solver processes directly reported to runsolver:
#   pid: 65439
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3590.65
#   total CPU system time (s): 9.42465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49002 second user time and 15.7853 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-02 20:22:59
IDJOB=4505949
IDBENCH=157385
IDSOLVER=3346
FILE ID=nodeC027/4505949-1751480579
RUNJOBID= nodeC027-1751480579-65381
SLURM_JOB_ID= 9598524
Free space on /tmp= 431088 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505949-1751480579/watcher-4505949-1751480579 -o /tmp/evaluation-result-4505949-1751480579/solver-4505949-1751480579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751480579-65381 --watchdog 3760  pb_picat HOME/instance-4505949-1751480579.opb

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

MD5SUM BENCH= c802f246252f1c3f359f42604d33488d
RANDOM SEED=405412557

nodeC027 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.635
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.29
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		: 2288.262
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.29
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.506
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.29
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		: 1200.226
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.29
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.641
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.29
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		: 1199.149
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.29
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.650
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.29
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		: 1199.744
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129531120 kB
MemAvailable:   129691812 kB
Buffers:            2488 kB
Cached:           961320 kB
SwapCached:           12 kB
Active:           662312 kB
Inactive:         420776 kB
Active(anon):     134596 kB
Inactive(anon):     2792 kB
Active(file):     527716 kB
Inactive(file):   417984 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            105560 kB
Writeback:             0 kB
AnonPages:        122432 kB
Mapped:           107076 kB
Shmem:             18056 kB
KReclaimable:     108064 kB
Slab:             197312 kB
SReclaimable:     108064 kB
SUnreclaim:        89248 kB
KernelStack:        4176 kB
PageTables:         3112 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2409768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431080 MiB
End job on nodeC027 at 2025-07-02 21:23:10