Trace number 4544320

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.43 3613.35

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb
MD5SUM5f9c71ef62aa1641b9bec64204b49f28
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 benchmark0.246393
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8643
Total number of constraints7204
Number of constraints which are clauses5762
Number of constraints which are cardinality constraints (but not clauses)1441
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint5762
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 5762
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 17286
Number of bits of the biggest sum of numbers15
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: 63837 MiB (49561 MiB free)
  memory of node 1: 64465 MiB (49545 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544320-1753228405/watcher-4544320-1753228405 -o /tmp/evaluation-result-4544320-1753228405/solver-4544320-1753228405 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753224419-160936 --watchdog 3760 HOME/solve.sh HOME/instance-4544320-1753228405.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=161684, runsolver pid=161681

[startup+0.100074 s]*
/proc/loadavg: 4.61 4.35 4.24 5/254 161688
/proc/meminfo: memFree=101482468/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=15684 memory=9856 CPUtime=0.07 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1986 0 0 0 6 1 0 0 20 0 1 0 238519848 16060416 2464 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 3921 2464 608 108 0 2438 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 19876 KiB
Current children cumulated memory: 12800 KiB

[startup+0.21349 s]*
/proc/loadavg: 4.61 4.35 4.24 5/254 161688
/proc/meminfo: memFree=101482468/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=20444 memory=13824 CPUtime=0.18 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 2979 0 0 0 17 1 0 0 20 0 1 0 238519848 20934656 3456 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 5111 3456 608 108 0 3628 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 24636 KiB
Current children cumulated memory: 16768 KiB

[startup+0.313354 s]*
/proc/loadavg: 4.61 4.35 4.24 5/254 161688
/proc/meminfo: memFree=101482468/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=25064 memory=17920 CPUtime=0.29 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 4005 0 0 0 27 2 0 0 20 0 1 0 238519848 25665536 4480 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 6266 4480 608 108 0 4783 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29256 KiB
Current children cumulated memory: 20864 KiB

[startup+0.700411 s]
/proc/loadavg: 4.61 4.35 4.24 5/254 161688
/proc/meminfo: memFree=101482004/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=38556 memory=29312 CPUtime=0.66 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 6863 0 0 0 63 3 0 0 20 0 1 0 238519848 39481344 7328 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 9639 7328 608 108 0 8156 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 42748 KiB
Current children cumulated memory: 32256 KiB

[startup+1.5004 s]
/proc/loadavg: 4.61 4.35 4.24 5/254 161688
/proc/meminfo: memFree=101466128/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=67660 memory=53504 CPUtime=1.45 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 12904 0 0 0 141 4 0 0 20 0 1 0 238519848 69283840 13376 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 16915 13376 608 108 0 15432 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 71852 KiB
Current children cumulated memory: 56448 KiB

[startup+3.11306 s]
/proc/loadavg: 4.61 4.35 4.24 5/254 161688
/proc/meminfo: memFree=101385852/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=166336 memory=131200 CPUtime=3.06 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 32336 0 0 0 298 8 0 0 20 0 1 0 238519848 170328064 32800 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 41584 32800 608 108 0 40101 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 170528 KiB
Current children cumulated memory: 134144 KiB

[startup+6.30039 s]
/proc/loadavg: 4.64 4.37 4.25 5/254 161688
/proc/meminfo: memFree=101225664/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=359348 memory=277504 CPUtime=6.23 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 68899 0 0 0 608 15 0 0 20 0 1 0 238519848 367972352 69376 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 89837 69376 608 108 0 88354 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 363540 KiB
Current children cumulated memory: 280448 KiB

[startup+12.7004 s]
/proc/loadavg: 4.67 4.38 4.25 5/254 161688
/proc/meminfo: memFree=101121052/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=452516 memory=372096 CPUtime=12.61 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 92549 0 0 0 1241 20 0 0 20 0 1 0 238519848 463376384 93024 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 113129 93024 608 108 0 111646 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 456708 KiB
Current children cumulated memory: 375040 KiB

[startup+25.5005 s]
/proc/loadavg: 4.74 4.41 4.26 5/254 161688
/proc/meminfo: memFree=100839376/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=781268 memory=615424 CPUtime=25.38 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 153385 0 0 0 2505 33 0 0 20 0 1 0 238519848 800018432 153856 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 195317 153856 608 108 0 193834 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 785460 KiB
Current children cumulated memory: 618368 KiB

[startup+51.1131 s]
/proc/loadavg: 4.55 4.39 4.26 5/254 161688
/proc/meminfo: memFree=100597524/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=948912 memory=784000 CPUtime=50.91 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 195528 0 0 0 5047 44 0 0 20 0 1 0 238519848 971685888 196000 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 237228 196000 608 108 0 235745 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 953104 KiB
Current children cumulated memory: 786944 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.33 4.25 5/254 161690
/proc/meminfo: memFree=99957824/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=1698204 memory=1337984 CPUtime=101.95 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 334045 0 0 0 10120 75 0 0 20 0 1 0 238519848 1738960896 334496 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 424551 334496 608 108 0 423068 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1702396 KiB
Current children cumulated memory: 1340928 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.31 4.25 5/254 161692
/proc/meminfo: memFree=99298652/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=2422072 memory=1715072 CPUtime=161.77 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 428289 0 0 0 16079 98 0 0 20 0 1 0 238519848 2480201728 428768 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 605518 428768 608 108 0 604035 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2426264 KiB
Current children cumulated memory: 1718016 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.27 4.24 5/255 161701
/proc/meminfo: memFree=98701368/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=2839104 memory=1998976 CPUtime=221.58 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 499290 0 0 0 22041 117 0 0 20 0 1 0 238519848 2907242496 499744 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 709776 499744 608 108 0 708293 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2843296 KiB

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

Current children cumulated memory: 6090052 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.13 5/254 161851
/proc/meminfo: memFree=88567256/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=7892556 memory=6110148 CPUtime=3151.03 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1606272 0 0 0 314641 462 0 0 20 0 1 0 238519848 8081977344 1527537 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 1973139 1527537 608 108 0 1971656 0
Current children cumulated CPU time: 3151.03 s
Current children cumulated vsize: 7896748 KiB
Current children cumulated memory: 6113092 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/255 161860
/proc/meminfo: memFree=88412348/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=7909580 memory=6127428 CPUtime=3210.83 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1610582 0 0 0 320619 464 0 0 20 0 1 0 238519848 8099409920 1531857 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 1977395 1531857 608 108 0 1975912 0
Current children cumulated CPU time: 3210.83 s
Current children cumulated vsize: 7913772 KiB
Current children cumulated memory: 6130372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/255 162246
/proc/meminfo: memFree=99491468/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=8020760 memory=6209092 CPUtime=3270.63 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1630997 0 0 0 326594 469 0 0 20 0 1 0 238519848 8213258240 1552273 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 2005190 1552273 608 108 0 2003707 0
Current children cumulated CPU time: 3270.63 s
Current children cumulated vsize: 8024952 KiB
Current children cumulated memory: 6212036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/254 162248
/proc/meminfo: memFree=99312456/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=8142352 memory=6325060 CPUtime=3330.42 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1659974 0 0 0 332566 476 0 0 20 0 1 0 238519848 8337768448 1581265 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 2035588 1581265 608 108 0 2034105 0
Current children cumulated CPU time: 3330.42 s
Current children cumulated vsize: 8146544 KiB
Current children cumulated memory: 6328004 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 162393
/proc/meminfo: memFree=99151904/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=8288276 memory=6457540 CPUtime=3390.19 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1693105 0 0 0 338534 485 0 0 20 0 1 0 238519848 8487194624 1614385 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 2072069 1614385 608 108 0 2070586 0
Current children cumulated CPU time: 3390.19 s
Current children cumulated vsize: 8292468 KiB
Current children cumulated memory: 6460484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/255 162396
/proc/meminfo: memFree=99017384/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=8394264 memory=6549700 CPUtime=3449.96 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1716154 0 0 0 344506 490 0 0 20 0 1 0 238519848 8595726336 1637425 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 2098566 1637425 608 108 0 2097083 0
Current children cumulated CPU time: 3449.96 s
Current children cumulated vsize: 8398456 KiB
Current children cumulated memory: 6552644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/254 162398
/proc/meminfo: memFree=98845560/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=8530972 memory=6682064 CPUtime=3509.72 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1750566 0 0 0 350473 499 0 0 20 0 1 0 238519848 8735715328 1670516 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 2132743 1670516 608 108 0 2131260 0
Current children cumulated CPU time: 3509.72 s
Current children cumulated vsize: 8535164 KiB
Current children cumulated memory: 6685008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/254 162400
/proc/meminfo: memFree=98779472/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=8543516 memory=6697424 CPUtime=3569.48 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1754412 0 0 0 356448 500 0 0 20 0 1 0 238519848 8748560384 1674356 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 2135879 1674356 608 108 0 2134396 0
Current children cumulated CPU time: 3569.48 s
Current children cumulated vsize: 8547708 KiB
Current children cumulated memory: 6700368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.31 4.15 4.12 5/254 162401
/proc/meminfo: memFree=98747232/131382112 swapFree=33001664/33010684
[pid=161684] ppid=161681 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/161684/stat : 161684 (bash) S 161681 161684 160926 0 -1 4194304 310 259 0 0 0 0 0 0 20 0 1 0 238519846 4292608 736 18446744073709551615 94223269228544 94223270123077 140726147372624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94223270362128 94223270409872 94223295791104 140726147381650 140726147381766 140726147381766 140726147387370 0
/proc/161684/statm: 1048 736 672 219 0 110 0
[pid=161688] ppid=161684 vsize=8564260 memory=6710864 CPUtime=3600.07 cores=0,2
/proc/161688/stat : 161688 (solve_pb) R 161684 161684 160926 0 -1 4194304 1757781 0 0 0 359505 502 0 0 20 0 1 0 238519848 8769802240 1677716 18446744073709551615 94866353595392 94866354033536 140725587638208 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94866354062256 94866354064672 94866373869568 140725587642754 140725587642818 140725587642818 140725587648440 0
/proc/161688/statm: 2141065 1677716 608 108 0 2139582 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 8568452 KiB
Current children cumulated memory: 6713808 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3595.06 s, system=5.37787 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+3613.21 s]
/proc/loadavg: 4.31 4.15 4.12 5/253 162401
/proc/meminfo: memFree=102889972/131382112 swapFree=33001664/33010684
Current cumulated CPU time of completed processes: 0.017427 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3613.3 s]
/proc/loadavg: 4.31 4.15 4.12 5/253 162401
/proc/meminfo: memFree=102889972/131382112 swapFree=33001664/33010684
Current cumulated CPU time of completed processes: 0.017427 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3613.35
CPU time (s): 3600.43
CPU user time (s): 3595.06
CPU system time (s): 5.37787
CPU usage (%): 99.6424
Max. virtual memory (cumulated for all children) (KiB): 8568452
Max. memory (cumulated for all children) (KiB): 6713808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.06
system time used= 5.37787
maximum resident set size= 6710864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1758350
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= 503
involuntary context switches= 9144


# summary of solver processes directly reported to runsolver:
#   pid: 161684,161688
#   total CPU time (s): 3600.43
#   total CPU user time (s): 3595.06
#   total CPU system time (s): 5.37787

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7677 second user time and 37.4486 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-23 01:53:25
IDJOB=4544320
IDBENCH=175302
IDSOLVER=3321
FILE ID=nodeC005/4544320-1753228405
RUNJOBID= nodeC005-1753224419-160936
SLURM_JOB_ID= 9687834
Free space on /tmp= 433032 MiB

SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544320-1753228405/watcher-4544320-1753228405 -o /tmp/evaluation-result-4544320-1753228405/solver-4544320-1753228405 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753224419-160936 --watchdog 3760  HOME/solve.sh HOME/instance-4544320-1753228405.opb

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

MD5SUM BENCH= 5f9c71ef62aa1641b9bec64204b49f28
RANDOM SEED=560368604

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.773
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		: 3591.716
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.244
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.261
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		: 3661.937
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		: 3591.725
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.244
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.322
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:        101494724 kB
MemAvailable:   125565504 kB
Buffers:              12 kB
Cached:         24842184 kB
SwapCached:          776 kB
Active:          4781932 kB
Inactive:       24427376 kB
Active(anon):    4349292 kB
Inactive(anon):    38384 kB
Active(file):     432640 kB
Inactive(file): 24388992 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33001664 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               652 kB
Writeback:            24 kB
AnonPages:       4369544 kB
Mapped:           104456 kB
Shmem:             20564 kB
KReclaimable:     177548 kB
Slab:             270720 kB
SReclaimable:     177548 kB
SUnreclaim:        93172 kB
KernelStack:        4112 kB
PageTables:        15104 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6187912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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= 433024 MiB
End job on nodeC005 at 2025-07-23 02:53:38