Trace number 4431922

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.11 3609.93

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
MD5SUM2f3a5e6a8b8ba0aaf9b28d14e4f1bda6
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 benchmark25
Best CPU time to get the best result obtained on this benchmark4.84684
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16199
Total number of constraints117024
Number of constraints which are clauses117024
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 constraint250
Number of terms in the objective function 7971
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 7971
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7971
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 

5.67/5.75	c initialize IPBHS solver
5.67/5.75	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
5.67/5.75	c optimizer = "scip"
5.67/5.75	c pbsolver = "roundingsat"
5.67/5.75	c load symmetries from file ""
5.67/5.75	c set time limit for symmetry computation to 100 seconds.
5.67/5.75	c set interchangeable summation variable limit to 3
5.67/5.75	c set abs symmetric core budget per WCE-iteration to 100
5.67/5.75	c set rel symmetric core budget per WCE-iteration to 0
5.67/5.75	c set lit symmetric core budget per WCE-iteration to 0
5.67/5.75	c set sym generation to 's'
5.67/5.75	c set abstraction set creation to 10 iterations without LB change
5.67/5.75	c set abstraction set inputs to 0
5.67/5.75	c set abstraction set cluster min size to 2
5.67/5.75	c set abstraction set cluster max size to 100000000
5.67/5.75	c set abstraction set cluster activation limit to 2
5.67/5.75	c enable abstraction set require equal cost
5.67/5.75	c set abstraction set assumptions to 0
5.67/5.75	c set abstraction set constraint type to 0
5.67/5.75	c set abstract core extraction strategy to b
5.67/5.75	c set core extraction strategy to 2
5.67/5.75	c set core extraction shuffles 10
5.67/5.75	c set cores per iteration to 5
5.67/5.75	c set optimizer bound usage strategy to 2
5.67/5.75	c set optimizer max non-optimal iterations to 1000
5.67/5.75	c set small core cardinality limit to 2
5.67/5.75	c set max coef in cores to 1000000000
5.67/5.75	c set SIS iterations to 5
5.67/5.75	c set SIS budget abs to 1000
5.67/5.75	c set SIS budget rel to 0.05
5.67/5.75	c limit for coefficient in constraints and objective to 9223372036854775807
5.67/5.75	c will solve HOME/instance-4431922-1721101558.opb
5.67/5.75	c [0.2] solve iteration 1, LB=0, UB=7972
5.67/5.75	c [2.3] solve iteration 2, LB=2, UB=59
5.67/5.75	c [4.17] solve iteration 3, LB=21, UB=44
8.47/8.55	c [6.55] solve iteration 4, LB=21, UB=44
11.85/11.91	c [9.48] solve iteration 5, LB=22, UB=40
34.79/34.97	c [29.32] solve iteration 6, LB=22, UB=40
44.36/44.58	c [35.28] solve iteration 7, LB=23, UB=40
53.04/53.21	c [41.12] solve iteration 8, LB=23, UB=40
57.33/57.59	c [50.63] solve iteration 9, LB=23, UB=40
118.15/118.50	c [60.75] solve iteration 10, LB=23, UB=40
118.15/118.50	c [95.59] solve iteration 11, LB=23, UB=40
139.09/139.55	c [115.1] solve iteration 12, LB=24, UB=40
160.54/161.01	c [133.83] solve iteration 13, LB=24, UB=40
169.22/169.74	c [156.88] solve iteration 14, LB=24, UB=40
215.09/215.75	c [190.5] solve iteration 15, LB=24, UB=38
234.14/234.88	c [208.66] solve iteration 16, LB=24, UB=38
274.75/275.58	c [247.34] solve iteration 17, LB=24, UB=38
304.47/305.33	c [272.06] solve iteration 18, LB=24, UB=38
334.89/335.83	c [303.61] solve iteration 19, LB=24, UB=38
378.28/379.36	c [346.03] solve iteration 20, LB=24, UB=35
438.63/439.83	c [403.8] solve iteration 21, LB=24, UB=35
543.67/545.17	c [507.75] solve iteration 22, LB=24, UB=34
610.69/612.30	c [574.33] solve iteration 23, LB=24, UB=34
768.60/770.61	c [728.49] solve iteration 24, LB=25, UB=34
903.16/905.58	c [861.82] solve iteration 25, LB=25, UB=34
988.47/991.10	c [946.39] solve iteration 26, LB=25, UB=34
1124.04/1126.91	c [1082.24] solve iteration 27, LB=25, UB=34
1246.34/1249.58	c [1202.05] solve iteration 28, LB=25, UB=34
1439.86/1443.53	c [1391.71] solve iteration 29, LB=25, UB=34
1607.84/1611.91	c [1558.66] solve iteration 30, LB=25, UB=33
1821.93/1826.52	c [1771.88] solve iteration 31, LB=25, UB=33
2009.98/2015.01	c [1958.81] solve iteration 32, LB=25, UB=33
2228.32/2233.99	c [2175.01] solve iteration 33, LB=25, UB=33
2470.93/2477.16	c [2412.19] solve iteration 34, LB=25, UB=33
2656.91/2663.69	c [2595.35] solve iteration 35, LB=25, UB=30
3205.14/3213.50	c [3143.94] solve iteration 36, LB=25, UB=30
3387.48/3396.56	c [3326.6] solve iteration 37, LB=25, UB=30
3597.19/3607.01	c [3536.48] solve iteration 38, LB=25, UB=30

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 (61915 MiB free)
  memory of node 1: 64473 MiB (62989 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431922-1721101558/watcher-4431922-1721101558 -o /tmp/evaluation-result-4431922-1721101558/solver-4431922-1721101558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872423 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431922-1721101558.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
solver pid=877174, runsolver pid=877171
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.11 4.10 4.09 5/255 877175
/proc/meminfo: memFree=127891668/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=40488 memory=15564 CPUtime=0.09 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 3469 0 0 0 9 0 0 0 20 0 1 0 162323931 41459712 3891 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 10122 3891 1023 2900 0 6636 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40488 KiB
Current children cumulated memory: 15564 KiB

[startup+0.205753 s]*
/proc/loadavg: 4.11 4.10 4.09 5/255 877175
/proc/meminfo: memFree=127881724/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=47052 memory=25420 CPUtime=0.2 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 5332 0 0 0 17 3 0 0 20 0 1 0 162323931 48181248 6355 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 11763 6355 1135 2900 0 8277 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 25420 KiB

[startup+0.305633 s]*
/proc/loadavg: 4.10 4.09 4.09 5/255 877175
/proc/meminfo: memFree=127877216/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=51652 memory=29640 CPUtime=0.3 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 6398 0 0 0 23 7 0 0 20 0 1 0 162323931 52891648 7410 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 12913 7410 1135 2900 0 9427 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51652 KiB
Current children cumulated memory: 29640 KiB

[startup+0.700209 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 877175
/proc/meminfo: memFree=127805612/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=181716 memory=165232 CPUtime=0.69 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 38534 0 0 0 46 23 0 0 20 0 1 0 162323931 186077184 41308 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 45653 41308 2559 2900 0 42167 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181716 KiB
Current children cumulated memory: 165232 KiB

[startup+1.50025 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 877175
/proc/meminfo: memFree=127686728/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=278544 memory=256468 CPUtime=1.49 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 61236 0 0 0 121 28 0 0 20 0 1 0 162323931 285229056 64117 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 69636 64117 2671 2900 0 66150 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 278544 KiB
Current children cumulated memory: 256468 KiB

[startup+3.10558 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 877176
/proc/meminfo: memFree=127655408/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=278544 memory=256468 CPUtime=3.09 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 61248 0 0 0 249 60 0 0 20 0 1 0 162323931 285229056 64117 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 69636 64117 2671 2900 0 66150 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 278544 KiB
Current children cumulated memory: 256468 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.09 4.09 4/253 877176
/proc/meminfo: memFree=127734808/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=314424 memory=296460 CPUtime=6.27 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 71125 0 0 0 537 90 0 0 20 0 1 0 162323931 321970176 74115 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 78606 74115 2911 2900 0 75120 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 314424 KiB
Current children cumulated memory: 296460 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 877268
/proc/meminfo: memFree=127524680/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=363740 memory=346788 CPUtime=12.66 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 83709 0 0 0 1115 151 0 0 20 0 1 0 162323931 372469760 86697 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 90935 86697 2911 2900 0 87449 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 363740 KiB
Current children cumulated memory: 346788 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 877271
/proc/meminfo: memFree=127267912/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=443456 memory=418408 CPUtime=25.42 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 95958 0 0 0 2208 334 0 0 20 0 1 0 162323931 454098944 104602 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 110864 104602 2943 2900 0 107378 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 443456 KiB
Current children cumulated memory: 418408 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 877274
/proc/meminfo: memFree=126960084/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=618708 memory=582124 CPUtime=50.95 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 133820 0 0 0 4574 521 0 0 20 0 1 0 162323931 633556992 145531 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 154677 145531 2943 2900 0 151191 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 618708 KiB
Current children cumulated memory: 582124 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 877285
/proc/meminfo: memFree=126752876/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=830864 memory=769192 CPUtime=101.99 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 178236 0 0 0 9281 918 0 0 20 0 1 0 162323931 850804736 192298 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 207716 192298 2943 2900 0 204230 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 830864 KiB
Current children cumulated memory: 769192 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/255 877341
/proc/meminfo: memFree=126075148/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=1066340 memory=1008176 CPUtime=161.83 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 264806 0 0 0 15145 1038 0 0 20 0 1 0 162323931 1091932160 252044 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 266585 252044 2943 2900 0 263099 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1066340 KiB
Current children cumulated memory: 1008176 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 877351
/proc/meminfo: memFree=125608196/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=1129816 memory=1080776 CPUtime=221.67 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 302626 0 0 0 21043 1124 0 0 20 0 1 0 162323931 1156931584 270194 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 282454 270194 2943 2900 0 278968 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1129816 KiB
Current children cumulated memory: 1080776 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 877368
/proc/meminfo: memFree=125199500/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=1255012 memory=1198724 CPUtime=281.53 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 337659 0 0 0 26675 1478 0 0 20 0 1 0 162323931 1285132288 299681 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 313753 299681 2943 2900 0 310267 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1255012 KiB
Current children cumulated memory: 1198724 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 877378
/proc/meminfo: memFree=124914932/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=1372704 memory=1303832 CPUtime=341.38 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 387844 0 0 0 32613 1525 0 0 20 0 1 0 162323931 1405648896 325958 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 343176 325958 2943 2900 0 339690 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 1372704 KiB
Current children cumulated memory: 1303832 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 877434
/proc/meminfo: memFree=124928660/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=1380164 memory=1316612 CPUtime=401.22 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 404380 0 0 0 38575 1547 0 0 20 0 1 0 162323931 1413287936 329153 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 345041 329153 2943 2900 0 341555 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 1380164 KiB
Current children cumulated memory: 1316612 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/258 877446
/proc/meminfo: memFree=124620048/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=1417572 memory=1350020 CPUtime=461.07 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 420407 0 0 0 44538 1569 0 0 20 0 1 0 162323931 1451593728 337505 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 354393 337505 2943 2900 0 350907 0

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

Current children cumulated memory: 2133248 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 879090
/proc/meminfo: memFree=122248048/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2288128 memory=2133248 CPUtime=2914.89 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 820968 0 0 0 288538 2951 0 0 20 0 1 0 162323931 2343043072 533312 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 572032 533312 2943 2900 0 568546 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 2288128 KiB
Current children cumulated memory: 2133248 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/256 879100
/proc/meminfo: memFree=122213764/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2335548 memory=2163516 CPUtime=2974.73 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 841032 0 0 0 294518 2955 0 0 20 0 1 0 162323931 2391601152 540879 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 583887 540879 2943 2900 0 580401 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 2335548 KiB
Current children cumulated memory: 2163516 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 879110
/proc/meminfo: memFree=122185064/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2351760 memory=2167396 CPUtime=3034.54 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 842617 0 0 0 300499 2955 0 0 20 0 1 0 162323931 2408202240 541849 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 587940 541849 2943 2900 0 584454 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 2351760 KiB
Current children cumulated memory: 2167396 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 879123
/proc/meminfo: memFree=122145720/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2390628 memory=2206392 CPUtime=3094.36 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 858476 0 0 0 306478 2958 0 0 20 0 1 0 162323931 2448003072 551598 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 597657 551598 2943 2900 0 594171 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 2390628 KiB
Current children cumulated memory: 2206392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/255 879133
/proc/meminfo: memFree=122145216/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2389456 memory=2205220 CPUtime=3154.12 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 862119 0 0 0 312454 2958 0 0 20 0 1 0 162323931 2446802944 551305 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 597364 551305 2943 2900 0 593878 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 2389456 KiB
Current children cumulated memory: 2205220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 879143
/proc/meminfo: memFree=122145428/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2387312 memory=2204176 CPUtime=3213.91 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 864366 0 0 0 318414 2977 0 0 20 0 1 0 162323931 2444607488 551044 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 596828 551044 2943 2900 0 593342 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 2387312 KiB
Current children cumulated memory: 2204176 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 879158
/proc/meminfo: memFree=122165800/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2387312 memory=2204176 CPUtime=3273.68 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 864985 0 0 0 324391 2977 0 0 20 0 1 0 162323931 2444607488 551044 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 596828 551044 2943 2900 0 593342 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 2387312 KiB
Current children cumulated memory: 2204176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 879169
/proc/meminfo: memFree=122161288/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2387312 memory=2204176 CPUtime=3333.47 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 865638 0 0 0 330369 2978 0 0 20 0 1 0 162323931 2444607488 551044 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 596828 551044 2943 2900 0 593342 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 2387312 KiB
Current children cumulated memory: 2204176 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 879180
/proc/meminfo: memFree=122164152/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2369620 memory=2190276 CPUtime=3393.26 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 868883 0 0 0 336322 3004 0 0 20 0 1 0 162323931 2426490880 547569 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 592405 547569 2943 2900 0 588919 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 2369620 KiB
Current children cumulated memory: 2190276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 879192
/proc/meminfo: memFree=122141728/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2369620 memory=2190368 CPUtime=3453.03 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 869433 0 0 0 342299 3004 0 0 20 0 1 0 162323931 2426490880 547592 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 592405 547592 2943 2900 0 588919 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 2369620 KiB
Current children cumulated memory: 2190368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 879204
/proc/meminfo: memFree=122144492/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2369620 memory=2190368 CPUtime=3512.8 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 870011 0 0 0 348276 3004 0 0 20 0 1 0 162323931 2426490880 547592 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 592405 547592 2943 2900 0 588919 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 2369620 KiB
Current children cumulated memory: 2190368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 879214
/proc/meminfo: memFree=122071268/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2447572 memory=2275584 CPUtime=3572.56 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 874773 0 0 0 354233 3023 0 0 20 0 1 0 162323931 2506313728 568896 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 611893 568896 2943 2900 0 608407 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 2447572 KiB
Current children cumulated memory: 2275584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 879219
/proc/meminfo: memFree=122061652/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2460564 memory=2284856 CPUtime=3600.08 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 876150 0 0 0 356984 3024 0 0 20 0 1 0 162323931 2519617536 571214 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 615141 571214 2943 2900 0 611655 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2460564 KiB
Current children cumulated memory: 2284856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3569.84 s, system=30.2673 s

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

[startup+3609.9 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 879219
/proc/meminfo: memFree=122061652/131524600 swapFree=131071996/131071996
[pid=877174] ppid=877171 vsize=2460564 memory=2284856 CPUtime=3600.08 cores=5,7
/proc/877174/stat : 877174 (ipbhs_static_sc) R 877171 877174 872410 0 -1 4194304 876150 0 0 0 356984 3024 0 0 20 0 1 0 162323931 2519617536 571214 134679101440 4194304 16068861 140725570710304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31887360 140725570716710 140725570716797 140725570716797 140725570723812 0
/proc/877174/statm: 615141 571214 2943 2900 0 611655 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2460564 KiB
Current children cumulated memory: 2284856 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.93
CPU time (s): 3600.11
CPU user time (s): 3569.84
CPU system time (s): 30.2673
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 2460564
Max. memory (cumulated for all children) (KiB): 2284856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.85
system time used= 30.2673
maximum resident set size= 2284856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 876150
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= 119
involuntary context switches= 2144


# summary of solver processes directly reported to runsolver:
#   pid: 877174
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3569.84
#   total CPU system time (s): 30.2673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36649 second user time and 18.045 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 05:46:11
IDJOB=4431922
IDBENCH=148118
IDSOLVER=3057
FILE ID=nodeC030/4431922-1721101558
RUNJOBID= nodeC030-1721094346-872423
SLURM_JOB_ID= 7505600
Free space on /tmp= 889912 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_025_area_delay.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431922-1721101558/watcher-4431922-1721101558 -o /tmp/evaluation-result-4431922-1721101558/solver-4431922-1721101558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872423 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431922-1721101558.opb

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

MD5SUM BENCH= 2f3a5e6a8b8ba0aaf9b28d14e4f1bda6
RANDOM SEED=864840315

nodeC030.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		: 3677.539
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.28
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		: 3677.493
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.11
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		: 3599.668
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.28
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		: 3599.976
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.11
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		: 3677.533
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.28
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		: 3668.256
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.11
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		: 3599.880
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.28
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		: 3680.760
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127903448 kB
MemAvailable:   129394452 kB
Buffers:          383364 kB
Cached:          1933248 kB
SwapCached:            0 kB
Active:           910116 kB
Inactive:        2092692 kB
Active(anon):       1540 kB
Inactive(anon):   722368 kB
Active(file):     908576 kB
Inactive(file):  1370324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57592 kB
Writeback:            56 kB
AnonPages:        674820 kB
Mapped:           136540 kB
Shmem:             37720 kB
KReclaimable:     103852 kB
Slab:             210684 kB
SReclaimable:     103852 kB
SUnreclaim:       106832 kB
KernelStack:        4064 kB
PageTables:        10656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1016536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    532480 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889860 MiB
End job on nodeC030 at 2024-07-16 06:46:21