Trace number 4440275

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)24311 3600.47 3607.59

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUM9e6692c80f11b0068f23fe5849cf8b25
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23916
Best CPU time to get the best result obtained on this benchmark3441.35
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.13/0.11	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.13	c Number of processors 	2
0.13/0.19	--- Begin Solver configuration ---
0.13/0.19	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.19	Learn all clauses as in MiniSAT
0.13/0.19	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.19	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.19	Expensive reason simplification
0.13/0.19	Glucose 2.1 dynamic restart strategy
0.13/0.19	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.19	timeout=2147483s
0.13/0.19	DB Simplification allowed=false
0.13/0.19	Listener: none
0.13/0.19	--- End Solver configuration ---
0.13/0.19	c Pseudo Boolean Optimization by upper bound
0.13/0.19	c --- Begin Solver configuration ---
0.13/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.19	c Learn all clauses as in MiniSAT
0.13/0.19	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.19	c Expensive reason simplification
0.13/0.19	c Glucose 2.1 dynamic restart strategy
0.13/0.19	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.19	c timeout=2147483s
0.13/0.19	c DB Simplification allowed=false
0.13/0.19	c Listener: none
0.13/0.19	c --- End Solver configuration ---
0.13/0.19	c solving HOME/instance-4440275-1721769081.opb
0.13/0.19	c reading problem ... 
0.13/0.19	c using VERIPB proof format
0.13/0.19	c  objective function found
0.55/0.37	c ... done. Wall clock time 0.17s.
0.55/0.37	c declared #vars     540
0.55/0.37	c #constraints  4626
0.55/0.37	c constraints type 
0.55/0.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.55/0.37	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.55/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.55/0.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.55/0.37	c 4626 constraints processed.
0.55/0.40	c objective function length is 180 literals
0.87/0.56	c SATISFIABLE
0.87/0.57	c OPTIMIZING...
0.87/0.57	c Got one! Elapsed wall clock time (in seconds):0.38
0.87/0.57	o 28809
1.25/0.75	c Got one! Elapsed wall clock time (in seconds):0.56
1.25/0.76	o 28765
1.25/0.76	c Got one! Elapsed wall clock time (in seconds):0.568
1.25/0.76	o 28688
1.64/0.94	c Got one! Elapsed wall clock time (in seconds):0.755
1.64/0.94	o 28446
1.64/0.98	c Got one! Elapsed wall clock time (in seconds):0.792
1.64/0.99	o 26767
2.05/1.16	c Got one! Elapsed wall clock time (in seconds):0.974
2.05/1.16	o 26743
3.00/1.62	c cleaning 3436 clauses out of 6879 with flag 21704/6879
4.51/2.42	c cleaning 4714 clauses out of 9441 with flag 80979/12877
5.44/2.95	c cleaning 5854 clauses out of 11727 with flag 122200/19877
5.72/3.16	c cleaning 6933 clauses out of 13873 with flag 139947/27877
6.03/3.40	c cleaning 7963 clauses out of 15939 with flag 159479/36876
6.45/3.67	c cleaning 8985 clauses out of 17976 with flag 181733/46876
6.75/3.99	c cleaning 9995 clauses out of 19992 with flag 205792/57877
7.15/4.35	c cleaning 10998 clauses out of 21996 with flag 234246/69876
7.57/4.72	c cleaning 11995 clauses out of 23998 with flag 263630/82876
8.02/5.19	c cleaning 12997 clauses out of 26005 with flag 301713/96878
9.75/6.63	c Got one! Elapsed wall clock time (in seconds):6.444
9.75/6.63	o 26579
10.25/7.13	c Got one! Elapsed wall clock time (in seconds):6.938
10.25/7.13	o 26188
10.25/7.17	c Got one! Elapsed wall clock time (in seconds):6.98
10.25/7.17	o 24311
10.86/7.75	c cleaning 13419 clauses out of 26849 with flag 33598/110719
11.83/8.67	c cleaning 9697 clauses out of 19431 with flag 97970/116720
13.01/9.65	c cleaning 8357 clauses out of 16734 with flag 171437/123720
14.59/10.79	c cleaning 8186 clauses out of 16376 with flag 254612/131719
15.98/12.13	c cleaning 8585 clauses out of 17190 with flag 360023/140719
17.47/13.68	c cleaning 9291 clauses out of 18606 with flag 480056/150720
19.16/15.39	c cleaning 10147 clauses out of 20314 with flag 624132/161719
21.03/17.24	c cleaning 11082 clauses out of 22167 with flag 774721/173719
23.24/19.43	c cleaning 12036 clauses out of 24085 with flag 950942/186719
25.82/22.02	c cleaning 13019 clauses out of 26050 with flag 1161445/200720
29.29/25.59	c cleaning 13997 clauses out of 28030 with flag 1377081/215719
32.49/28.75	c cleaning 15002 clauses out of 30033 with flag 1611214/231719
35.79/32.06	c cleaning 16002 clauses out of 32031 with flag 1882538/248719
39.57/35.92	c cleaning 17012 clauses out of 34031 with flag 2183016/266721
43.77/40.14	c cleaning 18007 clauses out of 36017 with flag 2495053/285719
48.36/44.72	c cleaning 18994 clauses out of 38010 with flag 2830324/305719
53.14/49.56	c cleaning 20008 clauses out of 40017 with flag 3186624/326720
53.95/50.30	c cleaning 21000 clauses out of 42008 with flag 3237562/348719
54.66/51.04	c cleaning 22005 clauses out of 44009 with flag 3284987/371720
55.36/51.78	c cleaning 22996 clauses out of 46003 with flag 3334875/395719
56.16/52.51	c cleaning 24002 clauses out of 48009 with flag 3388313/420721
56.96/53.36	c cleaning 24996 clauses out of 50006 with flag 3443817/446720
57.86/54.20	c cleaning 26001 clauses out of 52009 with flag 3501439/473719
58.85/55.28	c cleaning 27002 clauses out of 54008 with flag 3561676/501719
59.85/56.28	c cleaning 27998 clauses out of 56007 with flag 3623133/530720
60.95/57.37	c cleaning 28997 clauses out of 58008 with flag 3686719/560719
62.15/58.58	c cleaning 30003 clauses out of 60013 with flag 3754562/591721
63.44/59.83	c cleaning 30999 clauses out of 62008 with flag 3821888/623719
64.66/61.06	c cleaning 32004 clauses out of 64009 with flag 3892179/656719
66.24/62.67	c cleaning 33002 clauses out of 66006 with flag 3965407/690720
67.72/64.39	c cleaning 33995 clauses out of 68003 with flag 4040543/725719
69.22/65.84	c cleaning 34999 clauses out of 70008 with flag 4117329/761719
70.71/67.36	c cleaning 36001 clauses out of 72009 with flag 4197325/798719
72.43/69.02	c cleaning 36997 clauses out of 74008 with flag 4280838/836719
74.11/70.76	c cleaning 38006 clauses out of 76011 with flag 4364921/875719
76.00/72.62	c cleaning 39002 clauses out of 78006 with flag 4451527/915720
77.90/74.53	c cleaning 39998 clauses out of 80004 with flag 4541452/956720
79.90/76.54	c cleaning 40999 clauses out of 82006 with flag 4634352/998720
81.89/78.54	c cleaning 41997 clauses out of 84007 with flag 4728505/1041720
83.79/80.44	c cleaning 42997 clauses out of 86009 with flag 4823185/1085719
85.98/82.60	c cleaning 44005 clauses out of 88012 with flag 4921508/1130719
87.68/84.39	c cleaning 45000 clauses out of 90007 with flag 5020041/1176719
89.68/86.30	c cleaning 46001 clauses out of 92007 with flag 5120484/1223719
91.68/88.31	c cleaning 46998 clauses out of 94007 with flag 5223255/1271720
93.67/90.37	c cleaning 48000 clauses out of 96009 with flag 5341192/1320720
96.16/92.88	c cleaning 48996 clauses out of 98008 with flag 5452657/1370719
99.47/96.36	c cleaning 50004 clauses out of 100012 with flag 5564150/1421719
102.17/99.06	c cleaning 51000 clauses out of 102010 with flag 5678390/1473721
105.27/102.17	c cleaning 52002 clauses out of 104009 with flag 5794690/1526720
108.34/105.20	c cleaning 53001 clauses out of 106007 with flag 5915245/1580720
111.24/108.19	c cleaning 53999 clauses out of 108005 with flag 6043188/1635719
114.52/111.40	c cleaning 54997 clauses out of 110007 with flag 6173385/1691720
117.34/114.26	c cleaning 55998 clauses out of 112010 with flag 6297805/1748720
120.43/117.31	c cleaning 57004 clauses out of 114013 with flag 6425871/1806721
123.63/120.51	c cleaning 57996 clauses out of 116009 with flag 6556093/1865721
126.32/123.21	c cleaning 59006 clauses out of 118012 with flag 6689485/1925720
129.75/126.99	c cleaning 60000 clauses out of 120006 with flag 6825626/1986720
133.75/130.93	c cleaning 61000 clauses out of 122006 with flag 6967265/2048720
137.73/134.99	c cleaning 62001 clauses out of 124006 with flag 7107948/2111720
141.73/138.90	c cleaning 63003 clauses out of 126005 with flag 7256657/2175720
145.93/143.12	c cleaning 64001 clauses out of 128002 with flag 7411728/2240720
150.63/147.85	c cleaning 65000 clauses out of 130002 with flag 7555634/2306721
155.13/152.31	c cleaning 65998 clauses out of 132001 with flag 7707311/2373720
160.57/157.93	c cleaning 67000 clauses out of 134003 with flag 7855984/2441720
163.57/160.94	c cleaning 67998 clauses out of 136002 with flag 8016269/2510719
167.19/164.51	c cleaning 68999 clauses out of 138006 with flag 8179555/2580721
170.09/167.47	c cleaning 70001 clauses out of 140005 with flag 8333870/2651719
172.98/170.37	c cleaning 70996 clauses out of 142004 with flag 8489340/2723719
176.13/173.45	c cleaning 72001 clauses out of 144010 with flag 8651925/2796721
179.23/176.54	c cleaning 73004 clauses out of 146007 with flag 8817534/2870719
183.63/180.97	c cleaning 73996 clauses out of 148004 with flag 8987410/2945720
187.22/184.58	c cleaning 74998 clauses out of 150008 with flag 9152192/3021720
192.53/190.15	c cleaning 76001 clauses out of 152011 with flag 9326435/3098721
196.77/194.33	c cleaning 77004 clauses out of 154009 with flag 9499673/3176720
201.36/198.93	c cleaning 77997 clauses out of 156004 with flag 9672812/3255719
206.61/204.13	c cleaning 79001 clauses out of 158007 with flag 9850291/3335719
211.50/209.09	c cleaning 80001 clauses out of 160008 with flag 10036108/3416721
217.29/214.83	c cleaning 80996 clauses out of 162005 with flag 10218078/3498719
222.94/220.50	c cleaning 81999 clauses out of 164009 with flag 10404210/3581719
226.63/224.22	c cleaning 82996 clauses out of 166011 with flag 10625252/3665720
231.25/228.86	c cleaning 84003 clauses out of 168014 with flag 10867140/3750719
240.98/238.50	c cleaning 84999 clauses out of 170012 with flag 11350915/3836720
288.24/286.17	c cleaning 86004 clauses out of 172012 with flag 12912141/3923719
355.32/352.34	c cleaning 86999 clauses out of 174012 with flag 14594741/4011723
375.25/371.95	c cleaning 87997 clauses out of 176010 with flag 15200644/4100720
379.05/375.78	c cleaning 89002 clauses out of 178014 with flag 15403494/4190721
385.00/381.61	c cleaning 89999 clauses out of 180011 with flag 15633631/4281720
389.66/386.21	c cleaning 90998 clauses out of 182012 with flag 15855438/4373720
393.23/389.77	c cleaning 91999 clauses out of 184014 with flag 16073501/4466720
397.42/393.92	c cleaning 93005 clauses out of 186014 with flag 16301600/4560719
401.86/398.32	c cleaning 94002 clauses out of 188009 with flag 16544130/4655719
407.25/403.85	c cleaning 95001 clauses out of 190007 with flag 16779396/4751719
412.00/408.64	c cleaning 96000 clauses out of 192007 with flag 17025490/4848720
416.13/412.70	c cleaning 96992 clauses out of 194007 with flag 17269045/4946720
420.80/417.46	c cleaning 98005 clauses out of 196015 with flag 17516213/5045720
425.58/422.27	c cleaning 98998 clauses out of 198009 with flag 17760693/5145719
430.44/427.01	c cleaning 100000 clauses out of 200011 with flag 18024844/5246719
435.38/431.95	c cleaning 101003 clauses out of 202012 with flag 18262450/5348720
440.24/437.10	c cleaning 101997 clauses out of 204009 with flag 18495741/5451720
445.52/442.39	c cleaning 102997 clauses out of 206011 with flag 18767920/5555719
451.43/448.30	c cleaning 104005 clauses out of 208015 with flag 19046554/5660720
457.28/454.19	c cleaning 104999 clauses out of 210010 with flag 19367215/5766720
462.49/459.40	c cleaning 105997 clauses out of 212010 with flag 19637529/5873719
562.48/559.56	c cleaning 107004 clauses out of 214014 with flag 21470463/5981720
643.55/640.64	c cleaning 107994 clauses out of 216010 with flag 23121303/6090720
649.26/646.27	c cleaning 109001 clauses out of 218015 with flag 23370335/6200719
656.29/653.30	c cleaning 110005 clauses out of 220015 with flag 23618938/6311720
663.27/660.20	c cleaning 110997 clauses out of 222010 with flag 23879056/6423720
670.10/667.06	c cleaning 112002 clauses out of 224013 with flag 24140596/6536720
676.88/673.86	c cleaning 113002 clauses out of 226011 with flag 24407507/6650720
682.69/679.75	c cleaning 113994 clauses out of 228008 with flag 24698218/6765719
688.54/685.53	c cleaning 115002 clauses out of 230014 with flag 24989029/6881719
695.40/692.33	c cleaning 115998 clauses out of 232012 with flag 25272358/6998719
703.47/699.61	c cleaning 117003 clauses out of 234016 with flag 25559612/7116721
773.04/769.33	c cleaning 118000 clauses out of 236011 with flag 26705394/7235719
778.42/774.82	c cleaning 119001 clauses out of 238011 with flag 26986296/7355719
785.56/782.01	c cleaning 119998 clauses out of 240010 with flag 27281617/7476719
812.05/808.53	c cleaning 120999 clauses out of 242012 with flag 27831792/7598719
817.84/814.31	c cleaning 121999 clauses out of 244014 with flag 28128881/7721720
825.79/822.23	c cleaning 123004 clauses out of 246015 with flag 28437201/7845720
832.47/828.89	c cleaning 124000 clauses out of 248010 with flag 28755298/7970719
838.63/834.94	c cleaning 125003 clauses out of 250010 with flag 29058891/8096719
845.91/842.15	c cleaning 125999 clauses out of 252007 with flag 29382773/8223719
853.79/850.04	c cleaning 127000 clauses out of 254008 with flag 29689765/8351719
861.30/857.50	c cleaning 128003 clauses out of 256010 with flag 30010329/8480721
871.94/868.23	c cleaning 128998 clauses out of 258005 with flag 30348334/8610719
903.69/900.05	c cleaning 130000 clauses out of 260008 with flag 30974814/8741720
928.93/925.31	c cleaning 130998 clauses out of 262009 with flag 31566159/8873721
935.02/931.42	c cleaning 132000 clauses out of 264010 with flag 31851069/9006720
941.93/938.24	c cleaning 132995 clauses out of 266009 with flag 32156114/9140719
948.09/944.39	c cleaning 134000 clauses out of 268016 with flag 32475707/9275721
957.55/953.73	c cleaning 135006 clauses out of 270016 with flag 32796767/9411721
966.72/963.05	c cleaning 136000 clauses out of 272008 with flag 33122763/9548719
976.53/972.87	c cleaning 137003 clauses out of 274009 with flag 33451268/9686720
985.97/982.28	c cleaning 137997 clauses out of 276005 with flag 33769623/9825719
993.02/989.59	c cleaning 139001 clauses out of 278010 with flag 34095840/9965721
1003.68/1000.12	c cleaning 139997 clauses out of 280007 with flag 34440122/10106719
1013.90/1010.35	c cleaning 141000 clauses out of 282010 with flag 34774837/10248719
1023.99/1020.58	c cleaning 141999 clauses out of 284010 with flag 35111629/10391719
1033.06/1029.52	c cleaning 142999 clauses out of 286011 with flag 35421714/10535719
1040.91/1037.31	c cleaning 143999 clauses out of 288012 with flag 35757604/10680719
1049.75/1046.17	c cleaning 144997 clauses out of 290014 with flag 36104377/10826720
1059.90/1056.32	c cleaning 146003 clauses out of 292016 with flag 36453852/10973719
1070.68/1067.08	c cleaning 146994 clauses out of 294013 with flag 36804113/11121719
1082.44/1078.86	c cleaning 148007 clauses out of 296021 with flag 37161903/11270721
1092.21/1088.58	c cleaning 149004 clauses out of 298013 with flag 37530210/11420720
1102.45/1098.74	c cleaning 150002 clauses out of 300011 with flag 37930140/11571722
1112.25/1108.66	c cleaning 150998 clauses out of 302006 with flag 38333146/11723719
1122.53/1118.82	c cleaning 152002 clauses out of 304008 with flag 38693479/11876719
1230.15/1226.55	c cleaning 152996 clauses out of 306006 with flag 40136204/12030719
1294.00/1289.87	c cleaning 153996 clauses out of 308010 with flag 41254711/12185719
1303.48/1299.33	c cleaning 154999 clauses out of 310015 with flag 41616893/12341720
1311.48/1307.35	c cleaning 156002 clauses out of 312015 with flag 41986594/12498719
1320.09/1315.92	c cleaning 156998 clauses out of 314013 with flag 42348230/12656719
1329.14/1325.08	c cleaning 158001 clauses out of 316017 with flag 42715503/12815721
1340.92/1336.82	c cleaning 158999 clauses out of 318014 with flag 43052865/12975719
1349.15/1345.07	c cleaning 160001 clauses out of 320015 with flag 43417363/13136719
1357.76/1353.61	c cleaning 161002 clauses out of 322015 with flag 43772208/13298720
1368.01/1363.96	c cleaning 161998 clauses out of 324013 with flag 44136730/13461720
1376.73/1372.52	c cleaning 163000 clauses out of 326014 with flag 44521290/13625719
1386.19/1381.91	c cleaning 164003 clauses out of 328014 with flag 44893253/13790719
1397.85/1393.62	c cleaning 165003 clauses out of 330011 with flag 45293967/13956719
1409.54/1405.39	c cleaning 165998 clauses out of 332009 with flag 45745883/14123720
1423.93/1419.81	c cleaning 167004 clauses out of 334011 with flag 46205355/14291720
1716.60/1712.93	c cleaning 167996 clauses out of 336007 with flag 48851774/14460720
2123.35/2124.16	c cleaning 168998 clauses out of 338011 with flag 52167801/14630720
2576.87/2579.94	c cleaning 169997 clauses out of 340012 with flag 55505752/14801719
2739.59/2743.60	c cleaning 170998 clauses out of 342015 with flag 57171152/14973719
2749.12/2753.04	c cleaning 171996 clauses out of 344017 with flag 57560984/15146719
2758.56/2762.46	c cleaning 173003 clauses out of 346021 with flag 57968771/15320719
2769.77/2773.80	c cleaning 174005 clauses out of 348018 with flag 58383191/15495719
2781.24/2785.22	c cleaning 175004 clauses out of 350013 with flag 58832750/15671719
2791.49/2795.53	c cleaning 175999 clauses out of 352009 with flag 59289938/15848719
2802.23/2806.49	c cleaning 177001 clauses out of 354011 with flag 59766744/16026720
2813.61/2817.83	c cleaning 178001 clauses out of 356010 with flag 60176728/16205720
2827.59/2831.97	c cleaning 179000 clauses out of 358008 with flag 60579487/16385719
2842.90/2847.46	c cleaning 179999 clauses out of 360008 with flag 60997103/16566719
2855.30/2859.70	c cleaning 181002 clauses out of 362010 with flag 61451549/16748720
2865.85/2870.49	c cleaning 181995 clauses out of 364008 with flag 61909703/16931720
2880.03/2884.62	c cleaning 183002 clauses out of 366013 with flag 62338071/17115720
2893.66/2898.48	c cleaning 184000 clauses out of 368011 with flag 62814745/17300720
2908.77/2913.55	c cleaning 185000 clauses out of 370010 with flag 63285856/17486719
3171.43/3177.65	c cleaning 186002 clauses out of 372011 with flag 65548884/17673720
3600.02/3607.32	c starts		: 10367
3600.02/3607.34	c conflicts		: 17823051
3600.02/3607.34	c decisions		: 22277989
3600.02/3607.34	c propagations		: 288141746
3600.02/3607.34	c inspects		: 29838869721
3600.02/3607.34	c shortcuts		: 0
3600.02/3607.34	c learnt literals	: 0
3600.02/3607.34	c learnt binary clauses	: 5
3600.02/3607.34	c learnt ternary clauses	: 130
3600.02/3607.34	c learnt constraints	: 17823051
3600.02/3607.34	c ignored constraints	: 0
3600.02/3607.34	c root simplifications	: 0
3600.02/3607.34	c removed literals (reason simplification)	: 205464393
3600.02/3607.34	c reason swapping (by a shorter reason)	: 0
3600.02/3607.34	c Calls to reduceDB	: 193
3600.02/3607.34	c Number of update (reduction) of LBD	: 1314544
3600.02/3607.34	c Imported unit clauses	: 0
3600.02/3607.34	c No decision after first conflict	: false
3600.02/3607.36	c number of reductions to clauses (during analyze)	: 0
3600.02/3607.36	c number of learned constraints concerned by reduction	: 0
3600.02/3607.36	c number of learning phase by resolution	: 0
3600.02/3607.36	c number of learning phase by cutting planes	: 0
3600.02/3607.36	c number of rounding to 1 operations	: 0
3600.02/3607.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3607.36	c number of reductions of the coefficients by power 2 	: 0
3600.02/3607.36	c number of right shift for reduction by power 2 	: 0
3600.02/3607.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3607.36	c number of ending skipping 	: 0
3600.02/3607.36	c number of internal skipping 	: 0
3600.02/3607.36	c number of derivation steps 	: 0
3600.02/3607.36	c number of skipped derivation steps 	: 0
3600.02/3607.36	c number of remaining unassigned 	: 0
3600.02/3607.36	c number of remaining assigned 	: 0
3600.02/3607.36	c number of falsified literals weakened from reason	: 0
3600.02/3607.36	c number of falsified literals weakened from conflict	: 0
3600.02/3607.36	c time for arithmetic operations	: 0
3600.02/3607.36	c minimum degree of deleted constraints	: null
3600.02/3607.36	c maximum degree of deleted constraints	: null
3600.02/3607.36	c number of deleted constraints	: 0
3600.02/3607.36	c speed (assignments/second)	: 79885.54982461549
3600.02/3607.36	c non guided choices	: 1090
3600.42/3607.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 335335
3600.42/3607.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.42/3607.50	s SATISFIABLE
3600.42/3607.50	c Found 9 solution(s)
3600.42/3607.51	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 x537 x538 x539 -x540 
3600.42/3607.51	c objective function=24311
3600.42/3607.51	c Total wall clock time (in seconds): 3607.321

Verifier Data 

OK	24311

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440275-1721769081/watcher-4440275-1721769081 -o /tmp/evaluation-result-4440275-1721769081/solver-4440275-1721769081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721765594-127388 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440275-1721769081 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440275-1721769081.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100085 s]*
/proc/loadavg: 4.42 4.38 4.29 5/323 129563
/proc/meminfo: memFree=68124384/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=18975048 memory=57128 CPUtime=0.13 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 6707 0 0 0 11 2 0 0 20 0 18 0 12897488 19430449152 14282 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4743762 14282 5711 1 0 550981 0
[pid=129545/tid=129547] ppid=129542 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) S 129542 129545 127376 0 -1 1077936192 5607 0 0 0 7 1 0 0 20 0 18 0 12897488 19430449152 14282 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12897492 19430449152 14282 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12897493 19430449152 14282 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57128 KiB

[startup+0.211695 s]*
/proc/loadavg: 4.42 4.38 4.29 7/323 129563
/proc/meminfo: memFree=68110732/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=18975048 memory=66668 CPUtime=0.36 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 7558 0 0 0 34 2 0 0 20 0 18 0 12897488 19430449152 16667 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4743762 16667 5768 1 0 551662 0
[pid=129545/tid=129547] ppid=129542 vsize=18975048 memory=4782652875487838339 CPUtime=0.21 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 5940 0 0 0 19 2 0 0 20 0 18 0 12897488 19430449152 16667 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=18975048 memory=605730 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12897492 19430449152 16667 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12897493 19430449152 16667 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66668 KiB

[startup+0.327973 s]*
/proc/loadavg: 4.42 4.38 4.29 7/323 129563
/proc/meminfo: memFree=68094436/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=18975048 memory=79936 CPUtime=0.55 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 7746 0 0 0 52 3 0 0 20 0 18 0 12897488 19430449152 19984 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4743762 19984 5837 1 0 551782 0
[pid=129545/tid=129547] ppid=129542 vsize=18975048 memory=-9032362005362418364 CPUtime=0.31 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 5975 0 0 0 29 2 0 0 20 0 18 0 12897488 19430449152 19984 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12897492 19430449152 19984 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12897493 19430449152 19984 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79936 KiB

[startup+0.70731 s]
/proc/loadavg: 4.42 4.38 4.29 7/324 129564
/proc/meminfo: memFree=68081488/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19041612 memory=107832 CPUtime=1.25 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 11537 0 0 0 121 4 0 0 20 0 19 0 12897488 19498610688 26958 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4760403 26958 5899 1 0 554227 0
[pid=129545/tid=129547] ppid=129542 vsize=19041612 memory=5472 CPUtime=0.55 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 6153 0 0 0 53 2 0 0 20 0 19 0 12897488 19498610688 26958 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19041612 memory=12928 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12897492 19498610688 26958 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12897493 19498610688 26958 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12897528 19498610688 26958 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107832 KiB

[startup+1.50027 s]
/proc/loadavg: 4.62 4.42 4.30 7/324 129564
/proc/meminfo: memFree=68026732/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=183248 CPUtime=2.81 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 19564 0 0 0 274 7 0 0 20 0 20 0 12897488 19566772224 45812 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 45812 5899 1 0 556634 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=12928 CPUtime=1.29 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 6525 0 0 0 125 4 0 0 20 0 20 0 12897488 19566772224 45812 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 45812 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 45812 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=645086 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 45812 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183248 KiB

[startup+3.10628 s]
/proc/loadavg: 4.62 4.42 4.30 6/325 129567
/proc/meminfo: memFree=67955548/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=186912 CPUtime=5.72 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 22892 0 0 0 564 8 0 0 20 0 20 0 12897488 19566772224 46728 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 46728 5899 1 0 557481 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=0 CPUtime=2.86 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 7485 0 0 0 281 5 0 0 20 0 20 0 12897488 19566772224 46728 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 46728 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 46728 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 46728 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186912 KiB

[startup+6.30026 s]
/proc/loadavg: 4.65 4.43 4.31 5/325 129568
/proc/meminfo: memFree=67524244/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=590480 CPUtime=9.44 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 23334 0 0 0 926 18 0 0 20 0 20 0 12897488 19566772224 147620 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 147620 5899 1 0 557484 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=12928 CPUtime=6.01 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 7856 0 0 0 586 15 0 0 20 0 20 0 12897488 19566772224 147620 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 147620 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=39552 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 147620 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 147620 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 590480 KiB

[startup+12.7003 s]
/proc/loadavg: 4.68 4.44 4.31 5/325 129569
/proc/meminfo: memFree=66833716/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=1245988 CPUtime=16.57 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 29043 0 0 0 1624 33 0 0 20 0 20 0 12897488 19566772224 311497 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 311497 5899 1 0 557484 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=1123108 CPUtime=12.34 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 9275 0 0 0 1205 29 0 0 20 0 20 0 12897488 19566772224 311497 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 311497 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 311497 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 311497 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 16.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1245988 KiB

[startup+25.5004 s]
/proc/loadavg: 4.58 4.43 4.31 5/326 129572
/proc/meminfo: memFree=66021600/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=1322376 CPUtime=29.29 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 32378 0 0 0 2891 38 0 0 20 0 20 0 12897488 19566772224 330594 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 330594 5899 1 0 557484 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=895776 CPUtime=24.99 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 10655 0 0 0 2466 33 0 0 20 0 20 0 12897488 19566772224 330594 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=1322376 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 330594 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=1322376 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 330594 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 330594 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 29.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322376 KiB

[startup+51.1138 s]
/proc/loadavg: 4.41 4.40 4.30 3/324 129642
/proc/meminfo: memFree=95498504/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=1324464 CPUtime=54.77 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 37316 0 0 0 5434 43 0 0 20 0 20 0 12897488 19566772224 331116 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 331116 5899 1 0 557484 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=1324464 CPUtime=50.35 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 12498 0 0 0 4998 37 0 0 20 0 20 0 12897488 19566772224 331116 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=1258276 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 331116 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0

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

Current children cumulated memory: 2623056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.20 4.24 5/323 131575
/proc/meminfo: memFree=92140152/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=2623144 CPUtime=3335.67 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 177896 0 0 0 332784 783 0 0 20 0 20 0 12897488 19566772224 655786 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 655786 5927 1 0 670409 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=11672 CPUtime=3301.91 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 76812 0 0 0 329614 577 0 0 20 0 20 0 12897488 19566772224 655786 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1114 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=2623144 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 655786 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=26224 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4272 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 655786 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=2623144 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 655786 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3335.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2623144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.17 4.22 5/325 131599
/proc/meminfo: memFree=91376048/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3395.51 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 180057 0 0 0 338762 789 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 655787 5927 1 0 670409 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=2623144 CPUtime=3361.54 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 78030 0 0 0 335574 580 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1120 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=2623144 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=2623144 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4381 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3395.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2623148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.22 5/325 131833
/proc/meminfo: memFree=91115720/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3455.33 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 181116 0 0 0 344737 796 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 655787 5927 1 0 670409 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=2623144 CPUtime=3421.31 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 78938 0 0 0 341547 584 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1128 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4452 0 0 0 0 0 0 0 20 0 20 0 12897493 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3455.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2623148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.19 4.22 5/325 131843
/proc/meminfo: memFree=90694096/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3515.17 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 182692 0 0 0 350715 802 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 655787 5927 1 0 670409 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3481.09 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 80308 0 0 0 347522 587 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1132 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=26224 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0.01 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4563 0 0 0 1 0 0 0 20 0 20 0 12897493 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3515.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2623148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.21 5/327 132145
/proc/meminfo: memFree=90402180/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3575.11 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 184805 0 0 0 356703 808 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 655787 5927 1 0 670409 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3540.8 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 81353 0 0 0 353490 590 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1136 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=11672 CPUtime=0.01 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4690 0 0 0 1 0 0 0 20 0 20 0 12897493 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3575.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2623148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.3 s]
/proc/loadavg: 4.29 4.20 4.22 5/327 132217
/proc/meminfo: memFree=96555888/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3600.02 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 185532 0 0 0 359191 811 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4777044 655787 5927 1 0 670409 0
[pid=129545/tid=129547] ppid=129542 vsize=19108176 memory=2623148 CPUtime=3565.7 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 81875 0 0 0 355978 592 0 0 20 0 20 0 12897488 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1140 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12897492 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19108176 memory=2623148 CPUtime=0.01 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4822 0 0 0 1 0 0 0 20 0 20 0 12897493 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129564] ppid=129542 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/129545/task/129564/stat : 129564 (Timer-0) S 129542 129545 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12897528 19566772224 655787 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2623148 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.33 s, system=8.13987 s

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

[startup+3607.41 s]
/proc/loadavg: 4.29 4.20 4.22 5/327 132217
/proc/meminfo: memFree=96555888/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19307868 memory=2623980 CPUtime=3600.23 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 187838 0 0 0 359211 812 0 0 20 0 21 0 12897488 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4826967 655995 5926 1 0 671371 0
[pid=129545/tid=129547] ppid=129542 vsize=19307868 memory=5472 CPUtime=3565.79 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 81994 0 0 0 355987 592 0 0 20 0 21 0 12897488 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1140 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19307868 memory=15976 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12897492 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19307868 memory=-9032362005362418364 CPUtime=0.01 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4822 0 0 0 1 0 0 0 20 0 21 0 12897493 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2623980 KiB

[startup+3607.5 s]
/proc/loadavg: 4.29 4.20 4.22 5/327 132217
/proc/meminfo: memFree=96555888/131655788 swapFree=131071472/131071996
[pid=129545] ppid=129542 vsize=19307868 memory=2623980 CPUtime=3600.42 cores=1,3
/proc/129545/stat : 129545 (java) S 129542 129545 127376 0 -1 1077936128 187875 0 0 0 359230 812 0 0 20 0 21 0 12897488 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
/proc/129545/statm: 4826967 655995 5926 1 0 671374 0
[pid=129545/tid=129547] ppid=129542 vsize=19307868 memory=2623148 CPUtime=3565.88 cores=1,3
/proc/129545/task/129547/stat : 129547 (java) R 129542 129545 127376 0 -1 4194368 81994 0 0 0 355996 592 0 0 20 0 21 0 12897488 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1140 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129556] ppid=129542 vsize=19307868 memory=2623148 CPUtime=0 cores=1,3
/proc/129545/task/129556/stat : 129556 (Finalizer) S 129542 129545 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12897492 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
[pid=129545/tid=129563] ppid=129542 vsize=19307868 memory=2623148 CPUtime=0.01 cores=1,3
/proc/129545/task/129563/stat : 129563 (Common-Cleaner) S 129542 129545 127376 0 -1 1077936192 4822 0 0 0 1 0 0 0 20 0 21 0 12897493 19771256832 655995 134679101440 94299885883392 94299885887088 140737462221392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94299885894904 94299885895696 94299904061440 140737462223787 140737462223969 140737462223969 140737462230984 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2623980 KiB

Child status: 143

Real time (s): 3607.59
CPU time (s): 3600.47
CPU user time (s): 3592.33
CPU system time (s): 8.13987
CPU usage (%): 99.8025
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2623980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.33
system time used= 8.13987
maximum resident set size= 2625012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9671136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116183
involuntary context switches= 11574


# summary of solver processes directly reported to runsolver:
#   pid: 129545
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3592.33
#   total CPU system time (s): 8.13987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6935 second user time and 36.2387 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-23 23:11:21
IDJOB=4440275
IDBENCH=147022
IDSOLVER=3079
FILE ID=nodeC008/4440275-1721769081
RUNJOBID= nodeC008-1721765594-127388
SLURM_JOB_ID= 7770668
Free space on /tmp= 723764 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440275-1721769081/watcher-4440275-1721769081 -o /tmp/evaluation-result-4440275-1721769081/solver-4440275-1721769081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721765594-127388 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440275-1721769081 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440275-1721769081.opb

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=972803774

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3523.473
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.19
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		: 2705.724
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.33
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.289
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.19
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		: 2077.895
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.33
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		: 3509.404
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.19
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		: 3639.971
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.33
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.183
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.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.164
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        68161136 kB
MemAvailable:   96747920 kB
Buffers:          192400 kB
Cached:         29157944 kB
SwapCached:           48 kB
Active:          1265500 kB
Inactive:       61488776 kB
Active(anon):       1596 kB
Inactive(anon): 33447900 kB
Active(file):    1263904 kB
Inactive(file): 28040876 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            155808 kB
Writeback:             0 kB
AnonPages:      33403028 kB
Mapped:           127568 kB
Shmem:             45784 kB
KReclaimable:     244068 kB
Slab:             354804 kB
SReclaimable:     244068 kB
SUnreclaim:       110736 kB
KernelStack:        4860 kB
PageTables:        75380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   35360792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:  31361024 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:      275272 kB
DirectMap2M:    27940864 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC008 at 2024-07-24 00:11:29