Trace number 4431950

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
IPBHS-SCIP 2024-07-09? (TO) 3600.06 3607.11

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__64.opb
MD5SUMf763b12660c46c190e6f60f61a3aa351
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark87132
Best CPU time to get the best result obtained on this benchmark10.1157
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables320998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint64
Maximum length of a constraint2625
Number of terms in the objective function 320000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 10990708032
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 10990708032
Number of bits of the biggest sum of numbers34
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: 63968 MiB (61657 MiB free)
  memory of node 1: 64473 MiB (63359 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431950-1721115586/watcher-4431950-1721115586 -o /tmp/evaluation-result-4431950-1721115586/solver-4431950-1721115586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843800 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431950-1721115586.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=843859, runsolver pid=843856

[startup+0.100451 s]*
/proc/loadavg: 2.91 3.78 4.01 6/256 843860
/proc/meminfo: memFree=127986792/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=56724 memory=31840 CPUtime=0.09 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 6524 0 0 0 8 1 0 0 20 0 1 0 163723618 58085376 7960 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 14181 7960 1023 2900 0 10695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56724 KiB
Current children cumulated memory: 31840 KiB

[startup+0.205653 s]*
/proc/loadavg: 2.91 3.78 4.01 6/256 843860
/proc/meminfo: memFree=127967152/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=80480 memory=49544 CPUtime=0.19 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 8921 0 0 0 18 1 0 0 20 0 1 0 163723618 82411520 12386 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 20120 12386 1023 2900 0 16634 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80480 KiB
Current children cumulated memory: 49544 KiB

[startup+0.304673 s]*
/proc/loadavg: 2.91 3.78 4.01 5/256 843860
/proc/meminfo: memFree=127929000/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=91332 memory=59312 CPUtime=0.29 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 11410 0 0 0 28 1 0 0 20 0 1 0 163723618 93523968 14828 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 22833 14828 1023 2900 0 19347 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91332 KiB
Current children cumulated memory: 59312 KiB

[startup+0.700176 s]
/proc/loadavg: 2.91 3.78 4.01 5/256 843860
/proc/meminfo: memFree=127877564/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=209160 memory=172304 CPUtime=0.69 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 23177 0 0 0 64 5 0 0 20 0 1 0 163723618 214179840 43076 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 52290 43076 1135 2900 0 48804 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 209160 KiB
Current children cumulated memory: 172304 KiB

[startup+1.50017 s]
/proc/loadavg: 2.91 3.78 4.01 5/256 843860
/proc/meminfo: memFree=127515360/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=807212 memory=760284 CPUtime=1.49 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 162313 0 0 0 123 26 0 0 20 0 1 0 163723618 826585088 190071 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 201803 190071 2383 2900 0 198317 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 807212 KiB
Current children cumulated memory: 760284 KiB

[startup+3.10496 s]
/proc/loadavg: 3.00 3.79 4.01 5/256 843860
/proc/meminfo: memFree=127180224/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=811124 memory=763212 CPUtime=3.08 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 163020 0 0 0 282 26 0 0 20 0 1 0 163723618 830590976 190803 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 202781 190803 2399 2900 0 199295 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 811124 KiB
Current children cumulated memory: 763212 KiB

[startup+6.30017 s]
/proc/loadavg: 3.00 3.79 4.01 5/256 843860
/proc/meminfo: memFree=126690904/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1302172 memory=1229596 CPUtime=6.28 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 276383 0 0 0 583 45 0 0 20 0 1 0 163723618 1333424128 307399 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 325543 307399 2639 2900 0 322057 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1302172 KiB
Current children cumulated memory: 1229596 KiB

[startup+12.7001 s]
/proc/loadavg: 3.15 3.80 4.01 5/256 843954
/proc/meminfo: memFree=126550504/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1373392 CPUtime=12.66 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 307786 0 0 0 1216 50 0 0 20 0 1 0 163723618 1494892544 343348 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 343348 2703 2900 0 361478 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1373392 KiB

[startup+25.5002 s]
/proc/loadavg: 3.28 3.80 4.01 5/257 843958
/proc/meminfo: memFree=126520036/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1373392 CPUtime=25.43 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 307792 0 0 0 2492 51 0 0 20 0 1 0 163723618 1494892544 343348 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 343348 2703 2900 0 361478 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1373392 KiB

[startup+51.1048 s]
/proc/loadavg: 3.82 3.89 4.03 5/253 843998
/proc/meminfo: memFree=126290144/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1373544 CPUtime=50.99 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 307838 0 0 0 5010 89 0 0 20 0 1 0 163723618 1494892544 343386 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 343386 2703 2900 0 361478 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1373544 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 3.98 4.05 5/258 844155
/proc/meminfo: memFree=114211388/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1373680 CPUtime=102.1 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 307882 0 0 0 10075 135 0 0 20 0 1 0 163723618 1494892544 343420 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 343420 2735 2900 0 361478 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1373680 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.04 4.07 5/258 844166
/proc/meminfo: memFree=105536892/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1377408 CPUtime=161.99 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 307952 0 0 0 15996 203 0 0 20 0 1 0 163723618 1494892544 344352 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 344352 2735 2900 0 361478 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1377408 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.06 4.08 5/256 844178
/proc/meminfo: memFree=105498248/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1380476 CPUtime=221.87 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 308059 0 0 0 21914 273 0 0 20 0 1 0 163723618 1494892544 345119 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 345119 2735 2900 0 361478 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1380476 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.06 4.08 5/256 844188
/proc/meminfo: memFree=105479940/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1380512 CPUtime=281.77 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 308723 0 0 0 27785 392 0 0 20 0 1 0 163723618 1494892544 345128 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 345128 2735 2900 0 361478 0
Current children cumulated CPU time: 281.77 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1380512 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.08 4.08 5/255 844198
/proc/meminfo: memFree=105467388/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1380628 CPUtime=341.67 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 308916 0 0 0 33684 483 0 0 20 0 1 0 163723618 1494892544 345157 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 345157 2735 2900 0 361478 0
Current children cumulated CPU time: 341.67 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1380628 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.08 4.08 5/255 844209
/proc/meminfo: memFree=105450800/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1380640 CPUtime=401.56 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 309033 0 0 0 39603 553 0 0 20 0 1 0 163723618 1494892544 345160 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 345160 2735 2900 0 361478 0
Current children cumulated CPU time: 401.56 s
Current children cumulated vsize: 1459856 KiB
Current children cumulated memory: 1380640 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/254 844219
/proc/meminfo: memFree=105437580/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1459856 memory=1380688 CPUtime=461.45 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 309181 0 0 0 45513 632 0 0 20 0 1 0 163723618 1494892544 345172 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 364964 345172 2735 2900 0 361478 0

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

Current children cumulated memory: 1424880 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 845830
/proc/meminfo: memFree=105433424/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1424880 CPUtime=2916.64 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 315731 0 0 0 287319 4345 0 0 20 0 1 0 163723618 1506848768 356220 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356220 2735 2900 0 364397 0
Current children cumulated CPU time: 2916.64 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1424880 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 845840
/proc/meminfo: memFree=105407924/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1424880 CPUtime=2976.51 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 315901 0 0 0 293220 4431 0 0 20 0 1 0 163723618 1506848768 356220 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356220 2735 2900 0 364397 0
Current children cumulated CPU time: 2976.51 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1424880 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 845908
/proc/meminfo: memFree=105406732/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1424880 CPUtime=3036.39 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 316050 0 0 0 299139 4500 0 0 20 0 1 0 163723618 1506848768 356220 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356220 2735 2900 0 364397 0
Current children cumulated CPU time: 3036.39 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1424880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 845919
/proc/meminfo: memFree=105405840/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1424880 CPUtime=3096.27 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 316204 0 0 0 305057 4570 0 0 20 0 1 0 163723618 1506848768 356220 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356220 2735 2900 0 364397 0
Current children cumulated CPU time: 3096.27 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1424880 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 845929
/proc/meminfo: memFree=105401332/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1426928 CPUtime=3156.15 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 316383 0 0 0 310959 4656 0 0 20 0 1 0 163723618 1506848768 356732 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356732 2735 2900 0 364397 0
Current children cumulated CPU time: 3156.15 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1426928 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/257 845940
/proc/meminfo: memFree=105400300/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1426928 CPUtime=3216.03 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 316529 0 0 0 316877 4726 0 0 20 0 1 0 163723618 1506848768 356732 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356732 2735 2900 0 364397 0
Current children cumulated CPU time: 3216.03 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1426928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 845951
/proc/meminfo: memFree=105396624/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1426928 CPUtime=3275.91 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 316678 0 0 0 322795 4796 0 0 20 0 1 0 163723618 1506848768 356732 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356732 2735 2900 0 364397 0
Current children cumulated CPU time: 3275.91 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1426928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 845961
/proc/meminfo: memFree=105395760/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1426928 CPUtime=3335.78 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 316839 0 0 0 328711 4867 0 0 20 0 1 0 163723618 1506848768 356732 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356732 2735 2900 0 364397 0
Current children cumulated CPU time: 3335.78 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1426928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 845971
/proc/meminfo: memFree=105391124/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1426928 CPUtime=3395.66 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 317004 0 0 0 334606 4960 0 0 20 0 1 0 163723618 1506848768 356732 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356732 2735 2900 0 364397 0
Current children cumulated CPU time: 3395.66 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1426928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 845982
/proc/meminfo: memFree=105390060/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1426928 CPUtime=3455.53 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 317164 0 0 0 340523 5030 0 0 20 0 1 0 163723618 1506848768 356732 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356732 2735 2900 0 364397 0
Current children cumulated CPU time: 3455.53 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1426928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 845993
/proc/meminfo: memFree=105389300/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1426936 CPUtime=3515.41 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 317340 0 0 0 346420 5121 0 0 20 0 1 0 163723618 1506848768 356734 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356734 2735 2900 0 364397 0
Current children cumulated CPU time: 3515.41 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1426936 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/254 846003
/proc/meminfo: memFree=105380360/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1427884 CPUtime=3575.29 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 317743 0 0 0 352330 5199 0 0 20 0 1 0 163723618 1506848768 356971 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356971 2735 2900 0 364397 0
Current children cumulated CPU time: 3575.29 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1427884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.11 s]
/proc/loadavg: 4.25 4.16 4.11 5/257 846012
/proc/meminfo: memFree=105379672/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1427884 CPUtime=3600.05 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 317799 0 0 0 354783 5222 0 0 20 0 1 0 163723618 1506848768 356971 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356971 2735 2900 0 364397 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1427884 KiB

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

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

# cumulated CPU time of all completed processes:  user=3547.83 s, system=52.2304 s

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

[startup+3607.11 s]
/proc/loadavg: 4.25 4.16 4.11 5/257 846012
/proc/meminfo: memFree=105379672/131524600 swapFree=131071996/131071996
[pid=843859] ppid=843856 vsize=1471532 memory=1427884 CPUtime=3600.05 cores=5,7
/proc/843859/stat : 843859 (ipbhs_static_sc) R 843856 843859 843787 0 -1 4194304 317799 0 0 0 354783 5222 0 0 20 0 1 0 163723618 1506848768 356971 134679101440 4194304 16068861 140735634112304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 27688960 140735634117670 140735634117757 140735634117757 140735634124772 0
/proc/843859/statm: 367883 356971 2735 2900 0 364397 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1471532 KiB
Current children cumulated memory: 1427884 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.11
CPU time (s): 3600.06
CPU user time (s): 3547.83
CPU system time (s): 52.2304
CPU usage (%): 99.8046
Max. virtual memory (cumulated for all children) (KiB): 1471532
Max. memory (cumulated for all children) (KiB): 1427884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.83
system time used= 52.2304
maximum resident set size= 1427884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317799
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= 6
involuntary context switches= 1118


# summary of solver processes directly reported to runsolver:
#   pid: 843859
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3547.83
#   total CPU system time (s): 52.2304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53913 second user time and 16.422 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-16 09:39:59
IDJOB=4431950
IDBENCH=148706
IDSOLVER=3057
FILE ID=nodeC023/4431950-1721115586
RUNJOBID= nodeC023-1721115599-843800
SLURM_JOB_ID= 7505653
Free space on /tmp= 889912 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__64.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431950-1721115586/watcher-4431950-1721115586 -o /tmp/evaluation-result-4431950-1721115586/solver-4431950-1721115586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843800 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431950-1721115586.opb

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

MD5SUM BENCH= f763b12660c46c190e6f60f61a3aa351
RANDOM SEED=1621474483

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3620.407
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3636.936
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.291
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3683.070
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3650.168
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3681.738
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.037
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.314
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128026020 kB
MemAvailable:   129612436 kB
Buffers:          425080 kB
Cached:          1987556 kB
SwapCached:            0 kB
Active:           757440 kB
Inactive:        2124240 kB
Active(anon):       1460 kB
Inactive(anon):   505296 kB
Active(file):     755980 kB
Inactive(file):  1618944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            231160 kB
Writeback:             0 kB
AnonPages:        469260 kB
Mapped:           134396 kB
Shmem:             37720 kB
KReclaimable:     102632 kB
Slab:             209552 kB
SReclaimable:     102632 kB
SUnreclaim:       106920 kB
KernelStack:        4048 kB
PageTables:        10324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     855712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:    18444288 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889608 MiB
End job on nodeC023 at 2024-07-16 10:40:06