Trace number 4489779

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
Picat 2025-06-16? (TO) 3600.03 3610.4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark72000.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494314
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494314
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.01	c solving HOME/instance-4489779-1751355189.opb (Picat 3.9b6)
7.98/8.04	o 3827

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 (62930 MiB free)
  memory of node 1: 64465 MiB (63923 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489779-1751355189/watcher-4489779-1751355189 -o /tmp/evaluation-result-4489779-1751355189/solver-4489779-1751355189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751351577-49549 --watchdog 3760 pb_picat HOME/instance-4489779-1751355189.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49965, runsolver pid=49959
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129814312/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2027148 memory=38776 CPUtime=0.09 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 1144 0 0 0 8 1 0 0 20 0 1 0 51196771 2075799552 9694 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 506787 9694 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38776 KiB

[startup+0.205429 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129757016/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2027148 memory=55160 CPUtime=0.2 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 1152 0 0 0 19 1 0 0 20 0 1 0 51196771 2075799552 13790 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 506787 13790 1568 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 55160 KiB

[startup+0.305375 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129703768/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2027148 memory=71544 CPUtime=0.29 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 1160 0 0 0 28 1 0 0 20 0 1 0 51196771 2075799552 17886 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 506787 17886 1568 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71544 KiB

[startup+0.700174 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129580888/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2027148 memory=130936 CPUtime=0.68 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 1189 0 0 0 66 2 0 0 20 0 1 0 51196771 2075799552 32734 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 506787 32734 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 130936 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=129269340/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2027148 memory=255864 CPUtime=1.48 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 1250 0 0 0 143 5 0 0 20 0 1 0 51196771 2075799552 63966 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 506787 63966 1568 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 255864 KiB

[startup+3.10528 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49972
/proc/meminfo: memFree=127982552/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2027148 memory=518008 CPUtime=3.09 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 1384 0 0 0 299 10 0 0 20 0 1 0 51196771 2075799552 129502 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 506787 129502 1568 343 0 503851 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 518008 KiB

[startup+6.30017 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49972
/proc/meminfo: memFree=126020120/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2244560 memory=1034416 CPUtime=6.27 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 8413 0 0 0 605 22 0 0 20 0 1 0 51196771 2298429440 258604 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 561140 258604 1760 343 0 558204 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2244560 KiB
Current children cumulated memory: 1034416 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 49972
/proc/meminfo: memFree=125842500/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2278332 memory=1072216 CPUtime=12.66 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 14270 0 0 0 1239 27 0 0 20 0 1 0 51196771 2333011968 268054 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 569583 268054 1760 343 0 566647 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2278332 KiB
Current children cumulated memory: 1072216 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 49972
/proc/meminfo: memFree=125849920/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2278332 memory=1081688 CPUtime=25.42 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 16264 0 0 0 2514 28 0 0 20 0 1 0 51196771 2333011968 270422 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 569583 270422 1760 343 0 566647 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2278332 KiB
Current children cumulated memory: 1081688 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 49973
/proc/meminfo: memFree=125811084/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2289496 memory=1064404 CPUtime=50.95 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 21016 0 0 0 5062 33 0 0 20 0 1 0 51196771 2344443904 266101 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 572374 266101 1760 343 0 569438 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2289496 KiB
Current children cumulated memory: 1064404 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 49980
/proc/meminfo: memFree=125829100/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2257800 memory=1061488 CPUtime=102.01 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 30272 0 0 0 10160 41 0 0 20 0 1 0 51196771 2311987200 265372 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 564450 265372 1760 343 0 561514 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2257800 KiB
Current children cumulated memory: 1061488 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 49982
/proc/meminfo: memFree=125562432/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2257800 memory=1060552 CPUtime=161.84 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 45789 0 0 0 16127 57 0 0 20 0 1 0 51196771 2311987200 265138 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 564450 265138 1760 343 0 561514 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2257800 KiB
Current children cumulated memory: 1060552 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 49984
/proc/meminfo: memFree=125572876/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2372488 memory=1147628 CPUtime=221.67 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 58347 0 0 0 22092 75 0 0 20 0 1 0 51196771 2429427712 286907 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 593122 286907 1760 343 0 590186 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2372488 KiB
Current children cumulated memory: 1147628 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 49986
/proc/meminfo: memFree=125603928/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2372488 memory=1145580 CPUtime=281.51 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 70549 0 0 0 28059 92 0 0 20 0 1 0 51196771 2429427712 286395 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 593122 286395 1760 343 0 590186 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2372488 KiB
Current children cumulated memory: 1145580 KiB

[startup+342.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/263 49988
/proc/meminfo: memFree=125698564/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2373416 memory=1116852 CPUtime=341.34 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 82878 0 0 0 34029 105 0 0 20 0 1 0 51196771 2430377984 279213 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 593354 279213 1760 343 0 590418 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2373416 KiB
Current children cumulated memory: 1116852 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/262 49992
/proc/meminfo: memFree=125778560/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2258728 memory=1061556 CPUtime=401.17 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 92757 0 0 0 39996 121 0 0 20 0 1 0 51196771 2312937472 265389 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 564682 265389 1760 343 0 561746 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2258728 KiB
Current children cumulated memory: 1061556 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/263 49994
/proc/meminfo: memFree=125613368/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2307880 memory=1091888 CPUtime=461 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 103477 0 0 0 45965 135 0 0 20 0 1 0 51196771 2363269120 272972 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 576970 272972 1760 343 0 574034 0

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

Current children cumulated memory: 1076432 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 50123
/proc/meminfo: memFree=125621680/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2293320 memory=1072208 CPUtime=2853.92 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 412727 0 0 0 284716 676 0 0 20 0 1 0 51196771 2348359680 268052 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 573330 268052 1760 343 0 570394 0
Current children cumulated CPU time: 2853.92 s
Current children cumulated vsize: 2293320 KiB
Current children cumulated memory: 1072208 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 50125
/proc/meminfo: memFree=125240864/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2489928 memory=1213648 CPUtime=2913.75 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 420432 0 0 0 290684 691 0 0 20 0 1 0 51196771 2549686272 303412 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 622482 303412 1760 343 0 619546 0
Current children cumulated CPU time: 2913.75 s
Current children cumulated vsize: 2489928 KiB
Current children cumulated memory: 1213648 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 50126
/proc/meminfo: memFree=125485184/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2489928 memory=1178716 CPUtime=2973.59 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 430911 0 0 0 296646 713 0 0 20 0 1 0 51196771 2549686272 294679 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 622482 294679 1760 343 0 619546 0
Current children cumulated CPU time: 2973.59 s
Current children cumulated vsize: 2489928 KiB
Current children cumulated memory: 1178716 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 50128
/proc/meminfo: memFree=125690336/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2309704 memory=1085904 CPUtime=3033.44 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 436041 0 0 0 302614 730 0 0 20 0 1 0 51196771 2365136896 271476 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 577426 271476 1760 343 0 574490 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 2309704 KiB
Current children cumulated memory: 1085904 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 50134
/proc/meminfo: memFree=125092428/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2768816 memory=1534764 CPUtime=3093.27 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 440792 0 0 0 308580 747 0 0 20 0 1 0 51196771 2835267584 383691 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 692204 383691 1760 343 0 689268 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 2768816 KiB
Current children cumulated memory: 1534764 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 50136
/proc/meminfo: memFree=125196828/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2310064 memory=1096492 CPUtime=3153.12 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 448060 0 0 0 314548 764 0 0 20 0 1 0 51196771 2365505536 274123 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 577516 274123 1760 343 0 574580 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 2310064 KiB
Current children cumulated memory: 1096492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 50138
/proc/meminfo: memFree=125499688/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2277296 memory=1082156 CPUtime=3212.96 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 450296 0 0 0 320529 767 0 0 20 0 1 0 51196771 2331951104 270539 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 569324 270539 1760 343 0 566388 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 2277296 KiB
Current children cumulated memory: 1082156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 50140
/proc/meminfo: memFree=125318984/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2408368 memory=1168172 CPUtime=3272.79 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 453003 0 0 0 326509 770 0 0 20 0 1 0 51196771 2466168832 292043 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 602092 292043 1760 343 0 599156 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 2408368 KiB
Current children cumulated memory: 1168172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 50143
/proc/meminfo: memFree=125188608/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2768816 memory=1379116 CPUtime=3332.63 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 458607 0 0 0 332477 786 0 0 20 0 1 0 51196771 2835267584 344779 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 692204 344779 1760 343 0 689268 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 2768816 KiB
Current children cumulated memory: 1379116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/264 50148
/proc/meminfo: memFree=125155120/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2752432 memory=1481400 CPUtime=3392.47 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 464214 0 0 0 338444 803 0 0 20 0 1 0 51196771 2818490368 370350 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 688108 370350 1760 343 0 685172 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 2752432 KiB
Current children cumulated memory: 1481400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 50151
/proc/meminfo: memFree=125108088/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2375600 memory=1169872 CPUtime=3452.31 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 471296 0 0 0 344411 820 0 0 20 0 1 0 51196771 2432614400 292468 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 593900 292468 1760 343 0 590964 0
Current children cumulated CPU time: 3452.31 s
Current children cumulated vsize: 2375600 KiB
Current children cumulated memory: 1169872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 50153
/proc/meminfo: memFree=125171500/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2260912 memory=1073836 CPUtime=3512.15 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 476403 0 0 0 350380 835 0 0 20 0 1 0 51196771 2315173888 268459 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 565228 268459 1760 343 0 562292 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 2260912 KiB
Current children cumulated memory: 1073836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 50155
/proc/meminfo: memFree=125527596/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2375600 memory=1184812 CPUtime=3571.99 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 484298 0 0 0 356347 852 0 0 20 0 1 0 51196771 2432614400 296203 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 593900 296203 1760 343 0 590964 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 2375600 KiB
Current children cumulated memory: 1184812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.09 4.11 4.09 4/259 50188
/proc/meminfo: memFree=126796360/131249996 swapFree=33005272/33010684
[pid=49965] ppid=49959 vsize=2359216 memory=1166008 CPUtime=3600.01 cores=0,2
/proc/49965/stat : 49965 (pb_picat) R 49959 49965 49539 0 -1 4194304 486995 0 0 0 359142 859 0 0 20 0 1 0 51196771 2415837184 291502 18446744073709551615 94792942678016 94792944079597 140727070378768 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94792944351024 94792946225328 94792960712704 140727070386590 140727070386666 140727070386666 140727070392268 0
/proc/49965/statm: 589804 291502 1760 343 0 586868 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2359216 KiB
Current children cumulated memory: 1166008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.42 s, system=8.60382 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.4
CPU time (s): 3600.03
CPU user time (s): 3591.42
CPU system time (s): 8.60382
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 2801584
Max. memory (cumulated for all children) (KiB): 1555244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.42
system time used= 8.60382
maximum resident set size= 1555244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486995
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= 79
involuntary context switches= 7878


# summary of solver processes directly reported to runsolver:
#   pid: 49965
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3591.42
#   total CPU system time (s): 8.60382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28588 second user time and 15.4779 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 09:33:09
IDJOB=4489779
IDBENCH=147563
IDSOLVER=3346
FILE ID=nodeC023/4489779-1751355189
RUNJOBID= nodeC023-1751351577-49549
SLURM_JOB_ID= 9598142
Free space on /tmp= 432992 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489779-1751355189/watcher-4489779-1751355189 -o /tmp/evaluation-result-4489779-1751355189/solver-4489779-1751355189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751351577-49549 --watchdog 3760  pb_picat HOME/instance-4489779-1751355189.opb

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=114958436

nodeC023 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.861
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.78
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		: 3600.591
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.78
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		: 3569.105
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.892
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.78
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.886
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.78
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.886
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.78
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		: 3571.462
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.78
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129915200 kB
MemAvailable:   129582152 kB
Buffers:            1328 kB
Cached:           466008 kB
SwapCached:          464 kB
Active:           428064 kB
Inactive:         313996 kB
Active(anon):     233288 kB
Inactive(anon):    54780 kB
Active(file):     194776 kB
Inactive(file):   259216 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             78304 kB
Writeback:            44 kB
AnonPages:        277432 kB
Mapped:           104552 kB
Shmem:             13340 kB
KReclaimable:     104400 kB
Slab:             191808 kB
SReclaimable:     104400 kB
SUnreclaim:        87408 kB
KernelStack:        4188 kB
PageTables:         3700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4421904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC023 at 2025-07-01 10:33:20