Trace number 4523882

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) 3602.08 3522.07

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
MD5SUMc9e2c34ab166c037a70ac98b2c310360
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 benchmark110850
Best CPU time to get the best result obtained on this benchmark621.116
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1269148
Total number of constraints918926
Number of constraints which are clauses731477
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints187445
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 618925
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 618925
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 618925
Number of bits of the biggest sum of numbers20
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/)
9.15/7.02	c #variable: 1269148
9.15/7.02	c #constraint: 918926
9.15/7.02	c #equal: 4
9.15/7.02	c intsize: 20
9.15/7.02	c sizeproduct: 0
9.15/7.02	c #soft: 0
9.15/7.02	c mincost: 0
9.15/7.02	c maxcost: 0
9.15/7.02	c sumcost: 0
9.15/7.02	c iteration_max: -1
9.15/7.02	c time_max: -1
9.15/7.02	c number_of_threads(move update): 2
9.15/7.02	c number_of_threads(move evaluation): 2
9.15/7.02	c seed: 1105652448
3600.91/3520.95	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 (62358 MiB free)
  memory of node 1: 64507 MiB (63643 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523882-1751605580/watcher-4523882-1751605580 -o /tmp/evaluation-result-4523882-1751605580/solver-4523882-1751605580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751603728-92362 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1105652448 HOME/instance-4523882-1751605580.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
Current StackSize limit: 8192 KiB

solver pid=92608, runsolver pid=92605

[startup+0.100069 s]*
/proc/loadavg: 7.85 7.87 7.21 7/266 92609
/proc/meminfo: memFree=128945316/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=90332 memory=77404 CPUtime=0.1 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 12832 0 0 0 6 4 0 0 20 0 1 0 76238281 92499968 19351 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 22583 19351 576 633 0 21799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 90332 KiB
Current children cumulated memory: 77404 KiB

[startup+0.205628 s]*
/proc/loadavg: 7.85 7.87 7.21 7/266 92609
/proc/meminfo: memFree=128872604/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=212628 memory=159496 CPUtime=0.2 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 19633 0 0 0 14 6 0 0 20 0 1 0 76238281 217731072 39874 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 53157 39874 576 633 0 52373 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 212628 KiB
Current children cumulated memory: 159496 KiB

[startup+0.30574 s]*
/proc/loadavg: 7.85 7.87 7.21 8/266 92609
/proc/meminfo: memFree=128848028/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=216848 memory=175712 CPUtime=0.3 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 23194 0 0 0 23 7 0 0 20 0 1 0 76238281 222052352 43928 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 54212 43928 576 633 0 53428 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 216848 KiB
Current children cumulated memory: 175712 KiB

[startup+0.700216 s]
/proc/loadavg: 7.85 7.87 7.21 9/267 92610
/proc/meminfo: memFree=128769204/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=359256 memory=316520 CPUtime=0.99 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) D 92605 92608 92287 0 -1 4194304 46710 0 0 0 84 15 0 0 20 0 2 0 76238281 367878144 79130 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 89814 79130 576 633 0 85537 0
[pid=92608/tid=92610] ppid=92605 vsize=359256 memory=10752 CPUtime=0.3 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) R 92605 92608 92287 0 -1 4194368 12893 0 0 0 26 4 0 0 20 0 2 0 76238320 367878144 79130 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 359256 KiB
Current children cumulated memory: 316520 KiB

[startup+1.5002 s]
/proc/loadavg: 7.85 7.87 7.21 9/267 92610
/proc/meminfo: memFree=128591796/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=620268 memory=543620 CPUtime=2.3 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 102975 0 0 0 203 27 0 0 20 0 2 0 76238281 635154432 135905 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 155067 135905 576 633 0 142337 0
[pid=92608/tid=92610] ppid=92605 vsize=620268 memory=10752 CPUtime=0.87 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 37208 0 0 0 77 10 0 0 20 0 2 0 76238320 635154432 135905 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 620268 KiB
Current children cumulated memory: 543620 KiB

[startup+3.10569 s]
/proc/loadavg: 7.85 7.87 7.21 7/267 92610
/proc/meminfo: memFree=128336508/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=712744 memory=636156 CPUtime=3.9 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 184250 0 0 0 355 35 0 0 20 0 2 0 76238281 729849856 159039 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 178186 159039 576 633 0 165456 0
[pid=92608/tid=92610] ppid=92605 vsize=712744 memory=568708 CPUtime=0.87 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 37208 0 0 0 77 10 0 0 20 0 2 0 76238320 729849856 159039 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 712744 KiB
Current children cumulated memory: 636156 KiB

[startup+6.30021 s]
/proc/loadavg: 7.78 7.86 7.21 8/267 92610
/proc/meminfo: memFree=127110988/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=2007672 memory=1925548 CPUtime=8.45 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 517057 0 0 0 756 89 0 0 20 0 2 0 76238281 2055856128 481387 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 501918 481387 608 633 0 485860 0
[pid=92608/tid=92610] ppid=92605 vsize=2007672 memory=14720 CPUtime=2.28 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 115589 0 0 0 206 22 0 0 20 0 2 0 76238320 2055856128 481387 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 2007672 KiB
Current children cumulated memory: 1925548 KiB

[startup+12.7002 s]
/proc/loadavg: 7.64 7.83 7.20 7/267 92656
/proc/meminfo: memFree=126074400/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=2644832 memory=2562864 CPUtime=14.82 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 854890 0 0 0 1357 125 0 0 20 0 2 0 76238281 2708307968 640716 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 661208 640716 640 633 0 645150 0
[pid=92608/tid=92610] ppid=92605 vsize=2644832 memory=2562864 CPUtime=2.28 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 115589 0 0 0 206 22 0 0 20 0 2 0 76238320 2708307968 640716 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 2644832 KiB
Current children cumulated memory: 2562864 KiB

[startup+25.5002 s]
/proc/loadavg: 7.12 7.70 7.17 6/267 92702
/proc/meminfo: memFree=123395844/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4063552 memory=3979424 CPUtime=27.59 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 1553348 0 0 0 2559 200 0 0 20 0 2 0 76238281 4161077248 994856 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1015888 994856 640 633 0 999830 0
[pid=92608/tid=92610] ppid=92605 vsize=4063552 memory=14720 CPUtime=2.3 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 120573 0 0 0 208 22 0 0 20 0 2 0 76238320 4161077248 994856 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 27.59 s
Current children cumulated vsize: 4063552 KiB
Current children cumulated memory: 3979424 KiB

[startup+51.106 s]
/proc/loadavg: 6.41 7.49 7.11 5/267 92702
/proc/meminfo: memFree=123291912/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4169396 memory=4085260 CPUtime=53.18 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 2046423 0 0 0 5069 249 0 0 20 0 2 0 76238281 4269461504 1021315 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1042349 1021315 640 633 0 1026291 0
[pid=92608/tid=92610] ppid=92605 vsize=4169396 memory=4070796 CPUtime=2.39 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 123816 0 0 0 217 22 0 0 20 0 2 0 76238320 4269461504 1021315 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 53.18 s
Current children cumulated vsize: 4169396 KiB
Current children cumulated memory: 4085260 KiB

[startup+102.3 s]
/proc/loadavg: 5.68 7.12 7.01 6/267 92704
/proc/meminfo: memFree=123303752/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4169396 memory=4085260 CPUtime=104.88 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 2574887 0 0 0 10208 280 0 0 20 0 2 0 76238281 4269461504 1021315 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1042349 1021315 640 633 0 1026291 0
[pid=92608/tid=92610] ppid=92605 vsize=4169396 memory=4085260 CPUtime=3.11 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 137508 0 0 0 288 23 0 0 20 0 2 0 76238320 4269461504 1021315 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 104.88 s
Current children cumulated vsize: 4169396 KiB
Current children cumulated memory: 4085260 KiB

[startup+162.3 s]
/proc/loadavg: 5.26 6.73 6.88 7/266 92706
/proc/meminfo: memFree=123303056/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4176656 memory=4092428 CPUtime=166.09 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 2960930 0 0 0 16307 302 0 0 20 0 2 0 76238281 4276895744 1023107 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1044164 1023107 640 633 0 1028106 0
[pid=92608/tid=92610] ppid=92605 vsize=4176656 memory=4092428 CPUtime=4.56 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 144815 0 0 0 432 24 0 0 20 0 2 0 76238320 4276895744 1023107 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 166.09 s
Current children cumulated vsize: 4176656 KiB
Current children cumulated memory: 4092428 KiB

[startup+222.3 s]
/proc/loadavg: 5.22 6.44 6.77 6/267 92715
/proc/meminfo: memFree=123303628/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4183876 memory=4099724 CPUtime=227.56 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 3383271 0 0 0 22415 341 0 0 20 0 2 0 76238281 4284289024 1024931 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1045969 1024931 640 633 0 1029911 0
[pid=92608/tid=92610] ppid=92605 vsize=4183876 memory=3979552 CPUtime=6.24 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 151307 0 0 0 599 25 0 0 20 0 2 0 76238320 4284289024 1024931 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 227.56 s
Current children cumulated vsize: 4183876 KiB
Current children cumulated memory: 4099724 KiB

[startup+282.3 s]
/proc/loadavg: 5.25 6.22 6.67 6/267 92718
/proc/meminfo: memFree=123296036/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4191136 memory=4106892 CPUtime=288.65 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 3745098 0 0 0 28493 372 0 0 20 0 2 0 76238281 4291723264 1026723 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1047784 1026723 640 633 0 1031726 0
[pid=92608/tid=92610] ppid=92605 vsize=4191136 memory=4099724 CPUtime=7.59 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 157639 0 0 0 733 26 0 0 20 0 2 0 76238320 4291723264 1026723 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 288.65 s
Current children cumulated vsize: 4191136 KiB
Current children cumulated memory: 4106892 KiB

[startup+342.3 s]
/proc/loadavg: 5.29 6.06 6.58 6/267 92720
/proc/meminfo: memFree=123285728/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4199596 memory=4115468 CPUtime=349.01 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 4093490 0 0 0 34504 397 0 0 20 0 2 0 76238281 4300386304 1028867 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0

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

/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 43787887 0 0 0 303230 7911 0 0 20 0 2 0 76238281 4280659968 1024074 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1045083 1024074 640 633 0 1029025 0
[pid=92608/tid=92610] ppid=92605 vsize=4180332 memory=4145548 CPUtime=82.74 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 579630 0 0 0 8211 63 0 0 20 0 2 0 76238320 4280659968 1024074 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3111.41 s
Current children cumulated vsize: 4180332 KiB
Current children cumulated memory: 4096296 KiB

[startup+3102.3 s]
/proc/loadavg: 4.87 4.86 5.04 5/267 92934
/proc/meminfo: memFree=118809920/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4244856 memory=4160652 CPUtime=3172.73 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 45384233 0 0 0 309014 8259 0 0 20 0 2 0 76238281 4346732544 1040163 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1061214 1040163 640 633 0 1045156 0
[pid=92608/tid=92610] ppid=92605 vsize=4244856 memory=15104 CPUtime=84.36 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 579942 0 0 0 8373 63 0 0 20 0 2 0 76238320 4346732544 1040163 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3172.73 s
Current children cumulated vsize: 4244856 KiB
Current children cumulated memory: 4160652 KiB

[startup+3162.3 s]
/proc/loadavg: 4.85 4.86 5.02 5/267 92936
/proc/meminfo: memFree=118791156/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4179840 memory=4095804 CPUtime=3234.11 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 46979874 0 0 0 314806 8605 0 0 20 0 2 0 76238281 4280156160 1023951 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1044960 1023951 640 633 0 1028902 0
[pid=92608/tid=92610] ppid=92605 vsize=4179840 memory=15104 CPUtime=86.05 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 580263 0 0 0 8542 63 0 0 20 0 2 0 76238320 4280156160 1023951 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3234.11 s
Current children cumulated vsize: 4179840 KiB
Current children cumulated memory: 4095804 KiB

[startup+3222.3 s]
/proc/loadavg: 4.77 4.83 5.00 6/267 92939
/proc/meminfo: memFree=118787116/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4214628 memory=4130444 CPUtime=3295.34 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 48571439 0 0 0 320575 8959 0 0 20 0 2 0 76238281 4315779072 1032611 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1053657 1032611 640 633 0 1037599 0
[pid=92608/tid=92610] ppid=92605 vsize=4214628 memory=4095804 CPUtime=87.59 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 580590 0 0 0 8696 63 0 0 20 0 2 0 76238320 4315779072 1032611 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3295.34 s
Current children cumulated vsize: 4214628 KiB
Current children cumulated memory: 4130444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.88 4.85 5.00 5/268 92959
/proc/meminfo: memFree=118811608/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4244932 memory=4160780 CPUtime=3356.76 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 48913929 0 0 0 326665 9011 0 0 20 0 2 0 76238281 4346810368 1040195 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1061233 1040195 640 633 0 1045175 0
[pid=92608/tid=92610] ppid=92605 vsize=4244932 memory=4160780 CPUtime=89.29 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 580918 0 0 0 8866 63 0 0 20 0 2 0 76238320 4346810368 1040195 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3356.76 s
Current children cumulated vsize: 4244932 KiB
Current children cumulated memory: 4160780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.78 4.82 4.98 5/268 92961
/proc/meminfo: memFree=118794928/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4244904 memory=4160776 CPUtime=3418.19 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 49056144 0 0 0 332796 9023 0 0 20 0 2 0 76238281 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1061226 1040194 640 633 0 1045168 0
[pid=92608/tid=92610] ppid=92605 vsize=4244904 memory=4160780 CPUtime=91.03 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 581177 0 0 0 9039 64 0 0 20 0 2 0 76238320 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3418.19 s
Current children cumulated vsize: 4244904 KiB
Current children cumulated memory: 4160776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.59 4.76 4.95 6/268 92963
/proc/meminfo: memFree=118852456/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4244904 memory=4160776 CPUtime=3479.6 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 49183644 0 0 0 338928 9032 0 0 20 0 2 0 76238281 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1061226 1040194 640 633 0 1045168 0
[pid=92608/tid=92610] ppid=92605 vsize=4244904 memory=14720 CPUtime=92.73 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 581420 0 0 0 9209 64 0 0 20 0 2 0 76238320 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3479.6 s
Current children cumulated vsize: 4244904 KiB
Current children cumulated memory: 4160776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.93 4.81 4.95 6/268 92965
/proc/meminfo: memFree=118845360/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4244904 memory=4160776 CPUtime=3541.04 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 49320857 0 0 0 345064 9040 0 0 20 0 2 0 76238281 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1061226 1040194 640 633 0 1045168 0
[pid=92608/tid=92610] ppid=92605 vsize=4244904 memory=14720 CPUtime=94.47 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 581646 0 0 0 9383 64 0 0 20 0 2 0 76238320 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3541.04 s
Current children cumulated vsize: 4244904 KiB
Current children cumulated memory: 4160776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3520 s]*
/proc/loadavg: 5.51 4.99 5.01 7/267 93012
/proc/meminfo: memFree=120564988/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4244904 memory=4160776 CPUtime=3600.02 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 49404635 0 0 0 350956 9046 0 0 20 0 2 0 76238281 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1061226 1040194 640 633 0 1045168 0
[pid=92608/tid=92610] ppid=92605 vsize=4244904 memory=7971231153744132458 CPUtime=96.02 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 581869 0 0 0 9538 64 0 0 20 0 2 0 76238320 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4244904 KiB
Current children cumulated memory: 4160776 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3522.07 s]
# the end of solver process 92608 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3511.48 s, system=90.6075 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3520.8 s]
/proc/loadavg: 5.51 4.99 5.01 7/267 93012
/proc/meminfo: memFree=120564988/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=4244904 memory=4160776 CPUtime=3600.8 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 49412050 0 0 0 351034 9046 0 0 20 0 2 0 76238281 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 1061226 1040194 640 633 0 1045168 0
[pid=92608/tid=92610] ppid=92605 vsize=4244904 memory=4160776 CPUtime=96.02 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 581869 0 0 0 9538 64 0 0 20 0 2 0 76238320 4346781696 1040194 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3600.8 s
Current children cumulated vsize: 4244904 KiB
Current children cumulated memory: 4160776 KiB

[startup+3521.6 s]
/proc/loadavg: 5.46 4.99 5.01 7/267 93012
/proc/meminfo: memFree=120564988/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=3892712 memory=3808588 CPUtime=3601.61 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 49511794 0 0 0 351110 9051 0 0 20 0 2 0 76238281 3986137088 952147 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 973178 952147 640 633 0 957120 0
[pid=92608/tid=92610] ppid=92605 vsize=3892712 memory=4160776 CPUtime=96.02 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 581869 0 0 0 9538 64 0 0 20 0 2 0 76238320 3986137088 952147 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3601.61 s
Current children cumulated vsize: 3892712 KiB
Current children cumulated memory: 3808588 KiB

[startup+3522 s]*
/proc/loadavg: 5.46 4.99 5.01 7/267 93012
/proc/meminfo: memFree=120890128/131250000 swapFree=33008100/33010684
[pid=92608] ppid=92605 vsize=3892712 memory=3808588 CPUtime=3602.01 cores=1,3
/proc/92608/stat : 92608 (pb_competition_) R 92605 92608 92287 0 -1 4194304 49567221 0 0 0 351147 9054 0 0 20 0 2 0 76238281 3986137088 952147 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
/proc/92608/statm: 973178 952147 640 633 0 957120 0
[pid=92608/tid=92610] ppid=92605 vsize=3892712 memory=7971231153744132458 CPUtime=96.02 cores=1,3
/proc/92608/task/92610/stat : 92610 (pb_competition_) S 92605 92608 92287 0 -1 4194368 581869 0 0 0 9538 64 0 0 20 0 2 0 76238320 3986137088 952147 18446744073709551615 4198400 6788177 140727369378512 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14573568 140727369386329 140727369386456 140727369386456 140727369392058 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 3892712 KiB
Current children cumulated memory: 3808588 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3522.07
CPU time (s): 3602.08
CPU user time (s): 3511.48
CPU system time (s): 90.6075
CPU usage (%): 102.272
Max. virtual memory (cumulated for all children) (KiB): 4244964
Max. memory (cumulated for all children) (KiB): 4160780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3511.48
system time used= 90.6075
maximum resident set size= 4160780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49567850
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= 12273
involuntary context switches= 12255


# summary of solver processes directly reported to runsolver:
#   pid: 92608
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3511.48
#   total CPU system time (s): 90.6075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45769 second user time and 17.284 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-04 07:06:20
IDJOB=4523882
IDBENCH=180377
IDSOLVER=3347
FILE ID=nodeC013/4523882-1751605580
RUNJOBID= nodeC013-1751603728-92362
SLURM_JOB_ID= 9598886
Free space on /tmp= 432580 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.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-4523882-1751605580/watcher-4523882-1751605580 -o /tmp/evaluation-result-4523882-1751605580/solver-4523882-1751605580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751603728-92362 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1105652448 HOME/instance-4523882-1751605580.opb

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

MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360
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		: 3599.836
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		: 3637.712
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.834
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		: 3599.814
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.836
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.817
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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.829
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.842
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:        129026088 kB
MemAvailable:   129350200 kB
Buffers:            1668 kB
Cached:          1117900 kB
SwapCached:         1924 kB
Active:           875772 kB
Inactive:         753544 kB
Active(anon):     503476 kB
Inactive(anon):    17628 kB
Active(file):     372296 kB
Inactive(file):   735916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             49932 kB
Writeback:             0 kB
AnonPages:        511100 kB
Mapped:           107972 kB
Shmem:             11352 kB
KReclaimable:     109876 kB
Slab:             199656 kB
SReclaimable:     109876 kB
SUnreclaim:        89780 kB
KernelStack:        4324 kB
PageTables:         4040 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     853780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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= 432528 MiB
End job on nodeC013 at 2025-07-04 08:05:02