Trace number 4523931

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
roundingsat-ihs-log 63f22ad? (MO) 804.077 807.08

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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
2.34/2.49	c #variables 642549 #constraints 326012
2.34/2.49	c objective is ce32 
2.84/2.95	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.84/2.95	c initial counting CF 32, 64, 128, Arb: 152578 , 0 , 0 , 0
2.84/2.95	c GLOBAL bounds - >= 0 @ 2.36507
3.84/3.93	c GLOBAL bounds - >= 0 @ 2.93935
41.13/41.38	c GLOBAL bounds - >= 0 @ 38.8787
85.42/85.71	c GLOBAL bounds - >= 0 @ 82.0706
113.94/114.38	c GLOBAL bounds - >= 0 @ 110.361
141.08/141.50	c GLOBAL bounds - >= 0 @ 136.404
167.30/167.86	c GLOBAL bounds - >= 0 @ 162.404
189.55/190.19	c GLOBAL bounds - >= 0 @ 183.268
215.87/216.59	c #Conflicts:       1000 | #Constraints:      68558
215.87/216.59	c GLOBAL bounds - >= 0 @ 209.139
251.88/252.65	c GLOBAL bounds - >= 0 @ 244.411
283.89/284.77	c GLOBAL bounds - >= 0 @ 275.456
320.21/321.19	c GLOBAL bounds - >= 0 @ 310.828
397.50/398.62	c GLOBAL bounds - >= 0 @ 384.443
461.33/462.63	c #Conflicts:       2000 | #Constraints:      69568
461.33/462.63	c INPROCESSING
461.33/462.63	c GARBAGE COLLECT
461.33/462.63	c GLOBAL bounds - >= 0 @ 447.568
500.93/502.32	c GLOBAL bounds - >= 0 @ 486.837
536.13/537.61	c GLOBAL bounds - >= 0 @ 521.775
587.99/589.63	c GLOBAL bounds - >= 0 @ 572.995
624.40/626.15	c GLOBAL bounds - >= 0 @ 608.614
659.99/661.88	c GLOBAL bounds - >= 0 @ 643.461
705.57/707.54	c #Conflicts:       3000 | #Constraints:      69639
705.57/707.54	c GLOBAL bounds - >= 0 @ 687.835
749.75/751.82	c GLOBAL bounds - >= 0 @ 730.85
787.05/789.20	c GLOBAL bounds - >= 0 @ 767.415
801.21/803.46	terminate called after throwing an instance of 'std::bad_alloc'
801.21/803.46	  what():  std::bad_alloc

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (56829 MiB free)
  memory of node 1: 64507 MiB (48151 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523931-1751607397/watcher-4523931-1751607397 -o /tmp/evaluation-result-4523931-1751607397/solver-4523931-1751607397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90788 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523931-1751607397.opb PROOFDIR/proof-4523931-1751607397 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 FSIZE limit: 102400000 KiB
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=91198, runsolver pid=91195

[startup+0.100105 s]*
/proc/loadavg: 4.17 4.16 3.74 5/263 91200
/proc/meminfo: memFree=107422640/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=179740 memory=132800 CPUtime=0.06 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 5574 0 0 0 3 3 0 0 20 0 1 0 76419543 184053760 33168 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 44935 33168 1952 1147 0 32362 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 183932 KiB
Current children cumulated memory: 135744 KiB

[startup+0.213836 s]*
/proc/loadavg: 4.17 4.16 3.74 7/263 91200
/proc/meminfo: memFree=107348928/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=230356 memory=183176 CPUtime=0.18 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 10792 0 0 0 12 6 0 0 20 0 1 0 76419543 235884544 45794 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 57589 45794 1952 1147 0 45016 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 234548 KiB
Current children cumulated memory: 186120 KiB

[startup+0.313903 s]*
/proc/loadavg: 4.17 4.16 3.74 5/263 91200
/proc/meminfo: memFree=107340864/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=192252 memory=147648 CPUtime=0.27 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 10842 0 0 0 21 6 0 0 20 0 1 0 76419543 196866048 36912 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 48063 36912 1984 1147 0 35490 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 196444 KiB
Current children cumulated memory: 150592 KiB

[startup+0.700419 s]
/proc/loadavg: 4.17 4.16 3.74 5/263 91200
/proc/meminfo: memFree=107340216/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=205356 memory=161600 CPUtime=0.65 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 13898 0 0 0 52 13 0 0 20 0 1 0 76419543 210284544 40400 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 51339 40400 1984 1147 0 38766 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 209548 KiB
Current children cumulated memory: 164544 KiB

[startup+1.50042 s]
/proc/loadavg: 4.17 4.16 3.74 5/263 91200
/proc/meminfo: memFree=107308716/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=260864 memory=208936 CPUtime=1.44 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 24389 0 0 0 117 27 0 0 20 0 1 0 76419543 267124736 52234 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 65216 52234 1984 1147 0 52643 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 265056 KiB
Current children cumulated memory: 211880 KiB

[startup+3.11351 s]
/proc/loadavg: 4.16 4.15 3.74 5/263 91200
/proc/meminfo: memFree=106791184/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=828360 memory=676632 CPUtime=3.06 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 55402 0 0 0 245 61 0 0 20 0 1 0 76419543 848240640 169158 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 207090 169158 2336 1147 0 194517 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 832552 KiB
Current children cumulated memory: 679576 KiB

[startup+6.30029 s]
/proc/loadavg: 4.16 4.15 3.74 5/264 91201
/proc/meminfo: memFree=106639548/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=1002576 memory=805100 CPUtime=6.22 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 63658 0 0 0 488 134 0 0 20 0 1 0 76419543 1026637824 201275 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 250644 201275 2336 1147 0 238071 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1006768 KiB
Current children cumulated memory: 808044 KiB

[startup+12.7004 s]
/proc/loadavg: 4.23 4.17 3.75 5/264 91201
/proc/meminfo: memFree=106327072/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=1165568 memory=944340 CPUtime=12.61 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 83369 0 0 0 1116 145 0 0 20 0 1 0 76419543 1193541632 236085 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 291392 236085 2336 1147 0 278819 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1169760 KiB
Current children cumulated memory: 947284 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.16 3.75 5/264 91201
/proc/meminfo: memFree=105669824/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=1359380 memory=1152456 CPUtime=25.38 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 118512 0 0 0 2341 197 0 0 20 0 1 0 76419543 1392005120 288114 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 339845 288114 2368 1147 0 327272 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1363572 KiB
Current children cumulated memory: 1155400 KiB

[startup+51.1136 s]
/proc/loadavg: 4.11 4.14 3.76 5/264 91202
/proc/meminfo: memFree=103837768/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=2635204 memory=2280824 CPUtime=50.92 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 328435 0 0 0 4832 260 0 0 20 0 1 0 76419543 2698448896 570206 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 658801 570206 2368 1147 0 646228 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2639396 KiB
Current children cumulated memory: 2283768 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.15 3.79 5/265 91205
/proc/meminfo: memFree=100629708/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=4120248 memory=3884348 CPUtime=101.98 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 609843 0 0 0 9849 349 0 0 20 0 1 0 76419543 4219133952 971087 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 1030062 971087 2368 1147 0 1017489 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 4124440 KiB
Current children cumulated memory: 3887292 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 3.81 5/263 91207
/proc/meminfo: memFree=96354328/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=7859776 memory=6928240 CPUtime=161.81 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 1163502 0 0 0 15700 481 0 0 20 0 1 0 76419543 8048410624 1732060 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 1964944 1732060 2368 1147 0 1952371 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 7863968 KiB
Current children cumulated memory: 6931184 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 3.83 5/263 91209
/proc/meminfo: memFree=90397500/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=13589548 memory=11686432 CPUtime=221.65 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 2117551 0 0 0 21473 692 0 0 20 0 1 0 76419543 13915697152 2921608 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 3397387 2921608 2368 1147 0 3384814 0

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

/proc/meminfo: memFree=74892544/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=24739688 memory=21554116 CPUtime=461.02 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 4145040 0 0 0 44723 1379 0 0 20 0 1 0 76419543 25333440512 5388529 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 6184922 5388529 2368 1147 0 6172349 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 24743880 KiB
Current children cumulated memory: 21557060 KiB

[startup+522.3 s]
/proc/loadavg: 4.13 4.14 3.93 5/264 91229
/proc/meminfo: memFree=74039180/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=24742356 memory=21556676 CPUtime=520.87 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 4401573 0 0 0 50668 1419 0 0 20 0 1 0 76419543 25336172544 5389169 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 6185589 5389169 2368 1147 0 6173016 0
Current children cumulated CPU time: 520.87 s
Current children cumulated vsize: 24746548 KiB
Current children cumulated memory: 21559620 KiB

[startup+582.3 s]
/proc/loadavg: 4.16 4.14 3.95 5/264 91232
/proc/meminfo: memFree=72739568/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=24742356 memory=21556676 CPUtime=580.71 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 4523128 0 0 0 56612 1459 0 0 20 0 1 0 76419543 25336172544 5389169 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 6185589 5389169 2368 1147 0 6173016 0
Current children cumulated CPU time: 580.71 s
Current children cumulated vsize: 24746548 KiB
Current children cumulated memory: 21559620 KiB

[startup+642.3 s]
/proc/loadavg: 4.06 4.12 3.95 5/265 91235
/proc/meminfo: memFree=71339376/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=24742356 memory=21647936 CPUtime=640.55 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 4536778 0 0 0 62438 1617 0 0 20 0 1 0 76419543 25336172544 5411984 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 6185589 5411984 2368 1147 0 6173016 0
Current children cumulated CPU time: 640.55 s
Current children cumulated vsize: 24746548 KiB
Current children cumulated memory: 21650880 KiB

[startup+702.3 s]
/proc/loadavg: 4.17 4.14 3.98 5/265 91238
/proc/meminfo: memFree=68087024/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=28704668 memory=23846252 CPUtime=700.38 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 4824424 0 0 0 68276 1762 0 0 20 0 1 0 76419543 29393580032 5961563 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 7176167 5961563 2368 1147 0 7163594 0
Current children cumulated CPU time: 700.38 s
Current children cumulated vsize: 28708860 KiB
Current children cumulated memory: 23849196 KiB

[startup+762.3 s]
/proc/loadavg: 4.18 4.14 3.99 5/263 91240
/proc/meminfo: memFree=64635460/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=29254528 memory=25888968 CPUtime=760.23 cores=0,2
/proc/91200/stat : 91200 (roundingsat) R 91198 91198 90778 0 -1 4194304 5093977 0 0 0 74087 1936 0 0 20 0 1 0 76419543 29956636672 6472242 18446744073709551615 4227072 8923433 140731627745568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 0
/proc/91200/statm: 7313632 6472242 2368 1147 0 7301059 0
Current children cumulated CPU time: 760.23 s
Current children cumulated vsize: 29258720 KiB
Current children cumulated memory: 25891912 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+803.5 s]
/proc/loadavg: 4.15 4.14 4.00 5/264 91243
/proc/meminfo: memFree=62093804/131382116 swapFree=33010684/33010684
[pid=91198] ppid=91195 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/91198/stat : 91198 (run-opt-log.sh) S 91195 91198 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76419542 4292608 736 18446744073709551615 94512789061632 94512789956165 140729860874336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94512790195216 94512790242960 94512823472128 140729860876577 140729860876772 140729860876772 140729860882374 0
/proc/91198/statm: 1048 736 672 219 0 110 0
[pid=91200] ppid=91198 vsize=31795028 memory=28117024 CPUtime=801.28 cores=0,2
/proc/91200/stat : 91200 (roundingsat) S 91198 91198 90778 0 -1 4195840 5460550 0 0 0 78073 2055 0 0 20 0 1 0 76419543 32558108672 7029256 18446744073709551615 4227072 8923433 140731627745568 140731627741296 139649306114668 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 6
/proc/91200/statm: 7948757 7029256 2464 1147 0 7936184 0
Current children cumulated CPU time: 801.28 s
Current children cumulated vsize: 31799220 KiB
Current children cumulated memory: 28119968 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=780.74 s, system=23.3376 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+804.808 s]
/proc/loadavg: 4.15 4.14 4.00 5/265 91246
/proc/meminfo: memFree=61299448/131382116 swapFree=33010684/33010684
[pid=91200] ppid=91195 vsize=31795028 memory=28117024 CPUtime=802.51 cores=0,2
/proc/91200/stat : 91200 (roundingsat) D 91195 91198 90778 0 -1 4195840 5460550 0 0 0 78073 2178 0 0 20 0 1 0 76419543 32558108672 7029256 18446744073709551615 4227072 8923433 140731627745568 140731627741296 139649306114668 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 6
/proc/91200/statm: 7948757 7029256 2464 1147 0 7936184 0
Current cumulated CPU time of completed processes: 0.005245 s
Current children cumulated CPU time: 802.51 s
Current children cumulated vsize: 31795028 KiB
Current children cumulated memory: 28117024 KiB

[startup+805.2 s]
/proc/loadavg: 4.15 4.14 4.00 5/265 91246
/proc/meminfo: memFree=60544196/131382116 swapFree=33010684/33010684
[pid=91200] ppid=91195 vsize=31795028 memory=28117024 CPUtime=802.52 cores=0,2
/proc/91200/stat : 91200 (roundingsat) S 91195 91198 90778 0 -1 4195840 5460550 0 0 0 78073 2179 0 0 20 0 1 0 76419543 32558108672 7029256 18446744073709551615 4227072 8923433 140731627745568 140731627741296 139649306114668 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 6
/proc/91200/statm: 7948757 7029256 2464 1147 0 7936184 0
Current cumulated CPU time of completed processes: 0.005245 s
Current children cumulated CPU time: 802.52 s
Current children cumulated vsize: 31795028 KiB
Current children cumulated memory: 28117024 KiB

[startup+805.4 s]
/proc/loadavg: 4.15 4.14 4.00 5/265 91246
/proc/meminfo: memFree=60544196/131382116 swapFree=33010684/33010684
[pid=91200] ppid=91195 vsize=31795028 memory=28117024 CPUtime=802.52 cores=0,2
/proc/91200/stat : 91200 (roundingsat) S 91195 91198 90778 0 -1 4195840 5460550 0 0 0 78073 2179 0 0 20 0 1 0 76419543 32558108672 7029256 18446744073709551615 4227072 8923433 140731627745568 140731627741296 139649306114668 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 6
/proc/91200/statm: 7948757 7029256 2464 1147 0 7936184 0
Current cumulated CPU time of completed processes: 0.005245 s
Current children cumulated CPU time: 802.52 s
Current children cumulated vsize: 31795028 KiB
Current children cumulated memory: 28117024 KiB

[startup+805.5 s]
/proc/loadavg: 4.15 4.14 4.00 5/265 91246
/proc/meminfo: memFree=60544196/131382116 swapFree=33010684/33010684
[pid=91200] ppid=91195 vsize=31795028 memory=28117024 CPUtime=802.52 cores=0,2
/proc/91200/stat : 91200 (roundingsat) S 91195 91198 90778 0 -1 4195840 5460550 0 0 0 78073 2179 0 0 20 0 1 0 76419543 32558108672 7029256 18446744073709551615 4227072 8923433 140731627745568 140731627741296 139649306114668 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9823104 9832592 32673792 140731627747666 140731627747880 140731627747880 140731627753450 6
/proc/91200/statm: 7948757 7029256 2464 1147 0 7936184 0
Current cumulated CPU time of completed processes: 0.005245 s
Current children cumulated CPU time: 802.52 s
Current children cumulated vsize: 31795028 KiB
Current children cumulated memory: 28117024 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 807.08
CPU time (s): 804.077
CPU user time (s): 780.74
CPU system time (s): 23.3376
CPU usage (%): 99.6279
Max. virtual memory (cumulated for all children) (KiB): 31799220
Max. memory (cumulated for all children) (KiB): 28119968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 780.74
system time used= 23.3376
maximum resident set size= 28117024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5460756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8731088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 663
involuntary context switches= 5132


# summary of solver processes directly reported to runsolver:
#   pid: 91198,91200
#   total CPU time (s): 804.077
#   total CPU user time (s): 780.74
#   total CPU system time (s): 23.3376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67126 second user time and 7.04515 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-04 07:36:38
IDJOB=4523931
IDBENCH=180378
IDSOLVER=3351
FILE ID=nodeC011/4523931-1751607397
RUNJOBID= nodeC011-1751606131-90788
SLURM_JOB_ID= 9598893
Free space on /tmp= 430488 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523931-1751607397/watcher-4523931-1751607397 -o /tmp/evaluation-result-4523931-1751607397/solver-4523931-1751607397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90788 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523931-1751607397.opb PROOFDIR/proof-4523931-1751607397

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

MD5SUM BENCH= e21aae6253a3d8ec45e9622b89e9ca39
RANDOM SEED=637056057

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        107500476 kB
MemAvailable:   128466804 kB
Buffers:            3276 kB
Cached:         21744628 kB
SwapCached:            0 kB
Active:          1981184 kB
Inactive:       21302772 kB
Active(anon):    1551992 kB
Inactive(anon):     2104 kB
Active(file):     429192 kB
Inactive(file): 21300668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            451132 kB
Writeback:             4 kB
AnonPages:       1525716 kB
Mapped:           118448 kB
Shmem:             17960 kB
KReclaimable:     151804 kB
Slab:             251884 kB
SReclaimable:     151804 kB
SUnreclaim:       100080 kB
KernelStack:        4240 kB
PageTables:         6212 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1946148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149592 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1275904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 428300 MiB
End job on nodeC011 at 2025-07-04 07:50:05