Trace number 4544398

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.38 3613.49

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
MD5SUM9594ac6881a98589fd35bafe025917a8
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.145039
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6723
Total number of constraints5604
Number of constraints which are clauses4482
Number of constraints which are cardinality constraints (but not clauses)1121
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint4482
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 4482
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13446
Number of bits of the biggest sum of numbers14
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: 63665 MiB (62208 MiB free)
  memory of node 1: 64507 MiB (55511 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544398-1753229800/watcher-4544398-1753229800 -o /tmp/evaluation-result-4544398-1753229800/solver-4544398-1753229800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753222566-179251 --watchdog 3760 HOME/solve.sh HOME/instance-4544398-1753229800.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=180788, runsolver pid=180785

[startup+0.100058 s]*
/proc/loadavg: 4.13 4.11 4.09 5/266 180792
/proc/meminfo: memFree=120536896/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=22380 memory=15104 CPUtime=0.07 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 3313 0 0 0 7 0 0 0 20 0 1 0 238657801 22917120 3776 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 5595 3776 576 108 0 4112 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 26572 KiB
Current children cumulated memory: 18048 KiB

[startup+0.20574 s]*
/proc/loadavg: 4.13 4.11 4.09 5/266 180792
/proc/meminfo: memFree=120536896/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=28980 memory=20224 CPUtime=0.18 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 4581 0 0 0 17 1 0 0 20 0 1 0 238657801 29675520 5056 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 7245 5056 576 108 0 5762 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33172 KiB
Current children cumulated memory: 23168 KiB

[startup+0.305552 s]*
/proc/loadavg: 4.13 4.11 4.09 5/266 180792
/proc/meminfo: memFree=120528076/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=36504 memory=24832 CPUtime=0.28 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 5762 0 0 0 27 1 0 0 20 0 1 0 238657801 37380096 6208 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 9126 6208 576 108 0 7643 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 40696 KiB
Current children cumulated memory: 27776 KiB

[startup+0.70021 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 180792
/proc/meminfo: memFree=120508172/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=59148 memory=41088 CPUtime=0.66 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 9824 0 0 0 65 1 0 0 20 0 1 0 238657801 60567552 10272 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 14787 10272 576 108 0 13304 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63340 KiB
Current children cumulated memory: 44032 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 180792
/proc/meminfo: memFree=120464324/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=99200 memory=72064 CPUtime=1.46 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 17555 0 0 0 143 3 0 0 20 0 1 0 238657801 101580800 18016 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 24800 18016 576 108 0 23317 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 103392 KiB
Current children cumulated memory: 75008 KiB

[startup+3.10544 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 180827
/proc/meminfo: memFree=121234972/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=162400 memory=116224 CPUtime=3.06 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 28589 0 0 0 301 5 0 0 20 0 1 0 238657801 166297600 29056 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 40600 29056 576 108 0 39117 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 166592 KiB
Current children cumulated memory: 119168 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 180840
/proc/meminfo: memFree=121011508/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=219188 memory=153728 CPUtime=6.24 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 37978 0 0 0 617 7 0 0 20 0 1 0 238657801 224448512 38432 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 54797 38432 576 108 0 53314 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 223380 KiB
Current children cumulated memory: 156672 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 180840
/proc/meminfo: memFree=120762884/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=363852 memory=257792 CPUtime=12.63 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 63979 0 0 0 1251 12 0 0 20 0 1 0 238657801 372584448 64448 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 90963 64448 576 108 0 89480 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 368044 KiB
Current children cumulated memory: 260736 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 180841
/proc/meminfo: memFree=120409168/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=689288 memory=489216 CPUtime=25.38 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 121848 0 0 0 2515 23 0 0 20 0 1 0 238657801 705830912 122304 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 172322 122304 576 108 0 170839 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 693480 KiB
Current children cumulated memory: 492160 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 180842
/proc/meminfo: memFree=119734200/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=1300604 memory=889216 CPUtime=50.92 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 221849 0 0 0 5048 44 0 0 20 0 1 0 238657801 1331818496 222304 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 325151 222304 576 108 0 323668 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1304796 KiB
Current children cumulated memory: 892160 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 180844
/proc/meminfo: memFree=118661772/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=2147884 memory=1372032 CPUtime=101.96 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 342508 0 0 0 10125 71 0 0 20 0 1 0 238657801 2199433216 343008 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 536971 343008 608 108 0 535488 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2152076 KiB
Current children cumulated memory: 1374976 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 180893
/proc/meminfo: memFree=125162924/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=2176724 memory=1470520 CPUtime=161.77 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 426396 0 0 0 16081 96 0 0 20 0 1 0 238657801 2228965376 367630 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 544181 367630 608 108 0 542698 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2180916 KiB
Current children cumulated memory: 1473464 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 180899
/proc/meminfo: memFree=124608416/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=2592264 memory=1835576 CPUtime=221.56 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 517686 0 0 0 22041 115 0 0 20 0 1 0 238657801 2654478336 458894 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 648066 458894 608 108 0 646583 0
Current children cumulated CPU time: 221.56 s

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

[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7532788 memory=4930056 CPUtime=3091.29 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1336130 0 0 0 308800 329 0 0 20 0 1 0 238657801 7713574912 1232514 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1883197 1232514 608 108 0 1881714 0
Current children cumulated CPU time: 3091.29 s
Current children cumulated vsize: 7536980 KiB
Current children cumulated memory: 4933000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 181048
/proc/meminfo: memFree=117755916/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7554836 memory=4978696 CPUtime=3151.02 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1348313 0 0 0 314769 333 0 0 20 0 1 0 238657801 7736152064 1244674 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1888709 1244674 608 108 0 1887226 0
Current children cumulated CPU time: 3151.02 s
Current children cumulated vsize: 7559028 KiB
Current children cumulated memory: 4981640 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 181054
/proc/meminfo: memFree=117683516/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7581228 memory=5024392 CPUtime=3210.76 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1359729 0 0 0 320740 336 0 0 20 0 1 0 238657801 7763177472 1256098 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1895307 1256098 608 108 0 1893824 0
Current children cumulated CPU time: 3210.76 s
Current children cumulated vsize: 7585420 KiB
Current children cumulated memory: 5027336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 181057
/proc/meminfo: memFree=117500896/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7591724 memory=5065992 CPUtime=3270.49 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1365692 0 0 0 326711 338 0 0 20 0 1 0 238657801 7773925376 1266498 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1897931 1266498 608 108 0 1896448 0
Current children cumulated CPU time: 3270.49 s
Current children cumulated vsize: 7595916 KiB
Current children cumulated memory: 5068936 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 181059
/proc/meminfo: memFree=117346176/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7605044 memory=5115016 CPUtime=3330.23 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1372669 0 0 0 332683 340 0 0 20 0 1 0 238657801 7787565056 1278754 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1901261 1278754 608 108 0 1899778 0
Current children cumulated CPU time: 3330.23 s
Current children cumulated vsize: 7609236 KiB
Current children cumulated memory: 5117960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 181061
/proc/meminfo: memFree=117234564/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7616828 memory=5163528 CPUtime=3390 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1380211 0 0 0 338658 342 0 0 20 0 1 0 238657801 7799631872 1290882 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1904207 1290882 608 108 0 1902724 0
Current children cumulated CPU time: 3390 s
Current children cumulated vsize: 7621020 KiB
Current children cumulated memory: 5166472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 181063
/proc/meminfo: memFree=117136092/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7624260 memory=5212296 CPUtime=3449.77 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1386692 0 0 0 344633 344 0 0 20 0 1 0 238657801 7807242240 1303074 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1906065 1303074 608 108 0 1904582 0
Current children cumulated CPU time: 3449.77 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 5215240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/268 181065
/proc/meminfo: memFree=116998932/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7691488 memory=5308936 CPUtime=3509.54 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1403660 0 0 0 350605 349 0 0 20 0 1 0 238657801 7876083712 1327234 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1922872 1327234 608 108 0 1921389 0
Current children cumulated CPU time: 3509.54 s
Current children cumulated vsize: 7695680 KiB
Current children cumulated memory: 5311880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.40 4.21 4.12 5/269 181069
/proc/meminfo: memFree=116847928/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7808960 memory=5437704 CPUtime=3569.29 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1428825 0 0 0 356574 355 0 0 20 0 1 0 238657801 7996375040 1359426 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1952240 1359426 608 108 0 1950757 0
Current children cumulated CPU time: 3569.29 s
Current children cumulated vsize: 7813152 KiB
Current children cumulated memory: 5440648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.2 s]
/proc/loadavg: 4.23 4.19 4.12 4/261 181102
/proc/meminfo: memFree=122011016/131249996 swapFree=33010416/33010684
[pid=180788] ppid=180785 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/180788/stat : 180788 (bash) S 180785 180788 179241 0 -1 4194304 311 254 0 0 0 0 0 0 20 0 1 0 238657799 4292608 736 18446744073709551615 94735252529152 94735253423685 140720458196480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94735253662736 94735253710480 94735268786176 140720458201490 140720458201606 140720458201606 140720458207210 0
/proc/180788/statm: 1048 736 672 219 0 110 0
[pid=180792] ppid=180788 vsize=7869516 memory=5499016 CPUtime=3600.08 cores=0,2
/proc/180792/stat : 180792 (solve_pb) R 180788 180788 179241 0 -1 4194304 1442630 0 0 0 359649 359 0 0 20 0 1 0 238657801 8058384384 1374754 18446744073709551615 94853337330688 94853337768832 140733170876624 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94853337797552 94853337799968 94853360410624 140733170878850 140733170878914 140733170878914 140733170884536 0
/proc/180792/statm: 1967379 1374754 608 108 0 1965896 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7873708 KiB
Current children cumulated memory: 5501960 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3596.5 s, system=3.882 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.41 s]
/proc/loadavg: 4.23 4.19 4.12 4/260 181102
/proc/meminfo: memFree=125107520/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.006128 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.49
CPU time (s): 3600.38
CPU user time (s): 3596.5
CPU system time (s): 3.882
CPU usage (%): 99.6372
Max. virtual memory (cumulated for all children) (KiB): 7873708
Max. memory (cumulated for all children) (KiB): 5501960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.5
system time used= 3.882
maximum resident set size= 5499016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1443195
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= 439
involuntary context switches= 8237


# summary of solver processes directly reported to runsolver:
#   pid: 180788,180792
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3596.5
#   total CPU system time (s): 3.882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02118 second user time and 17.9853 second system time

The end

Launcher Data

Begin job on nodeC022 at 2025-07-23 02:16:40
IDJOB=4544398
IDBENCH=175404
IDSOLVER=3321
FILE ID=nodeC022/4544398-1753229800
RUNJOBID= nodeC022-1753222566-179251
SLURM_JOB_ID= 9687819
Free space on /tmp= 432808 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_04_280.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544398-1753229800/watcher-4544398-1753229800 -o /tmp/evaluation-result-4544398-1753229800/solver-4544398-1753229800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753222566-179251 --watchdog 3760  HOME/solve.sh HOME/instance-4544398-1753229800.opb

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

MD5SUM BENCH= 9594ac6881a98589fd35bafe025917a8
RANDOM SEED=738195378

nodeC022 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		: 3583.445
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        120545212 kB
MemAvailable:   121691780 kB
Buffers:            2128 kB
Cached:          1896308 kB
SwapCached:           32 kB
Active:          9169636 kB
Inactive:         754516 kB
Active(anon):    8049816 kB
Inactive(anon):     2124 kB
Active(file):    1119820 kB
Inactive(file):   752392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1592 kB
Writeback:             8 kB
AnonPages:       8027400 kB
Mapped:           110828 kB
Shmem:             26220 kB
KReclaimable:     226792 kB
Slab:             324640 kB
SReclaimable:     226792 kB
SUnreclaim:        97848 kB
KernelStack:        4288 kB
PageTables:        23084 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10196580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2861056 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432800 MiB
End job on nodeC022 at 2025-07-23 03:16:54