Trace number 4504461

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
Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01? (TO) 3602.31 3613.29

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_6_mh.opb
MD5SUMbe1e6661b1f36da26adf689ebfb8263d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4048247
Best CPU time to get the best result obtained on this benchmark3600.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129900
Biggest coefficient in the objective function 127263527
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 57621991382
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 127263527
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 57621991382
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504461-1751465164/watcher-4504461-1751465164 -o /tmp/evaluation-result-4504461-1751465164/solver-4504461-1751465164 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751456329-63624 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4504461-1751465164.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=64937, runsolver pid=64934
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 4.19 4.14 4.15 5/256 64938
/proc/meminfo: memFree=120774412/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=1776 memory=256 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) D 64934 64937 63612 0 -1 4456448 69 0 0 0 0 0 0 0 20 0 1 0 62195790 1818624 64 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 444 64 64 219 0 64 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 1776 KiB
Current children cumulated memory: 256 KiB

[startup+0.214211 s]*
/proc/loadavg: 4.19 4.14 4.15 4/257 64939
/proc/meminfo: memFree=120774412/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62195790 4292608 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1048 736 672 219 0 110 0
[pid=64939] ppid=64937 vsize=464 memory=128 CPUtime=0 cores=1,3
/proc/64939/stat : 64939 (mkdir) D 64937 64937 63612 0 -1 4456448 47 0 0 0 0 0 0 0 20 0 1 0 62195804 475136 32 18446744073709551615 94861515845632 94861515887985 140722582908320 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94861515905424 94861515907224 94861518458880 140722582915578 140722582915622 140722582915622 140722582921193 0
/proc/64939/statm: 116 32 32 11 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4656 KiB
Current children cumulated memory: 3072 KiB

[startup+0.314323 s]*
/proc/loadavg: 4.19 4.14 4.15 4/257 64940
/proc/meminfo: memFree=120774412/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=436 memory=128 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) D 64937 64937 63612 0 -1 4456448 67 0 0 0 0 0 0 0 20 0 1 0 62195819 446464 32 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 109 32 32 5 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4760 KiB
Current children cumulated memory: 3072 KiB

[startup+0.70047 s]
/proc/loadavg: 4.19 4.14 4.15 5/258 64941
/proc/meminfo: memFree=120766600/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=68500 memory=46104 CPUtime=0.29 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 11531 0 0 0 26 3 0 0 20 0 1 0 62195829 70144000 11526 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 17125 11526 736 2416 0 14227 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75484 KiB
Current children cumulated memory: 50328 KiB

[startup+1.50046 s]
/proc/loadavg: 4.19 4.14 4.15 5/258 64941
/proc/meminfo: memFree=120726280/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=100828 memory=67576 CPUtime=1.09 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 17185 0 0 0 104 5 0 0 20 0 1 0 62195829 103247872 16894 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 25207 16894 736 2416 0 22309 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 107812 KiB
Current children cumulated memory: 71800 KiB

[startup+3.11399 s]
/proc/loadavg: 4.17 4.13 4.15 5/258 64941
/proc/meminfo: memFree=120477556/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=366596 memory=328240 CPUtime=2.71 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 81538 0 0 0 251 20 0 0 20 0 1 0 62195829 375394304 82060 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 91649 82060 736 2416 0 88751 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 373580 KiB
Current children cumulated memory: 332464 KiB

[startup+6.30046 s]
/proc/loadavg: 4.17 4.13 4.15 5/258 64941
/proc/meminfo: memFree=120083156/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=775436 memory=731856 CPUtime=5.88 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 164117 0 0 0 552 36 0 0 20 0 1 0 62195829 794046464 182964 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 193859 182964 768 2416 0 190961 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 782420 KiB
Current children cumulated memory: 736080 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 64941
/proc/meminfo: memFree=119294484/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=1493060 memory=1352660 CPUtime=12.27 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 220007 0 0 0 1168 59 0 0 20 0 1 0 62195829 1528893440 338165 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 373265 338165 768 2416 0 370367 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 1500044 KiB
Current children cumulated memory: 1356884 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.14 4.15 5/258 64942
/proc/meminfo: memFree=119400220/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=1490664 memory=1331268 CPUtime=25.02 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 222126 0 0 0 2439 63 0 0 20 0 1 0 62195829 1526439936 332817 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 372666 332817 800 2416 0 369768 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 1497648 KiB
Current children cumulated memory: 1335492 KiB

[startup+51.1142 s]
/proc/loadavg: 4.20 4.14 4.15 5/258 64942
/proc/meminfo: memFree=119304456/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=1490664 memory=1371844 CPUtime=50.56 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 222622 0 0 0 4992 64 0 0 20 0 1 0 62195829 1526439936 342961 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 372666 342961 800 2416 0 369768 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 1497648 KiB
Current children cumulated memory: 1376068 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.15 4.16 5/258 64944
/proc/meminfo: memFree=119236524/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=64940] ppid=64937 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/64940/stat : 64940 (timeout) S 64937 64940 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62195819 2723840 320 18446744073709551615 94299781541888 94299781558401 140736931330912 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94299781573168 94299781575256 94299788828672 140736931338646 140736931338786 140736931338786 140736931344359 0
/proc/64940/statm: 665 320 320 5 0 90 0
[pid=64941] ppid=64940 vsize=1490664 memory=1357932 CPUtime=101.59 cores=1,3
/proc/64941/stat : 64941 (CASHWMaxSAT-Dis) R 64940 64940 63612 0 -1 4194304 224423 0 0 0 10089 70 0 0 20 0 1 0 62195829 1526439936 339483 18446744073709551615 4198400 14093885 140733994435184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39424000 140733994437020 140733994437147 140733994437147 140733994442720 0
/proc/64941/statm: 372666 339483 800 2416 0 369768 0
Current children cumulated CPU time: 101.59 s
Current children cumulated vsize: 1497648 KiB
Current children cumulated memory: 1362156 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/258 64946
/proc/meminfo: memFree=119118088/131382116 swapFree=33010160/33010684

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

/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1822058 0 0 0 219113 670 0 0 20 0 1 0 62315633 14332452864 2979078 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3499134 2979078 1856 2271 0 3493772 0
Current children cumulated CPU time: 3391.93 s
Current children cumulated vsize: 14003520 KiB
Current children cumulated memory: 11920664 KiB

[startup+3462.3 s]
/proc/loadavg: 2.18 2.67 3.14 3/246 65232
/proc/meminfo: memFree=99298588/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 283 252060 0 0 0 0 119158 252 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=65000] ppid=64937 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64937 65000 63612 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14051248 memory=11965720 CPUtime=2257.66 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1836413 0 0 0 225090 676 0 0 20 0 1 0 62315633 14388477952 2991430 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3512812 2991430 1856 2271 0 3507450 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 14058232 KiB
Current children cumulated memory: 11970072 KiB

[startup+3522.3 s]
/proc/loadavg: 2.08 2.56 3.07 2/237 65287
/proc/meminfo: memFree=112334112/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 283 252060 0 0 0 0 119158 252 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=65000] ppid=64937 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64937 65000 63612 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14079648 memory=11995800 CPUtime=2317.48 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1845054 0 0 0 231067 681 0 0 20 0 1 0 62315633 14417559552 2998950 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3519912 2998950 1856 2271 0 3514550 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 14086632 KiB
Current children cumulated memory: 12000152 KiB

[startup+3582.3 s]
/proc/loadavg: 1.44 2.29 2.94 2/236 65289
/proc/meminfo: memFree=112316864/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 283 252060 0 0 0 0 119158 252 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=65000] ppid=64937 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64937 65000 63612 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14129120 memory=12033612 CPUtime=2377.29 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1848965 0 0 0 237042 687 0 0 20 0 1 0 62315633 14468218880 3008403 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3532280 3008403 1856 2271 0 3526918 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 14136104 KiB
Current children cumulated memory: 12037964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 1.32 2.18 2.88 2/236 65289
/proc/meminfo: memFree=112313604/131382116 swapFree=33010160/33010684
[pid=64937] ppid=64934 vsize=4324 memory=2944 CPUtime=1194.1 cores=1,3
/proc/64937/stat : 64937 (Hybrid-CASHWMax) S 64934 64937 63612 0 -1 4194304 283 252060 0 0 0 0 119158 252 20 0 1 0 62195790 4427776 736 18446744073709551615 94074510327808 94074511222341 140722081460480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074511461392 94074511509136 94074518441984 140722081466711 140722081466865 140722081466865 140722081472467 0
/proc/64937/statm: 1081 736 672 219 0 143 0
[pid=65000] ppid=64937 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64937 65000 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14129120 memory=12035788 CPUtime=2405.91 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1849089 0 0 0 239900 691 0 0 20 0 1 0 62315633 14468218880 3008947 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3532280 3008947 1856 2271 0 3526918 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 14136104 KiB
Current children cumulated memory: 12040140 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=1191.59 s, system=2.53009 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

[startup+3613.02 s]
# the end of solver process 65000 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1191.59 s, system=2.53255 s
# this solver process was not waited by its parent and was adopted by runsolver
??? end of watcher thread

[startup+3613.29 s]
# the end of solver process 65001 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3592.59 s, system=9.72111 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.21 s]
/proc/loadavg: 1.32 2.18 2.88 2/235 65289
/proc/meminfo: memFree=112313604/131382116 swapFree=33010160/33010684
[pid=65000] ppid=64934 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64934 65000 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14129120 memory=12035788 CPUtime=2406.11 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1849089 0 0 0 239920 691 0 0 20 0 1 0 62315633 14468218880 3008947 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3532280 3008947 1856 2271 0 3526918 0
Current cumulated CPU time of completed processes: 1194.12 s
Current children cumulated CPU time: 2406.11 s
Current children cumulated vsize: 14131780 KiB
Current children cumulated memory: 12037196 KiB

[startup+3612 s]*
/proc/loadavg: 1.32 2.18 2.88 2/235 65289
/proc/meminfo: memFree=112313760/131382116 swapFree=33010160/33010684
[pid=65000] ppid=64934 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64934 65000 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14129120 memory=12035788 CPUtime=2406.91 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1849089 0 0 0 240000 691 0 0 20 0 1 0 62315633 14468218880 3008947 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3532280 3008947 1856 2271 0 3526918 0
Current cumulated CPU time of completed processes: 1194.12 s
Current children cumulated CPU time: 2406.91 s
Current children cumulated vsize: 14131780 KiB
Current children cumulated memory: 12037196 KiB

[startup+3612.8 s]
/proc/loadavg: 1.32 2.18 2.88 2/235 65289
/proc/meminfo: memFree=112313760/131382116 swapFree=33010160/33010684
[pid=65000] ppid=64934 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64934 65000 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14129120 memory=12035788 CPUtime=2407.69 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1849089 0 0 0 240078 691 0 0 20 0 1 0 62315633 14468218880 3008947 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3532280 3008947 1856 2271 0 3526918 0
Current cumulated CPU time of completed processes: 1194.12 s
Current children cumulated CPU time: 2407.69 s
Current children cumulated vsize: 14131780 KiB
Current children cumulated memory: 12037196 KiB

[startup+3613 s]*
/proc/loadavg: 1.30 2.16 2.87 2/235 65289
/proc/meminfo: memFree=112313760/131382116 swapFree=33010160/33010684
[pid=65000] ppid=64934 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/65000/stat : 65000 (timeout) S 64934 65000 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315632 2723840 352 18446744073709551615 94848886767616 94848886784129 140731603167536 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94848886798896 94848886800984 94848899645440 140731603171718 140731603171874 140731603171874 140731603177447 0
/proc/65000/statm: 665 352 352 5 0 90 0
[pid=65001] ppid=65000 vsize=14129120 memory=12035788 CPUtime=2407.9 cores=1,3
/proc/65001/stat : 65001 (ExactPR-S) R 65000 65000 63612 0 -1 4194304 1849089 0 0 0 240099 691 0 0 20 0 1 0 62315633 14468218880 3008947 18446744073709551615 93845006172160 93845015472197 140722916278432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93845017258304 93845017297384 93845047099392 140722916280734 140722916280871 140722916280871 140722916286444 0
/proc/65001/statm: 3532280 3008947 1856 2271 0 3526918 0
Current cumulated CPU time of completed processes: 1194.12 s
Current children cumulated CPU time: 2407.9 s
Current children cumulated vsize: 14131780 KiB
Current children cumulated memory: 12037196 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.29
CPU time (s): 3602.31
CPU user time (s): 3592.59
CPU system time (s): 9.72111
CPU usage (%): 99.6961
Max. virtual memory (cumulated for all children) (KiB): 14771496
Max. memory (cumulated for all children) (KiB): 12094256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.59
system time used= 9.72111
maximum resident set size= 12206640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2101541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 419
involuntary context switches= 3164


# summary of solver processes directly reported to runsolver:
#   pid: 64937,65000,65001
#   total CPU time (s): 3602.31
#   total CPU user time (s): 3592.59
#   total CPU system time (s): 9.72111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6584 second user time and 38.3851 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-02 16:06:05
IDJOB=4504461
IDBENCH=155662
IDSOLVER=3329
FILE ID=nodeC004/4504461-1751465164
RUNJOBID= nodeC004-1751456329-63624
SLURM_JOB_ID= 9598453
Free space on /tmp= 431576 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_6_mh.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504461-1751465164/watcher-4504461-1751465164 -o /tmp/evaluation-result-4504461-1751465164/solver-4504461-1751465164 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751456329-63624 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4504461-1751465164.opb 3600 HOME

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

MD5SUM BENCH= be1e6661b1f36da26adf689ebfb8263d
RANDOM SEED=865471011

nodeC004 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	: 0xb00001f
cpu MHz		: 3661.132
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.218
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.620
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3538.825
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3492.310
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.241
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.271
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        120774572 kB
MemAvailable:   126352260 kB
Buffers:            2720 kB
Cached:          6327576 kB
SwapCached:           20 kB
Active:          3857080 kB
Inactive:        5990896 kB
Active(anon):    3529448 kB
Inactive(anon):     6188 kB
Active(file):     327632 kB
Inactive(file):  5984708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50644 kB
Writeback:             4 kB
AnonPages:       3520744 kB
Mapped:           113252 kB
Shmem:             17956 kB
KReclaimable:     209952 kB
Slab:             296220 kB
SReclaimable:     209952 kB
SUnreclaim:        86268 kB
KernelStack:        4128 kB
PageTables:        10296 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4355708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1044480 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431672 MiB
End job on nodeC004 at 2025-07-02 17:06:20