Trace number 4523835

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.05 3610.51

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
MD5SUM1376b7e36587a728493ace6af4c57a8e
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 benchmark9
Best CPU time to get the best result obtained on this benchmark231.564
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1294
Total number of constraints1091
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 785
Biggest coefficient in the objective function 7345
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 59444
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 7345
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 59444
Number of bits of the biggest sum of numbers16
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.02	c solving HOME/instance-4523835-1751607451.opb (Picat 3.9b6)
79.93/80.21	o 7345
2369.69/2376.63	o 2448

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523835-1751607451/watcher-4523835-1751607451 -o /tmp/evaluation-result-4523835-1751607451/solver-4523835-1751607451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751607451-87514 --watchdog 3760 pb_picat HOME/instance-4523835-1751607451.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100073 s]*
/proc/loadavg: 0.93 1.08 1.74 6/245 87551
/proc/meminfo: memFree=130045492/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=2027148 memory=24088 CPUtime=0.08 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 1049 0 0 0 7 1 0 0 20 0 1 0 76424565 2075799552 6022 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 3 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 506787 6022 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 24088 KiB

[startup+0.217027 s]*
/proc/loadavg: 0.93 1.08 1.74 6/245 87551
/proc/meminfo: memFree=130025472/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=2027148 memory=36376 CPUtime=0.2 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 1055 0 0 0 18 2 0 0 20 0 1 0 76424565 2075799552 9094 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 506787 9094 1568 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36376 KiB

[startup+0.313868 s]*
/proc/loadavg: 0.93 1.08 1.74 6/245 87551
/proc/meminfo: memFree=130001024/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=2027148 memory=42520 CPUtime=0.29 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 1058 0 0 0 27 2 0 0 20 0 1 0 76424565 2075799552 10630 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 506787 10630 1568 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42520 KiB

[startup+0.700302 s]
/proc/loadavg: 0.93 1.08 1.74 6/243 87552
/proc/meminfo: memFree=129963948/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=2027148 memory=73244 CPUtime=0.66 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 1074 0 0 0 63 3 0 0 20 0 1 0 76424565 2075799552 18311 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 506787 18311 1568 343 0 503851 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73244 KiB

[startup+1.50028 s]
/proc/loadavg: 0.93 1.08 1.74 6/246 87561
/proc/meminfo: memFree=129796172/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=2034964 memory=183864 CPUtime=1.46 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 1135 0 0 0 139 7 0 0 20 0 1 0 76424565 2083803136 45966 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 508741 45966 1568 343 0 505805 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 183864 KiB

[startup+3.11278 s]
/proc/loadavg: 1.17 1.13 1.75 6/251 87571
/proc/meminfo: memFree=128474896/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=2034964 memory=308800 CPUtime=3.07 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 1227 0 0 0 297 10 0 0 20 0 1 0 76424565 2083803136 77200 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 508741 77200 1568 343 0 505805 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 308800 KiB

[startup+6.3003 s]
/proc/loadavg: 1.17 1.13 1.75 6/251 87571
/proc/meminfo: memFree=126261152/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=2482068 memory=1050332 CPUtime=6.25 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 11405 0 0 0 596 29 0 0 20 0 1 0 76424565 2541637632 262583 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 620517 262583 1664 343 0 617581 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2482068 KiB
Current children cumulated memory: 1050332 KiB

[startup+12.7003 s]
/proc/loadavg: 1.40 1.17 1.76 6/251 87571
/proc/meminfo: memFree=123702424/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3625552 memory=1774344 CPUtime=12.62 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 49208 0 0 0 1204 58 0 0 20 0 1 0 76424565 3712565248 443586 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 906388 443586 1696 343 0 903452 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 3625552 KiB
Current children cumulated memory: 1774344 KiB

[startup+25.5003 s]
/proc/loadavg: 2.12 1.35 1.81 6/251 87571
/proc/meminfo: memFree=120895644/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3655908 memory=1806760 CPUtime=25.39 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 57690 0 0 0 2470 69 0 0 20 0 1 0 76424565 3743649792 451690 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 913977 451690 1696 343 0 911041 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3655908 KiB
Current children cumulated memory: 1806760 KiB

[startup+51.1131 s]
/proc/loadavg: 2.77 1.56 1.87 6/251 87572
/proc/meminfo: memFree=118086640/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3655908 memory=1937988 CPUtime=50.94 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 76557 0 0 0 5004 90 0 0 20 0 1 0 76424565 3743649792 484497 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 913977 484497 1696 343 0 911041 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3655908 KiB
Current children cumulated memory: 1937988 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.95 1.99 6/251 87574
/proc/meminfo: memFree=117813252/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3660844 memory=1818816 CPUtime=101.97 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 129596 0 0 0 10054 143 0 0 20 0 1 0 76424565 3748704256 454704 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 915211 454704 1696 343 0 912275 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3660844 KiB
Current children cumulated memory: 1818816 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.36 2.13 6/250 87575
/proc/meminfo: memFree=118668264/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3660844 memory=1796356 CPUtime=161.8 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 157013 0 0 0 16007 173 0 0 20 0 1 0 76424565 3748704256 449089 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 915211 449089 1696 343 0 912275 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 3660844 KiB
Current children cumulated memory: 1796356 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.69 2.26 6/250 87577
/proc/meminfo: memFree=118941248/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3660408 memory=1766244 CPUtime=221.63 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 174858 0 0 0 21968 195 0 0 20 0 1 0 76424565 3748257792 441561 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 915102 441561 1696 343 0 912166 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 3660408 KiB
Current children cumulated memory: 1766244 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.95 2.37 6/251 87584
/proc/meminfo: memFree=118375868/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3660408 memory=1859408 CPUtime=281.45 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 188110 0 0 0 27937 208 0 0 20 0 1 0 76424565 3748257792 464852 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 915102 464852 1696 343 0 912166 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 3660408 KiB
Current children cumulated memory: 1859408 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.19 2.49 6/250 87586
/proc/meminfo: memFree=118264824/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3660408 memory=1992528 CPUtime=341.28 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 201935 0 0 0 33903 225 0 0 20 0 1 0 76424565 3748257792 498132 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 915102 498132 1696 343 0 912166 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 3660408 KiB
Current children cumulated memory: 1992528 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.35 2.60 6/250 87588
/proc/meminfo: memFree=118508948/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4184696 memory=2043732 CPUtime=401.11 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 202525 0 0 0 39884 227 0 0 20 0 1 0 76424565 4285128704 510933 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1046174 510933 1696 343 0 1043238 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 4184696 KiB
Current children cumulated memory: 2043732 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.50 2.70 6/252 87595
/proc/meminfo: memFree=118439804/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4184696 memory=2049876 CPUtime=460.94 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 202534 0 0 0 45866 228 0 0 20 0 1 0 76424565 4285128704 512469 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1046174 512469 1696 343 0 1043238 0

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

Current children cumulated memory: 2045240 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.02 6/250 87719
/proc/meminfo: memFree=118196836/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3667556 memory=2057528 CPUtime=2913.82 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 530409 0 0 0 290699 683 0 0 20 0 1 0 76424565 3755577344 514382 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 916889 514382 1696 343 0 913953 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 3667556 KiB
Current children cumulated memory: 2057528 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.02 6/250 87721
/proc/meminfo: memFree=118186804/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4191844 memory=2075960 CPUtime=2973.64 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 544364 0 0 0 296666 698 0 0 20 0 1 0 76424565 4292448256 518990 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1047961 518990 1696 343 0 1045025 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 4191844 KiB
Current children cumulated memory: 2075960 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/250 87723
/proc/meminfo: memFree=118403980/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3670404 memory=1894488 CPUtime=3033.47 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 547244 0 0 0 302642 705 0 0 20 0 1 0 76424565 3758493696 473622 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 917601 473622 1696 343 0 914665 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 3670404 KiB
Current children cumulated memory: 1894488 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/250 87725
/proc/meminfo: memFree=118191496/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4194692 memory=2084952 CPUtime=3093.29 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 562438 0 0 0 308604 725 0 0 20 0 1 0 76424565 4295364608 521238 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1048673 521238 1696 343 0 1045737 0
Current children cumulated CPU time: 3093.29 s
Current children cumulated vsize: 4194692 KiB
Current children cumulated memory: 2084952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/249 87727
/proc/meminfo: memFree=118069972/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4194692 memory=2103384 CPUtime=3153.12 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 562776 0 0 0 314586 726 0 0 20 0 1 0 76424565 4295364608 525846 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1048673 525846 1696 343 0 1045737 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 4194692 KiB
Current children cumulated memory: 2103384 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.02 6/249 87729
/proc/meminfo: memFree=118228716/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3670404 memory=2060376 CPUtime=3212.94 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 565358 0 0 0 320558 736 0 0 20 0 1 0 76424565 3758493696 515094 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 917601 515094 1696 343 0 914665 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 3670404 KiB
Current children cumulated memory: 2060376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.02 6/250 87736
/proc/meminfo: memFree=118186324/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4194692 memory=2087000 CPUtime=3272.77 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 565943 0 0 0 326540 737 0 0 20 0 1 0 76424565 4295364608 521750 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1048673 521750 1696 343 0 1045737 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 4194692 KiB
Current children cumulated memory: 2087000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.11 4.03 6/250 87738
/proc/meminfo: memFree=118272892/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3735944 memory=1944172 CPUtime=3332.6 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 579237 0 0 0 332509 751 0 0 20 0 1 0 76424565 3825606656 486043 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 933986 486043 1696 343 0 931050 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 3735944 KiB
Current children cumulated memory: 1944172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/250 87740
/proc/meminfo: memFree=118165156/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4212568 memory=2122496 CPUtime=3392.42 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 581201 0 0 0 338486 756 0 0 20 0 1 0 76424565 4313669632 530624 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1053142 530624 1696 343 0 1050206 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 4212568 KiB
Current children cumulated memory: 2122496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.02 6/250 87744
/proc/meminfo: memFree=118360856/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3655712 memory=1897944 CPUtime=3452.25 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 583260 0 0 0 344462 763 0 0 20 0 1 0 76424565 3743449088 474486 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 913928 474486 1696 343 0 910992 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 3655712 KiB
Current children cumulated memory: 1897944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/250 87746
/proc/meminfo: memFree=118104704/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4180000 memory=2092592 CPUtime=3512.08 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 595402 0 0 0 350437 771 0 0 20 0 1 0 76424565 4280320000 523148 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1045000 523148 1696 343 0 1042064 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 4180000 KiB
Current children cumulated memory: 2092592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/250 87748
/proc/meminfo: memFree=118304304/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=3655712 memory=2072240 CPUtime=3571.91 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 598113 0 0 0 356407 784 0 0 20 0 1 0 76424565 3743449088 518060 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 913928 518060 1696 343 0 910992 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 3655712 KiB
Current children cumulated memory: 2072240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.12 4.10 4.03 6/250 87750
/proc/meminfo: memFree=118730000/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4180000 memory=2096816 CPUtime=3600.03 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 598641 0 0 0 359218 785 0 0 20 0 1 0 76424565 4280320000 524204 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1045000 524204 1696 343 0 1042064 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4180000 KiB
Current children cumulated memory: 2096816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.18 s, system=7.87089 s

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

[startup+3610.5 s]
/proc/loadavg: 4.12 4.10 4.03 6/250 87750
/proc/meminfo: memFree=118730000/131382112 swapFree=33002444/33010684
[pid=87550] ppid=87543 vsize=4180000 memory=2096816 CPUtime=3600.03 cores=1,3
/proc/87550/stat : 87550 (pb_picat) R 87543 87550 87502 0 -1 4194304 598641 0 0 0 359218 785 0 0 20 0 1 0 76424565 4280320000 524204 18446744073709551615 94358283898880 94358285300461 140730647775808 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94358285571888 94358287446192 94358296588288 140730647783838 140730647783914 140730647783914 140730647789516 0
/proc/87550/statm: 1045000 524204 1696 343 0 1042064 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4180000 KiB
Current children cumulated memory: 2096816 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.51
CPU time (s): 3600.05
CPU user time (s): 3592.18
CPU system time (s): 7.87089
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 4311500
Max. memory (cumulated for all children) (KiB): 2230060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.18
system time used= 7.87089
maximum resident set size= 2230060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598641
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= 170
involuntary context switches= 2811


# summary of solver processes directly reported to runsolver:
#   pid: 87550
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3592.18
#   total CPU system time (s): 7.87089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6772 second user time and 36.4805 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-04 07:37:32
IDJOB=4523835
IDBENCH=180376
IDSOLVER=3346
FILE ID=nodeC005/4523835-1751607451
RUNJOBID= nodeC005-1751607451-87514
SLURM_JOB_ID= 9598896
Free space on /tmp= 429476 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523835-1751607451/watcher-4523835-1751607451 -o /tmp/evaluation-result-4523835-1751607451/solver-4523835-1751607451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751607451-87514 --watchdog 3760  pb_picat HOME/instance-4523835-1751607451.opb

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

MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e
RANDOM SEED=80604578

nodeC005 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	: 0xb00001f
cpu MHz		: 1197.357
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.240
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.765
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.248
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.244
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.425
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        130076520 kB
MemAvailable:   129931340 kB
Buffers:              12 kB
Cached:           642268 kB
SwapCached:          240 kB
Active:           335672 kB
Inactive:         387272 kB
Active(anon):      52704 kB
Inactive(anon):    40828 kB
Active(file):     282968 kB
Inactive(file):   346444 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26260 kB
Writeback:             4 kB
AnonPages:         83528 kB
Mapped:            98400 kB
Shmem:             12868 kB
KReclaimable:     130072 kB
Slab:             216468 kB
SReclaimable:     130072 kB
SUnreclaim:        86396 kB
KernelStack:        3844 kB
PageTables:         2848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     357268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429404 MiB
End job on nodeC005 at 2025-07-04 08:37:43