Trace number 4491521

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 NameAnswerCPU timeWall clock time
AI448PBSolver 2025-05-31? (TO) 3600.08 3611.53

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM209c63ac31a13f6816f27826d17fc4ad
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.2254
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491521-1751133631/watcher-4491521-1751133631 -o /tmp/evaluation-result-4491521-1751133631/solver-4491521-1751133631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751133631-12544 --watchdog 3760 HOME/solve.sh HOME/instance-4491521-1751133631.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=12611, runsolver pid=12605
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 0.42 0.15 0.11 2/262 12616
/proc/meminfo: memFree=130107048/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=1776 memory=256 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) D 12605 12611 12525 0 -1 4456448 142 0 0 0 0 0 0 0 20 0 1 0 29041880 1818624 64 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 444 64 64 219 0 64 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 1776 KiB
Current children cumulated memory: 256 KiB

[startup+0.20519 s]*
/proc/loadavg: 0.42 0.15 0.11 4/265 12624
/proc/meminfo: memFree=130083164/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 309 117 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12620] ppid=12611 vsize=2792 memory=1408 CPUtime=0 cores=5,7
/proc/12620/stat : 12620 (cat) S 12611 12611 12525 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 29041896 2859008 352 18446744073709551615 94246210138112 94246210153169 140734859465600 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94246210165392 94246210166888 94246222696448 140734859467235 140734859467306 140734859467306 140734859472875 0
/proc/12620/statm: 698 352 320 4 0 124 0
[pid=12621] ppid=12611 vsize=8908 memory=4096 CPUtime=0 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 656 0 0 0 0 0 0 0 20 0 1 0 29041896 9121792 1024 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 2227 1024 480 108 0 744 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 15892 KiB
Current children cumulated memory: 8448 KiB

[startup+0.304884 s]*
/proc/loadavg: 0.42 0.15 0.11 3/259 12628
/proc/meminfo: memFree=129998596/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=84368 memory=73220 CPUtime=0.1 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 15492 0 0 0 8 2 0 0 20 0 1 0 29041896 86392832 18305 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 21092 18305 512 108 0 19609 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 88560 KiB
Current children cumulated memory: 76164 KiB

[startup+0.700159 s]
/proc/loadavg: 0.42 0.15 0.11 3/259 12628
/proc/meminfo: memFree=129994572/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=88780 memory=77444 CPUtime=0.49 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 16483 0 0 0 47 2 0 0 20 0 1 0 29041896 90910720 19361 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 22195 19361 576 108 0 20712 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 92972 KiB
Current children cumulated memory: 80388 KiB

[startup+1.5002 s]
/proc/loadavg: 0.42 0.15 0.11 4/259 12628
/proc/meminfo: memFree=129994068/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=90124 memory=78468 CPUtime=1.29 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 16727 0 0 0 127 2 0 0 20 0 1 0 29041896 92286976 19617 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 22531 19617 576 108 0 21048 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 94316 KiB
Current children cumulated memory: 81412 KiB

[startup+3.10538 s]
/proc/loadavg: 0.42 0.15 0.11 3/259 12628
/proc/meminfo: memFree=129984876/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=91652 memory=79748 CPUtime=2.89 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 17067 0 0 0 287 2 0 0 20 0 1 0 29041896 93851648 19937 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 22913 19937 576 108 0 21430 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 95844 KiB
Current children cumulated memory: 82692 KiB

[startup+6.30019 s]
/proc/loadavg: 0.71 0.22 0.13 3/261 12634
/proc/meminfo: memFree=129982564/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=94956 memory=82948 CPUtime=6.07 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 17877 0 0 0 605 2 0 0 20 0 1 0 29041896 97234944 20737 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 23739 20737 576 108 0 22256 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 99148 KiB
Current children cumulated memory: 85892 KiB

[startup+12.7002 s]
/proc/loadavg: 1.05 0.30 0.16 3/263 12664
/proc/meminfo: memFree=129996044/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=104492 memory=91908 CPUtime=12.46 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 20104 0 0 0 1243 3 0 0 20 0 1 0 29041896 106999808 22977 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 26123 22977 576 108 0 24640 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 108684 KiB
Current children cumulated memory: 94852 KiB

[startup+25.5002 s]
/proc/loadavg: 1.70 0.48 0.22 3/261 12745
/proc/meminfo: memFree=129945064/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=118848 memory=105476 CPUtime=25.22 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 23486 0 0 0 2518 4 0 0 20 0 1 0 29041896 121700352 26369 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 29712 26369 576 108 0 28229 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 123040 KiB
Current children cumulated memory: 108420 KiB

[startup+51.1055 s]
/proc/loadavg: 2.61 0.79 0.33 4/264 12872
/proc/meminfo: memFree=129764948/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=136648 memory=120836 CPUtime=50.75 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 27345 0 0 0 5070 5 0 0 20 0 1 0 29041896 139927552 30209 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 34162 30209 576 108 0 32679 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 140840 KiB
Current children cumulated memory: 123780 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.31 0.53 5/270 12916
/proc/meminfo: memFree=129646352/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=166900 memory=146692 CPUtime=101.8 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 33829 0 0 0 10173 7 0 0 20 0 1 0 29041896 170905600 36673 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 41725 36673 576 108 0 40242 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 171092 KiB
Current children cumulated memory: 149636 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.81 0.76 5/270 12918
/proc/meminfo: memFree=129515296/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=245480 memory=216836 CPUtime=161.6 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 51366 0 0 0 16147 13 0 0 20 0 1 0 29041896 251371520 54209 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 61370 54209 576 108 0 59887 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 249672 KiB
Current children cumulated memory: 219780 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.23 0.97 5/270 12920
/proc/meminfo: memFree=129416416/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=255884 memory=227332 CPUtime=221.4 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 54041 0 0 0 22126 14 0 0 20 0 1 0 29041896 262025216 56833 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 63971 56833 576 108 0 62488 0
Current children cumulated CPU time: 221.4 s

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

/proc/12621/statm: 356663 316505 576 108 0 355180 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 1430844 KiB
Current children cumulated memory: 1268964 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.03 5/268 14552
/proc/meminfo: memFree=126279112/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1426652 memory=1266276 CPUtime=3152.41 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 291969 0 0 0 315152 89 0 0 20 0 1 0 29041896 1460891648 316569 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 356663 316569 576 108 0 355180 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 1430844 KiB
Current children cumulated memory: 1269220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.03 5/268 14557
/proc/meminfo: memFree=126242928/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1426652 memory=1266404 CPUtime=3212.2 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 292020 0 0 0 321131 89 0 0 20 0 1 0 29041896 1460891648 316601 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 356663 316601 576 108 0 355180 0
Current children cumulated CPU time: 3212.2 s
Current children cumulated vsize: 1430844 KiB
Current children cumulated memory: 1269348 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.03 5/268 14559
/proc/meminfo: memFree=126186824/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1426652 memory=1267172 CPUtime=3271.99 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 292214 0 0 0 327110 89 0 0 20 0 1 0 29041896 1460891648 316793 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 356663 316793 576 108 0 355180 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 1430844 KiB
Current children cumulated memory: 1270116 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.19 4.06 5/268 14561
/proc/meminfo: memFree=126185176/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1426652 memory=1268964 CPUtime=3331.78 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 292656 0 0 0 333089 89 0 0 20 0 1 0 29041896 1460891648 317241 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 356663 317241 576 108 0 355180 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 1430844 KiB
Current children cumulated memory: 1271908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.18 4.06 5/267 14563
/proc/meminfo: memFree=126165788/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1426908 memory=1271524 CPUtime=3391.58 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 293308 0 0 0 339068 90 0 0 20 0 1 0 29041896 1461153792 317881 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 356727 317881 576 108 0 355244 0
Current children cumulated CPU time: 3391.58 s
Current children cumulated vsize: 1431100 KiB
Current children cumulated memory: 1274468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.06 5/267 14565
/proc/meminfo: memFree=126097952/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1427164 memory=1272164 CPUtime=3451.37 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 293464 0 0 0 345047 90 0 0 20 0 1 0 29041896 1461415936 318041 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 356791 318041 576 108 0 355308 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 1431356 KiB
Current children cumulated memory: 1275108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.06 5/267 14568
/proc/meminfo: memFree=126040860/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1429724 memory=1274340 CPUtime=3511.15 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 294003 0 0 0 351025 90 0 0 20 0 1 0 29041896 1464037376 318585 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 357431 318585 576 108 0 355948 0
Current children cumulated CPU time: 3511.15 s
Current children cumulated vsize: 1433916 KiB
Current children cumulated memory: 1277284 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.06 5/267 14570
/proc/meminfo: memFree=126032668/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1432284 memory=1276772 CPUtime=3570.93 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 294960 0 0 0 357003 90 0 0 20 0 1 0 29041896 1466658816 319193 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 358071 319193 576 108 0 356588 0
Current children cumulated CPU time: 3570.93 s
Current children cumulated vsize: 1436476 KiB
Current children cumulated memory: 1279716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.15 4.14 4.07 5/267 14572
/proc/meminfo: memFree=126024708/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1435356 memory=1278948 CPUtime=3600.03 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 295519 0 0 0 359913 90 0 0 20 0 1 0 29041896 1469804544 319737 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 358839 319737 576 108 0 357356 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1439548 KiB
Current children cumulated memory: 1281892 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.014224 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=0.948374 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.5 s]
/proc/loadavg: 4.15 4.14 4.07 5/267 14572
/proc/meminfo: memFree=126024708/131249996 swapFree=33010684/33010684
[pid=12611] ppid=12605 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/12611/stat : 12611 (bash) S 12605 12611 12525 0 -1 4194304 310 257 0 0 0 0 0 0 20 0 1 0 29041880 4292608 736 18446744073709551615 94328147808256 94328148702789 140731372406880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94328148941840 94328148989584 94328158732288 140731372411284 140731372411400 140731372411400 140731372417002 0
/proc/12611/statm: 1048 736 672 219 0 110 0
[pid=12621] ppid=12611 vsize=1435356 memory=1278948 CPUtime=3600.03 cores=5,7
/proc/12621/stat : 12621 (solve_pb) R 12611 12611 12525 0 -1 4194304 295519 0 0 0 359913 90 0 0 20 0 1 0 29041896 1469804544 319737 18446744073709551615 94104602268672 94104602706816 140728381549312 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94104602735536 94104602737952 94104605450240 140728381557124 140728381557188 140728381557188 140728381562808 0
/proc/12621/statm: 358839 319737 576 108 0 357356 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1439548 KiB
Current children cumulated memory: 1281892 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.53
CPU time (s): 3600.08
CPU user time (s): 3599.14
CPU system time (s): 0.948374
CPU usage (%): 99.6832
Max. virtual memory (cumulated for all children) (KiB): 1439548
Max. memory (cumulated for all children) (KiB): 1281892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.948374
maximum resident set size= 1278948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296086
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= 1267
involuntary context switches= 21922


# summary of solver processes directly reported to runsolver:
#   pid: 12611,12621
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 0.948374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23152 second user time and 16.6051 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-28 20:00:32
IDJOB=4491521
IDBENCH=147718
IDSOLVER=3321
FILE ID=nodeC032/4491521-1751133631
RUNJOBID= nodeC032-1751133631-12544
SLURM_JOB_ID= 9587432
Free space on /tmp= 432044 MiB

SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491521-1751133631/watcher-4491521-1751133631 -o /tmp/evaluation-result-4491521-1751133631/solver-4491521-1751133631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751133631-12544 --watchdog 3760  HOME/solve.sh HOME/instance-4491521-1751133631.opb

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

MD5SUM BENCH= 209c63ac31a13f6816f27826d17fc4ad
RANDOM SEED=130135792

nodeC032 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		: 3608.052
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.69
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		: 3601.284
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.69
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		: 3608.468
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.69
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		: 3676.267
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.69
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		: 3603.456
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.69
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.792
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.69
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.511
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.69
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.169
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130297092 kB
MemAvailable:   129867296 kB
Buffers:            3280 kB
Cached:           331724 kB
SwapCached:            0 kB
Active:           278040 kB
Inactive:         126028 kB
Active(anon):      87132 kB
Inactive(anon):        0 kB
Active(file):     190908 kB
Inactive(file):   126028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26196 kB
Writeback:             0 kB
AnonPages:         72236 kB
Mapped:           102308 kB
Shmem:             18068 kB
KReclaimable:      58832 kB
Slab:             134780 kB
SReclaimable:      58832 kB
SUnreclaim:        75948 kB
KernelStack:        4272 kB
PageTables:         3148 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     406844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432056 MiB
End job on nodeC032 at 2025-06-28 21:00:44