Trace number 4509237

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.1 3610.72

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
MD5SUMd8a928f558011060cfd64865d6313cfe
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 benchmark115
Best CPU time to get the best result obtained on this benchmark67.6851
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables163584
Total number of constraints2812
Number of constraints which are clauses1277
Number of constraints which are cardinality constraints (but not clauses)1277
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1278
Number of terms in the objective function 128
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 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 451455
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1069739
Number of bits of the biggest sum of numbers21
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-4509237-1751516881.opb (Picat 3.9b6)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509237-1751516881/watcher-4509237-1751516881 -o /tmp/evaluation-result-4509237-1751516881/solver-4509237-1751516881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86830 --watchdog 3760 pb_picat HOME/instance-4509237-1751516881.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
Current StackSize limit: 8192 KiB

solver pid=86877, runsolver pid=86871

[startup+0.100062 s]*
/proc/loadavg: 0.98 2.60 3.50 5/267 86890
/proc/meminfo: memFree=129528604/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2027148 memory=47432 CPUtime=0.09 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1254 0 0 0 8 1 0 0 20 0 1 0 67365670 2075799552 11858 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 506787 11858 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 47432 KiB

[startup+0.205877 s]*
/proc/loadavg: 0.98 2.60 3.50 5/267 86890
/proc/meminfo: memFree=129455508/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2027148 memory=84420 CPUtime=0.19 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1294 0 0 0 18 1 0 0 20 0 1 0 67365670 2075799552 21105 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 506787 21105 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 84420 KiB

[startup+0.305649 s]*
/proc/loadavg: 0.98 2.60 3.50 5/267 86890
/proc/meminfo: memFree=129402260/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2027148 memory=115140 CPUtime=0.29 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1309 0 0 0 27 2 0 0 20 0 1 0 67365670 2075799552 28785 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 506787 28785 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 115140 KiB

[startup+0.700177 s]
/proc/loadavg: 0.98 2.60 3.50 5/267 86890
/proc/meminfo: memFree=129291984/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2027148 memory=211396 CPUtime=0.67 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1356 0 0 0 64 3 0 0 20 0 1 0 67365670 2075799552 52849 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 506787 52849 1600 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 211396 KiB

[startup+1.50018 s]
/proc/loadavg: 0.98 2.60 3.50 5/267 86890
/proc/meminfo: memFree=129070548/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2034964 memory=371144 CPUtime=1.47 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1435 0 0 0 141 6 0 0 20 0 1 0 67365670 2083803136 92786 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 508741 92786 1600 343 0 505805 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 371144 KiB

[startup+3.10555 s]
/proc/loadavg: 0.98 2.60 3.50 4/263 86898
/proc/meminfo: memFree=128018424/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2034964 memory=831944 CPUtime=3.07 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1723 0 0 0 292 15 0 0 20 0 1 0 67365670 2083803136 207986 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 508741 207986 1600 343 0 505805 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 831944 KiB

[startup+6.30017 s]
/proc/loadavg: 1.22 2.62 3.50 5/267 86935
/proc/meminfo: memFree=126712292/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2432436 memory=1518488 CPUtime=6.27 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 6322 0 0 0 594 33 0 0 20 0 1 0 67365670 2490814464 379622 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 608109 379622 1696 343 0 605173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2432436 KiB
Current children cumulated memory: 1518488 KiB

[startup+12.7001 s]
/proc/loadavg: 1.52 2.66 3.51 5/267 86935
/proc/meminfo: memFree=124747980/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3038660 memory=1878188 CPUtime=12.65 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 27132 0 0 0 1171 94 0 0 20 0 1 0 67365670 3111587840 469547 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 759665 469547 1728 343 0 756729 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3038660 KiB
Current children cumulated memory: 1878188 KiB

[startup+25.5001 s]
/proc/loadavg: 2.07 2.73 3.52 5/267 86935
/proc/meminfo: memFree=123582616/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3648964 memory=2299768 CPUtime=25.4 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 42728 0 0 0 2384 156 0 0 20 0 1 0 67365670 3736539136 574942 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 912241 574942 1728 343 0 909305 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3648964 KiB
Current children cumulated memory: 2299768 KiB

[startup+51.1052 s]
/proc/loadavg: 2.73 2.83 3.53 5/267 86936
/proc/meminfo: memFree=123561216/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3648964 memory=2310064 CPUtime=50.95 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 43091 0 0 0 4923 172 0 0 20 0 1 0 67365670 3736539136 577516 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 912241 577516 1728 343 0 909305 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3648964 KiB
Current children cumulated memory: 2310064 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 3.04 3.57 5/267 86938
/proc/meminfo: memFree=123519352/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3698280 memory=2396504 CPUtime=101.99 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 93414 0 0 0 9979 220 0 0 20 0 1 0 67365670 3787038720 599126 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 924570 599126 1728 343 0 921634 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3698280 KiB
Current children cumulated memory: 2396504 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 3.24 3.60 5/266 86940
/proc/meminfo: memFree=123847016/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=2793284 memory=1847164 CPUtime=161.82 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 161038 0 0 0 15848 334 0 0 20 0 1 0 67365670 2860322816 461791 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 698321 461791 1728 343 0 695385 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2793284 KiB
Current children cumulated memory: 1847164 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.39 3.64 5/267 86942
/proc/meminfo: memFree=123001908/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4210500 memory=2614904 CPUtime=221.66 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 194886 0 0 0 21721 445 0 0 20 0 1 0 67365670 4311552000 653726 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1052625 653726 1728 343 0 1049689 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 4210500 KiB
Current children cumulated memory: 2614904 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.54 3.67 5/267 86945
/proc/meminfo: memFree=123756628/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3715820 memory=2436896 CPUtime=281.49 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 257719 0 0 0 27633 516 0 0 20 0 1 0 67365670 3804999680 609224 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 928955 609224 1728 343 0 926019 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 3715820 KiB
Current children cumulated memory: 2436896 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.64 3.70 5/265 86947
/proc/meminfo: memFree=123418800/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3715820 memory=2545440 CPUtime=341.32 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 315327 0 0 0 33554 578 0 0 20 0 1 0 67365670 3804999680 636360 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 928955 636360 1728 343 0 926019 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 3715820 KiB
Current children cumulated memory: 2545440 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.74 3.73 5/264 86953
/proc/meminfo: memFree=123447696/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3661636 memory=2323900 CPUtime=401.16 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 362953 0 0 0 39384 732 0 0 20 0 1 0 67365670 3749515264 580975 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 915409 580975 1728 343 0 912473 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 3661636 KiB
Current children cumulated memory: 2323900 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.80 3.76 5/264 86955
/proc/meminfo: memFree=123243252/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3710280 memory=2418552 CPUtime=461.01 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 414192 0 0 0 45314 787 0 0 20 0 1 0 67365670 3799326720 604638 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 927570 604638 1728 343 0 924634 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 2623848 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 87090
/proc/meminfo: memFree=122552020/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3219268 memory=2118588 CPUtime=2913.84 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1435444 0 0 0 289105 2279 0 0 20 0 1 0 67365670 3296530432 529647 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 804817 529647 1728 343 0 801881 0
Current children cumulated CPU time: 2913.84 s
Current children cumulated vsize: 3219268 KiB
Current children cumulated memory: 2118588 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 87093
/proc/meminfo: memFree=122680372/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3776328 memory=2539584 CPUtime=2973.64 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1453145 0 0 0 295062 2302 0 0 20 0 1 0 67365670 3866959872 634896 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 944082 634896 1728 343 0 941146 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 3776328 KiB
Current children cumulated memory: 2539584 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/266 87099
/proc/meminfo: memFree=122599800/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4356552 memory=2676580 CPUtime=3033.45 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1454497 0 0 0 301040 2305 0 0 20 0 1 0 67365670 4461109248 669145 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1089138 669145 1728 343 0 1086202 0
Current children cumulated CPU time: 3033.45 s
Current children cumulated vsize: 4356552 KiB
Current children cumulated memory: 2676580 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/266 87101
/proc/meminfo: memFree=123127000/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3317572 memory=2173288 CPUtime=3093.27 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1469310 0 0 0 307005 2322 0 0 20 0 1 0 67365670 3397193728 543322 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 829393 543322 1728 343 0 826457 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 3317572 KiB
Current children cumulated memory: 2173288 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/266 87103
/proc/meminfo: memFree=122731240/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3710788 memory=2464104 CPUtime=3153.08 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1484902 0 0 0 312961 2347 0 0 20 0 1 0 67365670 3799846912 616026 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 927697 616026 1728 343 0 924761 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 3710788 KiB
Current children cumulated memory: 2464104 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 87105
/proc/meminfo: memFree=122897124/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4235076 memory=2650472 CPUtime=3212.89 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1486565 0 0 0 318938 2351 0 0 20 0 1 0 67365670 4336717824 662618 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1058769 662618 1728 343 0 1055833 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 4235076 KiB
Current children cumulated memory: 2650472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.09 4.03 5/266 87109
/proc/meminfo: memFree=122913560/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3710788 memory=2460008 CPUtime=3272.71 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1499478 0 0 0 324907 2364 0 0 20 0 1 0 67365670 3799846912 615002 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 927697 615002 1728 343 0 924761 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 3710788 KiB
Current children cumulated memory: 2460008 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/264 87111
/proc/meminfo: memFree=122877644/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=3776328 memory=2555968 CPUtime=3332.52 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1514826 0 0 0 330868 2384 0 0 20 0 1 0 67365670 3866959872 638992 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 944082 638992 1728 343 0 941146 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 3776328 KiB
Current children cumulated memory: 2555968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/265 87118
/proc/meminfo: memFree=122671108/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4235076 memory=2613608 CPUtime=3392.33 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1519029 0 0 0 336836 2397 0 0 20 0 1 0 67365670 4336717824 653402 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1058769 653402 1728 343 0 1055833 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 4235076 KiB
Current children cumulated memory: 2613608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/265 87120
/proc/meminfo: memFree=122930640/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4235076 memory=2646376 CPUtime=3452.14 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1533836 0 0 0 342799 2415 0 0 20 0 1 0 67365670 4336717824 661594 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1058769 661594 1728 343 0 1055833 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 4235076 KiB
Current children cumulated memory: 2646376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 87122
/proc/meminfo: memFree=122530932/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4235076 memory=2695528 CPUtime=3511.95 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1544957 0 0 0 348773 2422 0 0 20 0 1 0 67365670 4336717824 673882 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1058769 673882 1728 343 0 1055833 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 4235076 KiB
Current children cumulated memory: 2695528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/264 87124
/proc/meminfo: memFree=122509776/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4235076 memory=2699624 CPUtime=3571.76 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1548628 0 0 0 354742 2434 0 0 20 0 1 0 67365670 4336717824 674906 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1058769 674906 1728 343 0 1055833 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 4235076 KiB
Current children cumulated memory: 2699624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.10 4.09 4.04 3/261 87137
/proc/meminfo: memFree=124097864/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4371468 memory=2790952 CPUtime=3600.07 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1563241 0 0 0 357557 2450 0 0 20 0 1 0 67365670 4476383232 697738 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1092867 697738 1728 343 0 1089931 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4371468 KiB
Current children cumulated memory: 2790952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.58 s, system=24.5273 s

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

[startup+3610.7 s]
/proc/loadavg: 4.10 4.09 4.04 3/261 87137
/proc/meminfo: memFree=124097864/131250000 swapFree=33010160/33010684
[pid=86877] ppid=86871 vsize=4371468 memory=2790952 CPUtime=3600.07 cores=0,2
/proc/86877/stat : 86877 (pb_picat) R 86871 86877 86820 0 -1 4194304 1563241 0 0 0 357557 2450 0 0 20 0 1 0 67365670 4476383232 697738 18446744073709551615 93959423627264 93959425028845 140722923416064 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959425300272 93959427174576 93959450722304 140722923424158 140722923424234 140722923424234 140722923429836 0
/proc/86877/statm: 1092867 697738 1728 343 0 1089931 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4371468 KiB
Current children cumulated memory: 2790952 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.72
CPU time (s): 3600.1
CPU user time (s): 3575.58
CPU system time (s): 24.5273
CPU usage (%): 99.706
Max. virtual memory (cumulated for all children) (KiB): 4371468
Max. memory (cumulated for all children) (KiB): 2830612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.58
system time used= 24.5273
maximum resident set size= 2830612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1563241
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= 142
involuntary context switches= 7858


# summary of solver processes directly reported to runsolver:
#   pid: 86877
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3575.58
#   total CPU system time (s): 24.5273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99306 second user time and 16.057 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-03 06:28:01
IDJOB=4509237
IDBENCH=158602
IDSOLVER=3346
FILE ID=nodeC016/4509237-1751516881
RUNJOBID= nodeC016-1751516881-86830
SLURM_JOB_ID= 9598631
Free space on /tmp= 432884 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509237-1751516881/watcher-4509237-1751516881 -o /tmp/evaluation-result-4509237-1751516881/solver-4509237-1751516881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86830 --watchdog 3760  pb_picat HOME/instance-4509237-1751516881.opb

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

MD5SUM BENCH= d8a928f558011060cfd64865d6313cfe
RANDOM SEED=1271280218

nodeC016 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.768
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.48
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		: 3595.193
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.48
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		: 3604.156
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.48
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.748
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.48
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		: 3614.138
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.48
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		: 3600.221
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.48
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.728
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.745
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129621276 kB
MemAvailable:   129703364 kB
Buffers:            2144 kB
Cached:           850916 kB
SwapCached:           28 kB
Active:           693432 kB
Inactive:         231068 kB
Active(anon):      84280 kB
Inactive(anon):     5288 kB
Active(file):     609152 kB
Inactive(file):   225780 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26008 kB
Writeback:             4 kB
AnonPages:         74580 kB
Mapped:           103900 kB
Shmem:             18044 kB
KReclaimable:     172792 kB
Slab:             265184 kB
SReclaimable:     172792 kB
SUnreclaim:        92392 kB
KernelStack:        4036 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432860 MiB
End job on nodeC016 at 2025-07-03 07:28:12