Trace number 4528743

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
pb_picat 2025-07-11? (TO) 3600.02 3610.41

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.40/0.48	c solving HOME/instance-4528743-1752249753.opb (Picat 3.9b11, 7/10/2025)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528743-1752249753/watcher-4528743-1752249753 -o /tmp/evaluation-result-4528743-1752249753/solver-4528743-1752249753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752242529-108415 --watchdog 3760 pb_picat HOME/instance-4528743-1752249753.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.13 4.10 5/265 109293
/proc/meminfo: memFree=117063180/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=2027148 memory=31572 CPUtime=0.08 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 968 0 0 0 8 0 0 0 20 0 1 0 140653984 2075799552 7893 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 506787 7893 1472 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 31572 KiB

[startup+0.205644 s]*
/proc/loadavg: 4.08 4.13 4.10 5/265 109293
/proc/meminfo: memFree=117050892/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=2042776 memory=44008 CPUtime=0.19 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 1011 0 0 0 19 0 0 0 20 0 1 0 140653984 2091802624 11002 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 510694 11002 1472 343 0 507758 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 44008 KiB

[startup+0.305556 s]*
/proc/loadavg: 4.08 4.13 4.10 5/265 109293
/proc/meminfo: memFree=117042700/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=2042776 memory=54248 CPUtime=0.3 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 1016 0 0 0 29 1 0 0 20 0 1 0 140653984 2091802624 13562 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 510694 13562 1472 343 0 507758 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 54248 KiB

[startup+0.700185 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 109293
/proc/meminfo: memFree=117018124/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=2117096 memory=172544 CPUtime=0.68 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 4898 0 0 0 65 3 0 0 20 0 1 0 140653984 2167906304 43136 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 529274 43136 1504 343 0 526338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2117096 KiB
Current children cumulated memory: 172544 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 109293
/proc/meminfo: memFree=116844668/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=2229260 memory=360752 CPUtime=1.48 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 8290 0 0 0 137 11 0 0 20 0 1 0 140653984 2282762240 90188 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 557315 90188 1504 343 0 554379 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2229260 KiB
Current children cumulated memory: 360752 KiB

[startup+3.10548 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 109293
/proc/meminfo: memFree=116515112/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=2276760 memory=666552 CPUtime=3.08 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 9382 0 0 0 290 18 0 0 20 0 1 0 140653984 2331402240 166638 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 569190 166638 1536 343 0 566254 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2276760 KiB
Current children cumulated memory: 666552 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 109383
/proc/meminfo: memFree=123509892/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=2276760 memory=1128888 CPUtime=6.26 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 10074 0 0 0 598 28 0 0 20 0 1 0 140653984 2331402240 282222 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 569190 282222 1536 343 0 566254 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2276760 KiB
Current children cumulated memory: 1128888 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.11 5/265 109383
/proc/meminfo: memFree=121717104/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=3038328 memory=1709864 CPUtime=12.64 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 12742 0 0 0 1222 42 0 0 20 0 1 0 140653984 3111247872 427466 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 759582 427466 1536 343 0 756646 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3038328 KiB
Current children cumulated memory: 1709864 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.16 4.11 5/265 109384
/proc/meminfo: memFree=120298288/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=3212728 memory=2592360 CPUtime=25.41 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 15513 0 0 0 2476 65 0 0 20 0 1 0 140653984 3289833472 648090 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 803182 648090 1600 343 0 800246 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3212728 KiB
Current children cumulated memory: 2592360 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 109429
/proc/meminfo: memFree=118593364/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=4691136 memory=4420352 CPUtime=50.93 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 88805 0 0 0 4818 275 0 0 20 0 1 0 140653984 4803723264 1105088 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1172784 1105088 1696 343 0 1169848 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4691136 KiB
Current children cumulated memory: 4420352 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 109430
/proc/meminfo: memFree=114619380/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5005448 memory=4351256 CPUtime=101.95 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 125645 0 0 0 9894 301 0 0 20 0 1 0 140653984 5125578752 1087814 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1251362 1087814 1696 343 0 1248426 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 5005448 KiB
Current children cumulated memory: 4351256 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 109432
/proc/meminfo: memFree=114062076/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5220100 memory=4534324 CPUtime=161.78 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 147208 0 0 0 15844 334 0 0 20 0 1 0 140653984 5345382400 1133581 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1305025 1133581 1696 343 0 1302089 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 5220100 KiB
Current children cumulated memory: 4534324 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 109434
/proc/meminfo: memFree=113910660/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5220100 memory=4523816 CPUtime=221.59 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 167361 0 0 0 21803 356 0 0 20 0 1 0 140653984 5345382400 1130954 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1305025 1130954 1696 343 0 1302089 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 5220100 KiB
Current children cumulated memory: 4523816 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 109436
/proc/meminfo: memFree=114523808/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5744388 memory=4581160 CPUtime=281.42 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 167945 0 0 0 27785 357 0 0 20 0 1 0 140653984 5882253312 1145290 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1436097 1145290 1696 343 0 1433161 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 5744388 KiB
Current children cumulated memory: 4581160 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 109443
/proc/meminfo: memFree=113711152/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5744388 memory=4714280 CPUtime=341.26 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 184114 0 0 0 33761 365 0 0 20 0 1 0 140653984 5882253312 1178570 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1436097 1178570 1696 343 0 1433161 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 5744388 KiB
Current children cumulated memory: 4714280 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 109445
/proc/meminfo: memFree=113726028/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4611552 CPUtime=401.1 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 187333 0 0 0 39735 375 0 0 20 0 1 0 140653984 5890277376 1152888 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1152888 1696 343 0 1435120 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4611552 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 109450
/proc/meminfo: memFree=113769632/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4712268 CPUtime=460.92 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 205722 0 0 0 45698 394 0 0 20 0 1 0 140653984 5890277376 1178067 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1178067 1696 343 0 1435120 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 4304208 KiB

[startup+2862.3 s]
/proc/loadavg: 3.15 3.16 3.31 4/260 109596
/proc/meminfo: memFree=116335860/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4713808 CPUtime=2854.13 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 501939 0 0 0 284689 724 0 0 20 0 1 0 140653984 5890277376 1178452 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1178452 1696 343 0 1435120 0
Current children cumulated CPU time: 2854.13 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4713808 KiB

[startup+2922.3 s]
/proc/loadavg: 3.11 3.14 3.30 4/260 109598
/proc/meminfo: memFree=116254876/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4693328 CPUtime=2913.97 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 519291 0 0 0 290654 743 0 0 20 0 1 0 140653984 5890277376 1173332 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1173332 1696 343 0 1435120 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4693328 KiB

[startup+2982.3 s]
/proc/loadavg: 3.16 3.15 3.28 4/260 109600
/proc/meminfo: memFree=116338772/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4631888 CPUtime=2973.79 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 521508 0 0 0 296626 753 0 0 20 0 1 0 140653984 5890277376 1157972 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1157972 1696 343 0 1435120 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4631888 KiB

[startup+3042.3 s]
/proc/loadavg: 3.12 3.14 3.27 4/260 109602
/proc/meminfo: memFree=116439400/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4638032 CPUtime=3033.62 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 521554 0 0 0 302609 753 0 0 20 0 1 0 140653984 5890277376 1159508 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1159508 1696 343 0 1435120 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4638032 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.12 3.26 4/258 109604
/proc/meminfo: memFree=116471600/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4599120 CPUtime=3093.47 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 523769 0 0 0 308585 762 0 0 20 0 1 0 140653984 5890277376 1149780 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1149780 1696 343 0 1435120 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4599120 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.13 3.25 4/256 109606
/proc/meminfo: memFree=116880456/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4695376 CPUtime=3153.29 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 538993 0 0 0 314561 768 0 0 20 0 1 0 140653984 5890277376 1173844 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1173844 1696 343 0 1435120 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4695376 KiB

[startup+3222.3 s]
/proc/loadavg: 3.05 3.10 3.23 4/256 109608
/proc/meminfo: memFree=116496428/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4640080 CPUtime=3213.12 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 541244 0 0 0 320533 779 0 0 20 0 1 0 140653984 5890277376 1160020 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1160020 1696 343 0 1435120 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4640080 KiB

[startup+3282.3 s]
/proc/loadavg: 3.06 3.10 3.22 4/256 109610
/proc/meminfo: memFree=116515932/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4607312 CPUtime=3272.95 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 558997 0 0 0 326499 796 0 0 20 0 1 0 140653984 5890277376 1151828 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1151828 1696 343 0 1435120 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4607312 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.11 3.22 4/257 109617
/proc/meminfo: memFree=116559028/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5227936 memory=4496720 CPUtime=3332.77 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 578341 0 0 0 332456 821 0 0 20 0 1 0 140653984 5353406464 1124180 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1306984 1124180 1696 343 0 1304048 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 5227936 KiB
Current children cumulated memory: 4496720 KiB

[startup+3402.3 s]
/proc/loadavg: 3.10 3.10 3.20 4/257 109619
/proc/meminfo: memFree=116386808/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4693328 CPUtime=3392.58 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 594455 0 0 0 338427 831 0 0 20 0 1 0 140653984 5890277376 1173332 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1173332 1696 343 0 1435120 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4693328 KiB

[startup+3462.3 s]
/proc/loadavg: 3.11 3.10 3.19 4/257 109623
/proc/meminfo: memFree=116224236/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4771152 CPUtime=3452.39 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 597118 0 0 0 344394 845 0 0 20 0 1 0 140653984 5890277376 1192788 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1192788 1696 343 0 1435120 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4771152 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.09 3.18 4/257 109636
/proc/meminfo: memFree=116209864/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4793680 CPUtime=3512.19 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 597211 0 0 0 350374 845 0 0 20 0 1 0 140653984 5890277376 1198420 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1198420 1696 343 0 1435120 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4793680 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.09 3.17 4/257 109638
/proc/meminfo: memFree=116354704/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4635984 CPUtime=3571.99 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 615154 0 0 0 356337 862 0 0 20 0 1 0 140653984 5890277376 1158996 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1158996 1696 343 0 1435120 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4635984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.10 3.09 3.17 4/257 109639
/proc/meminfo: memFree=116340160/131250000 swapFree=33010672/33010684
[pid=109292] ppid=109289 vsize=5752224 memory=4652368 CPUtime=3600 cores=0,2
/proc/109292/stat : 109292 (pb_picat) R 109289 109292 108405 0 -1 4194304 615227 0 0 0 359138 862 0 0 20 0 1 0 140653984 5890277376 1163092 18446744073709551615 94512112746496 94512114148077 140728459081008 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94512114419504 94512116293744 94512154460160 140728459086236 140728459086312 140728459086312 140728459091916 0
/proc/109292/statm: 1438056 1163092 1696 343 0 1435120 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 5752224 KiB
Current children cumulated memory: 4652368 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.38 s, system=8.63896 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.41
CPU time (s): 3600.02
CPU user time (s): 3591.38
CPU system time (s): 8.63896
CPU usage (%): 99.7122
Max. virtual memory (cumulated for all children) (KiB): 5930312
Max. memory (cumulated for all children) (KiB): 5067840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.38
system time used= 8.63896
maximum resident set size= 5067840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 615227
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= 117
involuntary context switches= 7836


# summary of solver processes directly reported to runsolver:
#   pid: 109292
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3591.38
#   total CPU system time (s): 8.63896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89922 second user time and 15.7641 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-11 18:02:33
IDJOB=4528743
IDBENCH=180377
IDSOLVER=3385
FILE ID=nodeC026/4528743-1752249753
RUNJOBID= nodeC026-1752242529-108415
SLURM_JOB_ID= 9682555
Free space on /tmp= 429356 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/normalized-dobutsu-shogi-master-noopt.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528743-1752249753/watcher-4528743-1752249753 -o /tmp/evaluation-result-4528743-1752249753/solver-4528743-1752249753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752242529-108415 --watchdog 3760  pb_picat HOME/instance-4528743-1752249753.opb

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

MD5SUM BENCH= c9e2c34ab166c037a70ac98b2c310360
RANDOM SEED=1458436416

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117077232 kB
MemAvailable:   120798496 kB
Buffers:            2128 kB
Cached:          4344488 kB
SwapCached:            4 kB
Active:          9535244 kB
Inactive:        3670628 kB
Active(anon):    8867648 kB
Inactive(anon):     9684 kB
Active(file):     667596 kB
Inactive(file):  3660944 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47036 kB
Writeback:             0 kB
AnonPages:       8859660 kB
Mapped:           116340 kB
Shmem:             18076 kB
KReclaimable:     453524 kB
Slab:             556968 kB
SReclaimable:     453524 kB
SUnreclaim:       103444 kB
KernelStack:        4320 kB
PageTables:        20592 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   14579396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8658944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 429736 MiB
End job on nodeC026 at 2025-07-11 19:02:44