Trace number 4523928

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 NameAnswerobjective functionCPU timeWall clock time
PRINTEMPS 2025-05-28? (TO) 3601.05 3457.28

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
MD5SUMe21aae6253a3d8ec45e9622b89e9ca39
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55733
Best CPU time to get the best result obtained on this benchmark437.667
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables642549
Total number of constraints326012
Number of constraints which are clauses173435
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints152577
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 505004
Biggest coefficient in the objective function 6
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 521726
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 27
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 521726
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
4.11/3.33	c #variable: 642549
4.11/3.33	c #constraint: 326012
4.11/3.33	c #equal: 0
4.11/3.33	c intsize: 19
4.11/3.33	c sizeproduct: 0
4.11/3.33	c #soft: 0
4.11/3.33	c mincost: 0
4.11/3.33	c maxcost: 0
4.11/3.33	c sumcost: 0
4.11/3.33	c iteration_max: -1
4.11/3.33	c time_max: -1
4.11/3.33	c number_of_threads(move update): 2
4.11/3.33	c number_of_threads(move evaluation): 2
4.11/3.33	c seed: 1105652448
3600.27/3456.53	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62459 MiB free)
  memory of node 1: 64507 MiB (61582 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523928-1751605590/watcher-4523928-1751605590 -o /tmp/evaluation-result-4523928-1751605590/solver-4523928-1751605590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751603728-92360 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1105652448 HOME/instance-4523928-1751605590.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=92654, runsolver pid=92651

[startup+0.100061 s]*
/proc/loadavg: 7.64 7.83 7.20 6/266 92655
/proc/meminfo: memFree=126937156/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=90672 memory=70148 CPUtime=0.1 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 10840 0 0 0 7 3 0 0 20 0 1 0 76239278 92848128 17537 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 22668 17537 576 633 0 21884 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 90672 KiB
Current children cumulated memory: 70148 KiB

[startup+0.20558 s]*
/proc/loadavg: 7.64 7.83 7.20 7/266 92655
/proc/meminfo: memFree=126916676/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=128320 memory=117084 CPUtime=0.2 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 13903 0 0 0 17 3 0 0 20 0 1 0 76239278 131399680 29271 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 32080 29271 576 633 0 31296 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128320 KiB
Current children cumulated memory: 117084 KiB

[startup+0.30553 s]*
/proc/loadavg: 7.64 7.83 7.20 8/267 92656
/proc/meminfo: memFree=126900988/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=198672 memory=129112 CPUtime=0.37 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 19725 0 0 0 31 6 0 0 20 0 2 0 76239278 203440128 32278 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 49668 32278 576 633 0 35697 0
[pid=92654/tid=92656] ppid=92651 vsize=198672 memory=7969829302171418224 CPUtime=0.06 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) R 92651 92654 92287 0 -1 4194368 3199 0 0 0 5 1 0 0 20 0 2 0 76239302 203440128 32278 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 198672 KiB
Current children cumulated memory: 129112 KiB

[startup+0.700197 s]
/proc/loadavg: 7.64 7.83 7.20 8/267 92656
/proc/meminfo: memFree=126756088/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=263432 memory=243516 CPUtime=1.01 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 47805 0 0 0 89 12 0 0 20 0 2 0 76239278 269754368 60879 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 65858 60879 576 633 0 64283 0
[pid=92654/tid=92656] ppid=92651 vsize=263432 memory=15104 CPUtime=0.34 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 15595 0 0 0 30 4 0 0 20 0 2 0 76239302 269754368 60879 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 263432 KiB
Current children cumulated memory: 243516 KiB

[startup+1.50018 s]
/proc/loadavg: 7.64 7.83 7.20 6/267 92656
/proc/meminfo: memFree=126409336/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=322904 memory=309996 CPUtime=1.8 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 60884 0 0 0 165 15 0 0 20 0 2 0 76239278 330653696 77467 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 80726 77499 608 633 0 79151 0
[pid=92654/tid=92656] ppid=92651 vsize=323036 memory=15104 CPUtime=0.34 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 15595 0 0 0 30 4 0 0 20 0 2 0 76239302 330788864 77499 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 322904 KiB
Current children cumulated memory: 309996 KiB

[startup+3.10546 s]
/proc/loadavg: 7.64 7.83 7.20 7/267 92656
/proc/meminfo: memFree=125741348/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=903784 memory=870480 CPUtime=3.92 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 219822 0 0 0 355 37 0 0 20 0 2 0 76239278 925474816 217588 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 225946 217588 608 633 0 219299 0
[pid=92654/tid=92656] ppid=92651 vsize=903784 memory=7881971610749199958 CPUtime=0.88 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 42713 0 0 0 81 7 0 0 20 0 2 0 76239302 925474816 217620 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 903784 KiB
Current children cumulated memory: 870480 KiB

[startup+6.30016 s]
/proc/loadavg: 7.51 7.79 7.20 5/264 92670
/proc/meminfo: memFree=125540008/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1136264 memory=1097336 CPUtime=7.09 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 365885 0 0 0 656 53 0 0 20 0 2 0 76239278 1163534336 274334 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 284066 274334 672 633 0 277419 0
[pid=92654/tid=92656] ppid=92651 vsize=1136264 memory=1097336 CPUtime=0.88 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 42713 0 0 0 81 7 0 0 20 0 2 0 76239302 1163534336 274334 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 7.09 s
Current children cumulated vsize: 1136264 KiB
Current children cumulated memory: 1097336 KiB

[startup+12.7002 s]
/proc/loadavg: 7.31 7.75 7.18 6/267 92702
/proc/meminfo: memFree=124150796/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1757136 memory=1724012 CPUtime=13.53 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 596990 0 0 0 1273 80 0 0 20 0 2 0 76239278 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439284 431003 672 633 0 432637 0
[pid=92654/tid=92656] ppid=92651 vsize=1757136 memory=1724012 CPUtime=0.95 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 45437 0 0 0 87 8 0 0 20 0 2 0 76239302 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 13.53 s
Current children cumulated vsize: 1757136 KiB
Current children cumulated memory: 1724012 KiB

[startup+25.5002 s]
/proc/loadavg: 6.72 7.60 7.14 6/267 92702
/proc/meminfo: memFree=123303164/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1757136 memory=1724012 CPUtime=26.27 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 721893 0 0 0 2540 87 0 0 20 0 2 0 76239278 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439284 431003 672 633 0 432637 0
[pid=92654/tid=92656] ppid=92651 vsize=1757136 memory=14720 CPUtime=0.95 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 45437 0 0 0 87 8 0 0 20 0 2 0 76239302 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 26.27 s
Current children cumulated vsize: 1757136 KiB
Current children cumulated memory: 1724012 KiB

[startup+51.1057 s]
/proc/loadavg: 6.19 7.40 7.09 6/267 92703
/proc/meminfo: memFree=123280380/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1757136 memory=1724012 CPUtime=52.4 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 987914 0 0 0 5136 104 0 0 20 0 2 0 76239278 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439284 431003 672 633 0 432637 0
[pid=92654/tid=92656] ppid=92651 vsize=1757136 memory=1724012 CPUtime=1.58 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 53169 0 0 0 149 9 0 0 20 0 2 0 76239302 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 52.4 s
Current children cumulated vsize: 1757136 KiB
Current children cumulated memory: 1724012 KiB

[startup+102.3 s]
/proc/loadavg: 5.57 7.05 6.98 6/267 92704
/proc/meminfo: memFree=123304004/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1757136 memory=1724012 CPUtime=105.61 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 1272774 0 0 0 10439 122 0 0 20 0 2 0 76239278 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439284 431003 672 633 0 432637 0
[pid=92654/tid=92656] ppid=92651 vsize=1757136 memory=1724012 CPUtime=3.81 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 70224 0 0 0 371 10 0 0 20 0 2 0 76239302 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 105.61 s
Current children cumulated vsize: 1757136 KiB
Current children cumulated memory: 1724012 KiB

[startup+162.3 s]
/proc/loadavg: 5.22 6.67 6.86 6/266 92706
/proc/meminfo: memFree=123303064/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1757136 memory=1724012 CPUtime=166.75 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 1539679 0 0 0 16537 138 0 0 20 0 2 0 76239278 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439284 431003 672 633 0 432637 0
[pid=92654/tid=92656] ppid=92651 vsize=1757136 memory=1724012 CPUtime=5.23 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 81487 0 0 0 511 12 0 0 20 0 2 0 76239302 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 166.75 s
Current children cumulated vsize: 1757136 KiB
Current children cumulated memory: 1724012 KiB

[startup+222.3 s]
/proc/loadavg: 5.26 6.41 6.75 6/267 92715
/proc/meminfo: memFree=123303636/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1757136 memory=1724012 CPUtime=228.49 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 1697655 0 0 0 22699 150 0 0 20 0 2 0 76239278 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439284 431003 672 633 0 432637 0
[pid=92654/tid=92656] ppid=92651 vsize=1757136 memory=1724012 CPUtime=7.26 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 91328 0 0 0 713 13 0 0 20 0 2 0 76239302 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 228.49 s
Current children cumulated vsize: 1757136 KiB
Current children cumulated memory: 1724012 KiB

[startup+282.3 s]
/proc/loadavg: 5.29 6.20 6.66 7/267 92718
/proc/meminfo: memFree=123294504/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1757136 memory=1724012 CPUtime=290.92 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 1846951 0 0 0 28933 159 0 0 20 0 2 0 76239278 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439284 431003 672 633 0 432637 0
[pid=92654/tid=92656] ppid=92651 vsize=1757136 memory=15104 CPUtime=9.95 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 101145 0 0 0 981 14 0 0 20 0 2 0 76239302 1799307264 431003 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 290.92 s
Current children cumulated vsize: 1757136 KiB
Current children cumulated memory: 1724012 KiB

[startup+342.3 s]
/proc/loadavg: 5.48 6.07 6.58 6/267 92720
/proc/meminfo: memFree=123287340/131250000 swapFree=33008100/33010684

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

/proc/meminfo: memFree=118812508/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1759244 memory=1726192 CPUtime=3046.2 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2898765 0 0 0 304357 263 0 0 20 0 2 0 76239278 1801465856 431548 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439811 431548 672 633 0 433164 0
[pid=92654/tid=92656] ppid=92651 vsize=1759244 memory=1725936 CPUtime=136.98 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 158998 0 0 0 13656 42 0 0 20 0 2 0 76239302 1801465856 431548 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3046.2 s
Current children cumulated vsize: 1759244 KiB
Current children cumulated memory: 1726192 KiB

[startup+2982.3 s]
/proc/loadavg: 4.85 4.84 5.06 6/267 92930
/proc/meminfo: memFree=118817272/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1759244 memory=1726320 CPUtime=3108.65 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2901988 0 0 0 310602 263 0 0 20 0 2 0 76239278 1801465856 431580 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439811 431580 672 633 0 433164 0
[pid=92654/tid=92656] ppid=92651 vsize=1759244 memory=14720 CPUtime=139.72 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159078 0 0 0 13929 43 0 0 20 0 2 0 76239302 1801465856 431580 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3108.65 s
Current children cumulated vsize: 1759244 KiB
Current children cumulated memory: 1726320 KiB

[startup+3042.3 s]
/proc/loadavg: 4.91 4.87 5.06 6/267 92932
/proc/meminfo: memFree=118811452/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1759244 memory=1726320 CPUtime=3170.93 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2905760 0 0 0 316828 265 0 0 20 0 2 0 76239278 1801465856 431580 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439811 431580 672 633 0 433164 0
[pid=92654/tid=92656] ppid=92651 vsize=1759244 memory=1726320 CPUtime=142.25 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159144 0 0 0 14182 43 0 0 20 0 2 0 76239302 1801465856 431580 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3170.93 s
Current children cumulated vsize: 1759244 KiB
Current children cumulated memory: 1726320 KiB

[startup+3102.3 s]
/proc/loadavg: 4.81 4.85 5.03 5/267 92934
/proc/meminfo: memFree=118815344/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1759244 memory=1726320 CPUtime=3233.21 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2906757 0 0 0 323055 266 0 0 20 0 2 0 76239278 1801465856 431580 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 439811 431580 672 633 0 433164 0
[pid=92654/tid=92656] ppid=92651 vsize=1759244 memory=1726320 CPUtime=144.79 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159225 0 0 0 14435 44 0 0 20 0 2 0 76239302 1801465856 431580 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3233.21 s
Current children cumulated vsize: 1759244 KiB
Current children cumulated memory: 1726320 KiB

[startup+3162.3 s]
/proc/loadavg: 4.87 4.86 5.02 5/267 92936
/proc/meminfo: memFree=118820760/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1760432 memory=1727472 CPUtime=3295.22 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2923510 0 0 0 329255 267 0 0 20 0 2 0 76239278 1802682368 431868 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 440108 431868 672 633 0 433461 0
[pid=92654/tid=92656] ppid=92651 vsize=1760432 memory=1726320 CPUtime=147.04 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159336 0 0 0 14660 44 0 0 20 0 2 0 76239302 1802682368 431868 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3295.22 s
Current children cumulated vsize: 1760432 KiB
Current children cumulated memory: 1727472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.80 4.83 5.00 7/267 92939
/proc/meminfo: memFree=118811656/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1762280 memory=1729264 CPUtime=3357.25 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2933727 0 0 0 335456 269 0 0 20 0 2 0 76239278 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 440570 432316 672 633 0 433923 0
[pid=92654/tid=92656] ppid=92651 vsize=1762280 memory=1726320 CPUtime=149.31 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159431 0 0 0 14887 44 0 0 20 0 2 0 76239302 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3357.25 s
Current children cumulated vsize: 1762280 KiB
Current children cumulated memory: 1729264 KiB

[startup+3282.3 s]
/proc/loadavg: 4.82 4.83 4.99 5/268 92959
/proc/meminfo: memFree=118786776/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1762280 memory=1729264 CPUtime=3419.54 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2934137 0 0 0 341684 270 0 0 20 0 2 0 76239278 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 440570 432316 672 633 0 433923 0
[pid=92654/tid=92656] ppid=92651 vsize=1762280 memory=1729264 CPUtime=151.84 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) R 92651 92654 92287 0 -1 4194368 159495 0 0 0 15139 45 0 0 20 0 2 0 76239302 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3419.54 s
Current children cumulated vsize: 1762280 KiB
Current children cumulated memory: 1729264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.74 4.81 4.97 5/268 92961
/proc/meminfo: memFree=118822744/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1762280 memory=1729264 CPUtime=3481.76 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2937849 0 0 0 347905 271 0 0 20 0 2 0 76239278 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 440570 432316 672 633 0 433923 0
[pid=92654/tid=92656] ppid=92651 vsize=1762280 memory=1729264 CPUtime=154.3 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159576 0 0 0 15385 45 0 0 20 0 2 0 76239302 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3481.76 s
Current children cumulated vsize: 1762280 KiB
Current children cumulated memory: 1729264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.73 4.94 5/268 92963
/proc/meminfo: memFree=118851112/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1762280 memory=1729264 CPUtime=3544.03 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2941652 0 0 0 354131 272 0 0 20 0 2 0 76239278 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 440570 432316 672 633 0 433923 0
[pid=92654/tid=92656] ppid=92651 vsize=1762280 memory=1729264 CPUtime=156.81 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159642 0 0 0 15635 46 0 0 20 0 2 0 76239302 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3544.03 s
Current children cumulated vsize: 1762280 KiB
Current children cumulated memory: 1729264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3456.3 s]
/proc/loadavg: 4.93 4.81 4.95 6/268 92965
/proc/meminfo: memFree=118851788/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1762280 memory=1729264 CPUtime=3600.07 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2945195 0 0 0 359734 273 0 0 20 0 2 0 76239278 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 440570 432316 672 633 0 433923 0
[pid=92654/tid=92656] ppid=92651 vsize=1762280 memory=1729264 CPUtime=159.05 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159674 0 0 0 15859 46 0 0 20 0 2 0 76239302 1804574720 432316 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1762280 KiB
Current children cumulated memory: 1729264 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3457.28 s]
# the end of solver process 92654 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3598.26 s, system=2.79318 s

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

[startup+3456.8 s]
/proc/loadavg: 4.93 4.81 4.95 6/268 92965
/proc/meminfo: memFree=118851788/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1646536 memory=1613608 CPUtime=3600.57 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 2982457 0 0 0 359782 275 0 0 20 0 2 0 76239278 1686052864 403402 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 411634 403402 672 633 0 404987 0
[pid=92654/tid=92656] ppid=92651 vsize=1646536 memory=2764 CPUtime=159.05 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159674 0 0 0 15859 46 0 0 20 0 2 0 76239302 1686052864 403402 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3600.57 s
Current children cumulated vsize: 1646536 KiB
Current children cumulated memory: 1613608 KiB

[startup+3457.2 s]
/proc/loadavg: 4.93 4.81 4.95 5/268 92965
/proc/meminfo: memFree=119071240/131250000 swapFree=33008100/33010684
[pid=92654] ppid=92651 vsize=1453260 memory=1420332 CPUtime=3600.96 cores=0,2
/proc/92654/stat : 92654 (pb_competition_) R 92651 92654 92287 0 -1 4194304 3019003 0 0 0 359819 277 0 0 20 0 2 0 76239278 1488138240 355083 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
/proc/92654/statm: 363315 355083 672 633 0 356668 0
[pid=92654/tid=92656] ppid=92651 vsize=1453260 memory=9792 CPUtime=159.05 cores=0,2
/proc/92654/task/92656/stat : 92656 (pb_competition_) S 92651 92654 92287 0 -1 4194368 159674 0 0 0 15859 46 0 0 20 0 2 0 76239302 1488138240 355083 18446744073709551615 4198400 6788177 140731372363456 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 22773760 140731372370265 140731372370392 140731372370392 140731372375994 0
Current children cumulated CPU time: 3600.96 s
Current children cumulated vsize: 1453260 KiB
Current children cumulated memory: 1420332 KiB

Child status: 0

Real time (s): 3457.28
CPU time (s): 3601.05
CPU user time (s): 3598.26
CPU system time (s): 2.79318
CPU usage (%): 104.159
Max. virtual memory (cumulated for all children) (KiB): 1787532
Max. memory (cumulated for all children) (KiB): 1754608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.26
system time used= 2.79318
maximum resident set size= 1763440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3028563
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= 27281
involuntary context switches= 9940


# summary of solver processes directly reported to runsolver:
#   pid: 92654
#   total CPU time (s): 3601.05
#   total CPU user time (s): 3598.26
#   total CPU system time (s): 2.79318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90522 second user time and 16.4484 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-04 07:06:30
IDJOB=4523928
IDBENCH=180378
IDSOLVER=3347
FILE ID=nodeC013/4523928-1751605590
RUNJOBID= nodeC013-1751603728-92360
SLURM_JOB_ID= 9598886
Free space on /tmp= 432560 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523928-1751605590/watcher-4523928-1751605590 -o /tmp/evaluation-result-4523928-1751605590/solver-4523928-1751605590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751603728-92360 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1105652448 HOME/instance-4523928-1751605590.opb

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

MD5SUM BENCH= e21aae6253a3d8ec45e9622b89e9ca39
RANDOM SEED=1105652448

nodeC013 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		: 3601.685
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.67
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.858
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.67
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.860
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.67
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		: 3567.311
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127019572 kB
MemAvailable:   127360692 kB
Buffers:            1668 kB
Cached:          1134904 kB
SwapCached:         1924 kB
Active:          2820088 kB
Inactive:         770552 kB
Active(anon):    2447792 kB
Inactive(anon):    17628 kB
Active(file):     372296 kB
Inactive(file):   752924 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             74036 kB
Writeback:             0 kB
AnonPages:       2455420 kB
Mapped:           108044 kB
Shmem:             11352 kB
KReclaimable:     109876 kB
Slab:             199980 kB
SReclaimable:     109876 kB
SUnreclaim:        90104 kB
KernelStack:        4252 kB
PageTables:         7704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2809808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432508 MiB
End job on nodeC013 at 2025-07-04 08:04:08