Trace number 4447571

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.33 3567.87

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n188-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM1c14f117e67441c2f256fb4d1e22e789
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 variables282
Total number of constraints752
Number of constraints which are clauses752
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.10	c os.arch		amd64
0.14/0.11	c Free memory 		2115194816
0.14/0.11	c Max memory 		16282288128
0.14/0.11	c Total memory 		2122317824
0.14/0.12	c Number of processors 	2
0.14/0.18	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.18	 - never skip resolution steps
0.14/0.18	 - Auto-division on coefficients is disabled
0.14/0.18	 - No postprocessing
0.14/0.18	 - Conflict is considered as is when resolving
0.14/0.18	 - Use constraints as they come during conflict analysis
0.14/0.18	 - Weaken first using unassigned literals
0.14/0.18	 - Bump strategy: ALWAYS_ONE
0.14/0.18	 - Bumper: EFFECTIVE
0.14/0.18	--- Begin Solver configuration ---
0.14/0.18	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.14/0.18	Learn all clauses as in MiniSAT
0.14/0.18	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.18	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.18	No reason simplification
0.14/0.18	Dynamic restart strategy considering the size of the coefficients
0.14/0.18	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.14/0.18	timeout=2147483s
0.14/0.18	DB Simplification allowed=false
0.14/0.18	Listener: none
0.14/0.18	--- End Solver configuration ---
0.14/0.19	c Pseudo Boolean Optimization by upper bound
0.14/0.19	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.19	c  - never skip resolution steps
0.14/0.19	c  - Auto-division on coefficients is disabled
0.14/0.19	c  - No postprocessing
0.14/0.19	c  - Conflict is considered as is when resolving
0.14/0.19	c  - Use constraints as they come during conflict analysis
0.14/0.19	c  - Weaken first using unassigned literals
0.14/0.19	c  - Bump strategy: ALWAYS_ONE
0.14/0.19	c  - Bumper: EFFECTIVE
0.14/0.19	c --- Begin Solver configuration ---
0.14/0.19	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.14/0.19	c Learn all clauses as in MiniSAT
0.14/0.19	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.19	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.19	c No reason simplification
0.14/0.19	c Dynamic restart strategy considering the size of the coefficients
0.14/0.19	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.14/0.19	c timeout=2147483s
0.14/0.19	c DB Simplification allowed=false
0.14/0.19	c Listener: none
0.14/0.19	c --- End Solver configuration ---
0.14/0.19	c solving HOME/instance-4447571-1721356318.opb
0.14/0.19	c reading problem ... 
0.14/0.19	c  no objective function found
0.33/0.25	c ... done. Wall clock time 0.059s.
0.33/0.25	c declared #vars     282
0.33/0.25	c #constraints  752
0.33/0.25	c constraints type 
0.33/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 752
0.33/0.25	c 752 constraints processed.
2.06/1.16	c cleaning 2494 clauses out of 5000 with flag 0/5000
3.24/1.74	c cleaning 4247 clauses out of 8506 with flag 0/11000
4.32/2.35	c cleaning 5625 clauses out of 11260 with flag 0/18001
4.90/2.89	c cleaning 6813 clauses out of 13634 with flag 0/26000
5.71/3.44	c cleaning 7903 clauses out of 15821 with flag 0/35000
6.54/4.03	c cleaning 8952 clauses out of 17918 with flag 0/45000
8.01/5.47	c cleaning 9977 clauses out of 19967 with flag 0/56001
8.91/6.39	c cleaning 10988 clauses out of 21990 with flag 0/68001
9.80/7.22	c cleaning 11994 clauses out of 24001 with flag 0/81000
10.73/8.13	c cleaning 12997 clauses out of 26007 with flag 0/95000
11.63/9.06	c cleaning 13998 clauses out of 28011 with flag 0/110001
12.63/10.04	c cleaning 15001 clauses out of 30013 with flag 0/126001
13.82/11.18	c cleaning 15997 clauses out of 32012 with flag 0/143001
15.09/12.30	c cleaning 17003 clauses out of 34015 with flag 0/161001
16.09/13.39	c cleaning 17998 clauses out of 36012 with flag 0/180001
17.49/14.74	c cleaning 19002 clauses out of 38013 with flag 0/200000
18.90/16.11	c cleaning 19997 clauses out of 40011 with flag 0/221000
20.30/17.52	c cleaning 20999 clauses out of 42014 with flag 0/243000
21.70/18.91	c cleaning 22000 clauses out of 44015 with flag 0/266000
23.19/20.49	c cleaning 23000 clauses out of 46015 with flag 0/290000
25.00/22.23	c cleaning 24002 clauses out of 48017 with flag 0/315002
26.81/24.05	c cleaning 24999 clauses out of 50014 with flag 0/341001
28.62/25.89	c cleaning 25999 clauses out of 52016 with flag 0/368002
30.62/27.82	c cleaning 27001 clauses out of 54016 with flag 0/396001
32.51/29.76	c cleaning 27997 clauses out of 56014 with flag 0/425000
34.52/31.73	c cleaning 29002 clauses out of 58017 with flag 0/455000
36.51/33.77	c cleaning 30001 clauses out of 60015 with flag 0/486000
38.82/36.04	c cleaning 30999 clauses out of 62014 with flag 0/518000
41.00/38.21	c cleaning 32003 clauses out of 64015 with flag 0/551000
43.32/40.50	c cleaning 32998 clauses out of 66013 with flag 0/585001
45.72/42.95	c cleaning 34001 clauses out of 68015 with flag 0/620001
48.32/45.53	c cleaning 34994 clauses out of 70013 with flag 0/656000
51.04/48.21	c cleaning 36002 clauses out of 72020 with flag 0/693001
53.75/50.96	c cleaning 37002 clauses out of 74018 with flag 0/731001
56.47/53.63	c cleaning 37997 clauses out of 76016 with flag 0/770001
59.47/56.61	c cleaning 38998 clauses out of 78019 with flag 0/810001
62.60/59.71	c cleaning 40002 clauses out of 80020 with flag 0/851000
65.79/62.95	c cleaning 40999 clauses out of 82018 with flag 0/893000
70.08/67.25	c cleaning 42003 clauses out of 84021 with flag 0/936002
74.60/71.74	c cleaning 42999 clauses out of 86016 with flag 0/980000
78.41/75.43	c cleaning 44003 clauses out of 88017 with flag 0/1025000
81.92/78.94	c cleaning 44999 clauses out of 90014 with flag 0/1071000
85.86/82.87	c cleaning 46002 clauses out of 92016 with flag 0/1118001
89.56/86.59	c cleaning 46997 clauses out of 94013 with flag 0/1166000
93.44/90.35	c cleaning 47998 clauses out of 96017 with flag 0/1215001
97.21/94.07	c cleaning 49000 clauses out of 98018 with flag 0/1265000
101.22/98.07	c cleaning 50001 clauses out of 100018 with flag 0/1316000
105.38/102.11	c cleaning 51000 clauses out of 102017 with flag 0/1368000
109.60/106.39	c cleaning 52001 clauses out of 104017 with flag 0/1421000
113.83/110.56	c cleaning 52999 clauses out of 106017 with flag 0/1475001
118.08/114.74	c cleaning 53995 clauses out of 108018 with flag 0/1530001
123.04/119.63	c cleaning 55003 clauses out of 110022 with flag 0/1586000
128.00/124.43	c cleaning 56000 clauses out of 112019 with flag 0/1643000
132.68/129.06	c cleaning 57001 clauses out of 114019 with flag 0/1701000
137.44/133.79	c cleaning 57999 clauses out of 116018 with flag 0/1760000
143.01/139.27	c cleaning 59001 clauses out of 118019 with flag 0/1820000
147.97/144.18	c cleaning 60000 clauses out of 120018 with flag 0/1881000
153.40/149.40	c cleaning 61002 clauses out of 122019 with flag 0/1943001
158.76/154.74	c cleaning 61999 clauses out of 124016 with flag 0/2006000
164.77/160.74	c cleaning 62998 clauses out of 126017 with flag 0/2070000
170.44/166.31	c cleaning 63996 clauses out of 128020 with flag 0/2135001
176.17/172.01	c cleaning 65003 clauses out of 130024 with flag 0/2201001
182.17/177.92	c cleaning 65997 clauses out of 132020 with flag 0/2268000
187.97/183.71	c cleaning 67006 clauses out of 134023 with flag 0/2336000
196.49/192.15	c cleaning 68000 clauses out of 136018 with flag 0/2405001
204.33/199.91	c cleaning 69006 clauses out of 138017 with flag 0/2475000
211.49/207.00	c cleaning 69993 clauses out of 140012 with flag 0/2546001
218.35/213.63	c cleaning 71001 clauses out of 142018 with flag 0/2618000
225.55/220.74	c cleaning 72000 clauses out of 144017 with flag 0/2691000
232.59/227.69	c cleaning 73003 clauses out of 146018 with flag 0/2765001
239.34/234.39	c cleaning 73999 clauses out of 148014 with flag 0/2840000
246.87/241.71	c cleaning 74996 clauses out of 150016 with flag 0/2916001
254.13/248.88	c cleaning 76000 clauses out of 152019 with flag 0/2993000
260.18/254.85	c cleaning 77003 clauses out of 154020 with flag 0/3071001
267.07/261.68	c cleaning 77998 clauses out of 156017 with flag 0/3150001
274.20/268.66	c cleaning 79005 clauses out of 158018 with flag 0/3230000
281.46/275.87	c cleaning 79997 clauses out of 160014 with flag 0/3311001
289.03/283.39	c cleaning 80997 clauses out of 162017 with flag 0/3393001
297.65/291.84	c cleaning 81993 clauses out of 164020 with flag 0/3476001
306.34/300.44	c cleaning 83001 clauses out of 166026 with flag 0/3560000
313.71/307.71	c cleaning 84003 clauses out of 168025 with flag 0/3645000
322.26/316.28	c cleaning 85001 clauses out of 170023 with flag 0/3731001
331.52/325.36	c cleaning 85996 clauses out of 172022 with flag 0/3818001
340.80/334.46	c cleaning 87004 clauses out of 174025 with flag 0/3906000
349.48/342.98	c cleaning 87997 clauses out of 176021 with flag 0/3995000
358.62/351.90	c cleaning 89005 clauses out of 178024 with flag 0/4085000
367.12/360.14	c cleaning 90001 clauses out of 180020 with flag 0/4176001
375.27/368.19	c cleaning 90999 clauses out of 182018 with flag 0/4268000
383.92/376.79	c cleaning 91998 clauses out of 184019 with flag 0/4361000
392.58/385.25	c cleaning 93002 clauses out of 186022 with flag 0/4455001
401.03/393.55	c cleaning 94001 clauses out of 188019 with flag 0/4550000
409.52/401.93	c cleaning 94999 clauses out of 190018 with flag 0/4646000
418.05/410.47	c cleaning 95999 clauses out of 192019 with flag 0/4743000
426.93/419.25	c cleaning 96999 clauses out of 194020 with flag 0/4841000
435.86/428.05	c cleaning 98004 clauses out of 196021 with flag 0/4940000
443.97/436.01	c cleaning 98996 clauses out of 198017 with flag 0/5040000
451.98/443.99	c cleaning 100003 clauses out of 200022 with flag 0/5141001
461.39/453.25	c cleaning 101000 clauses out of 202018 with flag 0/5243000
469.96/461.68	c cleaning 102000 clauses out of 204019 with flag 0/5346001
479.53/471.02	c cleaning 103000 clauses out of 206019 with flag 0/5450001
488.96/480.38	c cleaning 104000 clauses out of 208019 with flag 0/5555001
499.24/490.45	c cleaning 105000 clauses out of 210018 with flag 0/5661000
508.67/499.78	c cleaning 106001 clauses out of 212020 with flag 0/5768002
518.40/509.33	c cleaning 106995 clauses out of 214018 with flag 0/5876001
528.37/519.17	c cleaning 108004 clauses out of 216022 with flag 0/5985000
539.30/529.91	c cleaning 109004 clauses out of 218019 with flag 0/6095001
550.12/540.66	c cleaning 109996 clauses out of 220015 with flag 0/6206001
561.48/551.81	c cleaning 111001 clauses out of 222018 with flag 0/6318000
572.37/562.57	c cleaning 112001 clauses out of 224017 with flag 0/6431000
583.90/573.96	c cleaning 112999 clauses out of 226017 with flag 0/6545001
593.66/583.56	c cleaning 113999 clauses out of 228017 with flag 0/6660000
604.83/594.69	c cleaning 114999 clauses out of 230019 with flag 0/6776001
616.60/606.20	c cleaning 116000 clauses out of 232020 with flag 0/6893001
627.23/616.72	c cleaning 117001 clauses out of 234020 with flag 0/7011001
636.87/626.28	c cleaning 118001 clauses out of 236018 with flag 0/7130000
648.41/637.51	c cleaning 118996 clauses out of 238018 with flag 0/7250001
659.20/648.26	c cleaning 120000 clauses out of 240022 with flag 0/7371001
669.77/658.77	c cleaning 121002 clauses out of 242021 with flag 0/7493000
681.63/670.49	c cleaning 121999 clauses out of 244020 with flag 0/7616001
692.01/680.75	c cleaning 122998 clauses out of 246021 with flag 0/7740001
703.57/692.26	c cleaning 123998 clauses out of 248022 with flag 0/7865000
714.43/703.02	c cleaning 125001 clauses out of 250025 with flag 0/7991001
725.30/713.80	c cleaning 126002 clauses out of 252025 with flag 0/8118002
736.78/725.21	c cleaning 126996 clauses out of 254021 with flag 0/8246000
748.03/736.41	c cleaning 128006 clauses out of 256026 with flag 0/8375001
762.32/750.66	c cleaning 129000 clauses out of 258019 with flag 0/8505000
775.82/764.04	c cleaning 129999 clauses out of 260020 with flag 0/8636001
788.75/776.88	c cleaning 131000 clauses out of 262020 with flag 0/8768000
802.43/790.35	c cleaning 131997 clauses out of 264021 with flag 0/8901001
816.45/804.17	c cleaning 133003 clauses out of 266024 with flag 0/9035001
829.80/817.37	c cleaning 134000 clauses out of 268021 with flag 0/9170001
843.50/830.93	c cleaning 134998 clauses out of 270020 with flag 0/9306000
858.52/845.82	c cleaning 135996 clauses out of 272022 with flag 0/9443000
873.40/860.60	c cleaning 137001 clauses out of 274027 with flag 0/9581001
888.47/875.66	c cleaning 138002 clauses out of 276025 with flag 0/9720000
903.77/890.80	c cleaning 139003 clauses out of 278023 with flag 0/9860000
918.97/905.98	c cleaning 140001 clauses out of 280020 with flag 0/10001000
933.66/920.58	c cleaning 141002 clauses out of 282019 with flag 0/10143000
947.76/934.52	c cleaning 142000 clauses out of 284018 with flag 0/10286001
962.02/948.79	c cleaning 142999 clauses out of 286017 with flag 0/10430000
977.75/964.36	c cleaning 143995 clauses out of 288019 with flag 0/10575001
992.77/979.23	c cleaning 144999 clauses out of 290023 with flag 0/10721000
1006.67/993.05	c cleaning 145996 clauses out of 292024 with flag 0/10868000
1020.97/1007.32	c cleaning 147001 clauses out of 294028 with flag 0/11016000
1036.26/1022.44	c cleaning 148001 clauses out of 296028 with flag 0/11165001
1049.74/1035.88	c cleaning 149003 clauses out of 298027 with flag 0/11315001
1063.27/1049.23	c cleaning 149999 clauses out of 300024 with flag 0/11466001
1077.85/1063.70	c cleaning 150998 clauses out of 302025 with flag 0/11618001
1092.12/1077.80	c cleaning 152003 clauses out of 304027 with flag 0/11771001
1106.33/1091.95	c cleaning 153002 clauses out of 306024 with flag 0/11925001
1123.61/1109.15	c cleaning 154000 clauses out of 308022 with flag 0/12080001
1139.74/1125.19	c cleaning 155006 clauses out of 310021 with flag 0/12236000
1154.75/1139.99	c cleaning 155996 clauses out of 312015 with flag 0/12393000
1171.58/1156.53	c cleaning 156996 clauses out of 314019 with flag 0/12551000
1186.62/1171.34	c cleaning 158002 clauses out of 316023 with flag 0/12710000
1203.67/1188.29	c cleaning 158998 clauses out of 318022 with flag 0/12870001
1221.12/1205.55	c cleaning 160000 clauses out of 320023 with flag 0/13031000
1237.70/1222.06	c cleaning 160996 clauses out of 322023 with flag 0/13193000
1254.30/1238.67	c cleaning 162005 clauses out of 324028 with flag 0/13356001
1271.53/1255.84	c cleaning 162999 clauses out of 326022 with flag 0/13520000
1289.99/1274.14	c cleaning 164001 clauses out of 328024 with flag 0/13685001
1308.14/1292.18	c cleaning 165001 clauses out of 330022 with flag 0/13851000
1325.39/1309.37	c cleaning 166000 clauses out of 332022 with flag 0/14018001
1342.45/1326.32	c cleaning 167001 clauses out of 334021 with flag 0/14186000
1358.50/1342.38	c cleaning 167999 clauses out of 336020 with flag 0/14355000
1376.33/1360.10	c cleaning 168997 clauses out of 338021 with flag 0/14525000
1394.79/1378.20	c cleaning 170000 clauses out of 340025 with flag 0/14696001
1412.89/1396.18	c cleaning 171003 clauses out of 342025 with flag 0/14868001
1431.51/1414.60	c cleaning 172003 clauses out of 344022 with flag 0/15041001
1449.50/1432.39	c cleaning 172998 clauses out of 346018 with flag 0/15215000
1467.35/1449.94	c cleaning 173995 clauses out of 348021 with flag 0/15390001
1485.99/1468.48	c cleaning 175005 clauses out of 350025 with flag 0/15566000
1503.09/1485.24	c cleaning 175998 clauses out of 352020 with flag 0/15743000
1520.96/1502.91	c cleaning 176997 clauses out of 354022 with flag 0/15921000
1539.11/1520.90	c cleaning 178002 clauses out of 356026 with flag 0/16100001
1558.38/1540.07	c cleaning 179003 clauses out of 358024 with flag 0/16280001
1578.48/1560.09	c cleaning 180000 clauses out of 360021 with flag 0/16461001
1599.08/1580.44	c cleaning 180996 clauses out of 362020 with flag 0/16643000
1620.19/1601.23	c cleaning 182000 clauses out of 364024 with flag 0/16826000
1639.84/1619.91	c cleaning 183006 clauses out of 366024 with flag 0/17010000
1659.18/1639.13	c cleaning 184000 clauses out of 368019 with flag 0/17195001
1678.77/1658.52	c cleaning 185003 clauses out of 370020 with flag 0/17381002
1699.83/1679.46	c cleaning 185992 clauses out of 372016 with flag 0/17568001
1720.61/1700.05	c cleaning 187000 clauses out of 374024 with flag 0/17756001
1741.56/1720.88	c cleaning 188002 clauses out of 376024 with flag 0/17945001
1762.61/1741.55	c cleaning 188996 clauses out of 378022 with flag 0/18135001
1783.80/1762.55	c cleaning 190001 clauses out of 380026 with flag 0/18326001
1805.98/1784.57	c cleaning 191001 clauses out of 382024 with flag 0/18518000
1825.37/1803.72	c cleaning 192004 clauses out of 384025 with flag 0/18711002
1846.17/1824.49	c cleaning 192997 clauses out of 386020 with flag 0/18905001
1866.26/1844.41	c cleaning 193998 clauses out of 388023 with flag 0/19100001
1886.77/1864.75	c cleaning 194998 clauses out of 390025 with flag 0/19296001
1908.60/1886.30	c cleaning 196006 clauses out of 392026 with flag 0/19493000
1929.72/1907.23	c cleaning 196996 clauses out of 394020 with flag 0/19691000
1949.38/1926.50	c cleaning 198000 clauses out of 396025 with flag 0/19890001
1970.21/1947.17	c cleaning 199002 clauses out of 398025 with flag 0/20090001
1990.58/1967.34	c cleaning 199998 clauses out of 400023 with flag 0/20291001
2013.33/1989.94	c cleaning 201000 clauses out of 402025 with flag 0/20493001
2034.64/2011.06	c cleaning 202000 clauses out of 404025 with flag 0/20696001
2059.12/2035.28	c cleaning 203002 clauses out of 406025 with flag 0/20900001
2082.62/2058.55	c cleaning 203999 clauses out of 408022 with flag 0/21105000
2105.94/2081.66	c cleaning 205001 clauses out of 410023 with flag 0/21311000
2129.55/2104.80	c cleaning 206003 clauses out of 412023 with flag 0/21518001
2153.38/2128.40	c cleaning 207002 clauses out of 414019 with flag 0/21726000
2178.64/2153.45	c cleaning 207998 clauses out of 416018 with flag 0/21935001
2210.78/2185.42	c cleaning 208996 clauses out of 418019 with flag 0/22145000
2235.36/2209.83	c cleaning 210000 clauses out of 420023 with flag 0/22356000
2259.79/2234.02	c cleaning 210998 clauses out of 422024 with flag 0/22568001
2284.54/2258.60	c cleaning 211998 clauses out of 424025 with flag 0/22781000
2311.55/2285.36	c cleaning 213002 clauses out of 426027 with flag 0/22995000
2338.27/2311.91	c cleaning 214000 clauses out of 428026 with flag 0/23210001
2365.68/2339.12	c cleaning 214999 clauses out of 430026 with flag 0/23426001
2393.32/2366.66	c cleaning 216005 clauses out of 432027 with flag 0/23643001
2422.81/2396.03	c cleaning 216999 clauses out of 434022 with flag 0/23861001
2445.81/2418.95	c cleaning 218002 clauses out of 436023 with flag 0/24080001
2470.76/2443.88	c cleaning 219000 clauses out of 438020 with flag 0/24300000
2502.54/2475.60	c cleaning 220002 clauses out of 440020 with flag 0/24521000
2529.66/2502.41	c cleaning 221003 clauses out of 442019 with flag 0/24743001
2555.91/2528.37	c cleaning 221993 clauses out of 444015 with flag 0/24966000
2585.04/2557.33	c cleaning 223000 clauses out of 446022 with flag 0/25190000
2609.84/2582.10	c cleaning 224001 clauses out of 448022 with flag 0/25415000
2639.61/2611.77	c cleaning 225002 clauses out of 450021 with flag 0/25641000
2664.34/2636.43	c cleaning 226003 clauses out of 452019 with flag 0/25868000
2693.54/2665.49	c cleaning 226999 clauses out of 454016 with flag 0/26096000
2720.71/2692.57	c cleaning 227999 clauses out of 456018 with flag 0/26325001
2749.25/2720.92	c cleaning 229000 clauses out of 458018 with flag 0/26555000
2775.25/2746.89	c cleaning 229995 clauses out of 460019 with flag 0/26786001
2809.24/2780.67	c cleaning 231005 clauses out of 462024 with flag 0/27018001
2839.49/2810.69	c cleaning 231999 clauses out of 464019 with flag 0/27251001
2869.73/2840.61	c cleaning 232999 clauses out of 466019 with flag 0/27485000
2900.68/2871.43	c cleaning 233999 clauses out of 468021 with flag 0/27720001
2929.22/2899.87	c cleaning 234996 clauses out of 470021 with flag 0/27956000
2960.17/2930.62	c cleaning 235998 clauses out of 472026 with flag 0/28193001
2989.92/2960.29	c cleaning 237002 clauses out of 474027 with flag 0/28431000
3021.72/2991.91	c cleaning 237999 clauses out of 476026 with flag 0/28670001
3053.20/3023.36	c cleaning 239002 clauses out of 478026 with flag 0/28910000
3080.55/3050.50	c cleaning 240007 clauses out of 480025 with flag 0/29151001
3107.65/3077.54	c cleaning 240998 clauses out of 482018 with flag 0/29393001
3136.51/3106.29	c cleaning 241995 clauses out of 484019 with flag 0/29636000
3168.11/3137.70	c cleaning 243002 clauses out of 486025 with flag 0/29880001
3200.80/3170.36	c cleaning 243999 clauses out of 488023 with flag 0/30125001
3232.28/3201.74	c cleaning 245001 clauses out of 490023 with flag 0/30371000
3263.60/3232.90	c cleaning 246001 clauses out of 492022 with flag 0/30618000
3293.17/3262.36	c cleaning 247001 clauses out of 494022 with flag 0/30866001
3325.92/3295.00	c cleaning 248001 clauses out of 496020 with flag 0/31115000
3358.50/3327.49	c cleaning 248997 clauses out of 498019 with flag 0/31365000
3391.12/3360.00	c cleaning 250001 clauses out of 500023 with flag 0/31616001
3424.83/3393.34	c cleaning 251002 clauses out of 502022 with flag 0/31868001
3459.67/3428.09	c cleaning 251999 clauses out of 504020 with flag 0/32121001
3490.14/3458.33	c cleaning 253000 clauses out of 506020 with flag 0/32375000
3521.55/3489.67	c cleaning 253996 clauses out of 508020 with flag 0/32630000
3551.33/3519.29	c cleaning 254997 clauses out of 510025 with flag 0/32886001
3587.22/3554.98	c cleaning 256004 clauses out of 512028 with flag 0/33143001
3600.06/3567.72	c starts		: 1
3600.06/3567.72	c conflicts		: 33316485
3600.06/3567.72	c decisions		: 38286876
3600.06/3567.72	c propagations		: 293833334
3600.06/3567.72	c inspects		: 17982119493
3600.06/3567.72	c shortcuts		: 0
3600.06/3567.72	c learnt literals	: 0
3600.06/3567.72	c learnt binary clauses	: 0
3600.06/3567.72	c learnt ternary clauses	: 4
3600.06/3567.72	c learnt constraints	: 33316484
3600.06/3567.72	c ignored constraints	: 0
3600.06/3567.72	c root simplifications	: 0
3600.06/3567.72	c removed literals (reason simplification)	: 0
3600.06/3567.72	c reason swapping (by a shorter reason)	: 0
3600.06/3567.72	c Calls to reduceDB	: 253
3600.06/3567.72	c Number of update (reduction) of LBD	: 38618265
3600.06/3567.72	c Imported unit clauses	: 0
3600.06/3567.72	c No decision after first conflict	: false
3600.06/3567.72	c number of reductions to clauses (during analyze)	: 0
3600.06/3567.72	c number of learned constraints concerned by reduction	: 0
3600.06/3567.72	c number of learning phase by resolution	: 0
3600.06/3567.72	c number of learning phase by cutting planes	: 0
3600.06/3567.72	c number of rounding to 1 operations	: 0
3600.06/3567.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3567.72	c number of reductions of the coefficients by power 2 	: 0
3600.06/3567.72	c number of right shift for reduction by power 2 	: 0
3600.06/3567.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3567.72	c number of ending skipping 	: 0
3600.06/3567.72	c number of internal skipping 	: 0
3600.06/3567.72	c number of derivation steps 	: 264778441
3600.06/3567.72	c number of skipped derivation steps 	: 0
3600.06/3567.72	c number of remaining unassigned 	: 0
3600.06/3567.72	c number of remaining assigned 	: 0
3600.06/3567.72	c number of falsified literals weakened from reason	: 0
3600.06/3567.72	c number of falsified literals weakened from conflict	: 0
3600.06/3567.72	c time for arithmetic operations	: 0
3600.06/3567.73	c minimum degree of deleted constraints	: 1
3600.06/3567.73	c maximum degree of deleted constraints	: 1
3600.06/3567.73	c number of deleted constraints	: 32886977
3600.06/3567.73	c speed (assignments/second)	: 82364.41868333353
3600.06/3567.73	c non guided choices	: 11609
3600.06/3567.74	c timeout
3600.26/3567.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 429507
3600.26/3567.82	s UNKNOWN
3600.26/3567.82	c Total wall clock time (in seconds): 3567.642

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447571-1721356318/watcher-4447571-1721356318 -o /tmp/evaluation-result-4447571-1721356318/solver-4447571-1721356318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989909 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447571-1721356318.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.105265 s]*
/proc/loadavg: 4.66 4.66 4.47 8/318 992047
/proc/meminfo: memFree=111710492/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=18975048 memory=60168 CPUtime=0.14 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 7078 0 0 0 12 2 0 0 20 0 18 0 187790488 19430449152 15042 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4743762 15042 5613 1 0 551320 0
[pid=992029/tid=992031] ppid=992026 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 1077936192 5658 0 0 0 7 2 0 0 20 0 18 0 187790488 19430449152 15042 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187790492 19430449152 15042 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=18975048 memory=4050198648221597728 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187790493 19430449152 15042 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60168 KiB

[startup+0.209511 s]*
/proc/loadavg: 4.66 4.66 4.47 8/318 992047
/proc/meminfo: memFree=111702116/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=18975048 memory=71368 CPUtime=0.33 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 7627 0 0 0 31 2 0 0 20 0 18 0 187790488 19430449152 17330 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4743762 17330 5823 1 0 551710 0
[pid=992029/tid=992031] ppid=992026 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 6025 0 0 0 17 2 0 0 20 0 18 0 187790488 19430449152 17842 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=18975048 memory=19020 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187790492 19430449152 17842 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=18975048 memory=15544037289509020 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187790493 19430449152 17842 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71368 KiB

[startup+0.316514 s]*
/proc/loadavg: 4.66 4.66 4.47 9/319 992048
/proc/meminfo: memFree=111665872/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19041612 memory=76360 CPUtime=0.53 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 7870 0 0 0 50 3 0 0 20 0 19 0 187790488 19498610688 19090 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4760403 19090 5839 1 0 552118 0
[pid=992029/tid=992031] ppid=992026 vsize=19041612 memory=-8744700106669073084 CPUtime=0.29 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 6102 0 0 0 27 2 0 0 20 0 19 0 187790488 19498610688 19602 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187790492 19498610688 19602 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187790493 19498610688 19602 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187790513 19498610688 19602 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76360 KiB

[startup+0.706021 s]
/proc/loadavg: 4.66 4.66 4.47 6/319 992049
/proc/meminfo: memFree=111489968/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19041612 memory=161492 CPUtime=1.27 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 10737 0 0 0 122 5 0 0 20 0 19 0 187790488 19498610688 40373 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4760403 40373 5839 1 0 553755 0
[pid=992029/tid=992031] ppid=992026 vsize=19041612 memory=12020 CPUtime=0.67 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 6147 0 0 0 64 3 0 0 20 0 19 0 187790488 19498610688 40373 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19041612 memory=12020 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187790492 19498610688 40373 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187790493 19498610688 40373 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19041612 memory=1824 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187790513 19498610688 40373 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 161492 KiB

[startup+1.50052 s]
/proc/loadavg: 4.69 4.66 4.47 8/320 992050
/proc/meminfo: memFree=111120740/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=204096 CPUtime=2.84 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 17976 0 0 0 278 6 0 0 20 0 20 0 187790488 19566772224 51024 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 51024 5839 1 0 556349 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=12020 CPUtime=1.44 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 7294 0 0 0 141 3 0 0 20 0 20 0 187790488 19566772224 51024 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 51024 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 51024 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 51024 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204096 KiB

[startup+3.10652 s]
/proc/loadavg: 4.69 4.66 4.47 9/320 992050
/proc/meminfo: memFree=109874684/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=1086172 CPUtime=5.4 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 20136 0 0 0 517 23 0 0 20 0 20 0 187790488 19566772224 271543 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 271543 5855 1 0 556652 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=0 CPUtime=3.01 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 8070 0 0 0 282 19 0 0 20 0 20 0 187790488 19566772224 271543 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 271543 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=340276 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 271543 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=12020 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 271543 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1086172 KiB

[startup+6.30046 s]
/proc/loadavg: 4.63 4.65 4.47 7/320 992050
/proc/meminfo: memFree=109632112/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=1317804 CPUtime=8.91 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 20296 0 0 0 861 30 0 0 20 0 20 0 187790488 19566772224 329451 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 329451 5855 1 0 556652 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=12020 CPUtime=6.17 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 8199 0 0 0 591 26 0 0 20 0 20 0 187790488 19566772224 329451 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 329451 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=6443078122814396758 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 329451 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=5468 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 329451 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1317804 KiB

[startup+12.7004 s]
/proc/loadavg: 4.58 4.64 4.47 7/320 992052
/proc/meminfo: memFree=109617512/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=1328144 CPUtime=15.49 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 21760 0 0 0 1518 31 0 0 20 0 20 0 187790488 19566772224 332036 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 332036 5855 1 0 556652 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=0 CPUtime=12.41 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 9057 0 0 0 1215 26 0 0 20 0 20 0 187790488 19566772224 332036 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=1324032 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 332036 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 332036 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=16224 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 332036 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1328144 KiB

[startup+25.5005 s]
/proc/loadavg: 4.65 4.65 4.47 6/320 992055
/proc/meminfo: memFree=109183528/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=1750964 CPUtime=28.33 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 25763 0 0 0 2793 40 0 0 20 0 20 0 187790488 19566772224 437741 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 437741 5863 1 0 663180 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=1324032 CPUtime=24.97 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 10925 0 0 0 2463 34 0 0 20 0 20 0 187790488 19566772224 437741 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=16224 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 437741 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=4739 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 437741 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=1750964 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 437741 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1750964 KiB

[startup+51.1136 s]
/proc/loadavg: 4.47 4.61 4.46 8/320 992059
/proc/meminfo: memFree=108748640/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=1761548 CPUtime=53.96 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 29749 0 0 0 5354 42 0 0 20 0 20 0 187790488 19566772224 440387 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 440387 5863 1 0 663180 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=11516 CPUtime=50.02 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 12171 0 0 0 4967 35 0 0 20 0 20 0 187790488 19566772224 440387 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0

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

[startup+3222.3 s]
/proc/loadavg: 4.37 4.29 4.29 5/319 993996
/proc/meminfo: memFree=105872580/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3253.01 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 271340 0 0 0 325018 283 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 1105623 5895 1 0 1118485 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=12020 CPUtime=3157.68 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 144284 0 0 0 315677 91 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=11516 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=11516 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 2656 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=16224 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3253.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4422492 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.28 4.28 5/319 994006
/proc/meminfo: memFree=105872712/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3313.33 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 277272 0 0 0 331046 287 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 1105623 5895 1 0 1118485 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3216.76 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 146787 0 0 0 321585 91 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 2706 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=11516 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3313.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4422492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.27 4.27 5/319 994016
/proc/meminfo: memFree=105872344/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3373.48 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 280059 0 0 0 337057 291 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 1105623 5895 1 0 1118485 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3276.15 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 149127 0 0 0 327524 91 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 2755 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3373.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4422492 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.25 4.27 5/320 994195
/proc/meminfo: memFree=105871192/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3433.88 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 284179 0 0 0 343093 295 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 1105623 5895 1 0 1118485 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3335.24 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 151362 0 0 0 333432 92 0 0 20 0 20 0 187790488 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 2805 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 1105623 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3433.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4422492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.25 4.27 5/320 994206
/proc/meminfo: memFree=105871224/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=4422496 CPUtime=3494.16 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 288282 0 0 0 349117 299 0 0 20 0 20 0 187790488 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 1105624 5895 1 0 1118485 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=4422492 CPUtime=3394.49 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 154070 0 0 0 339356 93 0 0 20 0 20 0 187790488 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 2890 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=44612 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3494.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4422496 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.22 4.25 5/320 994272
/proc/meminfo: memFree=105870700/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=4422496 CPUtime=3554.45 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 292495 0 0 0 355142 303 0 0 20 0 20 0 187790488 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 1105624 5895 1 0 1118485 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=4422496 CPUtime=3453.67 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 157061 0 0 0 345273 94 0 0 20 0 20 0 187790488 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=4422496 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=4422492 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 2976 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=4422496 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 1105624 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3554.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4422496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3567.7 s]
/proc/loadavg: 4.13 4.20 4.25 5/319 994278
/proc/meminfo: memFree=105870724/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19108176 memory=4422500 CPUtime=3600.06 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 296505 0 0 0 359700 306 0 0 20 0 20 0 187790488 19566772224 1105625 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4777044 1105625 5895 1 0 1118485 0
[pid=992029/tid=992031] ppid=992026 vsize=19108176 memory=4422496 CPUtime=3498.59 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) R 992026 992029 989898 0 -1 4194368 159542 0 0 0 349765 94 0 0 20 0 20 0 187790488 19566772224 1105625 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19108176 memory=11516 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187790492 19566772224 1105625 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19108176 memory=4422500 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 3061 0 0 0 0 0 0 0 20 0 20 0 187790493 19566772224 1105625 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992048] ppid=992026 vsize=19108176 memory=11516 CPUtime=0 cores=4,6
/proc/992029/task/992048/stat : 992048 (Timer-0) S 992026 992029 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187790513 19566772224 1105625 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4422500 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.25 s, system=3.08485 s

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

[startup+3567.81 s]
/proc/loadavg: 4.13 4.20 4.25 5/319 994278
/proc/meminfo: memFree=105870724/131655788 swapFree=131071996/131071996
[pid=992029] ppid=992026 vsize=19307868 memory=4423696 CPUtime=3600.26 cores=4,6
/proc/992029/stat : 992029 (java) S 992026 992029 989898 0 -1 1077936128 299204 0 0 0 359720 306 0 0 20 0 21 0 187790488 19771256832 1105924 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
/proc/992029/statm: 4826967 1105924 5894 1 0 1119481 0
[pid=992029/tid=992031] ppid=992026 vsize=19307868 memory=31952 CPUtime=3498.61 cores=4,6
/proc/992029/task/992031/stat : 992031 (java) S 992026 992029 989898 0 -1 1077936192 159635 0 0 0 349767 94 0 0 20 0 21 0 187790488 19771256832 1105924 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 76 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992040] ppid=992026 vsize=19307868 memory=-8744700106669073084 CPUtime=0 cores=4,6
/proc/992029/task/992040/stat : 992040 (Finalizer) S 992026 992029 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 187790492 19771256832 1105924 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
[pid=992029/tid=992047] ppid=992026 vsize=19307868 memory=30384 CPUtime=0 cores=4,6
/proc/992029/task/992047/stat : 992047 (Common-Cleaner) S 992026 992029 989898 0 -1 1077936192 3061 0 0 0 0 0 0 0 20 0 21 0 187790493 19771256832 1105924 134679101440 94845418741760 94845418745456 140734617981120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94845418753272 94845418754064 94845445992448 140734617990132 140734617990240 140734617990240 140734617997256 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4423696 KiB

Child status: 143

Real time (s): 3567.87
CPU time (s): 3600.33
CPU user time (s): 3597.25
CPU system time (s): 3.08485
CPU usage (%): 100.91
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4423696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.25
system time used= 3.08485
maximum resident set size= 4424828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137236
involuntary context switches= 8205


# summary of solver processes directly reported to runsolver:
#   pid: 992029
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3597.25
#   total CPU system time (s): 3.08485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1488 second user time and 37.5166 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-19 04:32:10
IDJOB=4447571
IDBENCH=159284
IDSOLVER=3052
FILE ID=nodeC006/4447571-1721356318
RUNJOBID= nodeC006-1721352896-989909
SLURM_JOB_ID= 7542761
Free space on /tmp= 723772 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-n188-d3-i3-r2.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-4447571-1721356318/watcher-4447571-1721356318 -o /tmp/evaluation-result-4447571-1721356318/solver-4447571-1721356318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989909 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447571-1721356318.opb

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

MD5SUM BENCH= 1c14f117e67441c2f256fb4d1e22e789
RANDOM SEED=277847016

nodeC006.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.970
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.94
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		: 3632.886
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.26
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		: 3492.248
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.94
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.316
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.26
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		: 3492.006
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.94
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.409
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.26
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		: 1895.653
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.94
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		: 3491.971
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        111750072 kB
MemAvailable:   116712288 kB
Buffers:          518928 kB
Cached:          5222084 kB
SwapCached:            0 kB
Active:           998832 kB
Inactive:       18193196 kB
Active(anon):       1460 kB
Inactive(anon): 13487560 kB
Active(file):     997372 kB
Inactive(file):  4705636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1808 kB
Writeback:             0 kB
AnonPages:      13440780 kB
Mapped:           126016 kB
Shmem:             37704 kB
KReclaimable:     198480 kB
Slab:             314112 kB
SReclaimable:     198480 kB
SUnreclaim:       115632 kB
KernelStack:        4800 kB
PageTables:        36192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   15655012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59520 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13004800 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:      316232 kB
DirectMap2M:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC006 at 2024-07-19 05:31:38