Trace number 4431784

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.05 3612.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM58d046e1e41ee9602d09224f38506b42
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13429
Number of constraints which are clauses13429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

212.04/212.68	c initialize IPBHS solver
212.04/212.68	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
212.04/212.68	c optimizer = "scip"
212.04/212.68	c pbsolver = "roundingsat"
212.04/212.68	c load symmetries from file ""
212.04/212.68	c set time limit for symmetry computation to 100 seconds.
212.04/212.68	c set interchangeable summation variable limit to 3
212.04/212.68	c set abs symmetric core budget per WCE-iteration to 100
212.04/212.68	c set rel symmetric core budget per WCE-iteration to 0
212.04/212.68	c set lit symmetric core budget per WCE-iteration to 0
212.04/212.68	c set sym generation to 's'
212.04/212.68	c set abstraction set creation to 10 iterations without LB change
212.04/212.68	c set abstraction set inputs to 0
212.04/212.68	c set abstraction set cluster min size to 2
212.04/212.68	c set abstraction set cluster max size to 100000000
212.04/212.68	c set abstraction set cluster activation limit to 2
212.04/212.68	c enable abstraction set require equal cost
212.04/212.68	c set abstraction set assumptions to 0
212.04/212.68	c set abstraction set constraint type to 0
212.04/212.68	c set abstract core extraction strategy to b
212.04/212.68	c set core extraction strategy to 2
212.04/212.68	c set core extraction shuffles 10
212.04/212.68	c set cores per iteration to 5
212.04/212.68	c set optimizer bound usage strategy to 2
212.04/212.68	c set optimizer max non-optimal iterations to 1000
212.04/212.68	c set small core cardinality limit to 2
212.04/212.68	c set max coef in cores to 1000000000
212.04/212.68	c set SIS iterations to 5
212.04/212.68	c set SIS budget abs to 1000
212.04/212.68	c set SIS budget rel to 0.05
212.04/212.68	c limit for coefficient in constraints and objective to 9223372036854775807
212.04/212.68	c will solve HOME/instance-4431784-1721074116.opb
212.04/212.68	c [0.08] solve iteration 1, LB=0, UB=6353

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: 64059 MiB (62306 MiB free)
  memory of node 1: 64510 MiB (62755 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431784-1721074116/watcher-4431784-1721074116 -o /tmp/evaluation-result-4431784-1721074116/solver-4431784-1721074116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808454 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431784-1721074116.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=810625, runsolver pid=810622
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.17 4.12 4.16 6/242 810626
/proc/meminfo: memFree=128056156/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=34312 memory=15960 CPUtime=0.1 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 1933 0 0 0 8 2 0 0 20 0 1 0 159568263 35135488 3924 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 8578 3990 2351 2900 0 5092 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34312 KiB
Current children cumulated memory: 15960 KiB

[startup+0.212274 s]*
/proc/loadavg: 4.17 4.12 4.16 5/242 810626
/proc/meminfo: memFree=128031824/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=56800 memory=37976 CPUtime=0.21 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 7472 0 0 0 14 7 0 0 20 0 1 0 159568263 58163200 9494 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 14200 9494 2383 2900 0 10714 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56800 KiB
Current children cumulated memory: 37976 KiB

[startup+0.31265 s]*
/proc/loadavg: 4.17 4.12 4.16 5/242 810626
/proc/meminfo: memFree=128012216/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=76660 memory=57400 CPUtime=0.32 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 12179 0 0 0 22 10 0 0 20 0 1 0 159568263 78499840 14350 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 19165 14350 2623 2900 0 15679 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 76660 KiB
Current children cumulated memory: 57400 KiB

[startup+0.700253 s]
/proc/loadavg: 4.17 4.12 4.16 5/242 810626
/proc/meminfo: memFree=127997308/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=0.68 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 58 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+1.50023 s]
/proc/loadavg: 4.17 4.12 4.16 5/242 810626
/proc/meminfo: memFree=127990552/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=1.48 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 138 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+3.11237 s]
/proc/loadavg: 4.23 4.14 4.17 5/242 810626
/proc/meminfo: memFree=127972668/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=3.09 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 299 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+6.30024 s]
/proc/loadavg: 4.23 4.14 4.17 5/242 810626
/proc/meminfo: memFree=127964148/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=6.27 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 617 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+12.7002 s]
/proc/loadavg: 4.43 4.18 4.18 5/242 810627
/proc/meminfo: memFree=127931344/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=12.65 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 1255 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+25.5003 s]
/proc/loadavg: 4.52 4.21 4.19 5/243 810631
/proc/meminfo: memFree=127925236/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=25.42 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 2532 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+51.1125 s]
/proc/loadavg: 4.68 4.27 4.21 5/243 810635
/proc/meminfo: memFree=127844356/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=50.96 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 5086 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+102.3 s]
/proc/loadavg: 4.42 4.27 4.21 5/245 810648
/proc/meminfo: memFree=127726028/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=102.02 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15518 0 0 0 10192 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.25 4.21 5/245 810658
/proc/meminfo: memFree=127628164/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=101200 memory=71024 CPUtime=161.86 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 15520 0 0 0 16176 10 0 0 20 0 1 0 159568263 103628800 17756 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 25300 17756 2703 2900 0 21814 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 71024 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.22 4.20 5/245 810670
/proc/meminfo: memFree=127366012/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=181624 memory=146928 CPUtime=221.7 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 37065 0 0 0 22156 14 0 0 20 0 1 0 159568263 185982976 36732 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 45406 36732 2895 2900 0 41920 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 181624 KiB
Current children cumulated memory: 146928 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/245 810680
/proc/meminfo: memFree=127263708/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=221360 memory=187152 CPUtime=281.49 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 58823 0 0 0 28133 16 0 0 20 0 1 0 159568263 226672640 46788 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 55340 46788 2895 2900 0 51854 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 221360 KiB
Current children cumulated memory: 187152 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.17 4.18 5/245 810690
/proc/meminfo: memFree=127164028/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=231468 memory=197464 CPUtime=341.28 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 67825 0 0 0 34109 19 0 0 20 0 1 0 159568263 237023232 49366 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 57867 49366 2895 2900 0 54381 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 197464 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/244 810701
/proc/meminfo: memFree=127015212/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=263212 memory=229064 CPUtime=401.08 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 82599 0 0 0 40084 24 0 0 20 0 1 0 159568263 269529088 57266 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 65803 57266 2895 2900 0 62317 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 263212 KiB
Current children cumulated memory: 229064 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/245 810717
/proc/meminfo: memFree=126905216/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=279600 memory=242940 CPUtime=460.87 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 86732 0 0 0 46061 26 0 0 20 0 1 0 159568263 286310400 60735 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 69900 60735 2895 2900 0 66414 0

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

Current children cumulated memory: 407256 KiB

[startup+2862.3 s]
/proc/loadavg: 4.58 4.22 4.13 5/244 812141
/proc/meminfo: memFree=124571496/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=426528 memory=407364 CPUtime=2852.65 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 212450 0 0 0 285210 55 0 0 20 0 1 0 159568263 436764672 101841 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 106632 101841 2895 2900 0 103146 0
Current children cumulated CPU time: 2852.65 s
Current children cumulated vsize: 426528 KiB
Current children cumulated memory: 407364 KiB

[startup+2922.3 s]
/proc/loadavg: 4.99 4.41 4.20 5/244 812151
/proc/meminfo: memFree=124556284/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407484 CPUtime=2912.45 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 212627 0 0 0 291190 55 0 0 20 0 1 0 159568263 438484992 101871 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101871 2895 2900 0 103566 0
Current children cumulated CPU time: 2912.45 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407484 KiB

[startup+2982.3 s]
/proc/loadavg: 5.25 4.59 4.28 5/244 812329
/proc/meminfo: memFree=124510420/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407588 CPUtime=2972.25 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 212797 0 0 0 297170 55 0 0 20 0 1 0 159568263 438484992 101897 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101897 2895 2900 0 103566 0
Current children cumulated CPU time: 2972.25 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407588 KiB

[startup+3042.3 s]
/proc/loadavg: 4.66 4.56 4.29 5/244 812340
/proc/meminfo: memFree=124495904/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407712 CPUtime=3032.05 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 212989 0 0 0 303150 55 0 0 20 0 1 0 159568263 438484992 101928 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101928 2895 2900 0 103566 0
Current children cumulated CPU time: 3032.05 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407712 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.47 4.27 5/246 812354
/proc/meminfo: memFree=124478896/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407748 CPUtime=3091.86 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 213159 0 0 0 309131 55 0 0 20 0 1 0 159568263 438484992 101937 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101937 2895 2900 0 103566 0
Current children cumulated CPU time: 3091.86 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.41 4.26 5/244 812375
/proc/meminfo: memFree=124467312/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407796 CPUtime=3151.66 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 213346 0 0 0 315111 55 0 0 20 0 1 0 159568263 438484992 101949 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101949 2895 2900 0 103566 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.36 4.26 5/244 812387
/proc/meminfo: memFree=124459396/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407908 CPUtime=3211.46 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 213536 0 0 0 321091 55 0 0 20 0 1 0 159568263 438484992 101977 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101977 2895 2900 0 103566 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.31 4.25 5/244 812397
/proc/meminfo: memFree=124446188/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407948 CPUtime=3271.26 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 213695 0 0 0 327071 55 0 0 20 0 1 0 159568263 438484992 101987 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101987 2895 2900 0 103566 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.28 4.24 5/244 812407
/proc/meminfo: memFree=124411552/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=407948 CPUtime=3331.06 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 213883 0 0 0 333051 55 0 0 20 0 1 0 159568263 438484992 101987 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 101987 2895 2900 0 103566 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 407948 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.23 4.22 5/242 812418
/proc/meminfo: memFree=124337224/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428208 memory=408052 CPUtime=3390.86 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 214043 0 0 0 339031 55 0 0 20 0 1 0 159568263 438484992 102013 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107052 102013 2895 2900 0 103566 0
Current children cumulated CPU time: 3390.86 s
Current children cumulated vsize: 428208 KiB
Current children cumulated memory: 408052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.25 4.23 5/242 812429
/proc/meminfo: memFree=124242092/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=428396 memory=408052 CPUtime=3450.65 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 214234 0 0 0 345010 55 0 0 20 0 1 0 159568263 438677504 102013 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107099 102013 2895 2900 0 103613 0
Current children cumulated CPU time: 3450.65 s
Current children cumulated vsize: 428396 KiB
Current children cumulated memory: 408052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.26 4.23 5/242 812439
/proc/meminfo: memFree=124162964/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=429860 memory=408776 CPUtime=3510.44 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 214554 0 0 0 350989 55 0 0 20 0 1 0 159568263 440176640 102194 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107465 102194 2895 2900 0 103979 0
Current children cumulated CPU time: 3510.44 s
Current children cumulated vsize: 429860 KiB
Current children cumulated memory: 408776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.24 4.23 5/242 812449
/proc/meminfo: memFree=124132816/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=431228 memory=409852 CPUtime=3570.24 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 215003 0 0 0 356969 55 0 0 20 0 1 0 159568263 441577472 102463 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 107807 102463 2895 2900 0 104321 0
Current children cumulated CPU time: 3570.24 s
Current children cumulated vsize: 431228 KiB
Current children cumulated memory: 409852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.13 4.22 4.22 5/242 812591
/proc/meminfo: memFree=127970128/131655788 swapFree=131071996/131071996
[pid=810625] ppid=810622 vsize=436476 memory=414724 CPUtime=3600.03 cores=0,2
/proc/810625/stat : 810625 (ipbhs_static_sc) R 810622 810625 808444 0 -1 4194304 219250 0 0 0 359947 56 0 0 20 0 1 0 159568263 446951424 103681 134679101440 4194304 16068861 140726989202912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 38100992 140726989210662 140726989210749 140726989210749 140726989217764 0
/proc/810625/statm: 109119 103681 2895 2900 0 105633 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 436476 KiB
Current children cumulated memory: 414724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.48 s, system=0.566785 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): 3612.2
CPU time (s): 3600.05
CPU user time (s): 3599.48
CPU system time (s): 0.566785
CPU usage (%): 99.6634
Max. virtual memory (cumulated for all children) (KiB): 436476
Max. memory (cumulated for all children) (KiB): 414724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.566785
maximum resident set size= 426244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219250
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= 39
involuntary context switches= 25186


# summary of solver processes directly reported to runsolver:
#   pid: 810625
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.48
#   total CPU system time (s): 0.566785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9301 second user time and 33.1919 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-15 22:08:48
IDJOB=4431784
IDBENCH=147102
IDSOLVER=3057
FILE ID=nodeC007/4431784-1721074116
RUNJOBID= nodeC007-1721070510-808454
SLURM_JOB_ID= 7505529
Free space on /tmp= 723620 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431784-1721074116/watcher-4431784-1721074116 -o /tmp/evaluation-result-4431784-1721074116/solver-4431784-1721074116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808454 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431784-1721074116.opb

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

MD5SUM BENCH= 58d046e1e41ee9602d09224f38506b42
RANDOM SEED=101151917

nodeC007.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	: 0xb00001f
cpu MHz		: 3043.109
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 invpcid_single pti 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	: 6983.25
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		: 3661.054
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 invpcid_single pti 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	: 6983.30
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.131
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 invpcid_single pti 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	: 6983.25
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		: 1197.300
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 invpcid_single pti 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	: 6983.30
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		: 3671.698
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 invpcid_single pti 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	: 6983.25
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		: 3663.712
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 invpcid_single pti 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	: 6983.30
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.382
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 invpcid_single pti 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	: 6983.25
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.394
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 invpcid_single pti 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	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128064264 kB
MemAvailable:   129371768 kB
Buffers:          377184 kB
Cached:          1761476 kB
SwapCached:            0 kB
Active:           680084 kB
Inactive:        2364256 kB
Active(anon):       1468 kB
Inactive(anon):   941908 kB
Active(file):     678616 kB
Inactive(file):  1422348 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            219780 kB
Writeback:             0 kB
AnonPages:        905720 kB
Mapped:           138632 kB
Shmem:             37704 kB
KReclaimable:      93140 kB
Slab:             189156 kB
SReclaimable:      93140 kB
SUnreclaim:        96016 kB
KernelStack:        3872 kB
PageTables:        10968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1326828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51136 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723572 MiB
End job on nodeC007 at 2024-07-15 23:09:01