Trace number 4523789

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.02

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
MD5SUM6cb38b401990639cbd6e40c3a4829a77
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 benchmark2
Best CPU time to get the best result obtained on this benchmark5.99084
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1441
Total number of constraints2021
Number of constraints which are clauses932
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 148
Biggest coefficient in the objective function 23
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 438
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1634
Number of bits of the biggest sum of numbers11
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-4523789-1751607451.opb (Picat 3.9b6)
170.97/171.59	o 66

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-4523789-1751607451/watcher-4523789-1751607451 -o /tmp/evaluation-result-4523789-1751607451/solver-4523789-1751607451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751607451-87512 --watchdog 3760 pb_picat HOME/instance-4523789-1751607451.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
solver pid=87546, runsolver pid=87542
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 0.93 1.08 1.74 5/245 87551
/proc/meminfo: memFree=130045492/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2027148 memory=24564 CPUtime=0.1 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 1107 0 0 0 9 1 0 0 20 0 1 0 76424565 2075799552 6141 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 506787 6141 1632 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 24564 KiB

[startup+0.214206 s]*
/proc/loadavg: 0.93 1.08 1.74 5/245 87551
/proc/meminfo: memFree=130025472/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2027148 memory=34804 CPUtime=0.21 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 1112 0 0 0 20 1 0 0 20 0 1 0 76424565 2075799552 8701 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 506787 8701 1632 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34804 KiB

[startup+0.313935 s]*
/proc/loadavg: 0.93 1.08 1.74 5/245 87551
/proc/meminfo: memFree=130001024/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2027148 memory=42996 CPUtime=0.3 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 1116 0 0 0 29 1 0 0 20 0 1 0 76424565 2075799552 10749 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 506787 10749 1632 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42996 KiB

[startup+0.700304 s]
/proc/loadavg: 0.93 1.08 1.74 5/243 87552
/proc/meminfo: memFree=129963948/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2027148 memory=71668 CPUtime=0.68 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 1130 0 0 0 65 3 0 0 20 0 1 0 76424565 2075799552 17917 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 506787 17917 1632 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71668 KiB

[startup+1.50025 s]
/proc/loadavg: 0.93 1.08 1.74 5/246 87561
/proc/meminfo: memFree=129796172/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2034964 memory=178196 CPUtime=1.47 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 1193 0 0 0 141 6 0 0 20 0 1 0 76424565 2083803136 44549 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 508741 44549 1632 343 0 505805 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 178196 KiB

[startup+3.11269 s]
/proc/loadavg: 1.17 1.13 1.75 5/251 87571
/proc/meminfo: memFree=128474896/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2034964 memory=305208 CPUtime=3.08 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 1288 0 0 0 299 9 0 0 20 0 1 0 76424565 2083803136 76302 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 508741 76302 1632 343 0 505805 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 305208 KiB

[startup+6.30023 s]
/proc/loadavg: 1.17 1.13 1.75 5/251 87571
/proc/meminfo: memFree=126261152/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2477444 memory=1033408 CPUtime=6.26 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 10016 0 0 0 601 25 0 0 20 0 1 0 76424565 2536902656 258352 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 619361 258352 1728 343 0 616425 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2477444 KiB
Current children cumulated memory: 1033408 KiB

[startup+12.7002 s]
/proc/loadavg: 1.40 1.17 1.76 5/251 87571
/proc/meminfo: memFree=123702424/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3631884 memory=1773764 CPUtime=12.65 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 47456 0 0 0 1213 52 0 0 20 0 1 0 76424565 3719049216 443441 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 907971 443441 1760 343 0 905035 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3631884 KiB
Current children cumulated memory: 1773764 KiB

[startup+25.5003 s]
/proc/loadavg: 2.12 1.35 1.81 5/251 87571
/proc/meminfo: memFree=120895644/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3617044 memory=1729424 CPUtime=25.41 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 55718 0 0 0 2481 60 0 0 20 0 1 0 76424565 3703853056 432356 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 904261 432356 1760 343 0 901325 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3617044 KiB
Current children cumulated memory: 1729424 KiB

[startup+51.1131 s]
/proc/loadavg: 2.77 1.56 1.87 5/251 87572
/proc/meminfo: memFree=118086640/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3617044 memory=1785888 CPUtime=50.95 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 70840 0 0 0 5021 74 0 0 20 0 1 0 76424565 3703853056 446472 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 904261 446472 1760 343 0 901325 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3617044 KiB
Current children cumulated memory: 1785888 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.95 1.99 5/251 87574
/proc/meminfo: memFree=117813252/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3617044 memory=1839456 CPUtime=101.98 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 81769 0 0 0 10114 84 0 0 20 0 1 0 76424565 3703853056 459864 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 904261 459864 1760 343 0 901325 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3617044 KiB
Current children cumulated memory: 1839456 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.36 2.13 5/250 87575
/proc/meminfo: memFree=118668264/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3624204 memory=1750972 CPUtime=161.79 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 90276 0 0 0 16076 103 0 0 20 0 1 0 76424565 3711184896 437743 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 906051 437743 1760 343 0 903115 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3624204 KiB
Current children cumulated memory: 1750972 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.69 2.26 5/250 87577
/proc/meminfo: memFree=118941248/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2952536 memory=1415520 CPUtime=221.62 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 135507 0 0 0 22014 148 0 0 20 0 1 0 76424565 3023396864 353880 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 738134 353880 1760 343 0 735198 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2952536 KiB
Current children cumulated memory: 1415520 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.95 2.37 5/251 87584
/proc/meminfo: memFree=118375868/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2723160 memory=1300832 CPUtime=281.44 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 140040 0 0 0 27985 159 0 0 20 0 1 0 76424565 2788515840 325208 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 680790 325208 1760 343 0 677854 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 2723160 KiB
Current children cumulated memory: 1300832 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.19 2.49 5/250 87586
/proc/meminfo: memFree=118264824/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2952536 memory=1472872 CPUtime=341.28 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 145598 0 0 0 33957 171 0 0 20 0 1 0 76424565 3023396864 368218 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 738134 368218 1760 343 0 735198 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 2952536 KiB
Current children cumulated memory: 1472872 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.35 2.60 5/250 87588
/proc/meminfo: memFree=118508948/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3081540 memory=1470120 CPUtime=401.12 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 150085 0 0 0 39933 179 0 0 20 0 1 0 76424565 3155496960 367530 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 770385 367530 1760 343 0 767449 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 3081540 KiB
Current children cumulated memory: 1470120 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.50 2.70 5/252 87595
/proc/meminfo: memFree=118439804/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3081540 memory=1484968 CPUtime=460.95 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 152064 0 0 0 45912 183 0 0 20 0 1 0 76424565 3155496960 371242 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 770385 371242 1760 343 0 767449 0
Current children cumulated CPU time: 460.95 s

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

Current children cumulated memory: 1543380 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/250 87717
/proc/meminfo: memFree=118230880/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1535188 CPUtime=2854.37 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 210116 0 0 0 285135 302 0 0 20 0 1 0 76424565 3153575936 383797 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 383797 1760 343 0 766980 0
Current children cumulated CPU time: 2854.37 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1535188 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/250 87719
/proc/meminfo: memFree=118196836/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2948592 memory=1443028 CPUtime=2914.21 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 210488 0 0 0 291118 303 0 0 20 0 1 0 76424565 3019358208 360757 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 737148 360757 1760 343 0 734212 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 2948592 KiB
Current children cumulated memory: 1443028 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/250 87721
/proc/meminfo: memFree=118186804/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1531092 CPUtime=2974.04 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 213142 0 0 0 297097 307 0 0 20 0 1 0 76424565 3153575936 382773 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 382773 1760 343 0 766980 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1531092 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/250 87723
/proc/meminfo: memFree=118403980/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1541332 CPUtime=3033.87 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 213154 0 0 0 303080 307 0 0 20 0 1 0 76424565 3153575936 385333 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 385333 1760 343 0 766980 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1541332 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/250 87725
/proc/meminfo: memFree=118191496/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1533140 CPUtime=3093.71 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 215124 0 0 0 309059 312 0 0 20 0 1 0 76424565 3153575936 383285 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 383285 1760 343 0 766980 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1533140 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/249 87727
/proc/meminfo: memFree=118069972/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1539284 CPUtime=3153.55 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 215312 0 0 0 315043 312 0 0 20 0 1 0 76424565 3153575936 384821 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 384821 1760 343 0 766980 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1539284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/249 87729
/proc/meminfo: memFree=118228716/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1541332 CPUtime=3213.38 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 215319 0 0 0 321026 312 0 0 20 0 1 0 76424565 3153575936 385333 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 385333 1760 343 0 766980 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1541332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/250 87736
/proc/meminfo: memFree=118186324/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1533140 CPUtime=3273.22 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 217307 0 0 0 327006 316 0 0 20 0 1 0 76424565 3153575936 383285 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 383285 1760 343 0 766980 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1533140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.11 4.03 5/250 87738
/proc/meminfo: memFree=118272892/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1541332 CPUtime=3333.06 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 217496 0 0 0 332990 316 0 0 20 0 1 0 76424565 3153575936 385333 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 385333 1760 343 0 766980 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1541332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/250 87740
/proc/meminfo: memFree=118165156/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1541332 CPUtime=3392.9 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 219483 0 0 0 338969 321 0 0 20 0 1 0 76424565 3153575936 385333 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 385333 1760 343 0 766980 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1541332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.02 5/250 87744
/proc/meminfo: memFree=118360856/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1545428 CPUtime=3452.74 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 219490 0 0 0 344953 321 0 0 20 0 1 0 76424565 3153575936 386357 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 386357 1760 343 0 766980 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1545428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/250 87746
/proc/meminfo: memFree=118104704/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=2948592 memory=1455828 CPUtime=3512.57 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 220214 0 0 0 350935 322 0 0 20 0 1 0 76424565 3019358208 363957 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 737148 363957 1760 343 0 734212 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 2948592 KiB
Current children cumulated memory: 1455828 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/250 87748
/proc/meminfo: memFree=118304304/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1537236 CPUtime=3572.41 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 222555 0 0 0 356915 326 0 0 20 0 1 0 76424565 3153575936 384309 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 384309 1760 343 0 766980 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1537236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.12 4.10 4.03 5/250 87750
/proc/meminfo: memFree=118730000/131382112 swapFree=33002444/33010684
[pid=87546] ppid=87542 vsize=3079664 memory=1541332 CPUtime=3600.05 cores=0,2
/proc/87546/stat : 87546 (pb_picat) R 87542 87546 87502 0 -1 4194304 222558 0 0 0 359679 326 0 0 20 0 1 0 76424565 3153575936 385333 18446744073709551615 94034412834816 94034414236397 140732576888000 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94034414507824 94034416382128 94034438316032 140732576889246 140732576889322 140732576889322 140732576894924 0
/proc/87546/statm: 769916 385333 1760 343 0 766980 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3079664 KiB
Current children cumulated memory: 1541332 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.79 s, system=3.27398 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.02
CPU time (s): 3600.07
CPU user time (s): 3596.79
CPU system time (s): 3.27398
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 3716484
Max. memory (cumulated for all children) (KiB): 1939288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.79
system time used= 3.27398
maximum resident set size= 1939288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222558
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= 141
involuntary context switches= 8694


# summary of solver processes directly reported to runsolver:
#   pid: 87546
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.79
#   total CPU system time (s): 3.27398

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5239 second user time and 33.781 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-04 07:37:32
IDJOB=4523789
IDBENCH=180374
IDSOLVER=3346
FILE ID=nodeC005/4523789-1751607451
RUNJOBID= nodeC005-1751607451-87512
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_32_label3_adversarial_norm_inf.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523789-1751607451/watcher-4523789-1751607451 -o /tmp/evaluation-result-4523789-1751607451/solver-4523789-1751607451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751607451-87512 --watchdog 3760  pb_picat HOME/instance-4523789-1751607451.opb

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

MD5SUM BENCH= 6cb38b401990639cbd6e40c3a4829a77
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.427
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:     357232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 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:42