Trace number 4447661

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.36 3582.58

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM1fb50f41b260553fb8a191e5e9748bb0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2260.47
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables159
Total number of constraints424
Number of constraints which are clauses424
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2115194816
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2122317824
0.00/0.09	c Number of processors 	2
0.13/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	 - never skip resolution steps
0.13/0.15	 - Auto-division on coefficients is disabled
0.13/0.15	 - No postprocessing
0.13/0.15	 - Conflict is considered as is when resolving
0.13/0.15	 - Use constraints as they come during conflict analysis
0.13/0.15	 - Weaken first using unassigned literals
0.13/0.15	 - Bump strategy: ALWAYS_ONE
0.13/0.15	 - Bumper: EFFECTIVE
0.13/0.15	--- Begin Solver configuration ---
0.13/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.15	Learn all clauses as in MiniSAT
0.13/0.15	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	No reason simplification
0.13/0.15	Dynamic restart strategy considering the size of the coefficients
0.13/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.15	timeout=2147483s
0.13/0.15	DB Simplification allowed=false
0.13/0.15	Listener: none
0.13/0.15	--- End Solver configuration ---
0.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	c  - never skip resolution steps
0.13/0.15	c  - Auto-division on coefficients is disabled
0.13/0.15	c  - No postprocessing
0.13/0.15	c  - Conflict is considered as is when resolving
0.13/0.15	c  - Use constraints as they come during conflict analysis
0.13/0.15	c  - Weaken first using unassigned literals
0.13/0.15	c  - Bump strategy: ALWAYS_ONE
0.13/0.15	c  - Bumper: EFFECTIVE
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Dynamic restart strategy considering the size of the coefficients
0.13/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4447661-1721356412.opb
0.13/0.15	c reading problem ... 
0.13/0.15	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.032s.
0.13/0.18	c declared #vars     159
0.13/0.18	c #constraints  424
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 424
0.13/0.18	c 424 constraints processed.
1.49/0.80	c cleaning 2498 clauses out of 5001 with flag 0/5001
2.09/1.19	c cleaning 4248 clauses out of 8503 with flag 0/11001
2.87/1.54	c cleaning 5620 clauses out of 11255 with flag 0/18001
3.49/1.96	c cleaning 6814 clauses out of 13636 with flag 0/26002
4.11/2.40	c cleaning 7905 clauses out of 15820 with flag 0/35000
4.69/2.95	c cleaning 8951 clauses out of 17916 with flag 0/45001
5.34/3.40	c cleaning 9976 clauses out of 19965 with flag 0/56001
5.74/3.88	c cleaning 10988 clauses out of 21988 with flag 0/68000
6.33/4.45	c cleaning 11993 clauses out of 24001 with flag 0/81001
7.07/5.14	c cleaning 12997 clauses out of 26008 with flag 0/95001
7.66/5.79	c cleaning 13998 clauses out of 28011 with flag 0/110001
8.48/6.52	c cleaning 14999 clauses out of 30012 with flag 0/126000
9.26/7.25	c cleaning 15997 clauses out of 32013 with flag 0/143000
10.27/8.18	c cleaning 16998 clauses out of 34017 with flag 0/161001
11.43/9.34	c cleaning 18008 clauses out of 36019 with flag 0/180001
12.44/10.32	c cleaning 18996 clauses out of 38010 with flag 0/200000
13.44/11.31	c cleaning 20001 clauses out of 40014 with flag 0/221000
14.45/12.37	c cleaning 20995 clauses out of 42013 with flag 0/243000
15.54/13.44	c cleaning 22001 clauses out of 44018 with flag 0/266000
16.74/14.66	c cleaning 23002 clauses out of 46017 with flag 0/290000
18.25/16.12	c cleaning 24003 clauses out of 48016 with flag 0/315001
19.73/17.68	c cleaning 24994 clauses out of 50012 with flag 0/341000
21.33/19.20	c cleaning 26000 clauses out of 52018 with flag 0/368000
22.73/20.64	c cleaning 27001 clauses out of 54019 with flag 0/396001
24.25/22.19	c cleaning 27999 clauses out of 56018 with flag 0/425001
26.02/23.94	c cleaning 28999 clauses out of 58018 with flag 0/455000
27.92/25.89	c cleaning 29996 clauses out of 60020 with flag 0/486001
30.02/27.95	c cleaning 31005 clauses out of 62024 with flag 0/518001
32.23/30.19	c cleaning 32007 clauses out of 64019 with flag 0/551001
34.51/32.35	c cleaning 32998 clauses out of 66012 with flag 0/585001
36.49/34.38	c cleaning 33997 clauses out of 68013 with flag 0/620000
38.30/36.18	c cleaning 34995 clauses out of 70017 with flag 0/656001
40.39/38.24	c cleaning 36005 clauses out of 72022 with flag 0/693001
42.09/39.92	c cleaning 36999 clauses out of 74016 with flag 0/731000
44.09/42.00	c cleaning 37999 clauses out of 76018 with flag 0/770001
46.09/43.94	c cleaning 39002 clauses out of 78019 with flag 0/810001
48.38/46.22	c cleaning 40000 clauses out of 80016 with flag 0/851000
50.57/48.47	c cleaning 41002 clauses out of 82016 with flag 0/893000
52.67/50.59	c cleaning 41998 clauses out of 84014 with flag 0/936000
55.18/53.03	c cleaning 43001 clauses out of 86016 with flag 0/980000
57.69/55.54	c cleaning 43998 clauses out of 88015 with flag 0/1025000
60.20/58.09	c cleaning 45003 clauses out of 90018 with flag 0/1071001
63.03/60.80	c cleaning 45998 clauses out of 92014 with flag 0/1118000
65.77/63.53	c cleaning 46999 clauses out of 94016 with flag 0/1166000
68.47/66.22	c cleaning 47996 clauses out of 96018 with flag 0/1215001
71.38/69.18	c cleaning 49000 clauses out of 98021 with flag 0/1265000
73.97/71.79	c cleaning 50006 clauses out of 100021 with flag 0/1316000
76.77/74.54	c cleaning 50997 clauses out of 102015 with flag 0/1368000
79.69/77.47	c cleaning 51999 clauses out of 104019 with flag 0/1421001
82.84/80.58	c cleaning 53005 clauses out of 106019 with flag 0/1475000
86.73/84.43	c cleaning 54000 clauses out of 108015 with flag 0/1530001
90.55/88.21	c cleaning 54997 clauses out of 110015 with flag 0/1586001
94.29/92.00	c cleaning 55999 clauses out of 112018 with flag 0/1643001
98.41/96.10	c cleaning 56998 clauses out of 114018 with flag 0/1701000
102.51/100.19	c cleaning 58000 clauses out of 116020 with flag 0/1760000
106.91/104.55	c cleaning 58998 clauses out of 118020 with flag 0/1820000
111.12/108.74	c cleaning 60000 clauses out of 120023 with flag 0/1881001
115.37/112.92	c cleaning 61005 clauses out of 122023 with flag 0/1943001
119.23/116.74	c cleaning 61998 clauses out of 124017 with flag 0/2006000
123.63/121.14	c cleaning 62998 clauses out of 126020 with flag 0/2070001
127.47/124.98	c cleaning 64001 clauses out of 128021 with flag 0/2135000
131.63/129.07	c cleaning 65001 clauses out of 130020 with flag 0/2201000
135.48/132.88	c cleaning 66000 clauses out of 132020 with flag 0/2268001
140.19/137.50	c cleaning 67000 clauses out of 134019 with flag 0/2336000
144.84/142.14	c cleaning 68000 clauses out of 136021 with flag 0/2405002
149.14/146.44	c cleaning 69001 clauses out of 138019 with flag 0/2475000
153.80/151.11	c cleaning 70000 clauses out of 140019 with flag 0/2546001
158.80/156.04	c cleaning 70999 clauses out of 142019 with flag 0/2618001
163.80/161.05	c cleaning 72002 clauses out of 144020 with flag 0/2691001
168.80/166.07	c cleaning 72999 clauses out of 146017 with flag 0/2765000
173.72/170.98	c cleaning 73995 clauses out of 148018 with flag 0/2840000
178.43/175.63	c cleaning 75005 clauses out of 150023 with flag 0/2916000
182.88/180.09	c cleaning 76000 clauses out of 152019 with flag 0/2993001
187.91/185.10	c cleaning 76994 clauses out of 154018 with flag 0/3071000
192.71/189.86	c cleaning 78005 clauses out of 156024 with flag 0/3150000
198.31/195.48	c cleaning 79001 clauses out of 158020 with flag 0/3230001
203.41/200.53	c cleaning 79999 clauses out of 160019 with flag 0/3311001
208.96/206.03	c cleaning 81000 clauses out of 162019 with flag 0/3393000
214.42/211.40	c cleaning 82001 clauses out of 164019 with flag 0/3476000
219.94/216.95	c cleaning 82997 clauses out of 166019 with flag 0/3560001
225.56/222.52	c cleaning 84003 clauses out of 168021 with flag 0/3645000
231.19/228.07	c cleaning 84996 clauses out of 170018 with flag 0/3731000
237.15/233.95	c cleaning 85999 clauses out of 172023 with flag 0/3818001
243.19/239.92	c cleaning 87005 clauses out of 174023 with flag 0/3906000
250.37/247.02	c cleaning 88004 clauses out of 176018 with flag 0/3995000
257.81/254.31	c cleaning 89000 clauses out of 178014 with flag 0/4085000
266.00/262.48	c cleaning 89999 clauses out of 180014 with flag 0/4176000
273.57/269.92	c cleaning 90995 clauses out of 182016 with flag 0/4268001
281.84/278.08	c cleaning 92000 clauses out of 184021 with flag 0/4361001
289.28/285.46	c cleaning 92998 clauses out of 186020 with flag 0/4455000
296.66/292.76	c cleaning 94002 clauses out of 188022 with flag 0/4550000
304.54/300.53	c cleaning 94998 clauses out of 190021 with flag 0/4646001
313.21/309.04	c cleaning 96003 clauses out of 192022 with flag 0/4743000
321.39/317.23	c cleaning 97002 clauses out of 194020 with flag 0/4841001
329.56/325.38	c cleaning 97999 clauses out of 196018 with flag 0/4940001
337.20/332.97	c cleaning 98999 clauses out of 198019 with flag 0/5040001
345.98/341.64	c cleaning 99998 clauses out of 200019 with flag 0/5141000
353.94/349.46	c cleaning 100998 clauses out of 202021 with flag 0/5243000
362.21/357.62	c cleaning 102005 clauses out of 204023 with flag 0/5346000
370.30/365.69	c cleaning 103000 clauses out of 206018 with flag 0/5450000
379.17/374.36	c cleaning 103993 clauses out of 208018 with flag 0/5555000
388.16/383.21	c cleaning 104999 clauses out of 210026 with flag 0/5661001
397.23/392.25	c cleaning 106000 clauses out of 212026 with flag 0/5768000
406.84/401.70	c cleaning 107003 clauses out of 214026 with flag 0/5876000
415.47/410.30	c cleaning 108002 clauses out of 216024 with flag 0/5985001
424.94/419.70	c cleaning 108998 clauses out of 218022 with flag 0/6095001
433.88/428.53	c cleaning 110001 clauses out of 220023 with flag 0/6206000
442.36/436.96	c cleaning 110999 clauses out of 222022 with flag 0/6318000
451.38/446.00	c cleaning 112003 clauses out of 224023 with flag 0/6431000
460.62/455.04	c cleaning 113005 clauses out of 226021 with flag 0/6545001
469.43/463.81	c cleaning 113996 clauses out of 228016 with flag 0/6660001
480.13/474.40	c cleaning 115000 clauses out of 230019 with flag 0/6776000
489.65/484.00	c cleaning 116003 clauses out of 232019 with flag 0/6893000
502.07/496.21	c cleaning 117000 clauses out of 234017 with flag 0/7011001
515.98/510.08	c cleaning 118002 clauses out of 236019 with flag 0/7130003
526.95/520.84	c cleaning 119000 clauses out of 238014 with flag 0/7250000
538.06/531.70	c cleaning 119994 clauses out of 240015 with flag 0/7371001
550.75/544.32	c cleaning 120998 clauses out of 242020 with flag 0/7493000
563.41/556.88	c cleaning 122001 clauses out of 244024 with flag 0/7616002
577.57/570.86	c cleaning 123000 clauses out of 246021 with flag 0/7740000
590.43/583.51	c cleaning 124002 clauses out of 248022 with flag 0/7865001
600.39/593.48	c cleaning 125003 clauses out of 250019 with flag 0/7991000
609.83/602.80	c cleaning 125998 clauses out of 252016 with flag 0/8118000
620.64/613.42	c cleaning 127000 clauses out of 254018 with flag 0/8246000
630.86/623.65	c cleaning 127999 clauses out of 256018 with flag 0/8375000
641.55/634.29	c cleaning 129000 clauses out of 258019 with flag 0/8505000
651.97/644.69	c cleaning 130000 clauses out of 260021 with flag 0/8636002
662.44/655.04	c cleaning 130999 clauses out of 262021 with flag 0/8768002
672.80/665.33	c cleaning 132001 clauses out of 264020 with flag 0/8901000
682.86/675.30	c cleaning 133001 clauses out of 266020 with flag 0/9035001
693.18/685.64	c cleaning 134006 clauses out of 268019 with flag 0/9170001
703.92/696.39	c cleaning 135002 clauses out of 270013 with flag 0/9306001
714.87/707.27	c cleaning 135999 clauses out of 272011 with flag 0/9443001
725.79/718.19	c cleaning 137003 clauses out of 274011 with flag 0/9581000
737.31/729.69	c cleaning 138001 clauses out of 276009 with flag 0/9720001
747.77/740.04	c cleaning 138999 clauses out of 278008 with flag 0/9860001
760.58/752.90	c cleaning 139998 clauses out of 280010 with flag 0/10001002
772.40/764.69	c cleaning 140998 clauses out of 282010 with flag 0/10143000
786.11/778.36	c cleaning 142001 clauses out of 284013 with flag 0/10286001
797.77/789.95	c cleaning 142997 clauses out of 286012 with flag 0/10430001
809.74/801.82	c cleaning 143997 clauses out of 288014 with flag 0/10575000
820.82/812.85	c cleaning 145000 clauses out of 290017 with flag 0/10721000
832.77/824.72	c cleaning 146004 clauses out of 292018 with flag 0/10868001
844.23/836.14	c cleaning 147000 clauses out of 294014 with flag 0/11016001
857.07/848.92	c cleaning 147999 clauses out of 296014 with flag 0/11165001
869.94/861.80	c cleaning 149001 clauses out of 298014 with flag 0/11315000
882.14/873.90	c cleaning 150000 clauses out of 300014 with flag 0/11466001
894.86/886.62	c cleaning 151002 clauses out of 302013 with flag 0/11618000
908.65/900.36	c cleaning 151998 clauses out of 304012 with flag 0/11771001
920.49/912.19	c cleaning 152999 clauses out of 306014 with flag 0/11925001
932.93/924.47	c cleaning 154001 clauses out of 308015 with flag 0/12080001
945.14/936.67	c cleaning 155001 clauses out of 310014 with flag 0/12236001
959.13/950.68	c cleaning 156000 clauses out of 312013 with flag 0/12393001
974.40/965.82	c cleaning 156999 clauses out of 314013 with flag 0/12551001
989.82/981.28	c cleaning 158000 clauses out of 316014 with flag 0/12710001
1004.49/995.81	c cleaning 158999 clauses out of 318014 with flag 0/12870001
1019.11/1010.40	c cleaning 159999 clauses out of 320015 with flag 0/13031001
1034.26/1025.50	c cleaning 161002 clauses out of 322015 with flag 0/13193000
1050.47/1041.75	c cleaning 161997 clauses out of 324013 with flag 0/13356000
1064.75/1056.10	c cleaning 163002 clauses out of 326017 with flag 0/13520001
1081.10/1072.32	c cleaning 163998 clauses out of 328014 with flag 0/13685000
1095.28/1086.56	c cleaning 165004 clauses out of 330016 with flag 0/13851000
1109.15/1100.22	c cleaning 166000 clauses out of 332013 with flag 0/14018001
1123.75/1114.77	c cleaning 166993 clauses out of 334012 with flag 0/14186000
1139.12/1129.94	c cleaning 168000 clauses out of 336020 with flag 0/14355001
1153.88/1144.69	c cleaning 168999 clauses out of 338019 with flag 0/14525000
1169.02/1159.56	c cleaning 169998 clauses out of 340020 with flag 0/14696000
1183.53/1173.95	c cleaning 171001 clauses out of 342023 with flag 0/14868001
1197.47/1187.76	c cleaning 171998 clauses out of 344021 with flag 0/15041000
1211.93/1202.20	c cleaning 173001 clauses out of 346023 with flag 0/15215000
1226.63/1216.71	c cleaning 174002 clauses out of 348022 with flag 0/15390000
1242.93/1232.95	c cleaning 175003 clauses out of 350021 with flag 0/15566001
1259.29/1249.20	c cleaning 176000 clauses out of 352017 with flag 0/15743000
1274.79/1264.74	c cleaning 177002 clauses out of 354017 with flag 0/15921000
1295.07/1285.00	c cleaning 178001 clauses out of 356015 with flag 0/16100000
1311.06/1300.60	c cleaning 178998 clauses out of 358014 with flag 0/16280000
1326.97/1316.55	c cleaning 180002 clauses out of 360016 with flag 0/16461000
1344.55/1334.04	c cleaning 181002 clauses out of 362015 with flag 0/16643001
1361.30/1350.77	c cleaning 182003 clauses out of 364013 with flag 0/16826001
1376.25/1365.65	c cleaning 182999 clauses out of 366009 with flag 0/17010000
1390.65/1379.97	c cleaning 184000 clauses out of 368010 with flag 0/17195000
1407.73/1396.91	c cleaning 184995 clauses out of 370010 with flag 0/17381000
1424.39/1413.52	c cleaning 186003 clauses out of 372016 with flag 0/17568001
1444.76/1433.89	c cleaning 186996 clauses out of 374012 with flag 0/17756000
1462.94/1451.92	c cleaning 188003 clauses out of 376016 with flag 0/17945000
1479.66/1468.64	c cleaning 188999 clauses out of 378013 with flag 0/18135000
1495.93/1484.80	c cleaning 189998 clauses out of 380015 with flag 0/18326001
1514.41/1503.30	c cleaning 191002 clauses out of 382017 with flag 0/18518001
1530.69/1519.48	c cleaning 192001 clauses out of 384015 with flag 0/18711001
1548.24/1536.97	c cleaning 192998 clauses out of 386013 with flag 0/18905000
1563.67/1552.37	c cleaning 194001 clauses out of 388015 with flag 0/19100000
1579.62/1568.26	c cleaning 195000 clauses out of 390014 with flag 0/19296000
1595.92/1584.47	c cleaning 196001 clauses out of 392014 with flag 0/19493000
1614.66/1603.08	c cleaning 196997 clauses out of 394013 with flag 0/19691000
1633.91/1622.01	c cleaning 197999 clauses out of 396016 with flag 0/19890000
1655.50/1643.40	c cleaning 199001 clauses out of 398017 with flag 0/20090000
1675.96/1663.86	c cleaning 200004 clauses out of 400016 with flag 0/20291000
1695.06/1682.70	c cleaning 201003 clauses out of 402012 with flag 0/20493000
1717.12/1704.66	c cleaning 202000 clauses out of 404009 with flag 0/20696000
1738.34/1725.66	c cleaning 202997 clauses out of 406010 with flag 0/20900001
1758.09/1745.33	c cleaning 204000 clauses out of 408013 with flag 0/21105001
1777.82/1764.93	c cleaning 205001 clauses out of 410012 with flag 0/21311000
1797.01/1784.11	c cleaning 205996 clauses out of 412011 with flag 0/21518000
1817.15/1804.16	c cleaning 207003 clauses out of 414015 with flag 0/21726000
1838.35/1825.37	c cleaning 208001 clauses out of 416012 with flag 0/21935000
1860.29/1847.29	c cleaning 209000 clauses out of 418012 with flag 0/22145001
1881.89/1868.73	c cleaning 210001 clauses out of 420012 with flag 0/22356001
1902.22/1888.93	c cleaning 211000 clauses out of 422010 with flag 0/22568000
1924.59/1911.27	c cleaning 211995 clauses out of 424010 with flag 0/22781000
1947.74/1934.39	c cleaning 213003 clauses out of 426015 with flag 0/22995000
1969.70/1956.16	c cleaning 214000 clauses out of 428012 with flag 0/23210000
1992.15/1978.59	c cleaning 214997 clauses out of 430013 with flag 0/23426001
2013.97/2000.29	c cleaning 216000 clauses out of 432015 with flag 0/23643000
2037.13/2023.24	c cleaning 217004 clauses out of 434016 with flag 0/23861001
2059.12/2045.32	c cleaning 217997 clauses out of 436012 with flag 0/24080001
2077.96/2064.22	c cleaning 218996 clauses out of 438014 with flag 0/24300000
2100.47/2086.70	c cleaning 220002 clauses out of 440019 with flag 0/24521001
2122.77/2108.96	c cleaning 221002 clauses out of 442017 with flag 0/24743001
2145.18/2131.26	c cleaning 222003 clauses out of 444015 with flag 0/24966001
2168.64/2154.69	c cleaning 223003 clauses out of 446011 with flag 0/25190000
2190.56/2176.59	c cleaning 223996 clauses out of 448009 with flag 0/25415001
2213.13/2199.05	c cleaning 225000 clauses out of 450013 with flag 0/25641001
2235.92/2221.82	c cleaning 226001 clauses out of 452013 with flag 0/25868001
2259.09/2244.91	c cleaning 227001 clauses out of 454012 with flag 0/26096001
2281.35/2267.15	c cleaning 228001 clauses out of 456010 with flag 0/26325000
2305.01/2290.77	c cleaning 228998 clauses out of 458009 with flag 0/26555000
2328.77/2314.40	c cleaning 230000 clauses out of 460011 with flag 0/26786000
2353.28/2338.93	c cleaning 230998 clauses out of 462012 with flag 0/27018001
2377.81/2363.45	c cleaning 232005 clauses out of 464014 with flag 0/27251001
2402.54/2388.07	c cleaning 232999 clauses out of 466009 with flag 0/27485001
2427.32/2412.80	c cleaning 234001 clauses out of 468010 with flag 0/27720001
2451.78/2437.21	c cleaning 234996 clauses out of 470008 with flag 0/27956000
2477.12/2462.59	c cleaning 236002 clauses out of 472013 with flag 0/28193001
2501.65/2487.04	c cleaning 237002 clauses out of 474010 with flag 0/28431000
2527.01/2512.30	c cleaning 237997 clauses out of 476008 with flag 0/28670000
2552.32/2537.63	c cleaning 239004 clauses out of 478011 with flag 0/28910000
2578.59/2563.83	c cleaning 239995 clauses out of 480007 with flag 0/29151000
2607.22/2592.34	c cleaning 240997 clauses out of 482013 with flag 0/29393001
2636.90/2621.48	c cleaning 241999 clauses out of 484016 with flag 0/29636001
2668.87/2653.36	c cleaning 243002 clauses out of 486017 with flag 0/29880001
2697.59/2682.03	c cleaning 244005 clauses out of 488014 with flag 0/30125000
2723.18/2707.56	c cleaning 245001 clauses out of 490009 with flag 0/30371000
2750.06/2734.40	c cleaning 245995 clauses out of 492008 with flag 0/30618000
2776.88/2761.23	c cleaning 247001 clauses out of 494013 with flag 0/30866000
2804.42/2788.76	c cleaning 247999 clauses out of 496013 with flag 0/31115001
2829.64/2813.97	c cleaning 249001 clauses out of 498013 with flag 0/31365000
2855.82/2840.08	c cleaning 250000 clauses out of 500013 with flag 0/31616001
2883.37/2867.59	c cleaning 251000 clauses out of 502013 with flag 0/31868001
2909.79/2894.00	c cleaning 252005 clauses out of 504013 with flag 0/32121001
2936.81/2920.92	c cleaning 252999 clauses out of 506008 with flag 0/32375001
2963.97/2948.05	c cleaning 253997 clauses out of 508008 with flag 0/32630000
2991.32/2975.33	c cleaning 255000 clauses out of 510011 with flag 0/32886000
3018.96/3002.99	c cleaning 255999 clauses out of 512012 with flag 0/33143001
3046.51/3030.47	c cleaning 257001 clauses out of 514012 with flag 0/33401000
3075.03/3058.93	c cleaning 258001 clauses out of 516011 with flag 0/33660000
3104.47/3088.21	c cleaning 258994 clauses out of 518010 with flag 0/33920000
3130.07/3113.74	c cleaning 260002 clauses out of 520016 with flag 0/34181000
3155.08/3138.76	c cleaning 260998 clauses out of 522015 with flag 0/34443001
3183.18/3166.78	c cleaning 262002 clauses out of 524017 with flag 0/34706001
3214.52/3197.95	c cleaning 262994 clauses out of 526014 with flag 0/34970000
3245.97/3229.33	c cleaning 264003 clauses out of 528020 with flag 0/35235000
3275.62/3258.93	c cleaning 265003 clauses out of 530018 with flag 0/35501001
3301.89/3285.16	c cleaning 266001 clauses out of 532014 with flag 0/35768000
3331.29/3314.59	c cleaning 266999 clauses out of 534014 with flag 0/36036001
3361.33/3344.51	c cleaning 267996 clauses out of 536014 with flag 0/36305000
3387.88/3371.02	c cleaning 269004 clauses out of 538018 with flag 0/36575000
3419.90/3402.99	c cleaning 269995 clauses out of 540014 with flag 0/36846000
3447.09/3430.10	c cleaning 271000 clauses out of 542020 with flag 0/37118001
3473.79/3456.62	c cleaning 272000 clauses out of 544019 with flag 0/37391000
3514.90/3497.73	c cleaning 273004 clauses out of 546020 with flag 0/37665001
3558.00/3540.67	c cleaning 274001 clauses out of 548015 with flag 0/37940000
3590.50/3572.92	c cleaning 275000 clauses out of 550015 with flag 0/38216001
3600.08/3582.42	c timeout
3600.08/3582.43	c starts		: 1
3600.08/3582.44	c conflicts		: 38408128
3600.08/3582.44	c decisions		: 43118300
3600.08/3582.44	c propagations		: 290353274
3600.08/3582.44	c inspects		: 20458452637
3600.08/3582.44	c shortcuts		: 0
3600.08/3582.44	c learnt literals	: 0
3600.08/3582.44	c learnt binary clauses	: 0
3600.08/3582.44	c learnt ternary clauses	: 4
3600.08/3582.44	c learnt constraints	: 38408127
3600.08/3582.44	c ignored constraints	: 0
3600.08/3582.45	c root simplifications	: 0
3600.08/3582.45	c removed literals (reason simplification)	: 0
3600.08/3582.45	c reason swapping (by a shorter reason)	: 0
3600.08/3582.45	c Calls to reduceDB	: 272
3600.08/3582.45	c Number of update (reduction) of LBD	: 40975805
3600.08/3582.45	c Imported unit clauses	: 0
3600.08/3582.45	c No decision after first conflict	: false
3600.08/3582.45	c number of reductions to clauses (during analyze)	: 0
3600.08/3582.45	c number of learned constraints concerned by reduction	: 0
3600.08/3582.45	c number of learning phase by resolution	: 0
3600.08/3582.45	c number of learning phase by cutting planes	: 0
3600.08/3582.45	c number of rounding to 1 operations	: 0
3600.08/3582.45	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3582.45	c number of reductions of the coefficients by power 2 	: 0
3600.08/3582.45	c number of right shift for reduction by power 2 	: 0
3600.08/3582.45	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3582.45	c number of ending skipping 	: 0
3600.08/3582.45	c number of internal skipping 	: 0
3600.08/3582.45	c number of derivation steps 	: 263902056
3600.08/3582.45	c number of skipped derivation steps 	: 0
3600.08/3582.45	c number of remaining unassigned 	: 0
3600.08/3582.45	c number of remaining assigned 	: 0
3600.08/3582.45	c number of falsified literals weakened from reason	: 0
3600.08/3582.45	c number of falsified literals weakened from conflict	: 0
3600.08/3582.45	c time for arithmetic operations	: 0
3600.08/3582.47	c minimum degree of deleted constraints	: 1
3600.08/3582.47	c maximum degree of deleted constraints	: 1
3600.08/3582.47	c number of deleted constraints	: 37940986
3600.08/3582.47	c speed (assignments/second)	: 81052.48797765227
3600.08/3582.47	c non guided choices	: 7398
3600.25/3582.55	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 467141
3600.25/3582.55	s UNKNOWN
3600.25/3582.55	c Total wall clock time (in seconds): 3582.407

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447661-1721356412/watcher-4447661-1721356412 -o /tmp/evaluation-result-4447661-1721356412/solver-4447661-1721356412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989911 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447661-1721356412.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=992247, runsolver pid=992244
Current StackSize limit: 8192 KiB


[startup+0.100383 s]*
/proc/loadavg: 4.37 4.56 4.45 5/318 992265
/proc/meminfo: memFree=112463120/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=18975048 memory=63008 CPUtime=0.13 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 7241 0 0 0 11 2 0 0 20 0 18 0 187799953 19430449152 15752 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4743762 15752 5617 1 0 551446 0
[pid=992247/tid=992249] ppid=992244 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 5774 0 0 0 7 1 0 0 20 0 18 0 187799953 19430449152 15752 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187799956 19430449152 15752 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=18975048 memory=4050198648221597728 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187799957 19430449152 15752 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63008 KiB

[startup+0.211746 s]*
/proc/loadavg: 4.37 4.56 4.45 7/319 992266
/proc/meminfo: memFree=112456340/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19041612 memory=72016 CPUtime=0.34 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 7825 0 0 0 32 2 0 0 20 0 19 0 187799953 19498610688 18004 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4760403 18004 5777 1 0 552086 0
[pid=992247/tid=992249] ppid=992244 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 6095 0 0 0 18 1 0 0 20 0 19 0 187799953 19498610688 18004 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19041612 memory=19020 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187799956 19498610688 18004 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19041612 memory=15544037289509020 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187799957 19498610688 18004 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187799972 19498610688 18004 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72016 KiB

[startup+0.305723 s]*
/proc/loadavg: 4.37 4.56 4.45 7/319 992266
/proc/meminfo: memFree=112434772/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19041612 memory=91128 CPUtime=0.53 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 9006 0 0 0 50 3 0 0 20 0 19 0 187799953 19498610688 22782 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4760403 22782 5863 1 0 552602 0
[pid=992247/tid=992249] ppid=992244 vsize=19041612 memory=-8888250145768252092 CPUtime=0.29 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 6117 0 0 0 27 2 0 0 20 0 19 0 187799953 19498610688 22782 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187799956 19498610688 22782 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187799957 19498610688 22782 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187799972 19498610688 22782 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91128 KiB

[startup+0.700747 s]
/proc/loadavg: 4.37 4.56 4.45 7/319 992266
/proc/meminfo: memFree=112374908/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=174688 CPUtime=1.29 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 13736 0 0 0 124 5 0 0 20 0 20 0 187799953 19566772224 43672 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 43672 5879 1 0 556224 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=44612 CPUtime=0.66 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 6179 0 0 0 63 3 0 0 20 0 20 0 187799953 19566772224 43672 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 43672 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 43672 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=1824 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 43672 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174688 KiB

[startup+1.50075 s]
/proc/loadavg: 4.42 4.57 4.46 6/320 992267
/proc/meminfo: memFree=112348528/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=336812 CPUtime=2.87 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 19200 0 0 0 279 8 0 0 20 0 20 0 187799953 19566772224 84203 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 84203 5879 1 0 556598 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=12020 CPUtime=1.44 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 6731 0 0 0 139 5 0 0 20 0 20 0 187799953 19566772224 84203 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 84203 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 84203 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=1824 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 84203 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 336812 KiB

[startup+3.11374 s]
/proc/loadavg: 4.42 4.57 4.46 6/320 992267
/proc/meminfo: memFree=111541964/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=974368 CPUtime=4.94 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 21815 0 0 0 473 21 0 0 20 0 20 0 187799953 19566772224 243592 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 243592 5895 1 0 556600 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=0 CPUtime=3.03 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 7739 0 0 0 286 17 0 0 20 0 20 0 187799953 19566772224 243592 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=-8888250145768252092 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 243592 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 243592 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 243592 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 974368 KiB

[startup+6.30465 s]
/proc/loadavg: 4.39 4.56 4.45 5/319 992269
/proc/meminfo: memFree=111188288/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=1321044 CPUtime=8.27 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 22260 0 0 0 799 28 0 0 20 0 20 0 187799953 19566772224 330261 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 330261 5906 1 0 556602 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=2268 CPUtime=6.2 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) S 992244 992247 989898 0 -1 1077936192 8077 0 0 0 596 24 0 0 20 0 20 0 187799953 19566772224 330261 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 330261 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 330261 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 330261 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 8.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1321044 KiB

[startup+12.7005 s]
/proc/loadavg: 4.36 4.55 4.45 5/319 992269
/proc/meminfo: memFree=111179976/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=1323132 CPUtime=14.85 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 23707 0 0 0 1456 29 0 0 20 0 20 0 187799953 19566772224 330783 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 330783 5906 1 0 556602 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=12020 CPUtime=12.48 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 8941 0 0 0 1224 24 0 0 20 0 20 0 187799953 19566772224 330783 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=1321076 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 330783 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=44612 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 330783 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 330783 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 14.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1323132 KiB

[startup+25.5005 s]
/proc/loadavg: 4.54 4.58 4.46 5/319 992270
/proc/meminfo: memFree=110727224/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=1747944 CPUtime=27.62 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 29241 0 0 0 2725 37 0 0 20 0 20 0 187799953 19566772224 436986 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 436986 5906 1 0 663118 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=6943526294502006880 CPUtime=25 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 10734 0 0 0 2469 31 0 0 20 0 20 0 187799953 19566772224 436986 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=11516 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 436986 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=4739 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 436986 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 436986 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1747944 KiB

[startup+51.1132 s]
/proc/loadavg: 4.43 4.55 4.45 5/319 992344
/proc/meminfo: memFree=115808808/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=1915208 CPUtime=53.28 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 34664 0 0 0 5285 43 0 0 20 0 20 0 187799953 19566772224 478802 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 478802 5906 1 0 790542 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.24 4.26 5/319 994020
/proc/meminfo: memFree=105872188/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=4158400 CPUtime=3299.08 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 286226 0 0 0 329608 300 0 0 20 0 20 0 187799953 19566772224 1039600 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 1039600 5922 1 0 1053395 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=25168 CPUtime=3227.59 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 148985 0 0 0 322677 82 0 0 20 0 20 0 187799953 19566772224 1039600 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=4158400 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 1039600 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=11516 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3216 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 1039600 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=11516 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 1039600 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3299.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.27 4.27 5/320 994200
/proc/meminfo: memFree=105871400/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3359.14 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 290536 0 0 0 335610 304 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 1039603 5922 1 0 1053397 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=4158400 CPUtime=3287.05 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 151333 0 0 0 328623 82 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=4158412 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=4158412 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3271 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=11516 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3359.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.22 4.26 6/320 994210
/proc/meminfo: memFree=105871244/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3419.3 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 294877 0 0 0 341622 308 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 1039603 5922 1 0 1053397 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3346.24 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 153837 0 0 0 334541 83 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=44612 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=4158412 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3325 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3419.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.21 4.25 5/319 994276
/proc/meminfo: memFree=105870764/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3479.5 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 299418 0 0 0 347638 312 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 1039603 5922 1 0 1053397 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=11516 CPUtime=3405.26 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 156684 0 0 0 340443 83 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=44612 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=4158412 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3378 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=4158412 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3479.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.21 4.25 5/319 994353
/proc/meminfo: memFree=106018088/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3539.64 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 303421 0 0 0 353648 316 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 1039603 5922 1 0 1053397 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3464.48 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 158959 0 0 0 346364 84 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=4158412 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=11516 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3434 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=5468 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3539.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.19 4.24 6/319 994364
/proc/meminfo: memFree=105869412/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3599.98 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 307975 0 0 0 359680 318 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 1039603 5922 1 0 1053397 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=11516 CPUtime=3523.56 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 162205 0 0 0 352272 84 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=44612 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=-8888250145768252092 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3489 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=4158412 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3582.4 s]
/proc/loadavg: 4.12 4.19 4.24 6/319 994364
/proc/meminfo: memFree=105869412/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19108176 memory=4158412 CPUtime=3600.08 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 307976 0 0 0 359690 318 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4777044 1039603 5922 1 0 1053397 0
[pid=992247/tid=992249] ppid=992244 vsize=19108176 memory=11516 CPUtime=3523.66 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) R 992244 992247 989898 0 -1 4194368 162206 0 0 0 352282 84 0 0 20 0 20 0 187799953 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19108176 memory=44612 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187799956 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3489 0 0 0 0 0 0 0 20 0 20 0 187799957 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992266] ppid=992244 vsize=19108176 memory=-8888250145768252092 CPUtime=0 cores=5,7
/proc/992247/task/992266/stat : 992266 (Timer-0) S 992244 992247 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187799972 19566772224 1039603 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4158412 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.16 s, system=3.20691 s

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

[startup+3582.51 s]
/proc/loadavg: 4.12 4.19 4.24 6/319 994364
/proc/meminfo: memFree=105869412/131655788 swapFree=131071996/131071996
[pid=992247] ppid=992244 vsize=19307868 memory=4159464 CPUtime=3600.25 cores=5,7
/proc/992247/stat : 992247 (java) S 992244 992247 989898 0 -1 1077936128 310910 0 0 0 359706 319 0 0 20 0 21 0 187799953 19771256832 1039866 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
/proc/992247/statm: 4826967 1039866 5921 1 0 1054351 0
[pid=992247/tid=992249] ppid=992244 vsize=19307868 memory=11516 CPUtime=3523.68 cores=5,7
/proc/992247/task/992249/stat : 992249 (java) S 992244 992247 989898 0 -1 1077936192 162500 0 0 0 352284 84 0 0 20 0 21 0 187799953 19771256832 1039866 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992258] ppid=992244 vsize=19307868 memory=44612 CPUtime=0 cores=5,7
/proc/992247/task/992258/stat : 992258 (Finalizer) S 992244 992247 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 187799956 19771256832 1039866 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
[pid=992247/tid=992265] ppid=992244 vsize=19307868 memory=-8888250145768252092 CPUtime=0 cores=5,7
/proc/992247/task/992265/stat : 992265 (Common-Cleaner) S 992244 992247 989898 0 -1 1077936192 3489 0 0 0 0 0 0 0 20 0 21 0 187799957 19771256832 1039866 134679101440 94048171917312 94048171921008 140732446326112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94048171928824 94048171929616 94048180568064 140732446327796 140732446327904 140732446327904 140732446334920 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4159464 KiB

Child status: 143

Real time (s): 3582.58
CPU time (s): 3600.36
CPU user time (s): 3597.16
CPU system time (s): 3.20691
CPU usage (%): 100.497
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4159464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.16
system time used= 3.20691
maximum resident set size= 4160524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311343
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133400
involuntary context switches= 5835


# summary of solver processes directly reported to runsolver:
#   pid: 992247
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3597.16
#   total CPU system time (s): 3.20691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1867 second user time and 36.4686 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-19 04:33:45
IDJOB=4447661
IDBENCH=159709
IDSOLVER=3052
FILE ID=nodeC006/4447661-1721356412
RUNJOBID= nodeC006-1721352896-989911
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-n106-d3-i3-f.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-4447661-1721356412/watcher-4447661-1721356412 -o /tmp/evaluation-result-4447661-1721356412/solver-4447661-1721356412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989911 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447661-1721356412.opb

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

MD5SUM BENCH= 1fb50f41b260553fb8a191e5e9748bb0
RANDOM SEED=1986250836

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		: 3675.519
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		: 3639.009
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		: 1197.415
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.340
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		: 3671.171
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		: 3491.974
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		: 1197.051
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		: 3625.001
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:        112505528 kB
MemAvailable:   117468276 kB
Buffers:          519076 kB
Cached:          5221832 kB
SwapCached:            0 kB
Active:           998792 kB
Inactive:       17440544 kB
Active(anon):       1468 kB
Inactive(anon): 12734344 kB
Active(file):     997324 kB
Inactive(file):  4706200 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               968 kB
Writeback:             0 kB
AnonPages:      12687676 kB
Mapped:           126052 kB
Shmem:             37704 kB
KReclaimable:     198512 kB
Slab:             313840 kB
SReclaimable:     198512 kB
SUnreclaim:       115328 kB
KernelStack:        4828 kB
PageTables:        35400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   14889396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59520 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12326912 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= 723744 MiB
End job on nodeC006 at 2024-07-19 05:33:27