Trace number 4431764

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.04 3607.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
MD5SUM1ab00a09bce4fe90071f9bd51d0e1c65
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 benchmark1081565440
Best CPU time to get the best result obtained on this benchmark3600.22
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7287
Total number of constraints529
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)420
Number of constraints which are nor clauses,nor cardinality constraints109
Minimum length of a constraint3
Maximum length of a constraint6062
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 400587756783443
Number of bits of the biggest sum of numbers49
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 (62735 MiB free)
  memory of node 1: 64473 MiB (62257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431764-1721066826/watcher-4431764-1721066826 -o /tmp/evaluation-result-4431764-1721066826/solver-4431764-1721066826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808012 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431764-1721066826.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=812829, runsolver pid=812826

[startup+0.10022 s]*
/proc/loadavg: 4.12 4.16 4.11 5/255 812830
/proc/meminfo: memFree=127967316/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=51832 memory=34900 CPUtime=0.1 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 6199 0 0 0 9 1 0 0 20 0 1 0 158849627 53075968 8725 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 12958 8725 2383 2900 0 9472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51832 KiB
Current children cumulated memory: 34900 KiB

[startup+0.205551 s]*
/proc/loadavg: 4.12 4.16 4.11 5/255 812830
/proc/meminfo: memFree=127966968/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=51832 memory=34900 CPUtime=0.2 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 6199 0 0 0 19 1 0 0 20 0 1 0 158849627 53075968 8725 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 12958 8725 2383 2900 0 9472 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51832 KiB
Current children cumulated memory: 34900 KiB

[startup+0.305033 s]*
/proc/loadavg: 4.12 4.16 4.11 5/255 812830
/proc/meminfo: memFree=127966828/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=51832 memory=34900 CPUtime=0.3 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 6199 0 0 0 29 1 0 0 20 0 1 0 158849627 53075968 8725 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 12958 8725 2383 2900 0 9472 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51832 KiB
Current children cumulated memory: 34900 KiB

[startup+0.700181 s]
/proc/loadavg: 4.12 4.16 4.11 5/255 812830
/proc/meminfo: memFree=127948088/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=73360 memory=55984 CPUtime=0.69 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 11160 0 0 0 66 3 0 0 20 0 1 0 158849627 75120640 13996 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 18340 13996 2735 2900 0 14854 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73360 KiB
Current children cumulated memory: 55984 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.16 4.11 5/255 812830
/proc/meminfo: memFree=127943384/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=80220 memory=63916 CPUtime=1.48 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 12630 0 0 0 140 8 0 0 20 0 1 0 158849627 82145280 15979 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 20055 15979 2735 2900 0 16569 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80220 KiB
Current children cumulated memory: 63916 KiB

[startup+3.10571 s]
/proc/loadavg: 4.11 4.16 4.11 5/255 812830
/proc/meminfo: memFree=127932656/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=87444 memory=69920 CPUtime=3.08 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 13639 0 0 0 299 9 0 0 20 0 1 0 158849627 89542656 17480 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 21861 17480 2735 2900 0 18375 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87444 KiB
Current children cumulated memory: 69920 KiB

[startup+6.30023 s]
/proc/loadavg: 4.11 4.16 4.11 5/255 812832
/proc/meminfo: memFree=127926588/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=95708 memory=75332 CPUtime=6.28 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 14490 0 0 0 617 11 0 0 20 0 1 0 158849627 98004992 18833 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 23927 18833 2735 2900 0 20441 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 95708 KiB
Current children cumulated memory: 75332 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.17 4.12 5/255 812833
/proc/meminfo: memFree=127910184/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=113508 memory=91680 CPUtime=12.66 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 16541 0 0 0 1247 19 0 0 20 0 1 0 158849627 116232192 22920 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 28377 22920 2735 2900 0 24891 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 113508 KiB
Current children cumulated memory: 91680 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.17 4.11 6/255 812836
/proc/meminfo: memFree=127868588/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=151244 memory=135232 CPUtime=25.43 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 21810 0 0 0 2513 30 0 0 20 0 1 0 158849627 154873856 33808 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 37811 33808 2735 2900 0 34325 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 151244 KiB
Current children cumulated memory: 135232 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.15 4.11 6/255 812839
/proc/meminfo: memFree=127810124/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=204120 memory=183940 CPUtime=50.98 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 27882 0 0 0 5056 42 0 0 20 0 1 0 158849627 209018880 45985 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 51030 45985 2735 2900 0 47544 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 204120 KiB
Current children cumulated memory: 183940 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/254 812848
/proc/meminfo: memFree=127755712/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=257456 memory=223128 CPUtime=102.05 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 29039 0 0 0 10147 58 0 0 20 0 1 0 158849627 263634944 55782 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 64364 55782 2735 2900 0 60878 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 257456 KiB
Current children cumulated memory: 223128 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/254 812858
/proc/meminfo: memFree=127687420/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=358920 memory=269864 CPUtime=161.91 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 34622 0 0 0 16103 88 0 0 20 0 1 0 158849627 367534080 67466 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 89730 67466 2735 2900 0 86244 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 358920 KiB
Current children cumulated memory: 269864 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/257 812874
/proc/meminfo: memFree=127615908/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=367656 memory=301292 CPUtime=221.77 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 36851 0 0 0 22066 111 0 0 20 0 1 0 158849627 376479744 75323 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 91914 75323 2735 2900 0 88428 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 367656 KiB
Current children cumulated memory: 301292 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/257 812885
/proc/meminfo: memFree=127547828/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=392416 memory=330760 CPUtime=281.62 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 42279 0 0 0 28010 152 0 0 20 0 1 0 158849627 401833984 82690 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 98104 82690 2735 2900 0 94618 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 392416 KiB
Current children cumulated memory: 330760 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 812895
/proc/meminfo: memFree=127470136/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=415860 memory=365432 CPUtime=341.47 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 47937 0 0 0 33961 186 0 0 20 0 1 0 158849627 425840640 91358 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 103965 91358 2735 2900 0 100479 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 415860 KiB
Current children cumulated memory: 365432 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 812906
/proc/meminfo: memFree=127427180/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=420424 memory=387216 CPUtime=401.32 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 49405 0 0 0 39922 210 0 0 20 0 1 0 158849627 430514176 96804 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 105106 96804 2735 2900 0 101620 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 420424 KiB
Current children cumulated memory: 387216 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 812917
/proc/meminfo: memFree=127399332/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=426344 memory=402952 CPUtime=461.18 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 51395 0 0 0 45860 258 0 0 20 0 1 0 158849627 436576256 100738 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 106586 100738 2735 2900 0 103100 0
Current children cumulated CPU time: 461.18 s

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

Current children cumulated memory: 1028352 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 813966
/proc/meminfo: memFree=126330168/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1147792 memory=1048244 CPUtime=2856.26 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 140043 0 0 0 284241 1385 0 0 20 0 1 0 158849627 1175339008 262061 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 286948 262061 2735 2900 0 283462 0
Current children cumulated CPU time: 2856.26 s
Current children cumulated vsize: 1147792 KiB
Current children cumulated memory: 1048244 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 814360
/proc/meminfo: memFree=126287484/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1149200 memory=1081540 CPUtime=2916.1 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 140807 0 0 0 290200 1410 0 0 20 0 1 0 158849627 1176780800 270385 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 287300 270385 2735 2900 0 283814 0
Current children cumulated CPU time: 2916.1 s
Current children cumulated vsize: 1149200 KiB
Current children cumulated memory: 1081540 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/257 814370
/proc/meminfo: memFree=126260124/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1149968 memory=1096356 CPUtime=2975.95 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 141195 0 0 0 296144 1451 0 0 20 0 1 0 158849627 1177567232 274089 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 287492 274089 2735 2900 0 284006 0
Current children cumulated CPU time: 2975.95 s
Current children cumulated vsize: 1149968 KiB
Current children cumulated memory: 1096356 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 814382
/proc/meminfo: memFree=126257276/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1151408 memory=1097004 CPUtime=3035.8 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 141841 0 0 0 302088 1492 0 0 20 0 1 0 158849627 1179041792 274251 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 287852 274251 2735 2900 0 284366 0
Current children cumulated CPU time: 3035.8 s
Current children cumulated vsize: 1151408 KiB
Current children cumulated memory: 1097004 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 814562
/proc/meminfo: memFree=126242512/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1152528 memory=1097892 CPUtime=3095.65 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 142526 0 0 0 308038 1527 0 0 20 0 1 0 158849627 1180188672 274473 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 288132 274473 2735 2900 0 284646 0
Current children cumulated CPU time: 3095.65 s
Current children cumulated vsize: 1152528 KiB
Current children cumulated memory: 1097892 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 814572
/proc/meminfo: memFree=126243908/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1153520 memory=1098592 CPUtime=3155.52 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 143204 0 0 0 313993 1559 0 0 20 0 1 0 158849627 1181204480 274648 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 288380 274648 2735 2900 0 284894 0
Current children cumulated CPU time: 3155.52 s
Current children cumulated vsize: 1153520 KiB
Current children cumulated memory: 1098592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 814586
/proc/meminfo: memFree=126222912/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1180532 memory=1121316 CPUtime=3215.39 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 147361 0 0 0 319951 1588 0 0 20 0 1 0 158849627 1208864768 280329 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 295133 280329 2735 2900 0 291647 0
Current children cumulated CPU time: 3215.39 s
Current children cumulated vsize: 1180532 KiB
Current children cumulated memory: 1121316 KiB

[startup+3282.3 s]
/proc/loadavg: 3.76 4.05 4.07 3/244 814669
/proc/meminfo: memFree=127621868/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1266304 memory=1198576 CPUtime=3275.27 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 159526 0 0 0 325916 1611 0 0 20 0 1 0 158849627 1296695296 299644 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 316576 299644 2735 2900 0 313090 0
Current children cumulated CPU time: 3275.27 s
Current children cumulated vsize: 1266304 KiB
Current children cumulated memory: 1198576 KiB

[startup+3342.3 s]
/proc/loadavg: 2.48 3.64 3.93 2/236 814710
/proc/meminfo: memFree=128134376/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1266304 memory=1198576 CPUtime=3335.16 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 159967 0 0 0 331881 1635 0 0 20 0 1 0 158849627 1296695296 299644 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 316576 299644 2735 2900 0 313090 0
Current children cumulated CPU time: 3335.16 s
Current children cumulated vsize: 1266304 KiB
Current children cumulated memory: 1198576 KiB

[startup+3402.3 s]
/proc/loadavg: 1.59 3.17 3.75 2/234 814722
/proc/meminfo: memFree=128134112/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1266304 memory=1198576 CPUtime=3395.07 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 160455 0 0 0 337846 1661 0 0 20 0 1 0 158849627 1296695296 299644 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 316576 299644 2735 2900 0 313090 0
Current children cumulated CPU time: 3395.07 s
Current children cumulated vsize: 1266304 KiB
Current children cumulated memory: 1198576 KiB

[startup+3462.3 s]
/proc/loadavg: 1.33 2.81 3.58 2/234 814733
/proc/meminfo: memFree=128133776/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1266304 memory=1198576 CPUtime=3454.99 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 160983 0 0 0 343809 1690 0 0 20 0 1 0 158849627 1296695296 299644 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 316576 299644 2735 2900 0 313090 0
Current children cumulated CPU time: 3454.99 s
Current children cumulated vsize: 1266304 KiB
Current children cumulated memory: 1198576 KiB

[startup+3522.3 s]
/proc/loadavg: 1.17 2.49 3.42 2/233 814743
/proc/meminfo: memFree=128132708/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1267208 memory=1198032 CPUtime=3514.89 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 163961 0 0 0 349743 1746 0 0 20 0 1 0 158849627 1297620992 299508 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 316802 299508 2735 2900 0 313316 0
Current children cumulated CPU time: 3514.89 s
Current children cumulated vsize: 1267208 KiB
Current children cumulated memory: 1198032 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 2.23 3.27 2/233 814753
/proc/meminfo: memFree=128114840/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1302668 memory=1217340 CPUtime=3574.77 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 169282 0 0 0 355582 1895 0 0 20 0 1 0 158849627 1333932032 304335 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 325667 304335 2735 2900 0 322181 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 1302668 KiB
Current children cumulated memory: 1217340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.6 s]
/proc/loadavg: 1.12 2.15 3.22 2/233 814759
/proc/meminfo: memFree=127978284/131524600 swapFree=131071996/131071996
[pid=812829] ppid=812826 vsize=1542056 memory=1352956 CPUtime=3600.02 cores=4,6
/proc/812829/stat : 812829 (ipbhs_static_sc) R 812826 812829 808001 0 -1 4194304 203379 0 0 0 358084 1918 0 0 20 0 1 0 158849627 1579065344 338239 134679101440 4194304 16068861 140732354776352 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 30035968 140732354782246 140732354782333 140732354782333 140732354789348 0
/proc/812829/statm: 385514 338239 2735 2900 0 382028 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1542056 KiB
Current children cumulated memory: 1352956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.85 s, system=19.1933 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.61
CPU time (s): 3600.04
CPU user time (s): 3580.85
CPU system time (s): 19.1933
CPU usage (%): 99.7902
Max. virtual memory (cumulated for all children) (KiB): 1542056
Max. memory (cumulated for all children) (KiB): 1352956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.85
system time used= 19.1933
maximum resident set size= 1353156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203379
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= 48
involuntary context switches= 3755


# summary of solver processes directly reported to runsolver:
#   pid: 812829
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3580.85
#   total CPU system time (s): 19.1933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89672 second user time and 16.0186 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-15 20:07:18
IDJOB=4431764
IDBENCH=146775
IDSOLVER=3057
FILE ID=nodeC028/4431764-1721066826
RUNJOBID= nodeC028-1721059157-808012
SLURM_JOB_ID= 7505495
Free space on /tmp= 889904 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431764-1721066826/watcher-4431764-1721066826 -o /tmp/evaluation-result-4431764-1721066826/solver-4431764-1721066826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808012 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431764-1721066826.opb

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

MD5SUM BENCH= 1ab00a09bce4fe90071f9bd51d0e1c65
RANDOM SEED=2107138970

nodeC028.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		: 3676.425
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.56
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		: 3690.985
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127993352 kB
MemAvailable:   128684624 kB
Buffers:          370700 kB
Cached:          1158744 kB
SwapCached:            0 kB
Active:           663512 kB
Inactive:        2282748 kB
Active(anon):       1536 kB
Inactive(anon):  1452668 kB
Active(file):     661976 kB
Inactive(file):   830080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             54932 kB
Writeback:             4 kB
AnonPages:       1413692 kB
Mapped:           141076 kB
Shmem:             37720 kB
KReclaimable:      78076 kB
Slab:             180220 kB
SReclaimable:      78076 kB
SUnreclaim:       102144 kB
KernelStack:        4144 kB
PageTables:        12320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1824964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    299008 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:      193236 kB
DirectMap2M:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC028 at 2024-07-15 21:07:26