Trace number 4543708

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 NameAnswerCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.11 3610.11

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
MD5SUMfedac043231dc7d3bd4ac0917a28b068
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.12995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables279390
Total number of constraints5791
Number of constraints which are clauses2911
Number of constraints which are cardinality constraints (but not clauses)2880
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint97
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 98
Number of bits of the biggest sum of numbers7
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-4543708-1753226842.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 (61713 MiB free)
  memory of node 1: 64465 MiB (60089 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100065 s]*
/proc/loadavg: 4.04 4.07 4.08 4/261 153362
/proc/meminfo: memFree=124693508/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2027148 memory=45044 CPUtime=0.09 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 1216 0 0 0 8 1 0 0 20 0 1 0 238362879 2075799552 11261 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 506787 11261 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 45044 KiB

[startup+0.205442 s]*
/proc/loadavg: 4.04 4.07 4.08 4/261 153366
/proc/meminfo: memFree=124650084/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2027148 memory=76016 CPUtime=0.2 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 1287 0 0 0 18 2 0 0 20 0 1 0 238362879 2075799552 19004 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 506787 19004 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 76016 KiB

[startup+0.305449 s]*
/proc/loadavg: 4.04 4.07 4.08 4/259 153370
/proc/meminfo: memFree=124591732/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2027148 memory=102640 CPUtime=0.29 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 1300 0 0 0 27 2 0 0 20 0 1 0 238362879 2075799552 25660 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 506787 25660 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 102640 KiB

[startup+0.700167 s]
/proc/loadavg: 4.04 4.07 4.08 4/259 153370
/proc/meminfo: memFree=124489080/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2027148 memory=211184 CPUtime=0.68 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 1353 0 0 0 64 4 0 0 20 0 1 0 238362879 2075799552 52796 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 506787 52796 1536 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 211184 KiB

[startup+1.50018 s]
/proc/loadavg: 4.04 4.07 4.08 4/261 153376
/proc/meminfo: memFree=124312832/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2027148 memory=403696 CPUtime=1.48 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 1447 0 0 0 139 9 0 0 20 0 1 0 238362879 2075799552 100924 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 506787 100924 1536 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 403696 KiB

[startup+3.10532 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 153407
/proc/meminfo: memFree=123426228/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2488632 memory=674452 CPUtime=3.08 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 12111 0 0 0 293 15 0 0 20 0 1 0 238362879 2548359168 168613 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 622158 168613 1632 343 0 619222 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2488632 KiB
Current children cumulated memory: 674452 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.09 4.09 6/263 153407
/proc/meminfo: memFree=123256252/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2511520 memory=691984 CPUtime=6.27 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 18696 0 0 0 610 17 0 0 20 0 1 0 238362879 2571796480 172996 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 627880 172996 1632 343 0 624944 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2511520 KiB
Current children cumulated memory: 691984 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 153408
/proc/meminfo: memFree=123217180/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2503328 memory=687172 CPUtime=12.65 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 25143 0 0 0 1244 21 0 0 20 0 1 0 238362879 2563407872 171793 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 625832 171793 1632 343 0 622896 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2503328 KiB
Current children cumulated memory: 687172 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 153453
/proc/meminfo: memFree=123022548/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2536096 memory=711792 CPUtime=25.41 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 33664 0 0 0 2513 28 0 0 20 0 1 0 238362879 2596962304 177948 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 634024 177948 1632 343 0 631088 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2536096 KiB
Current children cumulated memory: 711792 KiB

[startup+51.1053 s]
/proc/loadavg: 4.45 4.17 4.12 5/263 153453
/proc/meminfo: memFree=122680356/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2858712 memory=892664 CPUtime=50.94 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 47407 0 0 0 5052 42 0 0 20 0 1 0 238362879 2927321088 223166 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 714678 223166 1632 343 0 711742 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2858712 KiB
Current children cumulated memory: 892664 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/263 153462
/proc/meminfo: memFree=122875908/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2614444 memory=746704 CPUtime=101.98 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 59368 0 0 0 10143 55 0 0 20 0 1 0 238362879 2677190656 186676 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 653611 186676 1632 343 0 650675 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2614444 KiB
Current children cumulated memory: 746704 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/263 153464
/proc/meminfo: memFree=122835956/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2630828 memory=804048 CPUtime=161.79 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 70030 0 0 0 16109 70 0 0 20 0 1 0 238362879 2693967872 201012 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 657707 201012 1632 343 0 654771 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 804048 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 153467
/proc/meminfo: memFree=122778384/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2630828 memory=806096 CPUtime=221.6 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 77356 0 0 0 22083 77 0 0 20 0 1 0 238362879 2693967872 201524 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 657707 201524 1632 343 0 654771 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 806096 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 153469
/proc/meminfo: memFree=122683476/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2745516 memory=816336 CPUtime=281.41 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 88918 0 0 0 28042 99 0 0 20 0 1 0 238362879 2811408384 204084 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 686379 204084 1632 343 0 683443 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 2745516 KiB
Current children cumulated memory: 816336 KiB

[startup+342.3 s]
/proc/loadavg: 4.35 4.19 4.12 5/264 153471
/proc/meminfo: memFree=122644104/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2630828 memory=777424 CPUtime=341.22 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 98466 0 0 0 34006 116 0 0 20 0 1 0 238362879 2693967872 194356 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 657707 194356 1632 343 0 654771 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 777424 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 153473
/proc/meminfo: memFree=122850472/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2630828 memory=793808 CPUtime=401.02 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 109700 0 0 0 39959 143 0 0 20 0 1 0 238362879 2693967872 198452 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 657707 198452 1632 343 0 654771 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 793808 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 153475
/proc/meminfo: memFree=122803984/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2614444 memory=798564 CPUtime=460.84 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 122315 0 0 0 45916 168 0 0 20 0 1 0 238362879 2677190656 199641 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 653611 199641 1632 343 0 650675 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 845940 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 153611
/proc/meminfo: memFree=121869468/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2762552 memory=845940 CPUtime=2914.03 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 577701 0 0 0 290154 1249 0 0 20 0 1 0 238362879 2828853248 211485 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 690638 211485 1632 343 0 687702 0
Current children cumulated CPU time: 2914.03 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 845940 KiB

[startup+2982.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/265 153613
/proc/meminfo: memFree=122152868/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2762552 memory=854132 CPUtime=2973.88 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 587911 0 0 0 296101 1287 0 0 20 0 1 0 238362879 2828853248 213533 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 690638 213533 1632 343 0 687702 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 854132 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 153615
/proc/meminfo: memFree=122464108/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2762552 memory=915572 CPUtime=3033.73 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 598041 0 0 0 302068 1305 0 0 20 0 1 0 238362879 2828853248 228893 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 690638 228893 1632 343 0 687702 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 915572 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 153624
/proc/meminfo: memFree=122458824/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2631480 memory=787272 CPUtime=3093.57 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 619872 0 0 0 308035 1322 0 0 20 0 1 0 238362879 2694635520 196818 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 657870 196818 1632 343 0 654934 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 2631480 KiB
Current children cumulated memory: 787272 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 153626
/proc/meminfo: memFree=122087492/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=3057464 memory=976884 CPUtime=3153.42 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 632936 0 0 0 314006 1336 0 0 20 0 1 0 238362879 3130843136 244221 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 764366 244221 1632 343 0 761430 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 3057464 KiB
Current children cumulated memory: 976884 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 153628
/proc/meminfo: memFree=122255344/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2631480 memory=813172 CPUtime=3213.27 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 656917 0 0 0 319972 1355 0 0 20 0 1 0 238362879 2694635520 203293 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 657870 203293 1632 343 0 654934 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 2631480 KiB
Current children cumulated memory: 813172 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 153631
/proc/meminfo: memFree=122410340/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2762552 memory=929908 CPUtime=3273.11 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 667841 0 0 0 325940 1371 0 0 20 0 1 0 238362879 2828853248 232477 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 690638 232477 1632 343 0 687702 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 929908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 153633
/proc/meminfo: memFree=121560776/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2762552 memory=862324 CPUtime=3332.96 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 677813 0 0 0 331896 1400 0 0 20 0 1 0 238362879 2828853248 215581 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 690638 215581 1632 343 0 687702 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 862324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 153635
/proc/meminfo: memFree=121776220/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=3057464 memory=982668 CPUtime=3392.81 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 688643 0 0 0 337844 1437 0 0 20 0 1 0 238362879 3130843136 245667 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 764366 245667 1632 343 0 761430 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 3057464 KiB
Current children cumulated memory: 982668 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 153638
/proc/meminfo: memFree=122375464/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=3024696 memory=991348 CPUtime=3452.66 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 699121 0 0 0 343798 1468 0 0 20 0 1 0 238362879 3097288704 247837 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 756174 247837 1632 343 0 753238 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 991348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 153641
/proc/meminfo: memFree=122036560/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2746168 memory=856180 CPUtime=3512.51 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 710422 0 0 0 349756 1495 0 0 20 0 1 0 238362879 2812076032 214045 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 686542 214045 1632 343 0 683606 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 2746168 KiB
Current children cumulated memory: 856180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 153644
/proc/meminfo: memFree=122189052/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=2762552 memory=913524 CPUtime=3572.36 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 718145 0 0 0 355714 1522 0 0 20 0 1 0 238362879 2828853248 228381 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 690638 228381 1632 343 0 687702 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 913524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 4/262 153647
/proc/meminfo: memFree=122621220/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=3024696 memory=1009064 CPUtime=3600.09 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 722109 0 0 0 358470 1539 0 0 20 0 1 0 238362879 3097288704 252266 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 756174 252266 1632 343 0 753238 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 1009064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.71 s, system=15.4025 s

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

[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 4/262 153647
/proc/meminfo: memFree=122621220/131250000 swapFree=33010672/33010684
[pid=153361] ppid=153358 vsize=3024696 memory=1009064 CPUtime=3600.09 cores=5,7
/proc/153361/stat : 153361 (pb_picat) R 153358 153361 152968 0 -1 4194304 722109 0 0 0 358470 1539 0 0 20 0 1 0 238362879 3097288704 252266 18446744073709551615 94328295608320 94328297009901 140729459192304 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94328297281328 94328299155632 94328333692928 140729459194268 140729459194344 140729459194344 140729459199948 0
/proc/153361/statm: 756174 252266 1632 343 0 753238 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 1009064 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.11
CPU time (s): 3600.11
CPU user time (s): 3584.71
CPU system time (s): 15.4025
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 3548984
Max. memory (cumulated for all children) (KiB): 1449460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.71
system time used= 15.4025
maximum resident set size= 1449460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 722109
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= 92
involuntary context switches= 5505


# summary of solver processes directly reported to runsolver:
#   pid: 153361
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3584.71
#   total CPU system time (s): 15.4025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57317 second user time and 15.4939 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-23 01:27:22
IDJOB=4543708
IDBENCH=174564
IDSOLVER=3346
FILE ID=nodeC026/4543708-1753226842
RUNJOBID= nodeC026-1753223232-152981
SLURM_JOB_ID= 9687827
Free space on /tmp= 433008 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543708-1753226842/watcher-4543708-1753226842 -o /tmp/evaluation-result-4543708-1753226842/solver-4543708-1753226842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753223232-152981 --watchdog 3760  pb_picat HOME/instance-4543708-1753226842.opb

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

MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
RANDOM SEED=634227965

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124737172 kB
MemAvailable:   129503976 kB
Buffers:            2128 kB
Cached:          5392188 kB
SwapCached:            4 kB
Active:          1303296 kB
Inactive:        4250036 kB
Active(anon):     179956 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4244692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15332 kB
Writeback:             0 kB
AnonPages:        162204 kB
Mapped:           116192 kB
Shmem:             26268 kB
KReclaimable:     459572 kB
Slab:             563852 kB
SReclaimable:     459572 kB
SUnreclaim:       104280 kB
KernelStack:        4208 kB
PageTables:         3312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4491088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC026 at 2025-07-23 02:27:33