Trace number 4506317

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.02 3609.8

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.E.recomb10-0.20-11.opb
MD5SUM551838940c89f9d2ab4aca2b8dd410a0
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 benchmark9588
Best CPU time to get the best result obtained on this benchmark5.26833
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables73150
Total number of constraints857825
Number of constraints which are clauses857825
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 constraint1
Maximum length of a constraint340
Number of terms in the objective function 5840
Biggest coefficient in the objective function 341
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1875840
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 341
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1875840
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.02	c solving HOME/instance-4506317-1751484192.opb (Picat 3.9b6)
10.25/10.38	o 624535
14.73/14.85	o 206985
19.81/19.99	o 66267
23.91/24.09	o 22057
31.78/31.92	o 12187
40.87/41.03	o 10033
54.52/54.75	o 9704
150.78/151.22	o 9607

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506317-1751484192/watcher-4506317-1751484192 -o /tmp/evaluation-result-4506317-1751484192/solver-4506317-1751484192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751480579-62271 --watchdog 3760 pb_picat HOME/instance-4506317-1751484192.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100062 s]*
/proc/loadavg: 4.15 4.11 4.04 3/258 62681
/proc/meminfo: memFree=128251232/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2027148 memory=32464 CPUtime=0.07 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 1147 0 0 0 7 0 0 0 20 0 1 0 64096783 2075799552 8116 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 506787 8116 1536 343 0 503851 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32464 KiB

[startup+0.205633 s]*
/proc/loadavg: 4.15 4.11 4.04 4/260 62684
/proc/meminfo: memFree=128217732/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2027148 memory=53052 CPUtime=0.17 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 1169 0 0 0 17 0 0 0 20 0 1 0 64096783 2075799552 13263 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 506787 13263 1536 343 0 503851 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 53052 KiB

[startup+0.305715 s]*
/proc/loadavg: 4.15 4.11 4.04 5/263 62694
/proc/meminfo: memFree=128163788/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2027148 memory=67404 CPUtime=0.28 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 1179 0 0 0 27 1 0 0 20 0 1 0 64096783 2075799552 16851 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 506787 16851 1536 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 67404 KiB

[startup+0.700177 s]
/proc/loadavg: 4.22 4.12 4.04 5/265 62700
/proc/meminfo: memFree=128040908/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2027148 memory=126872 CPUtime=0.66 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 1228 0 0 0 64 2 0 0 20 0 1 0 64096783 2075799552 31718 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 506787 31718 1536 343 0 503851 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 126872 KiB

[startup+1.50017 s]
/proc/loadavg: 4.22 4.12 4.04 5/265 62700
/proc/meminfo: memFree=127717948/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2027148 memory=245804 CPUtime=1.46 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 1322 0 0 0 141 5 0 0 20 0 1 0 64096783 2075799552 61451 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 506787 61451 1536 343 0 503851 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 245804 KiB

[startup+3.10558 s]
/proc/loadavg: 4.22 4.12 4.04 5/265 62700
/proc/meminfo: memFree=126500272/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2027148 memory=489712 CPUtime=3.07 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 1522 0 0 0 297 10 0 0 20 0 1 0 64096783 2075799552 122428 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 506787 122428 1536 343 0 503851 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 489712 KiB

[startup+6.30016 s]
/proc/loadavg: 4.20 4.12 4.04 5/265 62700
/proc/meminfo: memFree=125346728/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2191840 memory=1033784 CPUtime=6.25 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 7299 0 0 0 602 23 0 0 20 0 1 0 64096783 2244444160 258446 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 547960 258446 1664 343 0 545024 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2191840 KiB
Current children cumulated memory: 1033784 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.12 4.04 5/265 62700
/proc/meminfo: memFree=124221948/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2212452 memory=1051576 CPUtime=12.63 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 13445 0 0 0 1237 26 0 0 20 0 1 0 64096783 2265550848 262894 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 553113 262894 1696 343 0 550177 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2212452 KiB
Current children cumulated memory: 1051576 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.04 5/265 62791
/proc/meminfo: memFree=124267180/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2206308 memory=1048760 CPUtime=25.4 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 15133 0 0 0 2510 30 0 0 20 0 1 0 64096783 2259259392 262190 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 551577 262190 1696 343 0 548641 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2206308 KiB
Current children cumulated memory: 1048760 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.12 4.04 5/265 62791
/proc/meminfo: memFree=123633616/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2221924 memory=1062336 CPUtime=50.93 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 23621 0 0 0 5058 35 0 0 20 0 1 0 64096783 2275250176 265584 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 555481 265584 1696 343 0 552545 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2221924 KiB
Current children cumulated memory: 1062336 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/265 62793
/proc/meminfo: memFree=123548276/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2287464 memory=1105560 CPUtime=102 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 43606 0 0 0 10154 46 0 0 20 0 1 0 64096783 2342363136 276390 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 571866 276390 1696 343 0 568930 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2287464 KiB
Current children cumulated memory: 1105560 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/265 62795
/proc/meminfo: memFree=123552576/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2221924 memory=1073212 CPUtime=161.85 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 62229 0 0 0 16127 58 0 0 20 0 1 0 64096783 2275250176 268303 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 555481 268303 1696 343 0 552545 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2221924 KiB
Current children cumulated memory: 1073212 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/265 62797
/proc/meminfo: memFree=123534236/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1090068 CPUtime=221.71 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 74867 0 0 0 22107 64 0 0 20 0 1 0 64096783 2292031488 272517 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 272517 1696 343 0 556642 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1090068 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 62803
/proc/meminfo: memFree=123501548/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1090964 CPUtime=281.58 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 86948 0 0 0 28088 70 0 0 20 0 1 0 64096783 2292031488 272741 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 272741 1696 343 0 556642 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1090964 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/263 62806
/proc/meminfo: memFree=123570952/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1095060 CPUtime=341.44 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 107251 0 0 0 34066 78 0 0 20 0 1 0 64096783 2292031488 273765 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 273765 1696 343 0 556642 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1095060 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 62808
/proc/meminfo: memFree=123545776/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1093012 CPUtime=401.31 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 118530 0 0 0 40047 84 0 0 20 0 1 0 64096783 2292031488 273253 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 273253 1696 343 0 556642 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1093012 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/264 62812
/proc/meminfo: memFree=123566168/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1093012 CPUtime=461.17 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 132745 0 0 0 46025 92 0 0 20 0 1 0 64096783 2292031488 273253 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 273253 1696 343 0 556642 0

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

Current children cumulated memory: 1121692 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 62941
/proc/meminfo: memFree=123449008/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1096204 CPUtime=2854.73 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 404530 0 0 0 285189 284 0 0 20 0 1 0 64096783 2292031488 274051 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 274051 1696 343 0 556642 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1096204 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 62945
/proc/meminfo: memFree=123447556/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2287464 memory=1117596 CPUtime=2914.54 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 406834 0 0 0 291168 286 0 0 20 0 1 0 64096783 2342363136 279399 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 571866 279399 1696 343 0 568930 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 2287464 KiB
Current children cumulated memory: 1117596 KiB

[startup+2982.3 s]
/proc/loadavg: 4.51 4.20 4.12 5/264 62949
/proc/meminfo: memFree=123504412/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1096204 CPUtime=2974.37 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 409897 0 0 0 297148 289 0 0 20 0 1 0 64096783 2292031488 274051 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 274051 1696 343 0 556642 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1096204 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/264 62951
/proc/meminfo: memFree=123450352/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2287464 memory=1115548 CPUtime=3034.19 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 415041 0 0 0 303125 294 0 0 20 0 1 0 64096783 2342363136 278887 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 571866 278887 1696 343 0 568930 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 2287464 KiB
Current children cumulated memory: 1115548 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/264 62953
/proc/meminfo: memFree=123421676/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1096204 CPUtime=3094.01 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 420422 0 0 0 309103 298 0 0 20 0 1 0 64096783 2292031488 274051 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 274051 1696 343 0 556642 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1096204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/264 62955
/proc/meminfo: memFree=123442548/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2287464 memory=1140124 CPUtime=3153.84 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 426048 0 0 0 315080 304 0 0 20 0 1 0 64096783 2342363136 285031 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 571866 285031 1696 343 0 568930 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 2287464 KiB
Current children cumulated memory: 1140124 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 62957
/proc/meminfo: memFree=123429884/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2254696 memory=1103260 CPUtime=3213.66 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 430479 0 0 0 321059 307 0 0 20 0 1 0 64096783 2308808704 275815 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 563674 275815 1696 343 0 560738 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 2254696 KiB
Current children cumulated memory: 1103260 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/264 62964
/proc/meminfo: memFree=123447548/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2287464 memory=1112732 CPUtime=3273.48 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 433938 0 0 0 327038 310 0 0 20 0 1 0 64096783 2342363136 278183 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 571866 278183 1696 343 0 568930 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 2287464 KiB
Current children cumulated memory: 1112732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 62968
/proc/meminfo: memFree=123419064/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2287464 memory=1115548 CPUtime=3333.3 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 436457 0 0 0 333018 312 0 0 20 0 1 0 64096783 2342363136 278887 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 571866 278887 1696 343 0 568930 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 2287464 KiB
Current children cumulated memory: 1115548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/265 62970
/proc/meminfo: memFree=123443820/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2254696 memory=1105308 CPUtime=3393.12 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 441463 0 0 0 338996 316 0 0 20 0 1 0 64096783 2308808704 276327 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 563674 276327 1696 343 0 560738 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 2254696 KiB
Current children cumulated memory: 1105308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 62972
/proc/meminfo: memFree=123450172/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1096204 CPUtime=3452.95 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 446350 0 0 0 344974 321 0 0 20 0 1 0 64096783 2292031488 274051 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 274051 1696 343 0 556642 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1096204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 62976
/proc/meminfo: memFree=123404820/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2254696 memory=1112092 CPUtime=3512.77 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 450096 0 0 0 350953 324 0 0 20 0 1 0 64096783 2308808704 278023 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 563674 278023 1696 343 0 560738 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 2254696 KiB
Current children cumulated memory: 1112092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 62978
/proc/meminfo: memFree=123437140/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2238312 memory=1096204 CPUtime=3572.59 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 453798 0 0 0 356932 327 0 0 20 0 1 0 64096783 2292031488 274051 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 559578 274051 1696 343 0 556642 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 2238312 KiB
Current children cumulated memory: 1096204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 62978
/proc/meminfo: memFree=123374768/131250000 swapFree=33007332/33010684
[pid=62679] ppid=62674 vsize=2287464 memory=1127836 CPUtime=3600.01 cores=4,6
/proc/62679/stat : 62679 (pb_picat) R 62674 62679 62260 0 -1 4194304 455355 0 0 0 359672 329 0 0 20 0 1 0 64096783 2342363136 281959 18446744073709551615 94905779322880 94905780724461 140724334590880 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94905780995888 94905782870192 94905799757824 140724334594462 140724334594538 140724334594538 140724334600140 0
/proc/62679/statm: 571866 281959 1696 343 0 568930 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2287464 KiB
Current children cumulated memory: 1127836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.73 s, system=3.29516 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): 3609.8
CPU time (s): 3600.02
CPU user time (s): 3596.73
CPU system time (s): 3.29516
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 2353000
Max. memory (cumulated for all children) (KiB): 1152412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.73
system time used= 3.29516
maximum resident set size= 1152412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455355
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= 84
involuntary context switches= 3898


# summary of solver processes directly reported to runsolver:
#   pid: 62679
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.73
#   total CPU system time (s): 3.29516

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84031 second user time and 15.3017 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-02 21:23:12
IDJOB=4506317
IDBENCH=158170
IDSOLVER=3346
FILE ID=nodeC019/4506317-1751484192
RUNJOBID= nodeC019-1751480579-62271
SLURM_JOB_ID= 9598523
Free space on /tmp= 431656 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.E.recomb10-0.20-11.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506317-1751484192/watcher-4506317-1751484192 -o /tmp/evaluation-result-4506317-1751484192/solver-4506317-1751484192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751480579-62271 --watchdog 3760  pb_picat HOME/instance-4506317-1751484192.opb

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

MD5SUM BENCH= 551838940c89f9d2ab4aca2b8dd410a0
RANDOM SEED=1393568086

nodeC019 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.096
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.37
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.675
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.37
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.873
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128332984 kB
MemAvailable:   129749180 kB
Buffers:             904 kB
Cached:          2220352 kB
SwapCached:          440 kB
Active:           220492 kB
Inactive:        2076092 kB
Active(anon):      62772 kB
Inactive(anon):    27772 kB
Active(file):     157720 kB
Inactive(file):  2048320 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            101620 kB
Writeback:             0 kB
AnonPages:         78096 kB
Mapped:           103480 kB
Shmem:             15192 kB
KReclaimable:      98788 kB
Slab:             186632 kB
SReclaimable:      98788 kB
SUnreclaim:        87844 kB
KernelStack:        4144 kB
PageTables:         3020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431588 MiB
End job on nodeC019 at 2025-07-02 22:23:23