Trace number 4447391

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 NameAnswerCPU timeWall clock time
Sat4j Cutting Planes 2024 2024-07-12? (TO) 3600.41 3577.41

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n148-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMfefb64a1b2a7fa00e7ba601f2504d0e0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables222
Total number of constraints592
Number of constraints which are clauses592
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.14/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.12	c See www.sat4j.org for details.
0.14/0.13	c version CUSTOM.v20240707
0.14/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.15	c java.vm.version	22.0.1+8-16
0.14/0.15	c java.vm.vendor	Oracle Corporation
0.14/0.15	c sun.arch.data.model	64
0.14/0.15	c java.version		22.0.1
0.14/0.15	c os.name		Linux
0.14/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.15	c os.arch		amd64
0.14/0.17	c Free memory 		2115194816
0.14/0.17	c Max memory 		16282288128
0.14/0.17	c Total memory 		2122317824
0.14/0.17	c Number of processors 	2
0.30/0.30	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.30/0.30	 - never skip resolution steps
0.30/0.30	 - Auto-division on coefficients is disabled
0.30/0.30	 - No postprocessing
0.30/0.30	 - Conflict is considered as is when resolving
0.30/0.30	 - Use constraints as they come during conflict analysis
0.30/0.30	 - Weaken first using unassigned literals
0.30/0.30	 - Bump strategy: ALWAYS_ONE
0.30/0.30	 - Bumper: EFFECTIVE
0.30/0.30	--- Begin Solver configuration ---
0.30/0.30	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.30/0.30	Learn all clauses as in MiniSAT
0.30/0.30	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.30	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.30/0.30	No reason simplification
0.30/0.30	Dynamic restart strategy considering the size of the coefficients
0.30/0.30	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.30/0.30	timeout=2147483s
0.30/0.30	DB Simplification allowed=false
0.30/0.30	Listener: none
0.30/0.30	--- End Solver configuration ---
0.30/0.31	c Pseudo Boolean Optimization by upper bound
0.30/0.31	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.30/0.31	c  - never skip resolution steps
0.30/0.31	c  - Auto-division on coefficients is disabled
0.30/0.31	c  - No postprocessing
0.30/0.31	c  - Conflict is considered as is when resolving
0.30/0.31	c  - Use constraints as they come during conflict analysis
0.30/0.31	c  - Weaken first using unassigned literals
0.30/0.31	c  - Bump strategy: ALWAYS_ONE
0.30/0.31	c  - Bumper: EFFECTIVE
0.30/0.31	c --- Begin Solver configuration ---
0.30/0.31	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.30/0.31	c Learn all clauses as in MiniSAT
0.30/0.31	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.31	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.30/0.31	c No reason simplification
0.30/0.31	c Dynamic restart strategy considering the size of the coefficients
0.30/0.31	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.30/0.31	c timeout=2147483s
0.30/0.31	c DB Simplification allowed=false
0.30/0.31	c Listener: none
0.30/0.31	c --- End Solver configuration ---
0.30/0.31	c solving HOME/instance-4447391-1721354339.opb
0.30/0.31	c reading problem ... 
0.30/0.31	c  no objective function found
0.67/0.44	c ... done. Wall clock time 0.115s.
0.67/0.44	c declared #vars     222
0.67/0.44	c #constraints  592
0.67/0.44	c constraints type 
0.67/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 592
0.67/0.44	c 592 constraints processed.
2.36/1.36	c cleaning 2496 clauses out of 5001 with flag 0/5001
3.14/1.79	c cleaning 4245 clauses out of 8504 with flag 0/11000
4.13/2.20	c cleaning 5622 clauses out of 11260 with flag 0/18001
4.59/2.67	c cleaning 6811 clauses out of 13638 with flag 0/26001
5.34/3.20	c cleaning 7910 clauses out of 15826 with flag 0/35000
6.15/3.73	c cleaning 8950 clauses out of 17917 with flag 0/45001
6.81/4.24	c cleaning 9977 clauses out of 19967 with flag 0/56001
7.41/4.82	c cleaning 10988 clauses out of 21989 with flag 0/68000
8.02/5.45	c cleaning 11994 clauses out of 24002 with flag 0/81001
8.75/6.11	c cleaning 12999 clauses out of 26008 with flag 0/95001
9.53/6.92	c cleaning 13997 clauses out of 28009 with flag 0/110001
10.46/7.80	c cleaning 14999 clauses out of 30012 with flag 0/126001
11.45/8.70	c cleaning 16000 clauses out of 32012 with flag 0/143000
12.51/9.75	c cleaning 16998 clauses out of 34012 with flag 0/161000
13.51/10.78	c cleaning 17999 clauses out of 36015 with flag 0/180001
14.83/12.01	c cleaning 19002 clauses out of 38016 with flag 0/200001
15.93/13.17	c cleaning 19999 clauses out of 40014 with flag 0/221001
17.21/14.50	c cleaning 21001 clauses out of 42015 with flag 0/243001
18.63/15.83	c cleaning 22000 clauses out of 44014 with flag 0/266001
19.94/17.18	c cleaning 23002 clauses out of 46013 with flag 0/290000
21.42/18.63	c cleaning 23999 clauses out of 48011 with flag 0/315000
22.95/20.14	c cleaning 24997 clauses out of 50012 with flag 0/341000
24.84/22.02	c cleaning 25999 clauses out of 52015 with flag 0/368000
26.53/23.73	c cleaning 27001 clauses out of 54017 with flag 0/396001
28.34/25.51	c cleaning 27999 clauses out of 56016 with flag 0/425001
30.44/27.60	c cleaning 29002 clauses out of 58017 with flag 0/455001
32.54/29.71	c cleaning 29999 clauses out of 60014 with flag 0/486000
34.65/31.80	c cleaning 30999 clauses out of 62015 with flag 0/518000
36.74/33.94	c cleaning 32001 clauses out of 64017 with flag 0/551001
38.85/36.08	c cleaning 33002 clauses out of 66015 with flag 0/585000
41.23/38.43	c cleaning 34000 clauses out of 68014 with flag 0/620001
43.55/40.75	c cleaning 34999 clauses out of 70013 with flag 0/656000
45.96/43.13	c cleaning 35998 clauses out of 72015 with flag 0/693001
48.64/45.86	c cleaning 36999 clauses out of 74017 with flag 0/731001
51.35/48.52	c cleaning 37998 clauses out of 76018 with flag 0/770001
54.25/51.42	c cleaning 39001 clauses out of 78020 with flag 0/810001
57.05/54.26	c cleaning 39999 clauses out of 80018 with flag 0/851000
59.78/56.96	c cleaning 41001 clauses out of 82020 with flag 0/893001
62.61/59.74	c cleaning 42000 clauses out of 84019 with flag 0/936001
65.64/62.77	c cleaning 42998 clauses out of 86018 with flag 0/980000
68.90/65.89	c cleaning 44004 clauses out of 88021 with flag 0/1025001
72.28/69.20	c cleaning 44998 clauses out of 90017 with flag 0/1071001
76.20/73.11	c cleaning 46000 clauses out of 92019 with flag 0/1118001
79.48/76.46	c cleaning 46998 clauses out of 94018 with flag 0/1166000
82.92/79.82	c cleaning 48002 clauses out of 96020 with flag 0/1215000
86.35/83.29	c cleaning 49001 clauses out of 98018 with flag 0/1265000
90.16/87.01	c cleaning 50000 clauses out of 100018 with flag 0/1316001
93.59/90.43	c cleaning 51000 clauses out of 102019 with flag 0/1368002
97.21/94.07	c cleaning 52003 clauses out of 104019 with flag 0/1421002
101.42/98.21	c cleaning 52998 clauses out of 106015 with flag 0/1475001
105.54/102.32	c cleaning 53999 clauses out of 108017 with flag 0/1530001
109.65/106.50	c cleaning 55001 clauses out of 110018 with flag 0/1586001
114.11/110.85	c cleaning 56001 clauses out of 112018 with flag 0/1643002
118.34/115.07	c cleaning 56996 clauses out of 114016 with flag 0/1701001
122.69/119.37	c cleaning 58003 clauses out of 116020 with flag 0/1760001
126.93/123.51	c cleaning 59000 clauses out of 118017 with flag 0/1820001
131.35/127.94	c cleaning 60001 clauses out of 120016 with flag 0/1881000
135.70/132.22	c cleaning 60996 clauses out of 122016 with flag 0/1943001
140.42/136.97	c cleaning 62000 clauses out of 124019 with flag 0/2006000
144.97/141.48	c cleaning 63002 clauses out of 126019 with flag 0/2070000
150.31/146.71	c cleaning 63997 clauses out of 128018 with flag 0/2135001
155.56/151.94	c cleaning 65003 clauses out of 130021 with flag 0/2201001
160.72/157.04	c cleaning 65998 clauses out of 132018 with flag 0/2268001
165.30/161.67	c cleaning 67001 clauses out of 134020 with flag 0/2336001
170.65/167.01	c cleaning 67999 clauses out of 136018 with flag 0/2405000
176.23/172.52	c cleaning 69005 clauses out of 138021 with flag 0/2475002
181.90/178.22	c cleaning 70000 clauses out of 140015 with flag 0/2546001
188.05/184.37	c cleaning 70999 clauses out of 142015 with flag 0/2618001
193.40/189.62	c cleaning 72001 clauses out of 144017 with flag 0/2691002
199.77/195.90	c cleaning 73000 clauses out of 146014 with flag 0/2765000
205.94/202.08	c cleaning 73995 clauses out of 148015 with flag 0/2840001
213.07/209.05	c cleaning 75002 clauses out of 150019 with flag 0/2916000
219.73/215.67	c cleaning 75999 clauses out of 152018 with flag 0/2993001
227.26/223.07	c cleaning 76996 clauses out of 154018 with flag 0/3071000
234.44/230.17	c cleaning 78000 clauses out of 156022 with flag 0/3150000
241.41/237.06	c cleaning 79001 clauses out of 158022 with flag 0/3230000
249.50/245.04	c cleaning 79997 clauses out of 160022 with flag 0/3311001
257.30/252.88	c cleaning 81001 clauses out of 162025 with flag 0/3393001
265.30/260.87	c cleaning 82000 clauses out of 164023 with flag 0/3476000
273.21/268.71	c cleaning 83001 clauses out of 166024 with flag 0/3560001
281.90/277.49	c cleaning 84002 clauses out of 168023 with flag 0/3645001
289.73/285.22	c cleaning 84996 clauses out of 170021 with flag 0/3731001
297.33/292.81	c cleaning 86005 clauses out of 172025 with flag 0/3818001
306.38/301.85	c cleaning 87000 clauses out of 174019 with flag 0/3906000
314.89/310.38	c cleaning 87995 clauses out of 176020 with flag 0/3995001
324.36/319.77	c cleaning 89004 clauses out of 178025 with flag 0/4085001
334.43/329.72	c cleaning 89999 clauses out of 180021 with flag 0/4176001
343.35/338.64	c cleaning 90999 clauses out of 182021 with flag 0/4268000
352.96/348.18	c cleaning 91998 clauses out of 184022 with flag 0/4361000
363.07/358.29	c cleaning 93003 clauses out of 186025 with flag 0/4455001
371.85/366.95	c cleaning 93998 clauses out of 188021 with flag 0/4550000
382.26/377.32	c cleaning 95002 clauses out of 190023 with flag 0/4646000
391.21/386.18	c cleaning 96001 clauses out of 192022 with flag 0/4743001
402.15/397.00	c cleaning 97002 clauses out of 194021 with flag 0/4841001
413.34/408.09	c cleaning 97998 clauses out of 196019 with flag 0/4940001
424.98/419.52	c cleaning 98999 clauses out of 198021 with flag 0/5040001
435.91/430.24	c cleaning 99997 clauses out of 200021 with flag 0/5141000
447.36/441.54	c cleaning 100999 clauses out of 202024 with flag 0/5243000
457.50/451.55	c cleaning 102003 clauses out of 204026 with flag 0/5346001
468.40/462.33	c cleaning 102999 clauses out of 206023 with flag 0/5450001
480.04/473.86	c cleaning 104001 clauses out of 208023 with flag 0/5555000
493.90/487.57	c cleaning 104999 clauses out of 210023 with flag 0/5661001
505.26/498.71	c cleaning 106001 clauses out of 212023 with flag 0/5768000
516.63/509.99	c cleaning 106997 clauses out of 214022 with flag 0/5876000
527.46/520.68	c cleaning 108005 clauses out of 216026 with flag 0/5985001
539.20/532.20	c cleaning 108998 clauses out of 218020 with flag 0/6095000
550.63/543.51	c cleaning 109998 clauses out of 220022 with flag 0/6206000
564.27/557.08	c cleaning 110998 clauses out of 222024 with flag 0/6318000
576.96/569.68	c cleaning 112001 clauses out of 224027 with flag 0/6431001
589.03/581.55	c cleaning 113002 clauses out of 226025 with flag 0/6545000
601.34/593.76	c cleaning 113995 clauses out of 228024 with flag 0/6660001
613.76/606.03	c cleaning 115000 clauses out of 230028 with flag 0/6776000
624.71/616.84	c cleaning 116010 clauses out of 232030 with flag 0/6893002
636.53/628.57	c cleaning 117003 clauses out of 234018 with flag 0/7011000
647.66/639.66	c cleaning 117998 clauses out of 236016 with flag 0/7130001
658.34/650.21	c cleaning 118997 clauses out of 238018 with flag 0/7250001
671.10/662.98	c cleaning 120003 clauses out of 240020 with flag 0/7371000
684.14/675.95	c cleaning 120997 clauses out of 242017 with flag 0/7493000
695.66/687.41	c cleaning 121999 clauses out of 244021 with flag 0/7616001
708.35/700.16	c cleaning 123003 clauses out of 246021 with flag 0/7740000
720.23/712.03	c cleaning 123998 clauses out of 248018 with flag 0/7865000
732.12/723.92	c cleaning 125001 clauses out of 250020 with flag 0/7991000
746.47/738.23	c cleaning 125997 clauses out of 252020 with flag 0/8118001
759.08/750.88	c cleaning 127003 clauses out of 254023 with flag 0/8246001
772.16/763.99	c cleaning 128000 clauses out of 256020 with flag 0/8375001
785.58/777.38	c cleaning 129001 clauses out of 258020 with flag 0/8505001
797.66/789.35	c cleaning 129996 clauses out of 260018 with flag 0/8636000
810.83/802.42	c cleaning 130998 clauses out of 262023 with flag 0/8768001
824.67/816.26	c cleaning 132000 clauses out of 264024 with flag 0/8901000
837.22/828.71	c cleaning 133000 clauses out of 266024 with flag 0/9035000
850.97/842.43	c cleaning 134007 clauses out of 268025 with flag 0/9170001
864.39/855.88	c cleaning 134997 clauses out of 270018 with flag 0/9306001
878.17/869.58	c cleaning 135995 clauses out of 272021 with flag 0/9443001
892.22/883.43	c cleaning 137003 clauses out of 274025 with flag 0/9581000
906.47/897.66	c cleaning 137998 clauses out of 276023 with flag 0/9720001
920.75/911.86	c cleaning 139001 clauses out of 278025 with flag 0/9860001
934.10/925.07	c cleaning 140003 clauses out of 280023 with flag 0/10001000
948.65/939.43	c cleaning 140999 clauses out of 282020 with flag 0/10143000
963.27/953.83	c cleaning 141996 clauses out of 284022 with flag 0/10286001
976.62/967.07	c cleaning 142997 clauses out of 286025 with flag 0/10430000
989.30/979.62	c cleaning 144004 clauses out of 288028 with flag 0/10575000
1002.85/993.11	c cleaning 145003 clauses out of 290025 with flag 0/10721001
1016.62/1006.79	c cleaning 146001 clauses out of 292022 with flag 0/10868001
1029.87/1019.98	c cleaning 146998 clauses out of 294021 with flag 0/11016001
1044.79/1034.87	c cleaning 148001 clauses out of 296023 with flag 0/11165001
1060.01/1050.04	c cleaning 148997 clauses out of 298021 with flag 0/11315000
1075.16/1065.18	c cleaning 150004 clauses out of 300024 with flag 0/11466000
1089.81/1079.71	c cleaning 151006 clauses out of 302022 with flag 0/11618002
1103.22/1093.15	c cleaning 151995 clauses out of 304015 with flag 0/11771001
1117.62/1107.40	c cleaning 153002 clauses out of 306020 with flag 0/11925001
1132.61/1122.45	c cleaning 154000 clauses out of 308018 with flag 0/12080001
1148.51/1138.22	c cleaning 155002 clauses out of 310018 with flag 0/12236001
1164.50/1154.13	c cleaning 155997 clauses out of 312015 with flag 0/12393000
1182.45/1171.99	c cleaning 156999 clauses out of 314018 with flag 0/12551000
1198.23/1187.61	c cleaning 158001 clauses out of 316020 with flag 0/12710001
1212.79/1202.19	c cleaning 158999 clauses out of 318018 with flag 0/12870000
1226.81/1216.12	c cleaning 159995 clauses out of 320020 with flag 0/13031001
1241.51/1230.87	c cleaning 161002 clauses out of 322024 with flag 0/13193000
1257.95/1247.28	c cleaning 162001 clauses out of 324022 with flag 0/13356000
1279.50/1268.78	c cleaning 163001 clauses out of 326021 with flag 0/13520000
1295.83/1284.95	c cleaning 163996 clauses out of 328021 with flag 0/13685001
1312.79/1301.80	c cleaning 164999 clauses out of 330024 with flag 0/13851000
1330.00/1319.06	c cleaning 166001 clauses out of 332026 with flag 0/14018001
1346.78/1335.65	c cleaning 167003 clauses out of 334024 with flag 0/14186000
1362.54/1351.30	c cleaning 167999 clauses out of 336022 with flag 0/14355001
1378.83/1367.65	c cleaning 169001 clauses out of 338023 with flag 0/14525001
1396.37/1385.11	c cleaning 170000 clauses out of 340021 with flag 0/14696000
1413.53/1402.18	c cleaning 170998 clauses out of 342021 with flag 0/14868000
1429.91/1418.44	c cleaning 172001 clauses out of 344024 with flag 0/15041001
1447.72/1436.29	c cleaning 172997 clauses out of 346023 with flag 0/15215001
1465.25/1453.70	c cleaning 174001 clauses out of 348026 with flag 0/15390001
1483.04/1471.56	c cleaning 174997 clauses out of 350025 with flag 0/15566001
1503.76/1492.23	c cleaning 176007 clauses out of 352028 with flag 0/15743001
1523.11/1511.58	c cleaning 177001 clauses out of 354020 with flag 0/15921000
1545.36/1533.65	c cleaning 178001 clauses out of 356019 with flag 0/16100000
1564.73/1552.97	c cleaning 179001 clauses out of 358018 with flag 0/16280000
1583.11/1571.12	c cleaning 179996 clauses out of 360017 with flag 0/16461000
1603.64/1591.63	c cleaning 181000 clauses out of 362021 with flag 0/16643000
1623.88/1611.69	c cleaning 181998 clauses out of 364021 with flag 0/16826000
1645.92/1633.61	c cleaning 183004 clauses out of 366023 with flag 0/17010000
1666.52/1654.12	c cleaning 183997 clauses out of 368019 with flag 0/17195000
1685.16/1672.79	c cleaning 184996 clauses out of 370022 with flag 0/17381000
1704.97/1692.38	c cleaning 186004 clauses out of 372027 with flag 0/17568001
1726.72/1714.01	c cleaning 187000 clauses out of 374023 with flag 0/17756001
1747.80/1734.95	c cleaning 187997 clauses out of 376023 with flag 0/17945001
1771.24/1758.32	c cleaning 189003 clauses out of 378025 with flag 0/18135000
1791.93/1779.03	c cleaning 189998 clauses out of 380022 with flag 0/18326000
1811.85/1798.98	c cleaning 190999 clauses out of 382025 with flag 0/18518001
1832.49/1819.47	c cleaning 191996 clauses out of 384026 with flag 0/18711001
1851.76/1838.66	c cleaning 193005 clauses out of 386029 with flag 0/18905000
1872.10/1858.90	c cleaning 194003 clauses out of 388024 with flag 0/19100000
1894.74/1881.52	c cleaning 194998 clauses out of 390021 with flag 0/19296000
1913.50/1900.08	c cleaning 196001 clauses out of 392023 with flag 0/19493000
1937.09/1923.54	c cleaning 197000 clauses out of 394022 with flag 0/19691000
1961.95/1948.26	c cleaning 198002 clauses out of 396023 with flag 0/19890001
1985.22/1971.14	c cleaning 198999 clauses out of 398020 with flag 0/20090000
2006.38/1992.15	c cleaning 199999 clauses out of 400022 with flag 0/20291001
2026.27/2011.97	c cleaning 200999 clauses out of 402023 with flag 0/20493001
2047.00/2032.50	c cleaning 202000 clauses out of 404023 with flag 0/20696000
2068.75/2053.75	c cleaning 203000 clauses out of 406024 with flag 0/20900001
2090.28/2075.19	c cleaning 203999 clauses out of 408024 with flag 0/21105001
2113.83/2098.78	c cleaning 205004 clauses out of 410024 with flag 0/21311000
2137.01/2121.78	c cleaning 206000 clauses out of 412021 with flag 0/21518001
2160.04/2144.74	c cleaning 206996 clauses out of 414020 with flag 0/21726000
2182.33/2166.95	c cleaning 208001 clauses out of 416025 with flag 0/21935001
2203.66/2188.19	c cleaning 209004 clauses out of 418024 with flag 0/22145001
2227.35/2211.78	c cleaning 209997 clauses out of 420020 with flag 0/22356001
2250.24/2234.47	c cleaning 211003 clauses out of 422023 with flag 0/22568001
2274.64/2258.50	c cleaning 211998 clauses out of 424020 with flag 0/22781001
2302.00/2285.98	c cleaning 213000 clauses out of 426021 with flag 0/22995000
2329.38/2313.13	c cleaning 214002 clauses out of 428022 with flag 0/23210001
2354.34/2337.94	c cleaning 214996 clauses out of 430020 with flag 0/23426001
2380.32/2363.60	c cleaning 216002 clauses out of 432023 with flag 0/23643000
2401.74/2384.87	c cleaning 217002 clauses out of 434021 with flag 0/23861000
2424.25/2407.15	c cleaning 217999 clauses out of 436020 with flag 0/24080001
2446.54/2429.25	c cleaning 218998 clauses out of 438020 with flag 0/24300000
2469.80/2452.33	c cleaning 220000 clauses out of 440023 with flag 0/24521001
2493.13/2475.56	c cleaning 221000 clauses out of 442022 with flag 0/24743000
2516.95/2499.22	c cleaning 222000 clauses out of 444022 with flag 0/24966000
2541.04/2523.19	c cleaning 222999 clauses out of 446022 with flag 0/25190000
2568.83/2551.04	c cleaning 224002 clauses out of 448023 with flag 0/25415000
2592.45/2574.32	c cleaning 224998 clauses out of 450022 with flag 0/25641001
2618.67/2600.53	c cleaning 225999 clauses out of 452024 with flag 0/25868001
2641.30/2623.10	c cleaning 227002 clauses out of 454025 with flag 0/26096001
2664.57/2646.24	c cleaning 228000 clauses out of 456023 with flag 0/26325001
2690.79/2672.49	c cleaning 229000 clauses out of 458022 with flag 0/26555000
2718.46/2700.27	c cleaning 229997 clauses out of 460023 with flag 0/26786001
2749.66/2731.30	c cleaning 231003 clauses out of 462025 with flag 0/27018000
2783.89/2765.46	c cleaning 232002 clauses out of 464022 with flag 0/27251000
2812.47/2793.80	c cleaning 233002 clauses out of 466021 with flag 0/27485001
2840.92/2822.03	c cleaning 234000 clauses out of 468019 with flag 0/27720001
2870.22/2851.11	c cleaning 234996 clauses out of 470019 with flag 0/27956001
2896.57/2877.30	c cleaning 236000 clauses out of 472022 with flag 0/28193000
2926.96/2907.66	c cleaning 237000 clauses out of 474022 with flag 0/28431000
2956.04/2936.66	c cleaning 237997 clauses out of 476022 with flag 0/28670000
2984.80/2965.33	c cleaning 239001 clauses out of 478026 with flag 0/28910001
3015.34/2995.77	c cleaning 240000 clauses out of 480024 with flag 0/29151000
3048.85/3029.19	c cleaning 241002 clauses out of 482024 with flag 0/29393000
3087.12/3067.22	c cleaning 241999 clauses out of 484023 with flag 0/29636001
3120.43/3100.13	c cleaning 243002 clauses out of 486024 with flag 0/29880001
3152.23/3131.74	c cleaning 243994 clauses out of 488022 with flag 0/30125001
3186.27/3165.40	c cleaning 245001 clauses out of 490027 with flag 0/30371000
3216.93/3195.74	c cleaning 245997 clauses out of 492026 with flag 0/30618000
3247.35/3225.94	c cleaning 247006 clauses out of 494030 with flag 0/30866001
3279.21/3257.57	c cleaning 248001 clauses out of 496023 with flag 0/31115000
3309.36/3287.51	c cleaning 248999 clauses out of 498023 with flag 0/31365001
3336.16/3314.12	c cleaning 250001 clauses out of 500023 with flag 0/31616000
3373.27/3351.18	c cleaning 250999 clauses out of 502022 with flag 0/31868000
3404.76/3382.52	c cleaning 252002 clauses out of 504023 with flag 0/32121000
3437.23/3414.95	c cleaning 253001 clauses out of 506021 with flag 0/32375000
3469.44/3447.10	c cleaning 253997 clauses out of 508021 with flag 0/32630001
3503.57/3481.06	c cleaning 254995 clauses out of 510023 with flag 0/32886000
3535.12/3512.52	c cleaning 256001 clauses out of 512028 with flag 0/33143000
3568.15/3545.48	c cleaning 256997 clauses out of 514028 with flag 0/33401001
3600.03/3577.22	c starts		: 1
3600.03/3577.27	c conflicts		: 33660001
3600.03/3577.27	c decisions		: 37668687
3600.03/3577.27	c propagations		: 322936852
3600.03/3577.27	c inspects		: 17996861212
3600.03/3577.27	c shortcuts		: 0
3600.03/3577.27	c learnt literals	: 0
3600.03/3577.27	c learnt binary clauses	: 0
3600.03/3577.27	c learnt ternary clauses	: 8
3600.03/3577.27	c learnt constraints	: 33660001
3600.03/3577.27	c ignored constraints	: 0
3600.03/3577.27	c root simplifications	: 0
3600.03/3577.27	c removed literals (reason simplification)	: 0
3600.03/3577.27	c reason swapping (by a shorter reason)	: 0
3600.03/3577.27	c Calls to reduceDB	: 255
3600.03/3577.27	c Number of update (reduction) of LBD	: 37162290
3600.03/3577.27	c Imported unit clauses	: 0
3600.03/3577.27	c No decision after first conflict	: false
3600.03/3577.27	c number of reductions to clauses (during analyze)	: 0
3600.03/3577.27	c number of learned constraints concerned by reduction	: 0
3600.03/3577.27	c number of learning phase by resolution	: 0
3600.03/3577.27	c number of learning phase by cutting planes	: 0
3600.03/3577.27	c number of rounding to 1 operations	: 0
3600.03/3577.27	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3577.27	c number of reductions of the coefficients by power 2 	: 0
3600.03/3577.27	c number of right shift for reduction by power 2 	: 0
3600.03/3577.27	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3577.27	c number of ending skipping 	: 0
3600.03/3577.27	c number of internal skipping 	: 0
3600.03/3577.27	c number of derivation steps 	: 293839553
3600.03/3577.27	c number of skipped derivation steps 	: 0
3600.03/3577.27	c number of remaining unassigned 	: 0
3600.03/3577.27	c number of remaining assigned 	: 0
3600.03/3577.27	c number of falsified literals weakened from reason	: 0
3600.03/3577.27	c number of falsified literals weakened from conflict	: 0
3600.03/3577.27	c time for arithmetic operations	: 0
3600.03/3577.27	c minimum degree of deleted constraints	: 1
3600.03/3577.27	c maximum degree of deleted constraints	: 1
3600.03/3577.27	c number of deleted constraints	: 33352797
3600.03/3577.27	c speed (assignments/second)	: 90285.99753803726
3600.03/3577.27	c non guided choices	: 10139
3600.22/3577.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 516031
3600.22/3577.38	s UNKNOWN
3600.22/3577.38	c Total wall clock time (in seconds): 3577.073

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447391-1721354339/watcher-4447391-1721354339 -o /tmp/evaluation-result-4447391-1721354339/solver-4447391-1721354339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721350778-987411 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447391-1721354339.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.102816 s]*
/proc/loadavg: 4.77 4.80 4.64 8/318 989727
/proc/meminfo: memFree=123384308/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=18975048 memory=56500 CPUtime=0.14 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 6593 0 0 0 11 3 0 0 20 0 18 0 187590998 19430449152 14125 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4743762 14125 5649 1 0 550909 0
[pid=989709/tid=989711] ppid=989706 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 5506 0 0 0 6 2 0 0 20 0 18 0 187590998 19430449152 14125 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591002 19430449152 14125 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591003 19430449152 14125 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56500 KiB

[startup+0.210402 s]*
/proc/loadavg: 4.79 4.80 4.65 7/318 989727
/proc/meminfo: memFree=123375336/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=18975048 memory=65080 CPUtime=0.3 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 7241 0 0 0 27 3 0 0 20 0 18 0 187590998 19430449152 16270 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4743762 16270 5667 1 0 551455 0
[pid=989709/tid=989711] ppid=989706 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 1077936192 5783 0 0 0 15 2 0 0 20 0 18 0 187590998 19430449152 16270 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=18975048 memory=1774770 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591002 19430449152 16270 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591003 19430449152 16270 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65080 KiB

[startup+0.316993 s]*
/proc/loadavg: 4.79 4.80 4.65 8/318 989727
/proc/meminfo: memFree=123371776/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=18975048 memory=69012 CPUtime=0.5 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 7591 0 0 0 46 4 0 0 20 0 18 0 187590998 19430449152 17253 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4743762 17253 5744 1 0 551699 0
[pid=989709/tid=989711] ppid=989706 vsize=18975048 memory=-8745255329993106108 CPUtime=0.26 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 6005 0 0 0 24 2 0 0 20 0 18 0 187590998 19430449152 17253 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591002 19430449152 17253 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591003 19430449152 17253 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69012 KiB

[startup+0.700341 s]
/proc/loadavg: 4.79 4.80 4.65 6/319 989728
/proc/meminfo: memFree=123368300/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19041612 memory=96076 CPUtime=1.17 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 10112 0 0 0 112 5 0 0 20 0 19 0 187590998 19498610688 24019 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4760403 24019 5869 1 0 553453 0
[pid=989709/tid=989711] ppid=989706 vsize=19041612 memory=5540 CPUtime=0.57 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 6124 0 0 0 54 3 0 0 20 0 19 0 187590998 19498610688 24019 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187591002 19498610688 24019 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19041612 memory=279707195335336 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187591003 19498610688 24019 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187591042 19498610688 24019 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96076 KiB

[startup+1.50081 s]
/proc/loadavg: 4.79 4.80 4.65 7/319 989728
/proc/meminfo: memFree=123284588/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=175460 CPUtime=2.75 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 18268 0 0 0 268 7 0 0 20 0 20 0 187590998 19566772224 43865 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 43865 5885 1 0 556267 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=12508 CPUtime=1.32 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 7075 0 0 0 128 4 0 0 20 0 20 0 187590998 19566772224 43865 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 43865 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 43865 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=279707195188496 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 43865 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175460 KiB

[startup+3.11248 s]
/proc/loadavg: 4.79 4.80 4.65 5/320 989729
/proc/meminfo: memFree=122707212/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=797780 CPUtime=5.34 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 20228 0 0 0 515 19 0 0 20 0 20 0 187590998 19566772224 199445 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 199445 5885 1 0 556612 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=0 CPUtime=2.92 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 8011 0 0 0 276 16 0 0 20 0 20 0 187590998 19566772224 199445 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=12508 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 199445 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 199445 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 199445 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 797780 KiB

[startup+6.30046 s]
/proc/loadavg: 4.72 4.79 4.64 5/320 989729
/proc/meminfo: memFree=121685496/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=1317744 CPUtime=8.93 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 21108 0 0 0 863 30 0 0 20 0 20 0 187590998 19566772224 329436 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 329436 5901 1 0 556620 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=12508 CPUtime=6.08 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 8292 0 0 0 582 26 0 0 20 0 20 0 187590998 19566772224 329436 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 329436 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 329436 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=193956 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 329436 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1317744 KiB

[startup+12.7004 s]
/proc/loadavg: 4.75 4.79 4.64 8/320 989730
/proc/meminfo: memFree=121627916/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=1321972 CPUtime=15.52 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 22403 0 0 0 1522 30 0 0 20 0 20 0 187590998 19566772224 330493 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 330493 5901 1 0 556620 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=0 CPUtime=12.36 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 9044 0 0 0 1210 26 0 0 20 0 20 0 187590998 19566772224 330493 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 330493 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=1321948 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 330493 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=12508 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 330493 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 15.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1321972 KiB

[startup+25.5005 s]
/proc/loadavg: 4.71 4.78 4.64 5/320 989732
/proc/meminfo: memFree=121523144/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=1332320 CPUtime=28.34 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 26581 0 0 0 2802 32 0 0 20 0 20 0 187590998 19566772224 333080 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 333080 5901 1 0 556620 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=1321948 CPUtime=24.91 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 10310 0 0 0 2465 26 0 0 20 0 20 0 187590998 19566772224 333080 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=-8745255329993106108 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 333080 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=45720 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 333080 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 333080 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1332320 KiB

[startup+51.1133 s]
/proc/loadavg: 4.50 4.72 4.63 5/320 989736
/proc/meminfo: memFree=120913636/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=1759348 CPUtime=53.97 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 30380 0 0 0 5355 42 0 0 20 0 20 0 187590998 19566772224 439837 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 439837 5901 1 0 663147 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=1757300 CPUtime=50.01 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 12717 0 0 0 4967 34 0 0 20 0 20 0 187590998 19566772224 439837 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=45720 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 439837 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0

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

/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2302 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3183.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653700 KiB

[startup+3222.3 s]
/proc/loadavg: 4.70 4.32 4.23 5/320 990945
/proc/meminfo: memFree=105453844/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=4653700 CPUtime=3243.76 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 249803 0 0 0 324073 303 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 1163425 5917 1 0 1177051 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=4653700 CPUtime=3162.37 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 120845 0 0 0 316145 92 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2399 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3243.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.31 4.23 5/320 990955
/proc/meminfo: memFree=105453608/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=4653700 CPUtime=3304.18 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 254199 0 0 0 330112 306 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 1163425 5917 1 0 1177051 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=4653700 CPUtime=3221.56 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 123808 0 0 0 322064 92 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2399 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3304.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.31 4.23 5/318 990966
/proc/meminfo: memFree=105452752/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=4653700 CPUtime=3364.46 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 258566 0 0 0 336137 309 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 1163425 5917 1 0 1177051 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=4653700 CPUtime=3280.92 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 126258 0 0 0 328000 92 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=45720 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=45720 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2449 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=19492 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3364.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.28 4.23 7/319 991763
/proc/meminfo: memFree=109199340/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=4653700 CPUtime=3424.66 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 260185 0 0 0 342153 313 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 1163425 5917 1 0 1177051 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=2264 CPUtime=3340.15 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 127604 0 0 0 333922 93 0 0 20 0 20 0 187590998 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2499 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=4653700 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163425 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3424.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.54 4.34 4.25 5/320 991774
/proc/meminfo: memFree=108090400/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=4653708 CPUtime=3484.8 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 264149 0 0 0 348164 316 0 0 20 0 20 0 187590998 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 1163427 5917 1 0 1177051 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=2264 CPUtime=3399.3 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 129207 0 0 0 339837 93 0 0 20 0 20 0 187590998 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=45720 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2595 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3484.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.68 4.40 4.28 5/320 991986
/proc/meminfo: memFree=110968440/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=4653708 CPUtime=3544.93 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 268485 0 0 0 354173 320 0 0 20 0 20 0 187590998 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 1163427 5917 1 0 1177051 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=2264 CPUtime=3458.64 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 131090 0 0 0 345771 93 0 0 20 0 20 0 187590998 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=4653708 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=45720 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2596 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=4653708 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163427 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3544.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3577.2 s]
/proc/loadavg: 4.32 4.35 4.27 5/322 992233
/proc/meminfo: memFree=113796868/131655788 swapFree=131070704/131071996
[pid=989709] ppid=989706 vsize=19108176 memory=4653716 CPUtime=3600.03 cores=5,7
/proc/989709/stat : 989709 (java) S 989706 989709 987398 0 -1 1077936128 269295 0 0 0 359680 323 0 0 20 0 20 0 187590998 19566772224 1163429 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
/proc/989709/statm: 4777044 1163429 5917 1 0 1177051 0
[pid=989709/tid=989711] ppid=989706 vsize=19108176 memory=26808 CPUtime=3512.83 cores=5,7
/proc/989709/task/989711/stat : 989711 (java) R 989706 989709 987398 0 -1 4194368 131566 0 0 0 351190 93 0 0 20 0 20 0 187590998 19566772224 1163429 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989720] ppid=989706 vsize=19108176 memory=25544 CPUtime=0 cores=5,7
/proc/989709/task/989720/stat : 989720 (Finalizer) S 989706 989709 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591002 19566772224 1163429 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989727] ppid=989706 vsize=19108176 memory=1832 CPUtime=0 cores=5,7
/proc/989709/task/989727/stat : 989727 (Common-Cleaner) S 989706 989709 987398 0 -1 1077936192 2645 0 0 0 0 0 0 0 20 0 20 0 187591003 19566772224 1163429 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
[pid=989709/tid=989728] ppid=989706 vsize=19108176 memory=5424 CPUtime=0 cores=5,7
/proc/989709/task/989728/stat : 989728 (Timer-0) S 989706 989709 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591042 19566772224 1163429 134679101440 94483306999808 94483307003504 140728186044496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94483307011320 94483307012112 94483329589248 140728186049524 140728186049632 140728186049632 140728186056648 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.15 s, system=3.25668 s

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

[startup+3577.4 s]*
/proc/loadavg: 4.32 4.35 4.27 5/304 992236
/proc/meminfo: memFree=118395708/131655788 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3577.41
CPU time (s): 3600.41
CPU user time (s): 3597.15
CPU system time (s): 3.25668
CPU usage (%): 100.643
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4654408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.15
system time used= 3.25668
maximum resident set size= 4655596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134863
involuntary context switches= 6749


# summary of solver processes directly reported to runsolver:
#   pid: 989709
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3597.15
#   total CPU system time (s): 3.25668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0678 second user time and 39.2334 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-19 03:59:11
IDJOB=4447391
IDBENCH=158687
IDSOLVER=3052
FILE ID=nodeC011/4447391-1721354339
RUNJOBID= nodeC011-1721350778-987411
SLURM_JOB_ID= 7542750
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n148-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447391-1721354339/watcher-4447391-1721354339 -o /tmp/evaluation-result-4447391-1721354339/solver-4447391-1721354339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721350778-987411 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447391-1721354339.opb

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

MD5SUM BENCH= fefb64a1b2a7fa00e7ba601f2504d0e0
RANDOM SEED=1333367799

nodeC011.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		: 3491.601
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.20
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		: 3626.539
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.266
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.20
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.126
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		: 3633.474
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.20
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		: 1296.884
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.128
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.20
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		: 1795.695
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:        123419524 kB
MemAvailable:   123893840 kB
Buffers:          531580 kB
Cached:           782720 kB
SwapCached:          132 kB
Active:          1041176 kB
Inactive:        6692044 kB
Active(anon):       1452 kB
Inactive(anon):  6454876 kB
Active(file):    1039724 kB
Inactive(file):   237168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              1320 kB
Writeback:             0 kB
AnonPages:       6418796 kB
Mapped:           125104 kB
Shmem:             37400 kB
KReclaimable:      75248 kB
Slab:             158032 kB
SReclaimable:      75248 kB
SUnreclaim:        82784 kB
KernelStack:        4880 kB
PageTables:        22648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11044640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6125568 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC011 at 2024-07-19 04:58:49