Trace number 4515331

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? (MO) 2091.32 2098.33

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
MD5SUM3de1ff2182bb2a8df9b13aa693b03795
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 benchmark7728.55
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables167056
Total number of constraints169577
Number of constraints which are clauses167055
Number of constraints which are cardinality constraints (but not clauses)1966
Number of constraints which are nor clauses,nor cardinality constraints556
Minimum length of a constraint2
Maximum length of a constraint556
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 202
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 758
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62406 MiB free)
  memory of node 1: 64465 MiB (63353 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100062 s]*
/proc/loadavg: 1.07 2.20 2.86 5/278 33322
/proc/meminfo: memFree=128724040/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 307 116 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33321] ppid=33318 vsize=2792 memory=1408 CPUtime=0 cores=5,7
/proc/33321/stat : 33321 (cat) S 33318 33318 33241 0 -1 4194304 134 0 0 0 0 0 0 0 20 0 1 0 38811671 2859008 352 18446744073709551615 93910251565056 93910251580113 140730104949120 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 93910251592336 93910251593832 93910257332224 140730104957411 140730104957482 140730104957482 140730104963051 0
/proc/33321/statm: 698 352 320 4 0 124 0
[pid=33322] ppid=33318 vsize=39960 memory=32152 CPUtime=0.06 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 7132 0 0 0 5 1 0 0 20 0 1 0 38811671 40919040 8038 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 9990 8038 512 108 0 8507 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 46944 KiB
Current children cumulated memory: 36504 KiB

[startup+0.206107 s]*
/proc/loadavg: 1.07 2.20 2.86 6/277 33322
/proc/meminfo: memFree=128635236/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=131812 memory=109456 CPUtime=0.17 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 23015 0 0 0 13 4 0 0 20 0 1 0 38811671 134975488 27364 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 32953 27364 512 108 0 31470 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 136004 KiB
Current children cumulated memory: 112400 KiB

[startup+0.306187 s]*
/proc/loadavg: 1.07 2.20 2.86 6/277 33322
/proc/meminfo: memFree=128589624/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=180584 memory=145768 CPUtime=0.27 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 31576 0 0 0 21 6 0 0 20 0 1 0 38811671 184918016 36442 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 45146 36442 512 108 0 43663 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 184776 KiB
Current children cumulated memory: 148712 KiB

[startup+0.700197 s]
/proc/loadavg: 1.07 2.20 2.86 5/277 33322
/proc/meminfo: memFree=128582568/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=193320 memory=155496 CPUtime=0.65 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 33990 0 0 0 59 6 0 0 20 0 1 0 38811671 197959680 38874 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 48330 38874 544 108 0 46847 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 197512 KiB
Current children cumulated memory: 158440 KiB

[startup+1.5002 s]
/proc/loadavg: 1.39 2.25 2.88 5/277 33322
/proc/meminfo: memFree=128530660/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=213340 memory=172648 CPUtime=1.45 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 38273 0 0 0 138 7 0 0 20 0 1 0 38811671 218460160 43162 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 53335 43162 544 108 0 51852 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 217532 KiB
Current children cumulated memory: 175592 KiB

[startup+3.10587 s]
/proc/loadavg: 1.39 2.25 2.88 5/277 33322
/proc/meminfo: memFree=128377688/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=244880 memory=198120 CPUtime=3.05 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 44655 0 0 0 297 8 0 0 20 0 1 0 38811671 250757120 49530 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 61220 49530 544 108 0 59737 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 249072 KiB
Current children cumulated memory: 201064 KiB

[startup+6.30019 s]
/proc/loadavg: 1.60 2.28 2.88 5/277 33322
/proc/meminfo: memFree=128265640/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=315788 memory=256616 CPUtime=6.23 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 59280 0 0 0 612 11 0 0 20 0 1 0 38811671 323366912 64154 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 78947 64154 544 108 0 77464 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 319980 KiB
Current children cumulated memory: 259560 KiB

[startup+12.7002 s]
/proc/loadavg: 1.79 2.30 2.89 5/277 33323
/proc/meminfo: memFree=127963500/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=442944 memory=361832 CPUtime=12.62 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 85590 0 0 0 1246 16 0 0 20 0 1 0 38811671 453574656 90458 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 110736 90458 544 108 0 109253 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 447136 KiB
Current children cumulated memory: 364776 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 2.36 2.90 5/277 33323
/proc/meminfo: memFree=127419488/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=680296 memory=561896 CPUtime=25.37 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 135603 0 0 0 2511 26 0 0 20 0 1 0 38811671 696623104 140474 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 170074 140474 544 108 0 168591 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 684488 KiB
Current children cumulated memory: 564840 KiB

[startup+51.1059 s]
/proc/loadavg: 2.84 2.51 2.94 5/277 33323
/proc/meminfo: memFree=126678940/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=925820 memory=772960 CPUtime=50.9 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 227759 0 0 0 5044 46 0 0 20 0 1 0 38811671 948039680 193240 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 231455 193240 576 108 0 229972 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 930012 KiB
Current children cumulated memory: 775904 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 2.79 3.01 5/277 33330
/proc/meminfo: memFree=124824700/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=2149096 memory=1775072 CPUtime=101.91 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 478310 0 0 0 10100 91 0 0 20 0 1 0 38811671 2200674304 443768 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 537274 443768 576 108 0 535791 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2153288 KiB
Current children cumulated memory: 1778016 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.10 3.11 5/275 33429
/proc/meminfo: memFree=123606692/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=3329012 memory=2767712 CPUtime=161.71 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 726448 0 0 0 16031 140 0 0 20 0 1 0 38811671 3408908288 691928 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 832253 691928 576 108 0 830770 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 3333204 KiB
Current children cumulated memory: 2770656 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.30 3.18 5/274 33527
/proc/meminfo: memFree=121765232/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=4726792 memory=3865696 CPUtime=221.5 cores=5,7

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

/proc/loadavg: 4.15 4.10 3.96 5/269 33751
/proc/meminfo: memFree=99398336/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=25614684 memory=20362172 CPUtime=1716.53 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 5156200 0 0 0 170639 1014 0 0 20 0 1 0 38811671 26229436416 5090543 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 6403671 5090543 576 108 0 6402188 0
Current children cumulated CPU time: 1716.53 s
Current children cumulated vsize: 25618876 KiB
Current children cumulated memory: 20365116 KiB

[startup+1782.3 s]
/proc/loadavg: 4.05 4.08 3.97 5/269 33753
/proc/meminfo: memFree=99220848/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=25619292 memory=20391740 CPUtime=1776.33 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 5163609 0 0 0 176610 1023 0 0 20 0 1 0 38811671 26234155008 5097935 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 6404823 5097935 576 108 0 6403340 0
Current children cumulated CPU time: 1776.33 s
Current children cumulated vsize: 25623484 KiB
Current children cumulated memory: 20394684 KiB

[startup+1842.3 s]
/proc/loadavg: 4.06 4.08 3.98 5/268 33757
/proc/meminfo: memFree=98848240/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=25620100 memory=20562236 CPUtime=1836.13 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 5206291 0 0 0 182580 1033 0 0 20 0 1 0 38811671 26234982400 5140559 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 6405025 5140559 576 108 0 6403542 0
Current children cumulated CPU time: 1836.13 s
Current children cumulated vsize: 25624292 KiB
Current children cumulated memory: 20565180 KiB

[startup+1902.3 s]
/proc/loadavg: 4.12 4.09 3.99 5/268 33759
/proc/meminfo: memFree=98251916/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=25792536 memory=20979004 CPUtime=1895.92 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 5310615 0 0 0 188533 1059 0 0 20 0 1 0 38811671 26411556864 5244751 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 6448134 5244751 576 108 0 6446651 0
Current children cumulated CPU time: 1895.92 s
Current children cumulated vsize: 25796728 KiB
Current children cumulated memory: 20981948 KiB

[startup+1962.3 s]
/proc/loadavg: 4.14 4.10 4.00 5/268 33766
/proc/meminfo: memFree=96613708/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=27752364 memory=22385340 CPUtime=1955.72 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 5662251 0 0 0 194454 1118 0 0 20 0 1 0 38811671 28418420736 5596335 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 6938091 5596335 576 108 0 6936608 0
Current children cumulated CPU time: 1955.72 s
Current children cumulated vsize: 27756556 KiB
Current children cumulated memory: 22388284 KiB

[startup+2022.3 s]
/proc/loadavg: 4.12 4.10 4.00 5/268 33768
/proc/meminfo: memFree=95690260/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=28577352 memory=23155388 CPUtime=2015.53 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 5854834 0 0 0 200389 1164 0 0 20 0 1 0 38811671 29263208448 5788847 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 7144338 5788847 576 108 0 7142855 0
Current children cumulated CPU time: 2015.53 s
Current children cumulated vsize: 28581544 KiB
Current children cumulated memory: 23158332 KiB

[startup+2082.3 s]
/proc/loadavg: 4.10 4.09 4.00 5/268 33771
/proc/meminfo: memFree=93840396/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=31359448 memory=24932156 CPUtime=2075.32 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 6299083 0 0 0 206283 1249 0 0 20 0 1 0 38811671 32112074752 6233039 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 7839862 6233039 576 108 0 7838379 0
Current children cumulated CPU time: 2075.32 s
Current children cumulated vsize: 31363640 KiB
Current children cumulated memory: 24935100 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2097.2 s]
/proc/loadavg: 4.08 4.09 4.00 5/268 33772
/proc/meminfo: memFree=93545196/131250000 swapFree=33010684/33010684
[pid=33318] ppid=33315 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33318/stat : 33318 (bash) S 33315 33318 33241 0 -1 4194304 308 253 0 0 0 0 0 0 20 0 1 0 38811670 4292608 736 18446744073709551615 94427575308288 94427576202821 140736665959344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94427576441872 94427576489616 94427604635648 140736665962900 140736665963016 140736665963016 140736665968618 0
/proc/33318/statm: 1048 736 672 219 0 110 0
[pid=33322] ppid=33318 vsize=31765484 memory=25237564 CPUtime=2090.18 cores=5,7
/proc/33322/stat : 33322 (solve_pb) R 33318 33318 33241 0 -1 4194304 6375421 0 0 0 207755 1263 0 0 20 0 1 0 38811671 32527855616 6309359 18446744073709551615 93875394061312 93875394499456 140723041790000 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93875394528176 93875394530592 93875398389760 140723041794436 140723041794500 140723041794500 140723041800120 0
/proc/33322/statm: 7941371 6309391 576 108 0 7939888 0
Current children cumulated CPU time: 2090.18 s
Current children cumulated vsize: 31769676 KiB
Current children cumulated memory: 25240508 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=2077.55 s, system=13.7685 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+2097.6 s]
/proc/loadavg: 4.08 4.09 4.00 5/267 33772
/proc/meminfo: memFree=95807508/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.011442 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2098 s]*
/proc/loadavg: 4.08 4.09 4.00 5/268 33774
/proc/meminfo: memFree=111652224/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.011442 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2098.2 s]
/proc/loadavg: 4.08 4.09 4.00 5/268 33774
/proc/meminfo: memFree=111652224/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.011442 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2098.3 s]
/proc/loadavg: 4.08 4.09 4.00 5/268 33774
/proc/meminfo: memFree=111652224/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.011442 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): 2098.33
CPU time (s): 2091.32
CPU user time (s): 2077.55
CPU system time (s): 13.7685
CPU usage (%): 99.666
Max. virtual memory (cumulated for all children) (KiB): 31769676
Max. memory (cumulated for all children) (KiB): 25240508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2077.55
system time used= 13.7685
maximum resident set size= 25237692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6376021
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= 1595
involuntary context switches= 3458


# summary of solver processes directly reported to runsolver:
#   pid: 33318,33322
#   total CPU time (s): 2091.32
#   total CPU user time (s): 2077.55
#   total CPU system time (s): 13.7685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4391 second user time and 9.68272 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 23:08:50
IDJOB=4515331
IDBENCH=164408
IDSOLVER=3321
FILE ID=nodeC026/4515331-1751231330
RUNJOBID= nodeC026-1751231330-33254
SLURM_JOB_ID= 9587706
Free space on /tmp= 433044 MiB

SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-631710.0.u.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515331-1751231330/watcher-4515331-1751231330 -o /tmp/evaluation-result-4515331-1751231330/solver-4515331-1751231330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751231330-33254 --watchdog 3760  HOME/solve.sh HOME/instance-4515331-1751231330.opb

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

MD5SUM BENCH= 3de1ff2182bb2a8df9b13aa693b03795
RANDOM SEED=1948950612

nodeC026 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		: 3600.525
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.59
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.909
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.59
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.841
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.59
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		: 3600.888
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.59
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		: 3575.686
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.59
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.817
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128821036 kB
MemAvailable:   129800252 kB
Buffers:            3280 kB
Cached:          1777152 kB
SwapCached:            0 kB
Active:           331476 kB
Inactive:        1519892 kB
Active(anon):      89016 kB
Inactive(anon):        0 kB
Active(file):     242460 kB
Inactive(file):  1519892 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14904 kB
Writeback:             0 kB
AnonPages:         74324 kB
Mapped:           102340 kB
Shmem:             18080 kB
KReclaimable:     112204 kB
Slab:             199760 kB
SReclaimable:     112204 kB
SUnreclaim:        87556 kB
KernelStack:        4168 kB
PageTables:         2352 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     380408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC026 at 2025-06-29 23:43:49