Trace number 4431943

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.09 3609.33

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
MD5SUM743a21341a4102c561f444f57f0a4e7a
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 benchmark73649
Best CPU time to get the best result obtained on this benchmark12.8202
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26836
Total number of constraints55586
Number of constraints which are clauses55586
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 constraint359
Number of terms in the objective function 13364
Biggest coefficient in the objective function 2444
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 23768999
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 2444
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 23768999
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

65.44/65.69	c initialize IPBHS solver
65.44/65.69	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
65.44/65.69	c optimizer = "scip"
65.44/65.69	c pbsolver = "roundingsat"
65.44/65.69	c load symmetries from file ""
65.44/65.69	c set time limit for symmetry computation to 100 seconds.
65.44/65.69	c set interchangeable summation variable limit to 3
65.44/65.69	c set abs symmetric core budget per WCE-iteration to 100
65.44/65.69	c set rel symmetric core budget per WCE-iteration to 0
65.44/65.69	c set lit symmetric core budget per WCE-iteration to 0
65.44/65.69	c set sym generation to 's'
65.44/65.69	c set abstraction set creation to 10 iterations without LB change
65.44/65.69	c set abstraction set inputs to 0
65.44/65.69	c set abstraction set cluster min size to 2
65.44/65.69	c set abstraction set cluster max size to 100000000
65.44/65.69	c set abstraction set cluster activation limit to 2
65.44/65.69	c enable abstraction set require equal cost
65.44/65.69	c set abstraction set assumptions to 0
65.44/65.69	c set abstraction set constraint type to 0
65.44/65.69	c set abstract core extraction strategy to b
65.44/65.69	c set core extraction strategy to 2
65.44/65.69	c set core extraction shuffles 10
65.44/65.69	c set cores per iteration to 5
65.44/65.69	c set optimizer bound usage strategy to 2
65.44/65.69	c set optimizer max non-optimal iterations to 1000
65.44/65.69	c set small core cardinality limit to 2
65.44/65.69	c set max coef in cores to 1000000000
65.44/65.69	c set SIS iterations to 5
65.44/65.69	c set SIS budget abs to 1000
65.44/65.69	c set SIS budget rel to 0.05
65.44/65.69	c limit for coefficient in constraints and objective to 9223372036854775807
65.44/65.69	c will solve HOME/instance-4431943-1721108863.opb
65.44/65.69	c [0.03] solve iteration 1, LB=0, UB=23769000
65.44/65.69	c [56.16] solve iteration 2, LB=9868, UB=317199
80.80/81.07	c [66.75] solve iteration 3, LB=69219, UB=113495
146.01/146.45	c [126.06] solve iteration 4, LB=70770, UB=113495
447.63/448.90	c [413.34] solve iteration 5, LB=72389, UB=113495
1126.13/1129.18	c [1083.79] solve iteration 6, LB=72817, UB=113495
1918.30/1923.32	c [1876.7] solve iteration 7, LB=73193, UB=81985
2715.09/2722.13	c [2672.2] solve iteration 8, LB=73283, UB=81985

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: 63931 MiB (62402 MiB free)
  memory of node 1: 64510 MiB (58882 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431943-1721108863/watcher-4431943-1721108863 -o /tmp/evaluation-result-4431943-1721108863/solver-4431943-1721108863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721108875-866906 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431943-1721108863.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=866966, runsolver pid=866963

[startup+0.100332 s]*
/proc/loadavg: 2.89 3.83 3.99 5/256 866967
/proc/meminfo: memFree=124103924/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=41704 memory=18492 CPUtime=0.09 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 4110 0 0 0 8 1 0 0 20 0 1 0 163051632 42704896 4623 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 10426 4623 1135 2900 0 6940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41704 KiB
Current children cumulated memory: 18492 KiB

[startup+0.205316 s]*
/proc/loadavg: 2.89 3.83 3.99 5/256 866967
/proc/meminfo: memFree=124001528/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=103504 memory=87388 CPUtime=0.19 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 19508 0 0 0 14 5 0 0 20 0 1 0 163051632 105988096 21847 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 25876 21847 2559 2900 0 22390 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 103504 KiB
Current children cumulated memory: 87388 KiB

[startup+0.305258 s]*
/proc/loadavg: 2.89 3.83 3.99 5/256 866967
/proc/meminfo: memFree=123944472/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=155984 memory=132148 CPUtime=0.3 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 30610 0 0 0 23 7 0 0 20 0 1 0 163051632 159727616 33037 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 38996 33037 2671 2900 0 35510 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 155984 KiB
Current children cumulated memory: 132148 KiB

[startup+0.700147 s]
/proc/loadavg: 2.89 3.83 3.99 5/256 866967
/proc/meminfo: memFree=123933200/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=159316 memory=135568 CPUtime=0.69 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 31447 0 0 0 61 8 0 0 20 0 1 0 163051632 163139584 33892 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 39829 33892 2671 2900 0 36343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 135568 KiB

[startup+1.50015 s]
/proc/loadavg: 2.89 3.83 3.99 5/256 866967
/proc/meminfo: memFree=123920604/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=159316 memory=135568 CPUtime=1.48 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 31468 0 0 0 137 11 0 0 20 0 1 0 163051632 163139584 33892 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 39829 33892 2671 2900 0 36343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 135568 KiB

[startup+3.105 s]
/proc/loadavg: 2.89 3.83 3.99 5/256 866969
/proc/meminfo: memFree=123817880/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=159316 memory=135568 CPUtime=3.08 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 31476 0 0 0 281 27 0 0 20 0 1 0 163051632 163139584 33892 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 39829 33892 2671 2900 0 36343 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 135568 KiB

[startup+6.30016 s]
/proc/loadavg: 2.98 3.84 3.99 5/256 866969
/proc/meminfo: memFree=123746788/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=159316 memory=135568 CPUtime=6.27 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 31478 0 0 0 562 65 0 0 20 0 1 0 163051632 163139584 33892 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 39829 33892 2671 2900 0 36343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 135568 KiB

[startup+12.7002 s]
/proc/loadavg: 3.06 3.84 3.99 4/254 866970
/proc/meminfo: memFree=123755584/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=159316 memory=135568 CPUtime=12.66 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 31483 0 0 0 1110 156 0 0 20 0 1 0 163051632 163139584 33892 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 39829 33892 2671 2900 0 36343 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 135568 KiB

[startup+25.5002 s]
/proc/loadavg: 3.34 3.86 4.00 5/256 867018
/proc/meminfo: memFree=123552236/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=159316 memory=135936 CPUtime=25.44 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 31501 0 0 0 2193 351 0 0 20 0 1 0 163051632 163139584 33984 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 39829 33984 2703 2900 0 36343 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 135936 KiB

[startup+51.1054 s]
/proc/loadavg: 3.64 3.89 4.00 5/256 867297
/proc/meminfo: memFree=123536792/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=162036 memory=139348 CPUtime=50.99 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 31840 0 0 0 4451 648 0 0 20 0 1 0 163051632 165924864 34837 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 40509 34837 2703 2900 0 37023 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 162036 KiB
Current children cumulated memory: 139348 KiB

[startup+102.3 s]
/proc/loadavg: 3.96 3.94 4.01 5/256 867307
/proc/meminfo: memFree=122946160/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=633316 memory=589840 CPUtime=102.03 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 143294 0 0 0 9313 890 0 0 20 0 1 0 163051632 648515584 147460 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 158329 147460 2927 2900 0 154843 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 633316 KiB
Current children cumulated memory: 589840 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.97 4.01 5/258 867321
/proc/meminfo: memFree=122182488/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=704892 memory=655572 CPUtime=161.86 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 159233 0 0 0 14998 1188 0 0 20 0 1 0 163051632 721809408 163893 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 176223 163893 2927 2900 0 172737 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 704892 KiB
Current children cumulated memory: 655572 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.99 4.01 5/258 867333
/proc/meminfo: memFree=121269816/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=706920 memory=657156 CPUtime=221.65 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 159631 0 0 0 20977 1188 0 0 20 0 1 0 163051632 723886080 164289 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 176730 164289 2927 2900 0 173244 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 706920 KiB
Current children cumulated memory: 657156 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.02 4.02 5/258 867344
/proc/meminfo: memFree=120835584/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=712136 memory=662436 CPUtime=281.46 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 160934 0 0 0 26956 1190 0 0 20 0 1 0 163051632 729227264 165609 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 178034 165609 2927 2900 0 174548 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 712136 KiB
Current children cumulated memory: 662436 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.03 4.02 5/257 867356
/proc/meminfo: memFree=120747340/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=780540 memory=731888 CPUtime=341.27 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 176566 0 0 0 32935 1192 0 0 20 0 1 0 163051632 799272960 182972 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 195135 182972 2927 2900 0 191649 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 780540 KiB
Current children cumulated memory: 731888 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.04 4.02 5/257 867367
/proc/meminfo: memFree=120575928/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=776432 memory=727220 CPUtime=401.14 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 176863 0 0 0 38522 1592 0 0 20 0 1 0 163051632 795066368 181805 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 194108 181805 2927 2900 0 190622 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 776432 KiB
Current children cumulated memory: 727220 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.06 4.02 5/257 867854
/proc/meminfo: memFree=121923608/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=1478492 memory=1359836 CPUtime=461 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 257910 0 0 0 44336 1764 0 0 20 0 1 0 163051632 1513975808 339959 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 369623 339959 2927 2900 0 366137 0

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

Current children cumulated memory: 2260464 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 869239
/proc/meminfo: memFree=116948912/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2496944 memory=2262052 CPUtime=2914.77 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 446524 0 0 0 289157 2320 0 0 20 0 1 0 163051632 2556870656 565513 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 624236 565513 3247 2900 0 620750 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 2496944 KiB
Current children cumulated memory: 2262052 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/255 869250
/proc/meminfo: memFree=116862448/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2498704 memory=2263588 CPUtime=2974.62 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 447421 0 0 0 295141 2321 0 0 20 0 1 0 163051632 2558672896 565897 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 624676 565897 3247 2900 0 621190 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 2498704 KiB
Current children cumulated memory: 2263588 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 869260
/proc/meminfo: memFree=116773880/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2504592 memory=2268988 CPUtime=3034.48 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 449372 0 0 0 301126 2322 0 0 20 0 1 0 163051632 2564702208 567247 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 626148 567247 3247 2900 0 622662 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 2504592 KiB
Current children cumulated memory: 2268988 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 869271
/proc/meminfo: memFree=116694276/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2504592 memory=2268988 CPUtime=3094.32 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 450027 0 0 0 307110 2322 0 0 20 0 1 0 163051632 2564702208 567247 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 626148 567247 3247 2900 0 622662 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 2504592 KiB
Current children cumulated memory: 2268988 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 869285
/proc/meminfo: memFree=116225208/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2524080 memory=2288456 CPUtime=3154.17 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 455510 0 0 0 313094 2323 0 0 20 0 1 0 163051632 2584657920 572114 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 631020 572114 3247 2900 0 627534 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 2524080 KiB
Current children cumulated memory: 2288456 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 869297
/proc/meminfo: memFree=116203864/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2524080 memory=2288548 CPUtime=3214.02 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 455997 0 0 0 319078 2324 0 0 20 0 1 0 163051632 2584657920 572137 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 631020 572137 3247 2900 0 627534 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 2524080 KiB
Current children cumulated memory: 2288548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 869308
/proc/meminfo: memFree=116148360/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2524080 memory=2288548 CPUtime=3273.87 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 456695 0 0 0 325063 2324 0 0 20 0 1 0 163051632 2584657920 572137 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 631020 572137 3247 2900 0 627534 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 2524080 KiB
Current children cumulated memory: 2288548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 869319
/proc/meminfo: memFree=116081732/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2524080 memory=2288548 CPUtime=3333.71 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 457309 0 0 0 331047 2324 0 0 20 0 1 0 163051632 2584657920 572137 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 631020 572137 3247 2900 0 627534 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 2524080 KiB
Current children cumulated memory: 2288548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 869331
/proc/meminfo: memFree=116069852/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2530084 memory=2295140 CPUtime=3393.57 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 459473 0 0 0 337032 2325 0 0 20 0 1 0 163051632 2590806016 573785 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 632521 573785 3247 2900 0 629035 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 2530084 KiB
Current children cumulated memory: 2295140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 869341
/proc/meminfo: memFree=116062776/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2530084 memory=2295140 CPUtime=3453.41 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 459953 0 0 0 343016 2325 0 0 20 0 1 0 163051632 2590806016 573785 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 632521 573785 3247 2900 0 629035 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 2530084 KiB
Current children cumulated memory: 2295140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/256 869351
/proc/meminfo: memFree=115915224/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2591996 memory=2356264 CPUtime=3513.27 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 473401 0 0 0 349000 2327 0 0 20 0 1 0 163051632 2654203904 589066 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 647999 589066 3247 2900 0 644513 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 2591996 KiB
Current children cumulated memory: 2356264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.21 4.12 5/255 869363
/proc/meminfo: memFree=115893268/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2594392 memory=2357408 CPUtime=3573.11 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 474321 0 0 0 354984 2327 0 0 20 0 1 0 163051632 2656657408 589352 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 648598 589352 3247 2900 0 645112 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 2594392 KiB
Current children cumulated memory: 2357408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.47 4.24 4.13 5/255 869367
/proc/meminfo: memFree=115890020/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2594392 memory=2357408 CPUtime=3600.04 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 474480 0 0 0 357677 2327 0 0 20 0 1 0 163051632 2656657408 589352 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 648598 589352 3247 2900 0 645112 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2594392 KiB
Current children cumulated memory: 2357408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.78 s, system=23.3127 s

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

[startup+3609.3 s]
/proc/loadavg: 4.47 4.24 4.13 5/255 869367
/proc/meminfo: memFree=115890020/131524600 swapFree=131071996/131071996
[pid=866966] ppid=866963 vsize=2594392 memory=2357408 CPUtime=3600.04 cores=5,7
/proc/866966/stat : 866966 (ipbhs_static_sc) R 866963 866966 866893 0 -1 4194304 474480 0 0 0 357677 2327 0 0 20 0 1 0 163051632 2656657408 589352 134679101440 4194304 16068861 140721622460288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 52965376 140721622463526 140721622463613 140721622463613 140721622470628 0
/proc/866966/statm: 648598 589352 3247 2900 0 645112 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2594392 KiB
Current children cumulated memory: 2357408 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.33
CPU time (s): 3600.09
CPU user time (s): 3576.78
CPU system time (s): 23.3127
CPU usage (%): 99.7439
Max. virtual memory (cumulated for all children) (KiB): 2594392
Max. memory (cumulated for all children) (KiB): 2357408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.78
system time used= 23.3127
maximum resident set size= 2357408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474480
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= 27
involuntary context switches= 3109


# summary of solver processes directly reported to runsolver:
#   pid: 866966
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3576.78
#   total CPU system time (s): 23.3127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.53138 second user time and 14.5514 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-16 07:47:55
IDJOB=4431943
IDBENCH=148146
IDSOLVER=3057
FILE ID=nodeC025/4431943-1721108863
RUNJOBID= nodeC025-1721108875-866906
SLURM_JOB_ID= 7505641
Free space on /tmp= 889996 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431943-1721108863/watcher-4431943-1721108863 -o /tmp/evaluation-result-4431943-1721108863/solver-4431943-1721108863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721108875-866906 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431943-1721108863.opb

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

MD5SUM BENCH= 743a21341a4102c561f444f57f0a4e7a
RANDOM SEED=789231912

nodeC025.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		: 3638.765
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.72
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		: 3674.620
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	: 7007.09
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		: 3659.718
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.72
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		: 3666.600
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	: 7007.09
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		: 3655.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.72
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		: 3670.471
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	: 7007.09
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		: 3645.758
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.72
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.111
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124192596 kB
MemAvailable:   129632344 kB
Buffers:          417084 kB
Cached:          5794948 kB
SwapCached:            0 kB
Active:           767712 kB
Inactive:        5826404 kB
Active(anon):       1424 kB
Inactive(anon):   418372 kB
Active(file):     766288 kB
Inactive(file):  5408032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            217604 kB
Writeback:             0 kB
AnonPages:        374264 kB
Mapped:           103864 kB
Shmem:             37720 kB
KReclaimable:     210152 kB
Slab:             329100 kB
SReclaimable:     210152 kB
SUnreclaim:       118948 kB
KernelStack:        3744 kB
PageTables:        10192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     777636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62944 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      273108 kB
DirectMap2M:    36200448 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889800 MiB
End job on nodeC025 at 2024-07-16 08:48:05