Trace number 4427345

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
Sat4j Partial RoundingSAT 2024 2024-07-12? (TO) 3600.62 2722.87

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUMc14f7c55e56be8814a9acdc0ce68bb69
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 benchmark24875458587
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 773893279252632
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 773893279252632
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.21/0.26	c version CUSTOM.v20240707
0.21/0.28	c java.runtime.name	OpenJDK Runtime Environment
0.21/0.28	c java.vm.name		OpenJDK 64-Bit Server VM
0.21/0.28	c java.vm.version	22.0.1+8-16
0.21/0.29	c java.vm.vendor	Oracle Corporation
0.21/0.29	c sun.arch.data.model	64
0.21/0.29	c java.version		22.0.1
0.21/0.29	c os.name		Linux
0.21/0.29	c os.version		4.18.0-301.1.el8.x86_64
0.21/0.29	c os.arch		amd64
0.21/0.29	c Free memory 		2115194816
0.21/0.29	c Max memory 		16282288128
0.21/0.29	c Total memory 		2122317824
0.21/0.30	c Number of processors 	2
0.51/0.48	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.51/0.48	 - never skip resolution steps
0.51/0.48	 - Auto-division on coefficients is disabled
0.51/0.48	 - No postprocessing
0.51/0.48	 - Conflict is considered as is when resolving
0.51/0.48	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.51/0.48	 - Weaken first using unassigned literals
0.51/0.48	 - Bump strategy: ALWAYS_ONE
0.51/0.48	 - Bumper: ASSIGNED
0.51/0.48	--- Begin Solver configuration ---
0.51/0.48	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.51/0.48	Learn all clauses as in MiniSAT
0.51/0.48	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.51/0.48	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.51/0.48	No reason simplification
0.51/0.48	Armin Biere (Picosat) restarts strategy
0.51/0.48	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.51/0.48	timeout=2147483s
0.51/0.48	DB Simplification allowed=false
0.51/0.48	Listener: none
0.51/0.48	--- End Solver configuration ---
0.51/0.48	c Pseudo Boolean Optimization by upper bound
0.51/0.48	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.51/0.48	c  - never skip resolution steps
0.51/0.48	c  - Auto-division on coefficients is disabled
0.51/0.48	c  - No postprocessing
0.51/0.48	c  - Conflict is considered as is when resolving
0.51/0.48	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.51/0.48	c  - Weaken first using unassigned literals
0.51/0.48	c  - Bump strategy: ALWAYS_ONE
0.51/0.48	c  - Bumper: ASSIGNED
0.51/0.48	c --- Begin Solver configuration ---
0.51/0.48	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.51/0.48	c Learn all clauses as in MiniSAT
0.51/0.48	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.51/0.48	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.51/0.48	c No reason simplification
0.51/0.48	c Armin Biere (Picosat) restarts strategy
0.51/0.48	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.51/0.48	c timeout=2147483s
0.51/0.48	c DB Simplification allowed=false
0.51/0.48	c Listener: none
0.51/0.48	c --- End Solver configuration ---
0.51/0.48	c solving HOME/instance-4427345-1720994536.opb
0.51/0.48	c reading problem ... 
0.51/0.49	c  objective function found
1.83/1.17	c ... done. Wall clock time 0.685s.
1.83/1.18	c declared #vars     16800
1.83/1.18	c #constraints  1185
1.83/1.18	c constraints type 
1.83/1.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
1.83/1.18	c org.sat4j.specs.Constr$1 => 1
1.83/1.18	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1174
1.83/1.18	c org.sat4j.pb.constraints.pb.UnitClausePB => 9
1.83/1.18	c 1185 constraints processed.
1.83/1.19	c objective function length is 9600 literals
11.34/6.32	c cleaning 2222 clauses out of 5000 with flag 0/5000
15.39/10.15	c cleaning 865 clauses out of 8778 with flag 0/11000
17.17/11.66	c cleaning 382 clauses out of 14913 with flag 0/18000
18.71/12.53	c cleaning 1 clauses out of 22531 with flag 0/26000
19.85/13.60	c cleaning 35 clauses out of 31530 with flag 0/35000
20.90/14.64	c cleaning 0 clauses out of 41495 with flag 0/45000
22.32/15.89	c cleaning 0 clauses out of 52495 with flag 0/56000
24.54/18.04	c cleaning 972 clauses out of 64496 with flag 0/68001
29.75/23.17	c cleaning 1906 clauses out of 76523 with flag 0/81000
35.53/28.87	c cleaning 2098 clauses out of 88617 with flag 0/95000
37.66/30.52	c cleaning 142 clauses out of 101520 with flag 0/110001
39.47/32.32	c cleaning 0 clauses out of 117377 with flag 0/126000
41.74/34.56	c cleaning 2 clauses out of 134377 with flag 0/143000
43.80/36.52	c cleaning 1 clauses out of 152375 with flag 0/161000
45.96/38.61	c cleaning 0 clauses out of 171374 with flag 0/180000
48.65/41.25	c cleaning 2 clauses out of 191374 with flag 0/200000
51.08/43.69	c cleaning 1 clauses out of 212372 with flag 0/221000
54.01/46.49	c cleaning 1 clauses out of 234372 with flag 0/243001
56.80/49.18	c cleaning 1 clauses out of 257370 with flag 0/266000
60.24/52.41	c cleaning 0 clauses out of 281370 with flag 0/290001
63.34/55.46	c cleaning 0 clauses out of 306371 with flag 0/315002
66.61/58.57	c cleaning 1 clauses out of 332369 with flag 0/341000
69.91/61.73	c cleaning 0 clauses out of 359369 with flag 0/368001
73.49/65.15	c cleaning 0 clauses out of 387368 with flag 0/396000
77.54/69.07	c cleaning 0 clauses out of 416368 with flag 0/425000
81.95/73.27	c cleaning 1 clauses out of 446370 with flag 0/455002
86.07/77.13	c cleaning 0 clauses out of 477369 with flag 0/486002
90.20/81.08	c cleaning 0 clauses out of 509367 with flag 0/518000
94.51/85.15	c cleaning 0 clauses out of 542368 with flag 0/551001
99.00/89.49	c cleaning 0 clauses out of 576367 with flag 0/585000
103.71/93.99	c cleaning 0 clauses out of 611368 with flag 0/620001
109.63/99.66	c cleaning 0 clauses out of 647367 with flag 0/656000
114.66/104.42	c cleaning 0 clauses out of 684368 with flag 0/693001
120.10/109.54	c cleaning 0 clauses out of 722367 with flag 0/731000
125.60/114.87	c cleaning 0 clauses out of 761368 with flag 0/770001
131.03/120.06	c cleaning 0 clauses out of 801367 with flag 0/810000
136.89/125.54	c cleaning 0 clauses out of 842367 with flag 0/851000
142.64/131.08	c cleaning 0 clauses out of 884367 with flag 0/893000
150.69/138.70	c cleaning 0 clauses out of 927368 with flag 0/936001
157.45/145.11	c cleaning 0 clauses out of 971369 with flag 0/980002
163.47/150.93	c cleaning 0 clauses out of 1016369 with flag 0/1025002
170.04/157.17	c cleaning 0 clauses out of 1062367 with flag 0/1071000
176.97/163.71	c cleaning 0 clauses out of 1109367 with flag 0/1118000
183.55/169.98	c cleaning 0 clauses out of 1157369 with flag 0/1166002
190.87/176.99	c cleaning 0 clauses out of 1206368 with flag 0/1215001
198.13/183.85	c cleaning 0 clauses out of 1256368 with flag 0/1265001
205.56/191.00	c cleaning 0 clauses out of 1307368 with flag 0/1316001
215.48/200.56	c cleaning 0 clauses out of 1359368 with flag 0/1368001
224.90/209.37	c cleaning 1 clauses out of 1412368 with flag 0/1421001
233.30/217.31	c cleaning 0 clauses out of 1466367 with flag 0/1475001
241.49/225.18	c cleaning 0 clauses out of 1521366 with flag 0/1530000
250.22/233.36	c cleaning 1 clauses out of 1577367 with flag 0/1586001
258.99/241.71	c cleaning 0 clauses out of 1634365 with flag 0/1643000
268.07/250.30	c cleaning 0 clauses out of 1692365 with flag 0/1701000
277.85/259.73	c cleaning 1 clauses out of 1751366 with flag 0/1760001
289.34/270.75	c cleaning 0 clauses out of 1811365 with flag 0/1820001
298.68/279.66	c cleaning 0 clauses out of 1872364 with flag 0/1881000
308.03/288.67	c cleaning 0 clauses out of 1934365 with flag 0/1943001
318.33/298.45	c cleaning 0 clauses out of 1997365 with flag 0/2006001
329.99/309.61	c cleaning 0 clauses out of 2061364 with flag 0/2070000
342.63/321.93	c cleaning 0 clauses out of 2126365 with flag 0/2135001
360.43/338.93	c cleaning 0 clauses out of 2192364 with flag 0/2201000
371.26/349.35	c cleaning 1 clauses out of 2259364 with flag 0/2268000
382.17/359.76	c cleaning 1 clauses out of 2327363 with flag 0/2336000
393.43/370.54	c cleaning 0 clauses out of 2396364 with flag 0/2405002
404.31/380.90	c cleaning 0 clauses out of 2466363 with flag 0/2475001
415.51/391.69	c cleaning 0 clauses out of 2537365 with flag 0/2546003
427.07/402.72	c cleaning 0 clauses out of 2609362 with flag 0/2618000
439.00/414.11	c cleaning 0 clauses out of 2682363 with flag 0/2691001
450.37/425.04	c cleaning 0 clauses out of 2756364 with flag 0/2765002
463.12/437.23	c cleaning 0 clauses out of 2831362 with flag 0/2840000
477.31/450.86	c cleaning 0 clauses out of 2907363 with flag 0/2916001
493.22/466.18	c cleaning 0 clauses out of 2984362 with flag 0/2993000
509.57/482.02	c cleaning 0 clauses out of 3062363 with flag 0/3071001
527.11/499.05	c cleaning 0 clauses out of 3141363 with flag 0/3150001
552.56/523.26	c cleaning 0 clauses out of 3221362 with flag 0/3230000
569.00/538.66	c cleaning 0 clauses out of 3302363 with flag 0/3311001
584.80/553.70	c cleaning 1 clauses out of 3384363 with flag 0/3393001
598.94/567.19	c cleaning 0 clauses out of 3467362 with flag 0/3476001
613.15/580.68	c cleaning 0 clauses out of 3551362 with flag 0/3560001
629.97/596.85	c cleaning 0 clauses out of 3636361 with flag 0/3645000
645.58/611.79	c cleaning 1 clauses out of 3722361 with flag 0/3731000
659.83/625.36	c cleaning 0 clauses out of 3809362 with flag 0/3818002
674.80/639.79	c cleaning 0 clauses out of 3897361 with flag 0/3906001
690.08/654.26	c cleaning 0 clauses out of 3986360 with flag 0/3995000
704.99/668.54	c cleaning 0 clauses out of 4076360 with flag 0/4085000
720.43/683.45	c cleaning 0 clauses out of 4167361 with flag 0/4176001
737.80/700.02	c cleaning 0 clauses out of 4259360 with flag 0/4268000
753.78/715.28	c cleaning 0 clauses out of 4352362 with flag 0/4361002
770.65/731.42	c cleaning 0 clauses out of 4446361 with flag 0/4455001
788.29/748.37	c cleaning 0 clauses out of 4541360 with flag 0/4550000
806.35/765.75	c cleaning 0 clauses out of 4637360 with flag 0/4646000
830.82/783.39	c cleaning 0 clauses out of 4734361 with flag 0/4743001
870.42/816.92	c cleaning 0 clauses out of 4832360 with flag 0/4841000
895.99/834.65	c cleaning 0 clauses out of 4931360 with flag 0/4940000
920.18/851.78	c cleaning 0 clauses out of 5031362 with flag 0/5040002
945.75/870.77	c cleaning 0 clauses out of 5132360 with flag 0/5141000
971.15/888.88	c cleaning 0 clauses out of 5234360 with flag 0/5243000
998.09/909.02	c cleaning 0 clauses out of 5337362 with flag 0/5346002
1025.77/929.73	c cleaning 0 clauses out of 5441360 with flag 0/5450000
1059.05/949.32	c cleaning 0 clauses out of 5546360 with flag 0/5555000
1084.90/968.57	c cleaning 0 clauses out of 5652360 with flag 0/5661000
1114.90/989.93	c cleaning 0 clauses out of 5759360 with flag 0/5768000
1143.21/1010.85	c cleaning 0 clauses out of 5867360 with flag 0/5876000
1172.26/1032.03	c cleaning 0 clauses out of 5976360 with flag 0/5985000
1203.39/1055.01	c cleaning 0 clauses out of 6086360 with flag 0/6095000
1241.96/1078.53	c cleaning 0 clauses out of 6197360 with flag 0/6206000
1273.60/1102.44	c cleaning 0 clauses out of 6309360 with flag 0/6318000
1294.31/1122.41	c cleaning 0 clauses out of 6422360 with flag 0/6431000
1323.80/1143.13	c cleaning 0 clauses out of 6536360 with flag 0/6545000
1354.11/1164.47	c cleaning 0 clauses out of 6651360 with flag 0/6660000
1385.14/1186.22	c cleaning 0 clauses out of 6767360 with flag 0/6776000
1418.93/1210.55	c cleaning 0 clauses out of 6884360 with flag 0/6893000
1470.03/1251.01	c cleaning 0 clauses out of 7002361 with flag 0/7011001
1509.36/1280.36	c cleaning 0 clauses out of 7121361 with flag 0/7130001
1541.54/1303.53	c cleaning 0 clauses out of 7241361 with flag 0/7250001
1575.65/1328.76	c cleaning 0 clauses out of 7362360 with flag 0/7371000
1611.97/1352.19	c cleaning 0 clauses out of 7484361 with flag 0/7493001
1648.71/1379.29	c cleaning 0 clauses out of 7607361 with flag 0/7616001
1686.47/1407.00	c cleaning 0 clauses out of 7731360 with flag 0/7740000
1720.21/1430.81	c cleaning 0 clauses out of 7856361 with flag 0/7865001
1758.55/1459.09	c cleaning 0 clauses out of 7982361 with flag 0/7991001
1798.03/1487.76	c cleaning 0 clauses out of 8109360 with flag 0/8118000
1846.25/1516.23	c cleaning 0 clauses out of 8237361 with flag 0/8246001
1888.40/1547.06	c cleaning 0 clauses out of 8366361 with flag 0/8375001
1943.81/1580.75	c cleaning 0 clauses out of 8496360 with flag 0/8505000
1978.87/1605.20	c cleaning 0 clauses out of 8627361 with flag 0/8636001
2014.46/1629.30	c cleaning 0 clauses out of 8759361 with flag 0/8768001
2051.20/1654.57	c cleaning 0 clauses out of 8892360 with flag 0/8901000
2089.35/1680.92	c cleaning 0 clauses out of 9026361 with flag 0/9035001
2140.55/1710.07	c cleaning 0 clauses out of 9161361 with flag 0/9170001
2193.92/1740.46	c cleaning 0 clauses out of 9297360 with flag 0/9306000
2234.85/1767.02	c cleaning 0 clauses out of 9434361 with flag 0/9443001
2287.34/1798.20	c cleaning 0 clauses out of 9572361 with flag 0/9581001
2330.59/1827.35	c cleaning 0 clauses out of 9711360 with flag 0/9720000
2377.12/1861.23	c cleaning 0 clauses out of 9851361 with flag 0/9860001
2435.05/1894.65	c cleaning 0 clauses out of 9992361 with flag 0/10001001
2494.55/1930.76	c cleaning 0 clauses out of 10134360 with flag 0/10143000
2545.66/1966.68	c cleaning 0 clauses out of 10277361 with flag 0/10286001
2638.56/2032.45	c cleaning 0 clauses out of 10421360 with flag 0/10430000
2689.19/2069.75	c cleaning 0 clauses out of 10566360 with flag 0/10575000
2737.78/2105.53	c cleaning 0 clauses out of 10712361 with flag 0/10721001
2786.07/2140.94	c cleaning 0 clauses out of 10859361 with flag 0/10868001
2832.78/2174.16	c cleaning 0 clauses out of 11007360 with flag 0/11016000
2907.68/2223.16	c cleaning 0 clauses out of 11156361 with flag 0/11165001
2963.81/2265.72	c cleaning 0 clauses out of 11306361 with flag 0/11315001
3052.20/2325.30	c cleaning 1 clauses out of 11457360 with flag 0/11466000
3109.01/2367.47	c cleaning 0 clauses out of 11609360 with flag 0/11618001
3169.96/2414.44	c cleaning 0 clauses out of 11762360 with flag 0/11771001
3232.19/2461.68	c cleaning 0 clauses out of 11916359 with flag 0/11925000
3318.05/2518.02	c cleaning 0 clauses out of 12071360 with flag 0/12080001
3380.22/2564.97	c cleaning 0 clauses out of 12227360 with flag 0/12236001
3456.08/2610.94	c cleaning 0 clauses out of 12384359 with flag 0/12393000
3520.45/2659.69	c cleaning 0 clauses out of 12542360 with flag 0/12551001
3584.88/2707.75	c cleaning 0 clauses out of 12701360 with flag 0/12710001
3600.06/2722.41	c timeout
3600.06/2722.43	c starts		: 324
3600.06/2722.43	c conflicts		: 12790140
3600.06/2722.43	c decisions		: 13093496
3600.06/2722.43	c propagations		: 39255055
3600.06/2722.43	c inspects		: 11063123223
3600.06/2722.43	c shortcuts		: 0
3600.06/2722.43	c learnt literals	: 0
3600.06/2722.43	c learnt binary clauses	: 0
3600.06/2722.43	c learnt ternary clauses	: 1
3600.06/2722.43	c learnt constraints	: 12790139
3600.06/2722.43	c ignored constraints	: 0
3600.06/2722.43	c root simplifications	: 0
3600.06/2722.43	c removed literals (reason simplification)	: 0
3600.06/2722.43	c reason swapping (by a shorter reason)	: 0
3600.06/2722.43	c Calls to reduceDB	: 155
3600.06/2722.43	c Number of update (reduction) of LBD	: 0
3600.06/2722.43	c Imported unit clauses	: 0
3600.06/2722.43	c No decision after first conflict	: false
3600.06/2722.43	c number of reductions to clauses (during analyze)	: 0
3600.06/2722.43	c number of learned constraints concerned by reduction	: 0
3600.06/2722.43	c number of learning phase by resolution	: 0
3600.06/2722.43	c number of learning phase by cutting planes	: 0
3600.06/2722.43	c number of rounding to 1 operations	: 25588394
3600.06/2722.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/2722.43	c number of reductions of the coefficients by power 2 	: 0
3600.06/2722.43	c number of right shift for reduction by power 2 	: 0
3600.06/2722.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/2722.43	c number of ending skipping 	: 0
3600.06/2722.43	c number of internal skipping 	: 0
3600.06/2722.43	c number of derivation steps 	: 25578177
3600.06/2722.43	c number of skipped derivation steps 	: 0
3600.06/2722.43	c number of remaining unassigned 	: 3572
3600.06/2722.43	c number of remaining assigned 	: 733129948
3600.06/2722.43	c number of falsified literals weakened from reason	: 0
3600.06/2722.43	c number of falsified literals weakened from conflict	: 0
3600.06/2722.43	c time for arithmetic operations	: 338995859
3600.06/2722.44	c minimum degree of deleted constraints	: 5
3600.06/2722.44	c maximum degree of deleted constraints	: 30595874815
3600.06/2722.44	c number of deleted constraints	: 8641
3600.06/2722.44	c speed (assignments/second)	: 14425.736683544137
3600.06/2722.44	c non guided choices	: 40
3600.53/2722.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 12781401
3600.53/2722.82	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 97
3600.53/2722.82	s UNKNOWN
3600.53/2722.82	c Total wall clock time (in seconds): 2722.34

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427345-1720994536/watcher-4427345-1720994536 -o /tmp/evaluation-result-4427345-1720994536/solver-4427345-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720994548-763535 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427345-1720994536.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=763568, runsolver pid=763562

[startup+0.100068 s]*
/proc/loadavg: 0.08 0.08 0.09 7/267 763606
/proc/meminfo: memFree=129942528/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=18975048 memory=54884 CPUtime=0.11 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 6331 0 0 0 8 3 0 0 20 0 18 0 151610005 19430449152 13721 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4743762 13721 5568 1 0 550705 0
[pid=763568/tid=763571] ppid=763562 vsize=18975048 memory=4026531957 CPUtime=0.07 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 5308 0 0 0 5 2 0 0 20 0 18 0 151610006 19430449152 13721 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=18975048 memory=241407623517 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610012 19430449152 13721 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=18975048 memory=14697383221033199 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610013 19430449152 13721 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54884 KiB

[startup+0.214506 s]*
/proc/loadavg: 0.08 0.08 0.09 1/269 763613
/proc/meminfo: memFree=129938172/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=18975048 memory=56896 CPUtime=0.21 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 6646 0 0 0 18 3 0 0 20 0 18 0 151610005 19430449152 14224 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4743762 14224 5714 1 0 550925 0
[pid=763568/tid=763571] ppid=763562 vsize=18975048 memory=4027842860 CPUtime=0.13 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) D 763562 763568 763525 0 -1 1078198336 5555 0 0 0 11 2 0 0 20 0 18 0 151610006 19430449152 14224 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=18975048 memory=237129438461 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610012 19430449152 14224 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=18975048 memory=33950 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610013 19430449152 14224 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56896 KiB

[startup+0.313922 s]*
/proc/loadavg: 0.08 0.08 0.09 5/280 763628
/proc/meminfo: memFree=129896996/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=18975048 memory=63308 CPUtime=0.34 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 7189 0 0 0 30 4 0 0 20 0 18 0 151610005 19430449152 15827 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4743762 15827 5720 1 0 551391 0
[pid=763568/tid=763571] ppid=763562 vsize=18975048 memory=-8961147762445296316 CPUtime=0.22 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 5746 0 0 0 19 3 0 0 20 0 18 0 151610006 19430449152 15827 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610012 19430449152 15827 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610013 19430449152 15827 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63308 KiB

[startup+0.704823 s]
/proc/loadavg: 0.08 0.08 0.09 11/313 763666
/proc/meminfo: memFree=129834204/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=18975048 memory=84712 CPUtime=1.05 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 8559 0 0 0 99 6 0 0 20 0 18 0 151610005 19430449152 21178 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4743762 21178 5805 1 0 552404 0
[pid=763568/tid=763571] ppid=763562 vsize=18975048 memory=38444 CPUtime=0.56 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 6070 0 0 0 52 4 0 0 20 0 18 0 151610006 19430449152 21178 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=18975048 memory=11992 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151610012 19430449152 21178 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=18975048 memory=2312 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610013 19430449152 21178 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84712 KiB

[startup+1.50582 s]
/proc/loadavg: 0.08 0.08 0.09 12/315 763668
/proc/meminfo: memFree=129539228/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19108176 memory=186852 CPUtime=2.58 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 19436 0 0 0 246 12 0 0 20 0 20 0 151610005 19566772224 46713 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4777044 46713 5875 1 0 557189 0
[pid=763568/tid=763571] ppid=763562 vsize=19108176 memory=2312 CPUtime=1.25 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 7019 0 0 0 118 7 0 0 20 0 20 0 151610006 19566772224 46713 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610012 19566772224 46713 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151610013 19566772224 46713 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186852 KiB

[startup+3.11482 s]
/proc/loadavg: 0.08 0.08 0.09 12/321 763674
/proc/meminfo: memFree=128155016/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19108176 memory=205332 CPUtime=5.74 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 24595 0 0 0 561 13 0 0 20 0 20 0 151610005 19566772224 51333 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4777044 51333 5875 1 0 559433 0
[pid=763568/tid=763571] ppid=763562 vsize=19108176 memory=11992 CPUtime=2.75 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 7474 0 0 0 268 7 0 0 20 0 20 0 151610006 19566772224 51333 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19108176 memory=198340509722 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610012 19566772224 51333 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 151610013 19566772224 51333 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19108176 memory=5512 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151610130 19566772224 51333 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 5.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205332 KiB

[startup+6.30081 s]
/proc/loadavg: 0.79 0.23 0.14 8/321 763674
/proc/meminfo: memFree=126430012/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19108176 memory=1226488 CPUtime=11.34 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 27264 0 0 0 1101 33 0 0 20 0 20 0 151610005 19566772224 306622 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4777044 306622 5875 1 0 560187 0
[pid=763568/tid=763571] ppid=763562 vsize=19108176 memory=0 CPUtime=5.81 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 8964 0 0 0 556 25 0 0 20 0 20 0 151610006 19566772224 306622 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19108176 memory=5512 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610012 19566772224 306622 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 151610013 19566772224 306622 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19108176 memory=960244 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151610130 19566772224 306622 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 11.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1226488 KiB

[startup+12.7068 s]
/proc/loadavg: 1.13 0.31 0.16 7/321 763676
/proc/meminfo: memFree=123949340/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19108176 memory=2426516 CPUtime=18.93 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 31594 0 0 0 1834 59 0 0 20 0 20 0 151610005 19566772224 606629 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4777044 606629 5891 1 0 833853 0
[pid=763568/tid=763571] ppid=763562 vsize=19108176 memory=11600 CPUtime=11.98 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 10213 0 0 0 1149 49 0 0 20 0 20 0 151610006 19566772224 606629 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610012 19566772224 606629 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19108176 memory=3691016778159503187 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 151610013 19566772224 606629 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19108176 memory=5512 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151610130 19566772224 606629 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 18.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2426516 KiB

[startup+25.5005 s]
/proc/loadavg: 1.91 0.52 0.24 6/321 763677
/proc/meminfo: memFree=119505616/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19108176 memory=3748148 CPUtime=32.22 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 33782 0 0 0 3136 86 0 0 20 0 20 0 151610005 19566772224 937037 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4777044 937037 5891 1 0 1170171 0
[pid=763568/tid=763571] ppid=763562 vsize=19108176 memory=5512 CPUtime=24 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 11855 0 0 0 2325 75 0 0 20 0 20 0 151610006 19566772224 937037 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19108176 memory=3746096 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610012 19566772224 937037 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19108176 memory=3741932 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 151610013 19566772224 937037 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19108176 memory=280107298572224 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151610130 19566772224 937037 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 32.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3748148 KiB

[startup+51.1139 s]
/proc/loadavg: 2.69 0.82 0.34 6/321 763682
/proc/meminfo: memFree=112652128/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19108176 memory=6266248 CPUtime=58.88 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 45586 0 0 0 5751 137 0 0 20 0 20 0 151610005 19566772224 1566562 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4777044 1566562 5898 1 0 1796848 0
[pid=763568/tid=763571] ppid=763562 vsize=19108176 memory=6251648 CPUtime=48 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 15552 0 0 0 4678 122 0 0 20 0 20 0 151610006 19566772224 1566562 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19108176 memory=3751516 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151610012 19566772224 1566562 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19108176 memory=280107298883136 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 151610013 19566772224 1566562 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151610130 19566772224 1566562 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0

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

[startup+2382.3 s]
/proc/loadavg: 4.54 4.71 4.37 6/322 765249
/proc/meminfo: memFree=102244728/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19174740 memory=13144124 CPUtime=3124.33 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 541848 0 0 0 311114 1319 0 0 20 0 21 0 151610005 19634933760 3286031 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4793685 3286031 5898 1 0 3294413 0
[pid=763568/tid=763571] ppid=763562 vsize=19174740 memory=13135932 CPUtime=2272.59 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 207240 0 0 0 227004 255 0 0 20 0 21 0 151610006 19634933760 3286031 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19174740 memory=13144124 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610012 19634933760 3286031 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19174740 memory=13144124 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1047 0 0 0 0 0 0 0 20 0 21 0 151610013 19634933760 3286031 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19174740 memory=11600 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 151610130 19634933760 3286031 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3124.33 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 13144124 KiB

[startup+2442.3 s]
/proc/loadavg: 4.64 4.72 4.39 7/322 765260
/proc/meminfo: memFree=102093844/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19174740 memory=13475480 CPUtime=3209.98 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 544386 0 0 0 319626 1372 0 0 20 0 21 0 151610005 19634933760 3368870 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4793685 3368870 5898 1 0 3377954 0
[pid=763568/tid=763571] ppid=763562 vsize=19174740 memory=13135932 CPUtime=2330.52 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 208096 0 0 0 232790 262 0 0 20 0 21 0 151610006 19634933760 3368870 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19174740 memory=2648 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610012 19634933760 3368870 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19174740 memory=13327432 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1047 0 0 0 0 0 0 0 20 0 21 0 151610013 19634933760 3368870 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19174740 memory=11600 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 151610130 19634933760 3368870 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3209.98 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 13475480 KiB

[startup+2502.3 s]
/proc/loadavg: 4.79 4.75 4.42 7/321 765270
/proc/meminfo: memFree=101949176/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19174740 memory=13619348 CPUtime=3290.41 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 549740 0 0 0 327638 1403 0 0 20 0 21 0 151610005 19634933760 3404837 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4793685 3404837 5898 1 0 3413476 0
[pid=763568/tid=763571] ppid=763562 vsize=19174740 memory=38444 CPUtime=2388.79 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 211705 0 0 0 238614 265 0 0 20 0 21 0 151610006 19634933760 3404837 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19174740 memory=13327432 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610012 19634933760 3404837 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19174740 memory=13619348 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1047 0 0 0 0 0 0 0 20 0 21 0 151610013 19634933760 3404837 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19174740 memory=11600 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 151610130 19634933760 3404837 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3290.41 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 13619348 KiB

[startup+2562.3 s]
/proc/loadavg: 4.78 4.77 4.45 6/321 765281
/proc/meminfo: memFree=101735040/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19174740 memory=13828176 CPUtime=3377.62 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 581393 0 0 0 336316 1446 0 0 20 0 21 0 151610005 19634933760 3457044 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4793685 3457044 5913 1 0 3465709 0
[pid=763568/tid=763571] ppid=763562 vsize=19174740 memory=11600 CPUtime=2447.02 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 215468 0 0 0 244432 270 0 0 20 0 21 0 151610006 19634933760 3457044 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19174740 memory=13761332 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610012 19634933760 3457044 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19174740 memory=13327432 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1047 0 0 0 0 0 0 0 20 0 21 0 151610013 19634933760 3457044 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19174740 memory=13828176 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 151610130 19634933760 3457044 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3377.62 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 13828176 KiB

[startup+2622.3 s]
/proc/loadavg: 4.80 4.78 4.48 6/319 765292
/proc/meminfo: memFree=101509080/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19174740 memory=14052948 CPUtime=3467.82 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 596460 0 0 0 345286 1496 0 0 20 0 21 0 151610005 19634933760 3513237 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4793685 3513237 5913 1 0 3522098 0
[pid=763568/tid=763571] ppid=763562 vsize=19174740 memory=11600 CPUtime=2505.17 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 228090 0 0 0 250241 276 0 0 20 0 21 0 151610006 19634933760 3513237 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19174740 memory=13828176 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610012 19634933760 3513237 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19174740 memory=11600 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1067 0 0 0 0 0 0 0 20 0 21 0 151610013 19634933760 3513237 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19174740 memory=14052948 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 151610130 19634933760 3513237 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3467.82 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 14052948 KiB

[startup+2682.3 s]
/proc/loadavg: 4.64 4.74 4.48 6/320 765304
/proc/meminfo: memFree=101358272/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19174740 memory=14203328 CPUtime=3544.17 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 599619 0 0 0 352894 1523 0 0 20 0 21 0 151610005 19634933760 3550832 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4793685 3550832 5913 1 0 3559702 0
[pid=763568/tid=763571] ppid=763562 vsize=19174740 memory=11600 CPUtime=2563.01 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 229217 0 0 0 256021 280 0 0 20 0 21 0 151610006 19634933760 3550832 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19174740 memory=14203328 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610012 19634933760 3550832 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19174740 memory=38444 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1067 0 0 0 0 0 0 0 20 0 21 0 151610013 19634933760 3550832 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19174740 memory=14203328 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 151610130 19634933760 3550832 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3544.17 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 14203328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2722.4 s]
/proc/loadavg: 4.65 4.74 4.49 6/320 765311
/proc/meminfo: memFree=101065464/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19174740 memory=14494984 CPUtime=3600.06 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 602541 0 0 0 358454 1552 0 0 20 0 21 0 151610005 19634933760 3623746 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4793685 3623746 5913 1 0 3632824 0
[pid=763568/tid=763571] ppid=763562 vsize=19174740 memory=14494984 CPUtime=2601.87 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) R 763562 763568 763525 0 -1 4194368 230850 0 0 0 259900 287 0 0 20 0 21 0 151610006 19634933760 3623746 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19174740 memory=14494984 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151610012 19634933760 3623746 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19174740 memory=25208 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1067 0 0 0 0 0 0 0 20 0 21 0 151610013 19634933760 3623746 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763671] ppid=763562 vsize=19174740 memory=14494984 CPUtime=0 cores=0,2
/proc/763568/task/763671/stat : 763671 (Timer-0) S 763562 763568 763525 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 151610130 19634933760 3623746 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 14494984 KiB

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

[startup+2722.87 s]
# the end of solver process 763568 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3585.05 s, system=15.57 s

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

[startup+2722.8 s]
/proc/loadavg: 4.65 4.74 4.49 6/320 765311
/proc/meminfo: memFree=101065464/131655788 swapFree=131071996/131071996
[pid=763568] ppid=763562 vsize=19374432 memory=14495612 CPUtime=3600.53 cores=0,2
/proc/763568/stat : 763568 (java) S 763562 763568 763525 0 -1 1077936128 604525 0 0 0 358501 1552 0 0 20 0 22 0 151610005 19839418368 3623903 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
/proc/763568/statm: 4843608 3623903 5912 1 0 3633743 0
[pid=763568/tid=763571] ppid=763562 vsize=19374432 memory=14494984 CPUtime=2601.89 cores=0,2
/proc/763568/task/763571/stat : 763571 (java) S 763562 763568 763525 0 -1 1077936192 231005 0 0 0 259902 287 0 0 20 0 22 0 151610006 19839418368 3623903 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763590] ppid=763562 vsize=19374432 memory=4892 CPUtime=0 cores=0,2
/proc/763568/task/763590/stat : 763590 (Finalizer) S 763562 763568 763525 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 151610012 19839418368 3623903 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
[pid=763568/tid=763606] ppid=763562 vsize=19374432 memory=14494984 CPUtime=0 cores=0,2
/proc/763568/task/763606/stat : 763606 (Common-Cleaner) S 763562 763568 763525 0 -1 1077936192 1067 0 0 0 0 0 0 0 20 0 22 0 151610013 19839418368 3623903 134679101440 94171241533440 94171241537136 140737173180080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94171241544952 94171241545744 94171274534912 140737173185520 140737173185633 140737173185633 140737173192648 0
Current children cumulated CPU time: 3600.53 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 14495612 KiB

Child status: 143

Real time (s): 2722.87
CPU time (s): 3600.62
CPU user time (s): 3585.05
CPU system time (s): 15.57
CPU usage (%): 132.236
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 14495612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.05
system time used= 15.57
maximum resident set size= 14497100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121534
involuntary context switches= 61173


# summary of solver processes directly reported to runsolver:
#   pid: 763568
#   total CPU time (s): 3600.62
#   total CPU user time (s): 3585.05
#   total CPU system time (s): 15.57

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.427 second user time and 24.358 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-15 00:02:28
IDJOB=4427345
IDBENCH=146776
IDSOLVER=3046
FILE ID=nodeC008/4427345-1720994536
RUNJOBID= nodeC008-1720994548-763535
SLURM_JOB_ID= 7505309
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427345-1720994536/watcher-4427345-1720994536 -o /tmp/evaluation-result-4427345-1720994536/solver-4427345-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720994548-763535 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427345-1720994536.opb

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

MD5SUM BENCH= c14f7c55e56be8814a9acdc0ce68bb69
RANDOM SEED=77768655

nodeC008.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		: 1197.243
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 1197.416
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.31
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.257
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.424
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.31
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		: 1197.273
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 1197.242
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.31
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.491
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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.246
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130016628 kB
MemAvailable:   130001640 kB
Buffers:          345928 kB
Cached:           486804 kB
SwapCached:            0 kB
Active:           528000 kB
Inactive:         606652 kB
Active(anon):       1368 kB
Inactive(anon):   338276 kB
Active(file):     526632 kB
Inactive(file):   268376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5852 kB
Writeback:             0 kB
AnonPages:        300108 kB
Mapped:           102116 kB
Shmem:             37704 kB
KReclaimable:      60068 kB
Slab:             150404 kB
SReclaimable:      60068 kB
SUnreclaim:        90336 kB
KernelStack:        3696 kB
PageTables:         9200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     735288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            48832 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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:      146248 kB
DirectMap2M:     9195520 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC008 at 2024-07-15 00:47:51