Trace number 4489595

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.01 3608.8

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM9792288b3bfa4387008e61c6fa17d472
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 benchmark245
Best CPU time to get the best result obtained on this benchmark28904.8
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 495293
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 495293
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-4489595-1751351577.opb (Picat 3.9b6)
8.94/9.08	o 7568
1069.80/1072.63	o 2521

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489595-1751351577/watcher-4489595-1751351577 -o /tmp/evaluation-result-4489595-1751351577/solver-4489595-1751351577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751351577-49550 --watchdog 3760 pb_picat HOME/instance-4489595-1751351577.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=49597, runsolver pid=49590

[startup+0.100059 s]*
/proc/loadavg: 0.94 1.16 2.00 6/267 49608
/proc/meminfo: memFree=130032256/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2027148 memory=38648 CPUtime=0.08 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 1144 0 0 0 8 0 0 0 20 0 1 0 50835618 2075799552 9662 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 506787 9662 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38648 KiB

[startup+0.205895 s]*
/proc/loadavg: 0.94 1.16 2.00 6/267 49608
/proc/meminfo: memFree=129979216/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2027148 memory=50936 CPUtime=0.18 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 1150 0 0 0 18 0 0 0 20 0 1 0 50835618 2075799552 12734 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 506787 12734 1536 343 0 503851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 50936 KiB

[startup+0.305745 s]*
/proc/loadavg: 0.94 1.16 2.00 6/267 49608
/proc/meminfo: memFree=129913680/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2027148 memory=67320 CPUtime=0.27 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 1158 0 0 0 27 0 0 0 20 0 1 0 50835618 2075799552 16830 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 506787 16830 1536 343 0 503851 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 67320 KiB

[startup+0.700162 s]
/proc/loadavg: 0.94 1.16 2.00 6/267 49608
/proc/meminfo: memFree=129790548/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2027148 memory=124664 CPUtime=0.65 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 1186 0 0 0 64 1 0 0 20 0 1 0 50835618 2075799552 31166 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 506787 31166 1536 343 0 503851 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 124664 KiB

[startup+1.50016 s]
/proc/loadavg: 1.18 1.20 2.01 6/267 49608
/proc/meminfo: memFree=129483232/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2027148 memory=251640 CPUtime=1.45 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 1248 0 0 0 142 3 0 0 20 0 1 0 50835618 2075799552 62910 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 506787 62910 1536 343 0 503851 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 251640 KiB

[startup+3.10562 s]
/proc/loadavg: 1.18 1.20 2.01 6/267 49608
/proc/meminfo: memFree=128191640/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2027148 memory=509688 CPUtime=3.06 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 1380 0 0 0 298 8 0 0 20 0 1 0 50835618 2075799552 127422 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 506787 127422 1536 343 0 503851 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 509688 KiB

[startup+6.30015 s]
/proc/loadavg: 1.41 1.25 2.02 6/267 49608
/proc/meminfo: memFree=126071632/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2244556 memory=1035492 CPUtime=6.25 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 8231 0 0 0 602 23 0 0 20 0 1 0 50835618 2298425344 258873 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 561139 258873 1696 343 0 558203 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2244556 KiB
Current children cumulated memory: 1035492 KiB

[startup+12.7002 s]
/proc/loadavg: 1.70 1.31 2.03 6/266 49608
/proc/meminfo: memFree=125948048/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2240692 memory=1032592 CPUtime=12.63 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 19145 0 0 0 1235 28 0 0 20 0 1 0 50835618 2294468608 258148 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 560173 258148 1696 343 0 557237 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2240692 KiB
Current children cumulated memory: 1032592 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 1.40 2.06 6/266 49609
/proc/meminfo: memFree=125878804/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2256380 memory=1053568 CPUtime=25.4 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 30168 0 0 0 2507 33 0 0 20 0 1 0 50835618 2310533120 263392 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 564095 263392 1696 343 0 561159 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2256380 KiB
Current children cumulated memory: 1053568 KiB

[startup+51.1058 s]
/proc/loadavg: 2.89 1.67 2.12 6/266 49609
/proc/meminfo: memFree=125893264/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2240124 memory=1041372 CPUtime=50.94 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 41296 0 0 0 5054 40 0 0 20 0 1 0 50835618 2293886976 260343 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 560031 260343 1696 343 0 557095 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2240124 KiB
Current children cumulated memory: 1041372 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.04 2.23 6/267 49616
/proc/meminfo: memFree=125782268/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2240464 memory=1045700 CPUtime=102 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 54680 0 0 0 10148 52 0 0 20 0 1 0 50835618 2294235136 261425 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 560116 261425 1696 343 0 557180 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2240464 KiB
Current children cumulated memory: 1045700 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.42 2.35 6/267 49618
/proc/meminfo: memFree=125612960/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2353648 memory=1161456 CPUtime=161.84 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 71591 0 0 0 16115 69 0 0 20 0 1 0 50835618 2410135552 290364 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 588412 290364 1696 343 0 585476 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2353648 KiB
Current children cumulated memory: 1161456 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.74 2.47 6/266 49620
/proc/meminfo: memFree=125738924/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2240464 memory=1039688 CPUtime=221.68 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 86341 0 0 0 22078 90 0 0 20 0 1 0 50835618 2294235136 259922 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 560116 259922 1696 343 0 557180 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2240464 KiB
Current children cumulated memory: 1039688 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.99 2.57 6/263 49623
/proc/meminfo: memFree=125647824/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2258004 memory=1063652 CPUtime=281.53 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 98457 0 0 0 28050 103 0 0 20 0 1 0 50835618 2312196096 265913 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 564501 265913 1696 343 0 561565 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2258004 KiB
Current children cumulated memory: 1063652 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.19 2.67 6/263 49625
/proc/meminfo: memFree=125673696/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2388512 memory=1136528 CPUtime=341.37 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 116589 0 0 0 34013 124 0 0 20 0 1 0 50835618 2445836288 284132 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 597128 284132 1696 343 0 594192 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2388512 KiB
Current children cumulated memory: 1136528 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.37 2.76 6/263 49629
/proc/meminfo: memFree=125863472/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2241956 memory=1043244 CPUtime=401.22 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 124554 0 0 0 39989 133 0 0 20 0 1 0 50835618 2295762944 260811 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 560489 260811 1696 343 0 557553 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 2241956 KiB
Current children cumulated memory: 1043244 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.85 6/263 49631
/proc/meminfo: memFree=125556904/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2487956 memory=1192980 CPUtime=461.07 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 140584 0 0 0 45956 151 0 0 20 0 1 0 50835618 2547666944 298245 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 621989 298245 1696 343 0 619053 0
Current children cumulated CPU time: 461.07 s

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

Current children cumulated memory: 1123232 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.14 4.09 6/263 49757
/proc/meminfo: memFree=125234632/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2492600 memory=1274844 CPUtime=2855.32 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 656690 0 0 0 284755 777 0 0 20 0 1 0 50835618 2552422400 318711 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 623150 318711 1696 343 0 620214 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 2492600 KiB
Current children cumulated memory: 1274844 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.13 4.09 6/265 49761
/proc/meminfo: memFree=125359556/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2361528 memory=1152980 CPUtime=2915.18 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 666809 0 0 0 290723 795 0 0 20 0 1 0 50835618 2418204672 288245 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 590382 288245 1696 343 0 587446 0
Current children cumulated CPU time: 2915.18 s
Current children cumulated vsize: 2361528 KiB
Current children cumulated memory: 1152980 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/265 49763
/proc/meminfo: memFree=125258388/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2328760 memory=1082316 CPUtime=2975.03 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 674066 0 0 0 296700 803 0 0 20 0 1 0 50835618 2384650240 270579 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 582190 270579 1696 343 0 579254 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 2328760 KiB
Current children cumulated memory: 1082316 KiB

[startup+3042.3 s]
/proc/loadavg: 4.04 4.11 4.08 6/265 49765
/proc/meminfo: memFree=125315068/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2246840 memory=1053508 CPUtime=3034.89 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 675758 0 0 0 302683 806 0 0 20 0 1 0 50835618 2300764160 263377 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 561710 263377 1696 343 0 558774 0
Current children cumulated CPU time: 3034.89 s
Current children cumulated vsize: 2246840 KiB
Current children cumulated memory: 1053508 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/264 49771
/proc/meminfo: memFree=125629420/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2240696 memory=1055528 CPUtime=3094.75 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 682333 0 0 0 308662 813 0 0 20 0 1 0 50835618 2294472704 263882 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 560174 263882 1696 343 0 557238 0
Current children cumulated CPU time: 3094.75 s
Current children cumulated vsize: 2240696 KiB
Current children cumulated memory: 1055528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/264 49773
/proc/meminfo: memFree=125585536/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2345144 memory=1098676 CPUtime=3154.6 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 689437 0 0 0 314633 827 0 0 20 0 1 0 50835618 2401427456 274669 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 586286 274669 1696 343 0 583350 0
Current children cumulated CPU time: 3154.6 s
Current children cumulated vsize: 2345144 KiB
Current children cumulated memory: 1098676 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 49775
/proc/meminfo: memFree=125372752/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2362460 memory=1142468 CPUtime=3214.45 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 695716 0 0 0 320602 843 0 0 20 0 1 0 50835618 2419159040 285617 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 590615 285617 1696 343 0 587679 0
Current children cumulated CPU time: 3214.45 s
Current children cumulated vsize: 2362460 KiB
Current children cumulated memory: 1142468 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/262 49777
/proc/meminfo: memFree=125632724/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2355384 memory=1108896 CPUtime=3274.3 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 706503 0 0 0 326569 861 0 0 20 0 1 0 50835618 2411913216 277224 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 588846 277224 1696 343 0 585910 0
Current children cumulated CPU time: 3274.3 s
Current children cumulated vsize: 2355384 KiB
Current children cumulated memory: 1108896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/263 49780
/proc/meminfo: memFree=125215976/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2787512 memory=1338332 CPUtime=3334.15 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 713673 0 0 0 332537 878 0 0 20 0 1 0 50835618 2854412288 334583 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 696878 334583 1696 343 0 693942 0
Current children cumulated CPU time: 3334.15 s
Current children cumulated vsize: 2787512 KiB
Current children cumulated memory: 1338332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/263 49784
/proc/meminfo: memFree=125420000/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2279608 memory=1065868 CPUtime=3394 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 721407 0 0 0 338507 893 0 0 20 0 1 0 50835618 2334318592 266467 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 569902 266467 1696 343 0 566966 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 2279608 KiB
Current children cumulated memory: 1065868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/263 49786
/proc/meminfo: memFree=125458820/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2355384 memory=1117088 CPUtime=3453.86 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 731194 0 0 0 344474 912 0 0 20 0 1 0 50835618 2411913216 279272 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 588846 279272 1696 343 0 585910 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 2355384 KiB
Current children cumulated memory: 1117088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 49788
/proc/meminfo: memFree=125634380/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2263224 memory=1071264 CPUtime=3513.71 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 739286 0 0 0 350445 926 0 0 20 0 1 0 50835618 2317541376 267816 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 565806 267816 1696 343 0 562870 0
Current children cumulated CPU time: 3513.71 s
Current children cumulated vsize: 2263224 KiB
Current children cumulated memory: 1071264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/264 49790
/proc/meminfo: memFree=125369444/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2257080 memory=1055648 CPUtime=3573.56 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 744876 0 0 0 356425 931 0 0 20 0 1 0 50835618 2311249920 263912 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 564270 263912 1696 343 0 561334 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 1055648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 49792
/proc/meminfo: memFree=125340728/131249996 swapFree=33005272/33010684
[pid=49597] ppid=49590 vsize=2322616 memory=1082272 CPUtime=3600 cores=4,6
/proc/49597/stat : 49597 (pb_picat) R 49590 49597 49539 0 -1 4194304 746463 0 0 0 359068 932 0 0 20 0 1 0 50835618 2378358784 270568 18446744073709551615 94218291761152 94218293162733 140732963811216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94218293434160 94218295308464 94218326622208 140732963813790 140732963813866 140732963813866 140732963819468 0
/proc/49597/statm: 580654 270568 1696 343 0 577718 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2322616 KiB
Current children cumulated memory: 1082272 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.68 s, system=9.32917 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): 3608.8
CPU time (s): 3600.01
CPU user time (s): 3590.68
CPU system time (s): 9.32917
CPU usage (%): 99.7564
Max. virtual memory (cumulated for all children) (KiB): 2788444
Max. memory (cumulated for all children) (KiB): 1383468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.68
system time used= 9.32917
maximum resident set size= 1383468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 746463
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= 120
involuntary context switches= 4360


# summary of solver processes directly reported to runsolver:
#   pid: 49597
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3590.68
#   total CPU system time (s): 9.32917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59461 second user time and 17.2418 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 08:32:57
IDJOB=4489595
IDBENCH=147558
IDSOLVER=3346
FILE ID=nodeC023/4489595-1751351577
RUNJOBID= nodeC023-1751351577-49550
SLURM_JOB_ID= 9598142
Free space on /tmp= 432996 MiB

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

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1044885648

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		: 3601.638
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		: 3599.922
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		: 3599.908
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		: 3602.971
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		: 3603.678
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.875
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		: 3599.889
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		: 3600.145
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:        130101732 kB
MemAvailable:   129753468 kB
Buffers:            1328 kB
Cached:           446232 kB
SwapCached:          468 kB
Active:           232924 kB
Inactive:         294156 kB
Active(anon):      38164 kB
Inactive(anon):    54788 kB
Active(file):     194760 kB
Inactive(file):   239368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             82252 kB
Writeback:             0 kB
AnonPages:         82252 kB
Mapped:            98568 kB
Shmem:             13336 kB
KReclaimable:     104704 kB
Slab:             192180 kB
SReclaimable:     104704 kB
SUnreclaim:        87476 kB
KernelStack:        4128 kB
PageTables:         2916 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 432984 MiB
End job on nodeC023 at 2025-07-01 09:33:07