Trace number 4542409

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.12 3611.84

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
MD5SUM7e0508be19eaed927bf3c4f26c43c105
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 benchmark1875.25
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2878950
Total number of constraints128479
Number of constraints which are clauses64877
Number of constraints which are cardinality constraints (but not clauses)58652
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint47
Maximum length of a constraint52
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 55
Number of bits of the biggest sum of numbers6
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: 63794 MiB (62070 MiB free)
  memory of node 1: 64507 MiB (63366 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542409-1753215609/watcher-4542409-1753215609 -o /tmp/evaluation-result-4542409-1753215609/solver-4542409-1753215609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753211993-150158 --watchdog 3760 HOME/solve.sh HOME/instance-4542409-1753215609.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 4.28 4.24 4.17 4/253 150755
/proc/meminfo: memFree=128415316/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 308 117 0 0 0 0 0 0 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150754] ppid=150751 vsize=2792 memory=1408 CPUtime=0.01 cores=1,3
/proc/150754/stat : 150754 (cat) S 150751 150751 150146 0 -1 4194304 135 0 0 0 0 1 0 0 20 0 1 0 237240433 2859008 352 18446744073709551615 94141606907904 94141606922961 140727740622160 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94141606935184 94141606936680 94141616435200 140727740631521 140727740631592 140727740631592 140727740637163 0
/proc/150754/statm: 698 352 320 4 0 124 0
[pid=150755] ppid=150751 vsize=26332 memory=21632 CPUtime=0.06 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 4991 0 0 0 5 1 0 0 20 0 1 0 237240433 26963968 5408 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 3 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 6583 5408 512 108 0 5100 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33316 KiB
Current children cumulated memory: 25984 KiB

[startup+0.206201 s]*
/proc/loadavg: 4.34 4.25 4.18 5/253 150755
/proc/meminfo: memFree=128378524/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 308 117 0 0 0 0 0 0 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150754] ppid=150751 vsize=2792 memory=1408 CPUtime=0.02 cores=1,3
/proc/150754/stat : 150754 (cat) R 150751 150751 150146 0 -1 4194304 135 0 0 0 0 2 0 0 20 0 1 0 237240433 2859008 352 18446744073709551615 94141606907904 94141606922961 140727740622160 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94141606935184 94141606936680 94141616435200 140727740631521 140727740631592 140727740631592 140727740637163 0
/proc/150754/statm: 698 352 320 4 0 124 0
[pid=150755] ppid=150751 vsize=55068 memory=50176 CPUtime=0.16 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 12130 0 0 0 14 2 0 0 20 0 1 0 237240433 56389632 12544 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 13767 12544 512 108 0 12284 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62052 KiB
Current children cumulated memory: 54528 KiB

[startup+0.306102 s]*
/proc/loadavg: 4.34 4.25 4.18 5/253 150755
/proc/meminfo: memFree=128372224/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 308 117 0 0 0 0 0 0 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150754] ppid=150751 vsize=2792 memory=1408 CPUtime=0.02 cores=1,3
/proc/150754/stat : 150754 (cat) R 150751 150751 150146 0 -1 4194304 135 0 0 0 0 2 0 0 20 0 1 0 237240433 2859008 352 18446744073709551615 94141606907904 94141606922961 140727740622160 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 94141606935184 94141606936680 94141616435200 140727740631521 140727740631592 140727740631592 140727740637163 0
/proc/150754/statm: 698 352 320 4 0 124 0
[pid=150755] ppid=150751 vsize=64440 memory=59776 CPUtime=0.26 cores=1,3
/proc/150755/stat : 150755 (solve_pb) S 150751 150751 150146 0 -1 4194304 14558 0 0 0 23 3 0 0 20 0 1 0 237240433 65986560 14944 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 1 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 16110 14944 512 108 0 14627 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 71424 KiB
Current children cumulated memory: 64128 KiB

[startup+0.700278 s]
/proc/loadavg: 4.34 4.25 4.18 4/255 150761
/proc/meminfo: memFree=128353028/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 308 117 0 0 0 0 0 0 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150754] ppid=150751 vsize=2792 memory=1408 CPUtime=0.03 cores=1,3
/proc/150754/stat : 150754 (cat) R 150751 150751 150146 0 -1 4194304 135 0 0 0 0 3 0 0 20 0 1 0 237240433 2859008 352 18446744073709551615 94141606907904 94141606922961 140727740622160 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 94141606935184 94141606936680 94141616435200 140727740631521 140727740631592 140727740631592 140727740637163 0
/proc/150754/statm: 698 352 320 4 0 124 0
[pid=150755] ppid=150751 vsize=104224 memory=99788 CPUtime=0.63 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 24038 0 0 0 55 8 0 0 20 0 1 0 237240433 106725376 24947 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 26056 24947 512 108 0 24573 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 111208 KiB
Current children cumulated memory: 104140 KiB

[startup+1.50043 s]
/proc/loadavg: 4.34 4.25 4.18 6/254 150782
/proc/meminfo: memFree=128278888/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=871884 memory=672424 CPUtime=1.41 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 72787 0 0 0 115 26 0 0 20 0 1 0 237240433 892809216 168106 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 218004 168106 512 108 0 216521 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 876076 KiB
Current children cumulated memory: 675368 KiB

[startup+3.11409 s]
/proc/loadavg: 4.34 4.25 4.18 5/257 150795
/proc/meminfo: memFree=126704280/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=1512200 memory=1227640 CPUtime=3.02 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 168162 0 0 0 257 45 0 0 20 0 1 0 237240433 1548492800 306910 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 378050 306910 512 108 0 376567 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1516392 KiB
Current children cumulated memory: 1230584 KiB

[startup+6.30044 s]
/proc/loadavg: 4.31 4.25 4.18 5/257 150795
/proc/meminfo: memFree=126301688/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=1540436 memory=1242212 CPUtime=6.2 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 169784 0 0 0 574 46 0 0 20 0 1 0 237240433 1577406464 310553 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 385109 310553 544 108 0 383626 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1544628 KiB
Current children cumulated memory: 1245156 KiB

[startup+12.7005 s]
/proc/loadavg: 4.28 4.25 4.18 5/257 150795
/proc/meminfo: memFree=126205864/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=1555204 memory=1245284 CPUtime=12.58 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 170673 0 0 0 1212 46 0 0 20 0 1 0 237240433 1592528896 311321 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 388801 311321 576 108 0 387318 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1559396 KiB
Current children cumulated memory: 1248228 KiB

[startup+25.5005 s]
/proc/loadavg: 4.24 4.24 4.17 5/257 150796
/proc/meminfo: memFree=126059568/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=1656068 memory=1346916 CPUtime=25.34 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 196078 0 0 0 2484 50 0 0 20 0 1 0 237240433 1695813632 336729 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 414017 336729 576 108 0 412534 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1660260 KiB
Current children cumulated memory: 1349860 KiB

[startup+51.1142 s]
/proc/loadavg: 4.33 4.26 4.18 5/258 150849
/proc/meminfo: memFree=124896028/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=1662808 memory=1367196 CPUtime=50.84 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 199267 0 0 0 5028 56 0 0 20 0 1 0 237240433 1702715392 341799 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 415702 341799 576 108 0 414219 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1667000 KiB
Current children cumulated memory: 1370140 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.24 4.18 5/258 150851
/proc/meminfo: memFree=124771960/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=1690348 memory=1391372 CPUtime=101.82 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 204968 0 0 0 10124 58 0 0 20 0 1 0 237240433 1730916352 347843 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 422587 347843 576 108 0 421104 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1694540 KiB
Current children cumulated memory: 1394316 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/258 150853
/proc/meminfo: memFree=124613236/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=1765448 memory=1440448 CPUtime=161.59 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 211749 0 0 0 16099 60 0 0 20 0 1 0 237240433 1807818752 360112 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 441362 360112 576 108 0 439879 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1769640 KiB
Current children cumulated memory: 1443392 KiB

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

/proc/150755/statm: 625220 538438 576 108 0 623737 0
Current children cumulated CPU time: 3032.33 s
Current children cumulated vsize: 2505072 KiB
Current children cumulated memory: 2156696 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.26 4.16 5/255 151054
/proc/meminfo: memFree=121626664/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2518588 memory=2170264 CPUtime=3092.1 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 391464 0 0 0 309074 136 0 0 20 0 1 0 237240433 2579034112 542566 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 629647 542566 576 108 0 628164 0
Current children cumulated CPU time: 3092.15 s
Current children cumulated vsize: 2522780 KiB
Current children cumulated memory: 2173208 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.23 4.16 5/255 151056
/proc/meminfo: memFree=121552560/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2530624 memory=2181400 CPUtime=3151.91 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 394416 0 0 0 315054 137 0 0 20 0 1 0 237240433 2591358976 545350 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 632656 545350 576 108 0 631173 0
Current children cumulated CPU time: 3151.96 s
Current children cumulated vsize: 2534816 KiB
Current children cumulated memory: 2184344 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/255 151058
/proc/meminfo: memFree=121508580/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2531700 memory=2186520 CPUtime=3211.72 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 395845 0 0 0 321034 138 0 0 20 0 1 0 237240433 2592460800 546630 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 632925 546630 576 108 0 631442 0
Current children cumulated CPU time: 3211.77 s
Current children cumulated vsize: 2535892 KiB
Current children cumulated memory: 2189464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.22 4.16 5/255 151060
/proc/meminfo: memFree=121471604/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2554584 memory=2207768 CPUtime=3271.54 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 401195 0 0 0 327014 140 0 0 20 0 1 0 237240433 2615894016 551942 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 638646 551942 576 108 0 637163 0
Current children cumulated CPU time: 3271.59 s
Current children cumulated vsize: 2558776 KiB
Current children cumulated memory: 2210712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/254 151062
/proc/meminfo: memFree=121417716/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2587340 memory=2238360 CPUtime=3331.35 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 409018 0 0 0 332993 142 0 0 20 0 1 0 237240433 2649436160 559590 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 646835 559590 576 108 0 645352 0
Current children cumulated CPU time: 3331.4 s
Current children cumulated vsize: 2591532 KiB
Current children cumulated memory: 2241304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.19 4.16 5/253 151064
/proc/meminfo: memFree=121356192/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2661444 memory=2306668 CPUtime=3391.16 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 426278 0 0 0 338968 148 0 0 20 0 1 0 237240433 2725318656 576667 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 665361 576667 576 108 0 663878 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 2665636 KiB
Current children cumulated memory: 2309612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/253 151066
/proc/meminfo: memFree=121288284/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2676396 memory=2322672 CPUtime=3450.97 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 429876 0 0 0 344948 149 0 0 20 0 1 0 237240433 2740629504 580668 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 669099 580668 576 108 0 667616 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 2680588 KiB
Current children cumulated memory: 2325616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/253 151068
/proc/meminfo: memFree=121203200/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2684380 memory=2330736 CPUtime=3510.79 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 432067 0 0 0 350929 150 0 0 20 0 1 0 237240433 2748805120 582684 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 671095 582684 576 108 0 669612 0
Current children cumulated CPU time: 3510.84 s
Current children cumulated vsize: 2688572 KiB
Current children cumulated memory: 2333680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/254 151071
/proc/meminfo: memFree=121131912/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2684380 memory=2335216 CPUtime=3570.6 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 433365 0 0 0 356910 150 0 0 20 0 1 0 237240433 2748805120 583804 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 671095 583804 576 108 0 669612 0
Current children cumulated CPU time: 3570.65 s
Current children cumulated vsize: 2688572 KiB
Current children cumulated memory: 2338160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.09 4.14 4.15 5/254 151071
/proc/meminfo: memFree=121103788/131382120 swapFree=33010416/33010684
[pid=150751] ppid=150748 vsize=4192 memory=2944 CPUtime=0.05 cores=1,3
/proc/150751/stat : 150751 (bash) S 150748 150751 150146 0 -1 4194304 309 255 0 0 0 0 0 5 20 0 1 0 237240431 4292608 736 18446744073709551615 94917264285696 94917265180229 140736846395600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94917265419280 94917265467024 94917290987520 140736846403986 140736846404102 140736846404102 140736846409706 0
/proc/150751/statm: 1048 736 672 219 0 110 0
[pid=150755] ppid=150751 vsize=2684380 memory=2335984 CPUtime=3600.01 cores=1,3
/proc/150755/stat : 150755 (solve_pb) R 150751 150751 150146 0 -1 4194304 433554 0 0 0 359850 151 0 0 20 0 1 0 237240433 2748805120 583996 18446744073709551615 94710433522688 94710433960832 140727338927792 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94710433989552 94710433991968 94710450163712 140727338932610 140727338932674 140727338932674 140727338938296 0
/proc/150755/statm: 671095 583996 576 108 0 669612 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2688572 KiB
Current children cumulated memory: 2338928 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3598.51 s, system=1.61217 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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.84
CPU time (s): 3600.12
CPU user time (s): 3598.51
CPU system time (s): 1.61217
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 2688572
Max. memory (cumulated for all children) (KiB): 2338928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.61217
maximum resident set size= 2335984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434118
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= 9171
involuntary context switches= 4800


# summary of solver processes directly reported to runsolver:
#   pid: 150751,150755
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3598.51
#   total CPU system time (s): 1.61217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4035 second user time and 37.4481 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-22 22:20:11
IDJOB=4542409
IDBENCH=163926
IDSOLVER=3321
FILE ID=nodeC006/4542409-1753215609
RUNJOBID= nodeC006-1753211993-150158
SLURM_JOB_ID= 9687800
Free space on /tmp= 432692 MiB

SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542409-1753215609/watcher-4542409-1753215609 -o /tmp/evaluation-result-4542409-1753215609/solver-4542409-1753215609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753211993-150158 --watchdog 3760  HOME/solve.sh HOME/instance-4542409-1753215609.opb

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

MD5SUM BENCH= 7e0508be19eaed927bf3c4f26c43c105
RANDOM SEED=2029470094

nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3587.029
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.020
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.487
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2294.521
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1496.810
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.657
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.136
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128447820 kB
MemAvailable:   129223616 kB
Buffers:            2128 kB
Cached:          1453228 kB
SwapCached:           12 kB
Active:          1600308 kB
Inactive:         475656 kB
Active(anon):     635984 kB
Inactive(anon):    10792 kB
Active(file):     964324 kB
Inactive(file):   464864 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66888 kB
Writeback:           208 kB
AnonPages:        622512 kB
Mapped:           109780 kB
Shmem:             26140 kB
KReclaimable:     372088 kB
Slab:             466608 kB
SReclaimable:     372088 kB
SUnreclaim:        94520 kB
KernelStack:        4080 kB
PageTables:         4432 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1020688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432556 MiB
End job on nodeC006 at 2025-07-22 23:20:23