Trace number 4431752

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-SCIP 2024-07-09? (TO) 3600.06 3611.42

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb
MD5SUMb3d827c1cec2288f345531c85d1b4d53
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42772
Best CPU time to get the best result obtained on this benchmark3585.96
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 11015136
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 11015136
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

6.87/6.94	c initialize IPBHS solver
6.87/6.94	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
6.87/6.94	c optimizer = "scip"
6.87/6.94	c pbsolver = "roundingsat"
6.87/6.94	c load symmetries from file ""
6.87/6.94	c set time limit for symmetry computation to 100 seconds.
6.87/6.94	c set interchangeable summation variable limit to 3
6.87/6.94	c set abs symmetric core budget per WCE-iteration to 100
6.87/6.94	c set rel symmetric core budget per WCE-iteration to 0
6.87/6.94	c set lit symmetric core budget per WCE-iteration to 0
6.87/6.94	c set sym generation to 's'
6.87/6.94	c set abstraction set creation to 10 iterations without LB change
6.87/6.94	c set abstraction set inputs to 0
6.87/6.94	c set abstraction set cluster min size to 2
6.87/6.94	c set abstraction set cluster max size to 100000000
6.87/6.94	c set abstraction set cluster activation limit to 2
6.87/6.94	c enable abstraction set require equal cost
6.87/6.94	c set abstraction set assumptions to 0
6.87/6.94	c set abstraction set constraint type to 0
6.87/6.94	c set abstract core extraction strategy to b
6.87/6.94	c set core extraction strategy to 2
6.87/6.94	c set core extraction shuffles 10
6.87/6.94	c set cores per iteration to 5
6.87/6.94	c set optimizer bound usage strategy to 2
6.87/6.94	c set optimizer max non-optimal iterations to 1000
6.87/6.94	c set small core cardinality limit to 2
6.87/6.94	c set max coef in cores to 1000000000
6.87/6.94	c set SIS iterations to 5
6.87/6.94	c set SIS budget abs to 1000
6.87/6.94	c set SIS budget rel to 0.05
6.87/6.94	c limit for coefficient in constraints and objective to 9223372036854775807
6.87/6.94	c will solve HOME/instance-4431752-1721147671.opb
6.87/6.94	c [3.15] solve iteration 1, LB=-11015136, UB=1
6.87/6.94	c [3.68] solve iteration 2, LB=-52256, UB=0
6.87/6.94	c [4.23] solve iteration 3, LB=-52256, UB=-3336
6.87/6.94	c [4.78] solve iteration 4, LB=-52256, UB=-4931
6.87/6.94	c [5.34] solve iteration 5, LB=-52256, UB=-7032
6.87/6.94	c [5.92] solve iteration 6, LB=-52256, UB=-7032
8.09/8.18	c [7.35] solve iteration 7, LB=-52256, UB=-7770
9.98/10.10	c [8.9] solve iteration 8, LB=-52256, UB=-7770
11.27/11.37	c [10.09] solve iteration 9, LB=-52256, UB=-7770
12.56/12.64	c [11.64] solve iteration 10, LB=-52256, UB=-7770
13.45/13.51	c [12.47] solve iteration 11, LB=-52256, UB=-7770
16.15/16.22	c [15.14] solve iteration 12, LB=-52256, UB=-8581
17.96/18.06	c [16.91] solve iteration 13, LB=-52256, UB=-8581
19.95/20.01	c [18.8] solve iteration 14, LB=-52256, UB=-8581
21.73/21.89	c [20.63] solve iteration 15, LB=-52256, UB=-8581
23.83/23.99	c [22.68] solve iteration 16, LB=-52256, UB=-8581
26.03/26.14	c [24.77] solve iteration 17, LB=-52256, UB=-8818
28.03/28.15	c [26.72] solve iteration 18, LB=-52256, UB=-8818
30.61/30.76	c [29.25] solve iteration 19, LB=-52256, UB=-8818
33.21/33.36	c [31.78] solve iteration 20, LB=-52256, UB=-8818
35.50/35.61	c [34.01] solve iteration 21, LB=-52256, UB=-8818
40.59/40.73	c [38.98] solve iteration 22, LB=-52256, UB=-9129
43.48/43.64	c [41.88] solve iteration 23, LB=-52256, UB=-9129
46.77/46.91	c [45.07] solve iteration 24, LB=-52256, UB=-9129
49.57/49.70	c [47.83] solve iteration 25, LB=-52256, UB=-9129
52.66/52.85	c [51] solve iteration 26, LB=-52256, UB=-9129
57.44/57.64	c [55.69] solve iteration 27, LB=-52256, UB=-9613
61.33/61.58	c [59.64] solve iteration 28, LB=-52256, UB=-9613
65.02/65.20	c [62.48] solve iteration 29, LB=-52256, UB=-9613
67.01/67.24	c [65.3] solve iteration 30, LB=-52256, UB=-9613
70.31/70.51	c [68.5] solve iteration 31, LB=-52256, UB=-9613
73.70/73.93	c [71.88] solve iteration 32, LB=-52256, UB=-9953
77.00/77.22	c [75.17] solve iteration 33, LB=-52256, UB=-9953
80.79/81.10	c [78.76] solve iteration 34, LB=-52256, UB=-9953
84.48/84.78	c [82.61] solve iteration 35, LB=-52256, UB=-9953
89.56/89.82	c [87.65] solve iteration 36, LB=-52256, UB=-9953
93.05/93.37	c [91.16] solve iteration 37, LB=-52256, UB=-10247
96.53/96.83	c [94.63] solve iteration 38, LB=-52256, UB=-10247
100.53/100.80	c [98.54] solve iteration 39, LB=-52256, UB=-10247
107.82/108.15	c [105.84] solve iteration 40, LB=-52256, UB=-10247
113.50/113.86	c [111.21] solve iteration 41, LB=-52256, UB=-10247
117.39/117.70	c [115.33] solve iteration 42, LB=-52256, UB=-10253
120.48/120.84	c [117.57] solve iteration 43, LB=-52256, UB=-10253
123.07/123.41	c [121.01] solve iteration 44, LB=-52256, UB=-10253
126.27/126.66	c [123.36] solve iteration 45, LB=-52256, UB=-10253
127.77/128.16	c [125.73] solve iteration 46, LB=-52256, UB=-10253
134.54/134.93	c [132.15] solve iteration 47, LB=-52256, UB=-10899
139.12/139.52	c [137.22] solve iteration 48, LB=-52256, UB=-10899
143.12/143.52	c [140.5] solve iteration 49, LB=-52256, UB=-10899
146.62/147.05	c [143.61] solve iteration 50, LB=-52256, UB=-10899
149.30/149.70	c [147.23] solve iteration 51, LB=-52256, UB=-10899
152.10/152.55	c [150.01] solve iteration 52, LB=-52256, UB=-11437
155.69/156.13	c [153.51] solve iteration 53, LB=-52256, UB=-11437
159.28/159.79	c [157.25] solve iteration 54, LB=-52256, UB=-11437
162.68/163.16	c [160.53] solve iteration 55, LB=-52256, UB=-11437
166.46/166.99	c [164.36] solve iteration 56, LB=-52256, UB=-11437
170.95/171.40	c [168.74] solve iteration 57, LB=-52256, UB=-11534
174.74/175.25	c [172.57] solve iteration 58, LB=-52256, UB=-11534
182.12/182.66	c [178.4] solve iteration 59, LB=-52256, UB=-11534
184.62/185.11	c [181.4] solve iteration 60, LB=-52256, UB=-11534
187.00/187.56	c [183.92] solve iteration 61, LB=-52256, UB=-11534
190.19/190.79	c [188.08] solve iteration 62, LB=-52256, UB=-11670
194.28/194.81	c [191.88] solve iteration 63, LB=-52256, UB=-11670
197.87/198.41	c [194.51] solve iteration 64, LB=-52256, UB=-11670
201.58/202.11	c [198.27] solve iteration 65, LB=-52256, UB=-11670
204.15/204.75	c [200.88] solve iteration 66, LB=-52256, UB=-11670
209.74/210.35	c [206.53] solve iteration 67, LB=-52256, UB=-11678
214.33/214.92	c [210.42] solve iteration 68, LB=-52256, UB=-11678
218.13/218.72	c [214.76] solve iteration 69, LB=-52256, UB=-11678
220.81/221.49	c [218.47] solve iteration 70, LB=-52256, UB=-11678
224.70/225.31	c [222.29] solve iteration 71, LB=-52256, UB=-11678
228.60/229.26	c [226.23] solve iteration 72, LB=-52256, UB=-12241
233.08/233.76	c [230.4] solve iteration 73, LB=-52256, UB=-12241
236.88/237.53	c [233.42] solve iteration 74, LB=-52256, UB=-12241
239.77/240.44	c [237.35] solve iteration 75, LB=-52256, UB=-12241
243.66/244.38	c [241.25] solve iteration 76, LB=-52256, UB=-12241
247.84/248.55	c [245.47] solve iteration 77, LB=-52256, UB=-12676
251.83/252.59	c [249.46] solve iteration 78, LB=-52256, UB=-12676
257.33/258.03	c [253.82] solve iteration 79, LB=-52256, UB=-12676
260.61/261.34	c [257.87] solve iteration 80, LB=-52256, UB=-12676

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431752-1721147671/watcher-4431752-1721147671 -o /tmp/evaluation-result-4431752-1721147671/solver-4431752-1721147671 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721138506-847892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431752-1721147671.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=853089, runsolver pid=853086
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.18 4.46 4.30 5/244 853090
/proc/meminfo: memFree=114684068/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=36512 memory=11688 CPUtime=0.1 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 2554 0 0 0 10 0 0 0 20 0 1 0 166924137 37388288 2922 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 9128 2922 1023 2900 0 5642 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36512 KiB
Current children cumulated memory: 11688 KiB

[startup+0.210941 s]*
/proc/loadavg: 4.18 4.46 4.30 5/244 853090
/proc/meminfo: memFree=114679868/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=42388 memory=16176 CPUtime=0.21 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 3645 0 0 0 21 0 0 0 20 0 1 0 166924137 43405312 4044 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 10597 4044 1023 2900 0 7111 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42388 KiB
Current children cumulated memory: 16176 KiB

[startup+0.31067 s]*
/proc/loadavg: 4.18 4.46 4.30 5/244 853090
/proc/meminfo: memFree=114671328/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=51768 memory=26724 CPUtime=0.31 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 6022 0 0 0 29 2 0 0 20 0 1 0 166924137 53010432 6681 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 12942 6681 1135 2900 0 9456 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51768 KiB
Current children cumulated memory: 26724 KiB

[startup+0.700343 s]
/proc/loadavg: 4.18 4.46 4.30 5/244 853090
/proc/meminfo: memFree=114625816/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=131096 memory=110848 CPUtime=0.69 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 25717 0 0 0 57 12 0 0 20 0 1 0 166924137 134242304 27712 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 32774 27712 2383 2900 0 29288 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131096 KiB
Current children cumulated memory: 110848 KiB

[startup+1.50026 s]
/proc/loadavg: 4.18 4.46 4.30 5/244 853090
/proc/meminfo: memFree=114589500/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=131096 memory=110848 CPUtime=1.49 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 25717 0 0 0 137 12 0 0 20 0 1 0 166924137 134242304 27712 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 32774 27712 2383 2900 0 29288 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 131096 KiB
Current children cumulated memory: 110848 KiB

[startup+3.11269 s]
/proc/loadavg: 4.25 4.47 4.30 5/244 853090
/proc/meminfo: memFree=114589332/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=131096 memory=110848 CPUtime=3.09 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 25717 0 0 0 297 12 0 0 20 0 1 0 166924137 134242304 27712 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 32774 27712 2383 2900 0 29288 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 131096 KiB
Current children cumulated memory: 110848 KiB

[startup+6.30033 s]
/proc/loadavg: 4.25 4.47 4.30 5/244 853091
/proc/meminfo: memFree=114463892/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=252480 memory=231408 CPUtime=6.27 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 63063 0 0 0 608 19 0 0 20 0 1 0 166924137 258539520 57852 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 63120 57852 2943 2900 0 59634 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 252480 KiB
Current children cumulated memory: 231408 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.46 4.30 5/244 853093
/proc/meminfo: memFree=114346996/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=377596 memory=355216 CPUtime=12.66 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 96254 0 0 0 1233 33 0 0 20 0 1 0 166924137 386658304 88804 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 94399 88804 2943 2900 0 90913 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 377596 KiB
Current children cumulated memory: 355216 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.44 4.30 5/244 853094
/proc/meminfo: memFree=114320956/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=401544 memory=381204 CPUtime=25.42 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 103920 0 0 0 2502 40 0 0 20 0 1 0 166924137 411181056 95301 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 100386 95301 2943 2900 0 96900 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 401544 KiB
Current children cumulated memory: 381204 KiB

[startup+51.113 s]
/proc/loadavg: 4.19 4.42 4.29 5/244 853099
/proc/meminfo: memFree=114283524/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=438652 memory=417976 CPUtime=50.98 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 117246 0 0 0 5040 58 0 0 20 0 1 0 166924137 449179648 104494 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 109663 104494 2943 2900 0 106177 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 438652 KiB
Current children cumulated memory: 417976 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.40 4.29 5/241 853107
/proc/meminfo: memFree=114265912/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=465148 memory=434920 CPUtime=102.03 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 141323 0 0 0 10133 70 0 0 20 0 1 0 166924137 476311552 108730 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 116287 108730 2943 2900 0 112801 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 465148 KiB
Current children cumulated memory: 434920 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.36 4.28 5/241 853118
/proc/meminfo: memFree=114217592/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=514076 memory=483152 CPUtime=161.87 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 154214 0 0 0 16106 81 0 0 20 0 1 0 166924137 526413824 120788 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 128519 120788 2943 2900 0 125033 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 514076 KiB
Current children cumulated memory: 483152 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.32 4.27 5/241 853128
/proc/meminfo: memFree=114189392/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=514076 memory=487756 CPUtime=221.71 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 154354 0 0 0 22075 96 0 0 20 0 1 0 166924137 526413824 121939 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 128519 121939 2943 2900 0 125033 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 514076 KiB
Current children cumulated memory: 487756 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.28 4.26 5/241 853138
/proc/meminfo: memFree=114142736/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=541864 memory=517600 CPUtime=281.54 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 231509 0 0 0 28036 118 0 0 20 0 1 0 166924137 554868736 129400 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 135466 129400 2943 2900 0 131980 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 541864 KiB
Current children cumulated memory: 517600 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.26 4.25 5/241 853149
/proc/meminfo: memFree=114024492/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=643180 memory=618796 CPUtime=341.34 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 266164 0 0 0 34010 124 0 0 20 0 1 0 166924137 658616320 154699 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 160795 154699 2943 2900 0 157309 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 643180 KiB
Current children cumulated memory: 618796 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.24 4.25 5/244 853165
/proc/meminfo: memFree=113918868/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=730008 memory=705432 CPUtime=401.13 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 293252 0 0 0 39984 129 0 0 20 0 1 0 166924137 747528192 176358 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 182502 176358 2943 2900 0 179016 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 730008 KiB
Current children cumulated memory: 705432 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.20 4.24 5/244 853175
/proc/meminfo: memFree=113845052/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=786976 memory=762480 CPUtime=460.91 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 308411 0 0 0 45959 132 0 0 20 0 1 0 166924137 805863424 190620 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 196744 190620 2943 2900 0 193258 0

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

Current children cumulated memory: 2187820 KiB

[startup+2862.3 s]
/proc/loadavg: 1.12 1.29 2.19 2/223 854271
/proc/meminfo: memFree=123937964/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2257984 memory=2232276 CPUtime=2853.15 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 765321 0 0 0 285033 282 0 0 20 0 1 0 166924137 2312175616 558069 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 564496 558069 2943 2900 0 561010 0
Current children cumulated CPU time: 2853.15 s
Current children cumulated vsize: 2257984 KiB
Current children cumulated memory: 2232276 KiB

[startup+2922.3 s]
/proc/loadavg: 1.09 1.25 2.12 2/223 854281
/proc/meminfo: memFree=123866536/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2329556 memory=2302840 CPUtime=2912.94 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 787403 0 0 0 291008 286 0 0 20 0 1 0 166924137 2385465344 575710 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 582389 575710 2943 2900 0 578903 0
Current children cumulated CPU time: 2912.94 s
Current children cumulated vsize: 2329556 KiB
Current children cumulated memory: 2302840 KiB

[startup+2982.3 s]
/proc/loadavg: 1.15 1.23 2.06 2/223 854292
/proc/meminfo: memFree=123839868/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2353784 memory=2329172 CPUtime=2972.75 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 798070 0 0 0 296986 289 0 0 20 0 1 0 166924137 2410274816 582293 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 588446 582293 2943 2900 0 584960 0
Current children cumulated CPU time: 2972.75 s
Current children cumulated vsize: 2353784 KiB
Current children cumulated memory: 2329172 KiB

[startup+3042.3 s]
/proc/loadavg: 1.74 1.38 2.05 2/223 854303
/proc/meminfo: memFree=123784580/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2407808 memory=2384224 CPUtime=3032.55 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 812612 0 0 0 302962 293 0 0 20 0 1 0 166924137 2465595392 596056 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 601952 596056 2943 2900 0 598466 0
Current children cumulated CPU time: 3032.55 s
Current children cumulated vsize: 2407808 KiB
Current children cumulated memory: 2384224 KiB

[startup+3102.3 s]
/proc/loadavg: 1.38 1.35 2.00 2/220 854695
/proc/meminfo: memFree=123721844/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2471416 memory=2446472 CPUtime=3092.38 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 833113 0 0 0 308941 297 0 0 20 0 1 0 166924137 2530729984 611618 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 617854 611618 2943 2900 0 614368 0
Current children cumulated CPU time: 3092.38 s
Current children cumulated vsize: 2471416 KiB
Current children cumulated memory: 2446472 KiB

[startup+3162.3 s]
/proc/loadavg: 1.24 1.31 1.94 2/220 854706
/proc/meminfo: memFree=123680320/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2512828 memory=2487924 CPUtime=3152.21 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 848059 0 0 0 314921 300 0 0 20 0 1 0 166924137 2573135872 621981 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 628207 621981 2943 2900 0 624721 0
Current children cumulated CPU time: 3152.21 s
Current children cumulated vsize: 2512828 KiB
Current children cumulated memory: 2487924 KiB

[startup+3222.3 s]
/proc/loadavg: 1.14 1.27 1.89 2/220 854716
/proc/meminfo: memFree=123614844/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2577748 memory=2552792 CPUtime=3212.03 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 857365 0 0 0 320901 302 0 0 20 0 1 0 166924137 2639613952 638198 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 644437 638198 2943 2900 0 640951 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 2577748 KiB
Current children cumulated memory: 2552792 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.23 1.83 2/222 854896
/proc/meminfo: memFree=123592304/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2599308 memory=2574616 CPUtime=3271.88 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 865879 0 0 0 326883 305 0 0 20 0 1 0 166924137 2661691392 643654 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 649827 643654 2943 2900 0 646341 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 2599308 KiB
Current children cumulated memory: 2574616 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.20 1.79 2/222 854906
/proc/meminfo: memFree=123611088/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2593880 memory=2555836 CPUtime=3331.73 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 869780 0 0 0 332867 306 0 0 20 0 1 0 166924137 2656133120 638959 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 648470 638959 2943 2900 0 644984 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 2593880 KiB
Current children cumulated memory: 2555836 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.18 1.74 2/225 854976
/proc/meminfo: memFree=123610652/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2593880 memory=2555836 CPUtime=3391.56 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 870556 0 0 0 338849 307 0 0 20 0 1 0 166924137 2656133120 638959 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 648470 638959 2943 2900 0 644984 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 2593880 KiB
Current children cumulated memory: 2555836 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.16 1.70 2/225 854986
/proc/meminfo: memFree=123610324/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2593880 memory=2555852 CPUtime=3451.37 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 871246 0 0 0 344830 307 0 0 20 0 1 0 166924137 2656133120 638963 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 648470 638963 2943 2900 0 644984 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 2593880 KiB
Current children cumulated memory: 2555852 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.14 1.65 2/225 854997
/proc/meminfo: memFree=123610056/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2593880 memory=2555908 CPUtime=3511.19 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 871981 0 0 0 350811 308 0 0 20 0 1 0 166924137 2656133120 638977 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 648470 638977 2943 2900 0 644984 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 2593880 KiB
Current children cumulated memory: 2555908 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.15 1.62 2/224 855008
/proc/meminfo: memFree=123609652/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2593880 memory=2556072 CPUtime=3571.01 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 872753 0 0 0 356793 308 0 0 20 0 1 0 166924137 2656133120 639018 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 648470 639018 2943 2900 0 644984 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 2593880 KiB
Current children cumulated memory: 2556072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 1.08 1.13 1.60 2/224 855014
/proc/meminfo: memFree=123609528/131655788 swapFree=131071996/131071996
[pid=853089] ppid=853086 vsize=2593880 memory=2556092 CPUtime=3600.03 cores=1,3
/proc/853089/stat : 853089 (ipbhs_static_sc) R 853086 853089 847880 0 -1 4194304 873269 0 0 0 359695 308 0 0 20 0 1 0 166924137 2656133120 639023 134679101440 4194304 16068861 140729991469568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 55451648 140729991476262 140729991476349 140729991476349 140729991483364 0
/proc/853089/statm: 648470 639023 2943 2900 0 644984 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2593880 KiB
Current children cumulated memory: 2556092 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.95 s, system=3.10173 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): 3611.42
CPU time (s): 3600.06
CPU user time (s): 3596.95
CPU system time (s): 3.10173
CPU usage (%): 99.6854
Max. virtual memory (cumulated for all children) (KiB): 2628716
Max. memory (cumulated for all children) (KiB): 2590288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.95
system time used= 3.10173
maximum resident set size= 2590288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 873269
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= 291
involuntary context switches= 4005


# summary of solver processes directly reported to runsolver:
#   pid: 853089
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.95
#   total CPU system time (s): 3.10173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3413 second user time and 34.5233 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-16 18:34:44
IDJOB=4431752
IDBENCH=156416
IDSOLVER=3057
FILE ID=nodeC012/4431752-1721147671
RUNJOBID= nodeC012-1721138506-847892
SLURM_JOB_ID= 7505715
Free space on /tmp= 723420 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431752-1721147671/watcher-4431752-1721147671 -o /tmp/evaluation-result-4431752-1721147671/solver-4431752-1721147671 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721138506-847892 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431752-1721147671.opb

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

MD5SUM BENCH= b3d827c1cec2288f345531c85d1b4d53
RANDOM SEED=2125385007

nodeC012.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		: 3547.984
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	: 6984.37
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		: 3480.176
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.32
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.491
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	: 6984.37
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		: 1260.127
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.32
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		: 3573.256
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	: 6984.37
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		: 3665.521
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.32
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.495
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	: 6984.37
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.352
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114692096 kB
MemAvailable:   118781180 kB
Buffers:          416292 kB
Cached:          4466296 kB
SwapCached:            0 kB
Active:          1006292 kB
Inactive:       15301800 kB
Active(anon):       1440 kB
Inactive(anon): 11461760 kB
Active(file):    1004852 kB
Inactive(file):  3840040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             56448 kB
Writeback:             0 kB
AnonPages:      11425504 kB
Mapped:           140688 kB
Shmem:             37704 kB
KReclaimable:     168444 kB
Slab:             274224 kB
SReclaimable:     168444 kB
SUnreclaim:       105780 kB
KernelStack:        3888 kB
PageTables:        32144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12720368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4116480 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:      303944 kB
DirectMap2M:    33155072 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC012 at 2024-07-16 19:34:56