Trace number 4432226

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 Default 2024-07-07SAT (TO)214 3600.31 3564.77

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM62fadc113b966a642e431cfbd80ddcdc
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 benchmark176
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables465
Total number of constraints465
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 465
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 465
Number of bits of the biggest sum of numbers9
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.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 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432226-1721086299.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.04s.
0.13/0.17	c declared #vars     465
0.13/0.17	c #constraints  465
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 465
0.13/0.17	c 465 constraints processed.
0.13/0.18	c objective function length is 465 literals
0.13/0.18	c SATISFIABLE
0.13/0.18	c OPTIMIZING...
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.06
0.13/0.18	o 222
0.34/0.24	c Got one! Elapsed wall clock time (in seconds):0.104
0.34/0.24	o 221
0.34/0.25	c Got one! Elapsed wall clock time (in seconds):0.122
0.34/0.25	o 220
0.34/0.26	c Got one! Elapsed wall clock time (in seconds):0.125
0.34/0.26	o 219
0.34/0.26	c Got one! Elapsed wall clock time (in seconds):0.132
0.34/0.26	o 218
0.34/0.27	c Got one! Elapsed wall clock time (in seconds):0.141
0.34/0.27	o 217
0.53/0.33	c Got one! Elapsed wall clock time (in seconds):0.198
0.53/0.33	o 216
1.29/0.72	c cleaning 2951 clauses out of 5911 with flag 10708/5911
1.68/0.96	c cleaning 4474 clauses out of 8961 with flag 23156/11912
2.01/1.28	c cleaning 5737 clauses out of 11486 with flag 38651/18911
2.50/1.67	c cleaning 6871 clauses out of 13749 with flag 55291/26911
2.99/2.03	c cleaning 7930 clauses out of 15877 with flag 73861/35910
3.53/2.54	c cleaning 8967 clauses out of 17947 with flag 94676/45910
4.17/3.17	c cleaning 9986 clauses out of 19981 with flag 117447/56911
4.66/3.68	c cleaning 10991 clauses out of 21995 with flag 142338/68911
5.49/4.41	c cleaning 11992 clauses out of 24003 with flag 169378/81910
6.19/5.10	c cleaning 12999 clauses out of 26012 with flag 198555/95911
6.94/5.82	c cleaning 13995 clauses out of 28012 with flag 229547/110910
7.69/6.57	c cleaning 15001 clauses out of 30018 with flag 262558/126911
8.43/7.25	c cleaning 15997 clauses out of 32018 with flag 297733/143912
9.42/8.12	c cleaning 17002 clauses out of 34019 with flag 335012/161910
10.71/9.40	c cleaning 18001 clauses out of 36017 with flag 374096/180910
11.98/10.65	c cleaning 19001 clauses out of 38017 with flag 415400/200911
12.98/11.65	c cleaning 19999 clauses out of 40018 with flag 458837/221913
14.22/12.86	c cleaning 20996 clauses out of 42016 with flag 504161/243910
15.59/14.12	c cleaning 22000 clauses out of 44020 with flag 551499/266910
16.69/15.27	c cleaning 23001 clauses out of 46020 with flag 600991/290910
18.05/16.56	c cleaning 24001 clauses out of 48021 with flag 652740/315912
19.37/17.86	c cleaning 25000 clauses out of 50018 with flag 706684/341910
20.86/19.27	c cleaning 25996 clauses out of 52018 with flag 762534/368910
22.40/20.72	c cleaning 27003 clauses out of 54022 with flag 820234/396910
24.28/22.57	c cleaning 28004 clauses out of 56019 with flag 880682/425910
26.16/24.42	c cleaning 29000 clauses out of 58015 with flag 943055/455910
28.30/26.52	c cleaning 30002 clauses out of 60015 with flag 1007342/486910
30.20/28.33	c cleaning 30998 clauses out of 62014 with flag 1073796/518911
32.68/30.86	c cleaning 31998 clauses out of 64016 with flag 1142304/551911
35.31/33.41	c cleaning 33001 clauses out of 66018 with flag 1212485/585911
37.82/35.87	c cleaning 33997 clauses out of 68016 with flag 1285048/620910
39.71/37.76	c cleaning 35000 clauses out of 70019 with flag 1360101/656910
42.24/40.24	c cleaning 35999 clauses out of 72019 with flag 1436822/693910
45.17/43.06	c cleaning 37000 clauses out of 74021 with flag 1515209/731911
47.65/45.45	c cleaning 38000 clauses out of 76021 with flag 1595618/770911
50.77/48.04	c cleaning 39001 clauses out of 78021 with flag 1678591/810911
53.16/50.49	c cleaning 39996 clauses out of 80019 with flag 1763748/851910
56.00/53.20	c cleaning 40997 clauses out of 82023 with flag 1850261/893910
58.91/56.02	c cleaning 42003 clauses out of 84028 with flag 1938907/936912
61.90/58.99	c cleaning 43001 clauses out of 86023 with flag 2029290/980910
64.79/61.79	c cleaning 43999 clauses out of 88023 with flag 2121460/1025911
67.59/64.59	c cleaning 45003 clauses out of 90024 with flag 2215536/1071911
70.72/67.66	c cleaning 45998 clauses out of 92020 with flag 2311774/1118910
73.84/70.60	c cleaning 46998 clauses out of 94022 with flag 2411015/1166910
76.71/73.50	c cleaning 47996 clauses out of 96024 with flag 2512746/1215910
80.04/76.89	c cleaning 49006 clauses out of 98028 with flag 2616966/1265910
83.55/80.24	c cleaning 49997 clauses out of 100022 with flag 2723162/1316910
84.24/80.93	c Got one! Elapsed wall clock time (in seconds):80.801
84.24/80.93	o 215
84.85/81.51	c cleaning 36182 clauses out of 72381 with flag 10611/1339266
85.15/81.80	c cleaning 21088 clauses out of 42199 with flag 23078/1345266
85.35/82.06	c cleaning 14045 clauses out of 28112 with flag 37573/1352267
85.74/82.33	c cleaning 11026 clauses out of 22067 with flag 54150/1360267
86.07/82.62	c cleaning 10007 clauses out of 20041 with flag 72710/1369267
86.53/83.02	c cleaning 10006 clauses out of 20034 with flag 93338/1379267
86.82/83.39	c cleaning 10501 clauses out of 21027 with flag 116043/1390266
87.32/83.80	c cleaning 11251 clauses out of 22527 with flag 140841/1402267
87.71/84.26	c cleaning 12130 clauses out of 24276 with flag 167821/1415267
88.21/84.77	c cleaning 13057 clauses out of 26146 with flag 196728/1429267
88.80/85.34	c cleaning 14033 clauses out of 28088 with flag 227548/1444266
89.40/85.94	c cleaning 15014 clauses out of 30056 with flag 260616/1460267
90.12/86.65	c cleaning 16011 clauses out of 32042 with flag 295713/1477267
90.81/87.35	c cleaning 16999 clauses out of 34030 with flag 332955/1495266
91.62/88.17	c cleaning 18005 clauses out of 36031 with flag 372160/1514266
92.42/88.99	c cleaning 19004 clauses out of 38027 with flag 413583/1534267
93.31/89.80	c cleaning 20002 clauses out of 40023 with flag 456910/1555267
94.21/90.70	c cleaning 21002 clauses out of 42020 with flag 502325/1577266
95.11/91.60	c cleaning 22000 clauses out of 44019 with flag 549897/1600267
96.11/92.62	c cleaning 22999 clauses out of 46018 with flag 599726/1624266
97.20/93.74	c cleaning 23996 clauses out of 48019 with flag 651392/1649266
98.31/94.82	c cleaning 25001 clauses out of 50023 with flag 705100/1675266
100.00/96.51	c cleaning 26001 clauses out of 52022 with flag 762164/1702266
101.84/98.20	c cleaning 27003 clauses out of 54021 with flag 820212/1730266
103.33/99.78	c cleaning 28001 clauses out of 56020 with flag 880337/1759268
105.13/101.53	c cleaning 28998 clauses out of 58017 with flag 943007/1789266
106.73/103.11	c cleaning 30000 clauses out of 60019 with flag 1007163/1820266
108.63/105.01	c cleaning 30999 clauses out of 62020 with flag 1073301/1852267
110.82/107.23	c cleaning 32003 clauses out of 64020 with flag 1143775/1885266
112.91/109.34	c cleaning 33001 clauses out of 66017 with flag 1214519/1919266
115.21/111.66	c cleaning 33998 clauses out of 68016 with flag 1287268/1954266
117.49/113.86	c cleaning 35004 clauses out of 70019 with flag 1361780/1990267
119.59/115.98	c cleaning 35999 clauses out of 72014 with flag 1438162/2027266
122.18/118.57	c cleaning 36999 clauses out of 74015 with flag 1516589/2065266
124.58/120.98	c cleaning 37999 clauses out of 76016 with flag 1596999/2104266
127.37/123.73	c cleaning 39004 clauses out of 78019 with flag 1679134/2144268
130.27/126.63	c cleaning 39996 clauses out of 80013 with flag 1763918/2185266
133.14/129.44	c cleaning 40998 clauses out of 82017 with flag 1851035/2227266
136.14/132.43	c cleaning 42003 clauses out of 84020 with flag 1939894/2270267
139.13/135.49	c cleaning 42995 clauses out of 86017 with flag 2030971/2314267
142.02/138.35	c cleaning 44002 clauses out of 88022 with flag 2124205/2359267
145.02/141.36	c cleaning 44999 clauses out of 90020 with flag 2219615/2405267
148.21/144.51	c cleaning 45997 clauses out of 92020 with flag 2317194/2452266
151.77/147.79	c cleaning 47005 clauses out of 94024 with flag 2417129/2500267
155.07/151.08	c cleaning 48000 clauses out of 96019 with flag 2518670/2549267
155.56/151.50	c Got one! Elapsed wall clock time (in seconds):151.377
155.56/151.50	o 214
156.08/152.02	c cleaning 32091 clauses out of 64194 with flag 11158/2565442
156.37/152.31	c cleaning 19044 clauses out of 38103 with flag 24052/2571442
156.57/152.54	c cleaning 13021 clauses out of 26058 with flag 38541/2578441
156.87/152.81	c cleaning 10506 clauses out of 21037 with flag 55037/2586441
157.08/153.07	c cleaning 9755 clauses out of 19532 with flag 73541/2595442
157.37/153.39	c cleaning 9879 clauses out of 19777 with flag 94111/2605442
157.77/153.74	c cleaning 10443 clauses out of 20898 with flag 116743/2616442
158.17/154.17	c cleaning 11217 clauses out of 22455 with flag 141432/2628442
158.77/154.73	c cleaning 12115 clauses out of 24239 with flag 169274/2641443
159.27/155.25	c cleaning 13056 clauses out of 26123 with flag 198344/2655442
159.86/155.84	c cleaning 14026 clauses out of 28067 with flag 229388/2670442
160.46/156.44	c cleaning 15014 clauses out of 30041 with flag 262614/2686442
161.07/157.09	c cleaning 16007 clauses out of 32027 with flag 297783/2703442
161.86/157.84	c cleaning 17001 clauses out of 34019 with flag 335138/2721441
162.66/158.65	c cleaning 17999 clauses out of 36018 with flag 374109/2740441
163.56/159.53	c cleaning 18999 clauses out of 38019 with flag 415027/2760441
164.46/160.46	c cleaning 20003 clauses out of 40020 with flag 458183/2781441
165.50/161.43	c cleaning 20995 clauses out of 42018 with flag 504510/2803442
166.49/162.41	c cleaning 22005 clauses out of 44023 with flag 552327/2826442
167.69/163.60	c cleaning 22998 clauses out of 46017 with flag 602009/2850441
168.88/164.81	c cleaning 23999 clauses out of 48020 with flag 653650/2875442
169.88/165.86	c cleaning 24999 clauses out of 50021 with flag 707888/2901442
171.09/167.03	c cleaning 25998 clauses out of 52022 with flag 763946/2928442
172.59/168.54	c cleaning 27004 clauses out of 54024 with flag 822972/2956442
174.19/170.12	c cleaning 28004 clauses out of 56019 with flag 883455/2985441
175.88/171.83	c cleaning 28997 clauses out of 58016 with flag 945700/3015442
177.47/173.48	c cleaning 30000 clauses out of 60019 with flag 1010041/3046442
179.18/175.18	c cleaning 31004 clauses out of 62019 with flag 1076184/3078442
180.97/176.92	c cleaning 31999 clauses out of 64015 with flag 1144699/3111442
182.86/178.87	c cleaning 32998 clauses out of 66016 with flag 1215411/3145442
184.95/180.95	c cleaning 34003 clauses out of 68018 with flag 1289123/3180442
186.96/182.91	c cleaning 35001 clauses out of 70014 with flag 1364106/3216441
189.15/185.17	c cleaning 35998 clauses out of 72013 with flag 1441077/3253441
191.45/187.41	c cleaning 36998 clauses out of 74015 with flag 1520513/3291441
193.84/189.84	c cleaning 38001 clauses out of 76018 with flag 1601722/3330442
196.25/192.17	c cleaning 39003 clauses out of 78017 with flag 1684868/3370442
198.64/194.54	c cleaning 40002 clauses out of 80013 with flag 1769491/3411441
200.83/196.71	c cleaning 40995 clauses out of 82012 with flag 1856542/3453442
203.13/199.03	c cleaning 41997 clauses out of 84016 with flag 1945558/3496441
205.23/201.12	c cleaning 43000 clauses out of 86019 with flag 2037037/3540441
207.62/203.53	c cleaning 44003 clauses out of 88020 with flag 2130837/3585442
210.22/206.12	c cleaning 44997 clauses out of 90017 with flag 2226913/3631442
212.90/208.83	c cleaning 45999 clauses out of 92019 with flag 2325306/3678441
215.50/211.46	c cleaning 46998 clauses out of 94020 with flag 2424963/3726441
218.49/214.44	c cleaning 47999 clauses out of 96022 with flag 2527152/3775441
221.68/217.65	c cleaning 49003 clauses out of 98023 with flag 2631756/3825441
224.67/220.69	c cleaning 50000 clauses out of 100020 with flag 2737448/3876441
228.08/224.05	c cleaning 50998 clauses out of 102020 with flag 2845348/3928441
231.99/227.78	c cleaning 52000 clauses out of 104022 with flag 2956633/3981441
235.18/230.93	c cleaning 53000 clauses out of 106022 with flag 3069677/4035441
238.57/234.34	c cleaning 54002 clauses out of 108022 with flag 3184288/4090441
241.96/237.79	c cleaning 54997 clauses out of 110020 with flag 3301504/4146441
246.15/241.90	c cleaning 56000 clauses out of 112024 with flag 3420977/4203442
249.82/245.44	c cleaning 57001 clauses out of 114023 with flag 3542833/4261441
253.42/249.03	c cleaning 58002 clauses out of 116022 with flag 3666083/4320441
257.52/253.10	c cleaning 59002 clauses out of 118023 with flag 3791292/4380444
261.41/257.08	c cleaning 59995 clauses out of 120018 with flag 3918788/4441441
265.29/260.98	c cleaning 61005 clauses out of 122023 with flag 4047880/4503441
269.84/265.39	c cleaning 62001 clauses out of 124019 with flag 4180337/4566442
273.54/269.06	c cleaning 62998 clauses out of 126018 with flag 4314978/4630442
277.83/273.30	c cleaning 64002 clauses out of 128019 with flag 4451848/4695441
282.21/277.77	c cleaning 65000 clauses out of 130017 with flag 4591146/4761441
286.90/282.40	c cleaning 65996 clauses out of 132017 with flag 4731680/4828441
292.33/287.55	c cleaning 67002 clauses out of 134021 with flag 4873604/4896441
297.69/292.76	c cleaning 68001 clauses out of 136021 with flag 5018311/4965443
302.08/297.16	c cleaning 69002 clauses out of 138019 with flag 5164239/5035442
307.63/302.64	c cleaning 70000 clauses out of 140017 with flag 5312375/5106442
312.89/307.90	c cleaning 70995 clauses out of 142017 with flag 5462697/5178442
318.46/313.41	c cleaning 72002 clauses out of 144021 with flag 5614812/5251441
323.71/318.71	c cleaning 72997 clauses out of 146019 with flag 5768575/5325441
330.18/325.09	c cleaning 74000 clauses out of 148022 with flag 5925172/5400441
335.18/330.04	c cleaning 74999 clauses out of 150022 with flag 6083906/5476441
341.17/335.17	c cleaning 76006 clauses out of 152024 with flag 6245750/5553442
346.89/340.81	c cleaning 76997 clauses out of 154018 with flag 6410000/5631442
352.94/346.93	c cleaning 77998 clauses out of 156020 with flag 6574595/5710441
358.72/352.63	c cleaning 79000 clauses out of 158023 with flag 6743318/5790442
365.02/358.77	c cleaning 79997 clauses out of 160022 with flag 6913482/5871441
370.64/364.13	c cleaning 81001 clauses out of 162025 with flag 7087274/5953441
376.70/370.08	c cleaning 82002 clauses out of 164024 with flag 7261650/6036441
383.75/376.96	c cleaning 83001 clauses out of 166023 with flag 7436790/6120442
390.32/383.39	c cleaning 84000 clauses out of 168022 with flag 7613509/6205442
396.63/389.57	c cleaning 84997 clauses out of 170023 with flag 7792837/6291443
402.68/395.63	c cleaning 86004 clauses out of 172025 with flag 7973979/6378442
409.90/402.83	c cleaning 86999 clauses out of 174020 with flag 8158098/6466441
417.30/410.15	c cleaning 88003 clauses out of 176022 with flag 8345241/6555442
425.18/418.02	c cleaning 88997 clauses out of 178019 with flag 8533271/6645442
430.81/423.64	c cleaning 89997 clauses out of 180022 with flag 8724824/6736442
436.98/429.65	c cleaning 91003 clauses out of 182025 with flag 8918534/6828442
444.26/436.98	c cleaning 91998 clauses out of 184021 with flag 9113967/6921441
453.07/445.01	c cleaning 93001 clauses out of 186023 with flag 9312505/7015441
461.17/453.07	c cleaning 94001 clauses out of 188023 with flag 9512191/7110442
468.03/459.74	c cleaning 94998 clauses out of 190022 with flag 9714378/7206442
475.17/466.97	c cleaning 95998 clauses out of 192023 with flag 9916972/7303441
482.01/473.79	c cleaning 97001 clauses out of 194026 with flag 10121717/7401442
489.50/481.26	c cleaning 98001 clauses out of 196024 with flag 10329204/7500441
496.40/488.10	c cleaning 98998 clauses out of 198023 with flag 10537567/7600441
503.18/494.97	c cleaning 99998 clauses out of 200025 with flag 10748399/7701441
511.39/502.80	c cleaning 101004 clauses out of 202027 with flag 10963099/7803441
519.38/510.88	c cleaning 102003 clauses out of 204023 with flag 11180296/7906441
528.82/520.11	c cleaning 102999 clauses out of 206020 with flag 11399294/8010441
537.82/529.07	c cleaning 103997 clauses out of 208022 with flag 11619943/8115442
551.42/542.52	c cleaning 105000 clauses out of 210024 with flag 11848023/8221441
561.99/553.02	c cleaning 106003 clauses out of 212026 with flag 12071332/8328443
571.30/562.21	c cleaning 107001 clauses out of 214022 with flag 12297518/8436442
580.81/571.67	c cleaning 108001 clauses out of 216020 with flag 12526156/8545441
592.50/583.15	c cleaning 109000 clauses out of 218019 with flag 12754814/8655441
605.25/594.80	c cleaning 109999 clauses out of 220021 with flag 12985353/8766443
615.31/604.82	c cleaning 111000 clauses out of 222021 with flag 13220799/8878442
626.70/616.21	c cleaning 112000 clauses out of 224021 with flag 13456506/8991442
635.20/624.75	c cleaning 113001 clauses out of 226021 with flag 13694871/9105442
645.93/635.36	c cleaning 113996 clauses out of 228019 with flag 13934876/9220441
655.67/644.95	c cleaning 115002 clauses out of 230023 with flag 14177325/9336441
666.32/655.56	c cleaning 115999 clauses out of 232022 with flag 14426013/9453442
676.96/666.03	c cleaning 116999 clauses out of 234022 with flag 14677359/9571441
687.90/676.95	c cleaning 118001 clauses out of 236024 with flag 14930433/9690442
699.60/688.63	c cleaning 119004 clauses out of 238023 with flag 15184310/9810442
711.44/700.27	c cleaning 119997 clauses out of 240018 with flag 15439147/9931441
721.20/709.93	c cleaning 121004 clauses out of 242023 with flag 15695849/10053443
733.23/721.92	c cleaning 122002 clauses out of 244017 with flag 15956497/10176441
745.12/733.78	c cleaning 122999 clauses out of 246015 with flag 16220512/10300441
757.12/745.67	c cleaning 123996 clauses out of 248018 with flag 16486577/10425443
771.26/758.80	c cleaning 124997 clauses out of 250021 with flag 16753661/10551442
783.54/771.03	c cleaning 126002 clauses out of 252023 with flag 17021416/10678441
795.22/782.73	c cleaning 127004 clauses out of 254021 with flag 17289859/10806441
807.09/794.66	c cleaning 127994 clauses out of 256019 with flag 17560847/10935443
819.74/807.11	c cleaning 129002 clauses out of 258023 with flag 17834725/11065441
833.00/820.25	c cleaning 130001 clauses out of 260021 with flag 18109124/11196441
847.02/834.26	c cleaning 131002 clauses out of 262021 with flag 18386417/11328442
860.90/848.01	c cleaning 132001 clauses out of 264019 with flag 18664533/11461442
873.76/860.70	c cleaning 132998 clauses out of 266018 with flag 18945125/11595442
885.78/872.71	c cleaning 133997 clauses out of 268019 with flag 19229019/11730441
900.57/887.43	c cleaning 135004 clauses out of 270023 with flag 19512357/11866442
914.45/901.02	c cleaning 136000 clauses out of 272019 with flag 19798291/12003442
928.15/914.62	c cleaning 136996 clauses out of 274019 with flag 20085480/12141442
943.22/929.45	c cleaning 138002 clauses out of 276022 with flag 20375966/12280441
957.39/943.56	c cleaning 138999 clauses out of 278020 with flag 20668285/12420441
971.98/957.90	c cleaning 139999 clauses out of 280023 with flag 20962493/12561443
988.03/974.06	c cleaning 141001 clauses out of 282022 with flag 21258079/12703441
1003.93/989.61	c cleaning 142000 clauses out of 284021 with flag 21558603/12846441
1020.69/1005.06	c cleaning 142999 clauses out of 286022 with flag 21862294/12990442
1035.36/1019.65	c cleaning 144001 clauses out of 288024 with flag 22166152/13135443
1051.10/1035.25	c cleaning 144996 clauses out of 290021 with flag 22472161/13281441
1067.40/1051.54	c cleaning 146003 clauses out of 292025 with flag 22778970/13428441
1085.49/1069.42	c cleaning 147003 clauses out of 294023 with flag 23087485/13576442
1104.55/1088.20	c cleaning 147997 clauses out of 296019 with flag 23397624/13725441
1121.88/1105.49	c cleaning 149001 clauses out of 298022 with flag 23713082/13875441
1138.62/1121.99	c cleaning 150000 clauses out of 300022 with flag 24031285/14026442
1154.92/1138.19	c cleaning 150997 clauses out of 302021 with flag 24350267/14178441
1173.77/1156.76	c cleaning 152007 clauses out of 304025 with flag 24669729/14331442
1191.29/1174.14	c cleaning 152996 clauses out of 306018 with flag 24993650/14485442
1208.09/1190.65	c cleaning 153997 clauses out of 308021 with flag 25318960/14640441
1230.21/1210.85	c cleaning 154999 clauses out of 310024 with flag 25644555/14796441
1249.73/1230.35	c cleaning 155999 clauses out of 312025 with flag 25973498/14953441
1268.26/1248.85	c cleaning 157003 clauses out of 314027 with flag 26305857/15111442
1287.21/1267.55	c cleaning 157999 clauses out of 316024 with flag 26639728/15270442
1304.72/1284.93	c cleaning 159000 clauses out of 318025 with flag 26975997/15430442
1325.61/1305.53	c cleaning 160003 clauses out of 320027 with flag 27314908/15591444
1345.85/1325.62	c cleaning 160998 clauses out of 322022 with flag 27653061/15753442
1365.77/1345.21	c cleaning 161996 clauses out of 324024 with flag 27994083/15916442
1388.01/1367.39	c cleaning 163008 clauses out of 326028 with flag 28338203/16080442
1407.63/1386.69	c cleaning 164000 clauses out of 328019 with flag 28685228/16245441
1427.99/1406.97	c cleaning 164997 clauses out of 330021 with flag 29033911/16411443
1448.32/1426.99	c cleaning 166001 clauses out of 332022 with flag 29386132/16578441
1468.36/1446.80	c cleaning 167002 clauses out of 334024 with flag 29740127/16746444
1485.45/1463.68	c cleaning 168003 clauses out of 336019 with flag 30095028/16915441
1505.61/1483.77	c cleaning 168997 clauses out of 338016 with flag 30452946/17085441
1526.11/1503.91	c cleaning 170000 clauses out of 340020 with flag 30810159/17256442
1546.49/1524.13	c cleaning 170996 clauses out of 342019 with flag 31172448/17428441
1563.43/1540.83	c cleaning 171998 clauses out of 344024 with flag 31537080/17601442
1587.16/1564.45	c cleaning 173004 clauses out of 346025 with flag 31899995/17775441
1615.77/1591.75	c cleaning 174002 clauses out of 348023 with flag 32263741/17950443
1641.30/1617.03	c cleaning 175002 clauses out of 350019 with flag 32628572/18126441
1668.21/1643.77	c cleaning 175997 clauses out of 352017 with flag 32995372/18303441
1694.90/1670.33	c cleaning 176999 clauses out of 354020 with flag 33364345/18481441
1721.46/1696.53	c cleaning 178001 clauses out of 356021 with flag 33737110/18660441
1750.25/1725.29	c cleaning 178999 clauses out of 358021 with flag 34111156/18840442
1773.50/1748.43	c cleaning 180003 clauses out of 360022 with flag 34487188/19021442
1794.98/1769.95	c cleaning 180997 clauses out of 362018 with flag 34866529/19203441
1816.33/1791.01	c cleaning 181999 clauses out of 364021 with flag 35248954/19386441
1839.34/1813.99	c cleaning 183000 clauses out of 366023 with flag 35632962/19570442
1863.94/1838.44	c cleaning 184000 clauses out of 368024 with flag 36020472/19755443
1888.46/1862.62	c cleaning 185001 clauses out of 370023 with flag 36409533/19941442
1911.33/1885.40	c cleaning 186000 clauses out of 372021 with flag 36801759/20128441
1938.07/1912.29	c cleaning 186999 clauses out of 374021 with flag 37194875/20316441
1964.70/1938.80	c cleaning 188001 clauses out of 376022 with flag 37586788/20505441
1990.25/1964.09	c cleaning 188998 clauses out of 378021 with flag 37981342/20695441
2011.88/1985.69	c cleaning 190000 clauses out of 380023 with flag 38378711/20886441
2036.84/2010.58	c cleaning 191002 clauses out of 382024 with flag 38777307/21078442
2057.70/2031.05	c cleaning 192006 clauses out of 384023 with flag 39181301/21271443
2081.09/2054.38	c cleaning 192994 clauses out of 386015 with flag 39587167/21465441
2103.43/2076.74	c cleaning 194001 clauses out of 388021 with flag 39992554/21660441
2125.61/2098.67	c cleaning 195005 clauses out of 390022 with flag 40404460/21856443
2147.91/2120.78	c cleaning 195996 clauses out of 392015 with flag 40819763/22053441
2171.93/2143.37	c cleaning 196998 clauses out of 394020 with flag 41238926/22251442
2196.77/2167.91	c cleaning 198000 clauses out of 396021 with flag 41657414/22450441
2224.15/2194.96	c cleaning 198996 clauses out of 398021 with flag 42077939/22650441
2245.95/2216.46	c cleaning 199999 clauses out of 400026 with flag 42497113/22851442
2267.75/2238.04	c cleaning 201004 clauses out of 402028 with flag 42922883/23053443
2293.24/2263.36	c cleaning 202006 clauses out of 404024 with flag 43347050/23256443
2320.40/2290.31	c cleaning 202999 clauses out of 406016 with flag 43773887/23460441
2345.90/2315.76	c cleaning 203997 clauses out of 408018 with flag 44200409/23665442
2372.07/2341.88	c cleaning 205001 clauses out of 410021 with flag 44627965/23871442
2396.93/2366.36	c cleaning 206000 clauses out of 412019 with flag 45059277/24078441
2420.10/2389.46	c cleaning 206996 clauses out of 414020 with flag 45499785/24286442
2449.39/2418.79	c cleaning 208003 clauses out of 416023 with flag 45938896/24495441
2479.08/2448.33	c cleaning 209002 clauses out of 418021 with flag 46378988/24705442
2507.25/2476.43	c cleaning 209998 clauses out of 420018 with flag 46820847/24916441
2534.52/2503.38	c cleaning 211001 clauses out of 422021 with flag 47264999/25128442
2562.68/2531.48	c cleaning 211998 clauses out of 424019 with flag 47709375/25341441
2595.07/2563.87	c cleaning 213000 clauses out of 426021 with flag 48157311/25555441
2623.99/2592.81	c cleaning 213996 clauses out of 428021 with flag 48606433/25770441
2653.12/2622.18	c cleaning 215005 clauses out of 430025 with flag 49058650/25986441
2686.55/2655.44	c cleaning 216001 clauses out of 432020 with flag 49512859/26203441
2718.27/2687.06	c cleaning 216998 clauses out of 434020 with flag 49970094/26421442
2755.65/2724.54	c cleaning 218001 clauses out of 436021 with flag 50428301/26640441
2788.40/2757.41	c cleaning 219003 clauses out of 438021 with flag 50887841/26860442
2821.23/2790.05	c cleaning 219998 clauses out of 440017 with flag 51347076/27081441
2857.24/2825.99	c cleaning 221003 clauses out of 442020 with flag 51809414/27303442
2891.52/2860.33	c cleaning 221998 clauses out of 444017 with flag 52273911/27526442
2930.54/2898.93	c cleaning 223003 clauses out of 446019 with flag 52741430/27750442
2967.19/2935.23	c cleaning 223999 clauses out of 448016 with flag 53211268/27975442
3002.84/2968.86	c cleaning 224998 clauses out of 450017 with flag 53682005/28201442
3040.71/3006.58	c cleaning 226002 clauses out of 452021 with flag 54154733/28428444
3085.36/3051.02	c cleaning 226998 clauses out of 454017 with flag 54629792/28656442
3133.26/3098.88	c cleaning 227999 clauses out of 456018 with flag 55128341/28885441
3178.35/3143.89	c cleaning 228999 clauses out of 458019 with flag 55606781/29115441
3223.27/3188.62	c cleaning 229999 clauses out of 460021 with flag 56085645/29346442
3269.38/3234.70	c cleaning 231000 clauses out of 462022 with flag 56566641/29578442
3316.79/3282.17	c cleaning 232002 clauses out of 464022 with flag 57049566/29811442
3361.88/3327.62	c cleaning 233002 clauses out of 466019 with flag 57535741/30045441
3415.19/3380.63	c cleaning 234001 clauses out of 468018 with flag 58022746/30280442
3459.74/3425.03	c cleaning 235000 clauses out of 470016 with flag 58511626/30516441
3514.37/3479.44	c cleaning 235996 clauses out of 472017 with flag 59002250/30753442
3560.04/3524.80	c cleaning 237000 clauses out of 474020 with flag 59495780/30991441
3600.01/3564.62	c starts		: 10
3600.01/3564.62	c conflicts		: 31230441
3600.01/3564.62	c decisions		: 41667499
3600.01/3564.62	c propagations		: 356442379
3600.01/3564.62	c inspects		: 24485006448
3600.01/3564.62	c shortcuts		: 0
3600.01/3564.62	c learnt literals	: 0
3600.01/3564.62	c learnt binary clauses	: 0
3600.01/3564.62	c learnt ternary clauses	: 0
3600.01/3564.62	c learnt constraints	: 31230441
3600.01/3564.62	c ignored constraints	: 0
3600.01/3564.62	c root simplifications	: 0
3600.01/3564.62	c removed literals (reason simplification)	: 0
3600.01/3564.62	c reason swapping (by a shorter reason)	: 0
3600.01/3564.62	c Calls to reduceDB	: 327
3600.01/3564.62	c Number of update (reduction) of LBD	: 826002
3600.01/3564.62	c Imported unit clauses	: 0
3600.01/3564.62	c No decision after first conflict	: false
3600.01/3564.62	c number of reductions to clauses (during analyze)	: 0
3600.01/3564.62	c number of learned constraints concerned by reduction	: 0
3600.01/3564.62	c number of learning phase by resolution	: 0
3600.01/3564.62	c number of learning phase by cutting planes	: 0
3600.01/3564.62	c number of rounding to 1 operations	: 0
3600.01/3564.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3564.62	c number of reductions of the coefficients by power 2 	: 0
3600.01/3564.62	c number of right shift for reduction by power 2 	: 0
3600.01/3564.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3564.62	c number of ending skipping 	: 0
3600.01/3564.62	c number of internal skipping 	: 0
3600.01/3564.62	c number of derivation steps 	: 0
3600.01/3564.62	c number of skipped derivation steps 	: 0
3600.01/3564.62	c number of remaining unassigned 	: 0
3600.01/3564.62	c number of remaining assigned 	: 0
3600.01/3564.62	c number of falsified literals weakened from reason	: 0
3600.01/3564.62	c number of falsified literals weakened from conflict	: 0
3600.01/3564.62	c time for arithmetic operations	: 0
3600.01/3564.62	c minimum degree of deleted constraints	: null
3600.01/3564.63	c maximum degree of deleted constraints	: null
3600.01/3564.63	c number of deleted constraints	: 0
3600.01/3564.63	c speed (assignments/second)	: 99999.29273781164
3600.01/3564.63	c non guided choices	: 0
3600.22/3564.72	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 476020
3600.22/3564.72	s SATISFIABLE
3600.22/3564.72	c Found 9 solution(s)
3600.22/3564.72	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 
3600.22/3564.72	c objective function=214
3600.22/3564.72	c Total wall clock time (in seconds): 3564.598

Verifier Data 

OK	214

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432226-1721086299/watcher-4432226-1721086299 -o /tmp/evaluation-result-4432226-1721086299/solver-4432226-1721086299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822112 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432226-1721086299.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

Current StackSize limit: 8192 KiB

solver pid=824007, runsolver pid=824004

[startup+0.100059 s]*
/proc/loadavg: 5.55 5.58 5.47 7/334 824025
/proc/meminfo: memFree=75292908/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=18975048 memory=62760 CPUtime=0.13 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 7211 0 0 0 11 2 0 0 20 0 18 0 160790147 19430449152 15690 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4743762 15690 5573 1 0 549333 0
[pid=824007/tid=824009] ppid=824004 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 1078198336 5737 0 0 0 7 1 0 0 20 0 18 0 160790147 19430449152 15690 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 160790150 19430449152 15690 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 160790150 19430449152 15690 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62760 KiB

[startup+0.210168 s]*
/proc/loadavg: 5.55 5.58 5.47 9/335 824026
/proc/meminfo: memFree=75286572/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19041612 memory=70176 CPUtime=0.34 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 7777 0 0 0 32 2 0 0 20 0 19 0 160790147 19498610688 17544 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4760403 17544 5893 1 0 549937 0
[pid=824007/tid=824009] ppid=824004 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 1077936192 6022 0 0 0 17 1 0 0 20 0 19 0 160790147 19498610688 17544 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19041612 memory=16967 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 17544 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19041612 memory=16097074391287456 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 17544 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160790165 19498610688 17544 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70176 KiB

[startup+0.306377 s]*
/proc/loadavg: 5.55 5.58 5.47 7/335 824026
/proc/meminfo: memFree=75279160/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19041612 memory=78492 CPUtime=0.53 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 9618 0 0 0 50 3 0 0 20 0 19 0 160790147 19498610688 19623 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4760403 19623 5908 1 0 550973 0
[pid=824007/tid=824009] ppid=824004 vsize=19041612 memory=-8889378236225921724 CPUtime=0.27 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 6034 0 0 0 26 1 0 0 20 0 19 0 160790147 19498610688 19623 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 19623 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 19623 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160790165 19498610688 19623 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78492 KiB

[startup+0.700377 s]
/proc/loadavg: 5.55 5.58 5.47 7/335 824026
/proc/meminfo: memFree=75265880/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19041612 memory=105800 CPUtime=1.29 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 13228 0 0 0 125 4 0 0 20 0 19 0 160790147 19498610688 26450 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4760403 26450 5908 1 0 553064 0
[pid=824007/tid=824009] ppid=824004 vsize=19041612 memory=41652 CPUtime=0.65 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 6087 0 0 0 63 2 0 0 20 0 19 0 160790147 19498610688 26450 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19041612 memory=12740 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 26450 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 26450 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19041612 memory=1904 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160790165 19498610688 26450 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105800 KiB

[startup+1.50039 s]
/proc/loadavg: 5.55 5.58 5.47 7/335 824026
/proc/meminfo: memFree=75225524/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19041612 memory=167828 CPUtime=2.37 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 15682 0 0 0 232 5 0 0 20 0 19 0 160790147 19498610688 41957 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4760403 41957 5908 1 0 553112 0
[pid=824007/tid=824009] ppid=824004 vsize=19041612 memory=12740 CPUtime=1.44 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 6516 0 0 0 141 3 0 0 20 0 19 0 160790147 19498610688 41957 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 41957 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160790150 19498610688 41957 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19041612 memory=1904 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160790165 19498610688 41957 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 167828 KiB

[startup+3.10638 s]
/proc/loadavg: 5.55 5.58 5.47 7/336 824029
/proc/meminfo: memFree=75083036/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=273092 CPUtime=4.17 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 18862 0 0 0 409 8 0 0 20 0 20 0 160790147 19566772224 68273 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 68273 5940 1 0 553404 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=0 CPUtime=2.92 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 6834 0 0 0 289 3 0 0 20 0 20 0 160790147 19566772224 68273 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=-8889378236225921724 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 68273 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 68273 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 68273 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 273092 KiB

[startup+6.30027 s]
/proc/loadavg: 5.50 5.57 5.46 6/336 824029
/proc/meminfo: memFree=74965632/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=390116 CPUtime=7.44 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 19251 0 0 0 734 10 0 0 20 0 20 0 160790147 19566772224 97529 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 97529 5940 1 0 553406 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=2248 CPUtime=5.99 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 6993 0 0 0 596 3 0 0 20 0 20 0 160790147 19566772224 97529 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 97529 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 97529 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 97529 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 390116 KiB

[startup+12.7003 s]
/proc/loadavg: 5.38 5.55 5.46 7/336 824030
/proc/meminfo: memFree=74530784/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=823752 CPUtime=14.12 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 23455 0 0 0 1393 19 0 0 20 0 20 0 160790147 19566772224 205938 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 205938 5940 1 0 699615 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=12740 CPUtime=12.12 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 7621 0 0 0 1207 5 0 0 20 0 20 0 160790147 19566772224 205938 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=676296 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 205938 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=41652 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 205938 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 205938 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 14.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 823752 KiB

[startup+25.5004 s]
/proc/loadavg: 5.32 5.53 5.45 6/336 824032
/proc/meminfo: memFree=73773060/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=1670180 CPUtime=27.31 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 26730 0 0 0 2696 35 0 0 20 0 20 0 160790147 19566772224 417545 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 417545 5972 1 0 966993 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=6943526294502006880 CPUtime=24.39 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 8578 0 0 0 2429 10 0 0 20 0 20 0 160790147 19566772224 417545 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 417545 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=3516 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 417545 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 417545 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 27.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670180 KiB

[startup+51.1057 s]
/proc/loadavg: 5.36 5.52 5.45 5/336 824171
/proc/meminfo: memFree=103268700/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=2583660 CPUtime=53.91 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 40410 0 0 0 5336 55 0 0 20 0 20 0 160790147 19566772224 645915 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 645915 5972 1 0 968378 0

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

[startup+3222.3 s]
/proc/loadavg: 4.19 4.20 4.24 5/333 825794
/proc/meminfo: memFree=70905564/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=13748128 CPUtime=3257 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 296900 0 0 0 325321 379 0 0 20 0 20 0 160790147 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 3437032 5972 1 0 4086816 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=10930612 CPUtime=3166.68 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 92129 0 0 0 316556 112 0 0 20 0 20 0 160790147 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=21244 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=13748128 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 944 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=13748128 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3257 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13748128 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.23 5/333 825804
/proc/meminfo: memFree=70896996/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=13748128 CPUtime=3316.98 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 298545 0 0 0 331316 382 0 0 20 0 20 0 160790147 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 3437032 5972 1 0 4086816 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=13748128 CPUtime=3226.47 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 92913 0 0 0 322535 112 0 0 20 0 20 0 160790147 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=13748128 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=13748128 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 944 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=13748128 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 3437032 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3316.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13748128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.22 5/333 825815
/proc/meminfo: memFree=70814028/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=13748280 CPUtime=3376.6 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 303966 0 0 0 337276 384 0 0 20 0 20 0 160790147 19566772224 3437070 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 3437070 5972 1 0 4086816 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=41652 CPUtime=3285.56 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 93777 0 0 0 328444 112 0 0 20 0 20 0 160790147 19566772224 3437070 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=13748272 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437070 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 990 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437070 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 3437070 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3376.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13748280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.20 4.23 5/335 825995
/proc/meminfo: memFree=70802628/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=13748296 CPUtime=3436.68 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 304365 0 0 0 343283 385 0 0 20 0 20 0 160790147 19566772224 3437074 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 3437074 5972 1 0 4086816 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=13748272 CPUtime=3344.64 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 93951 0 0 0 334352 112 0 0 20 0 20 0 160790147 19566772224 3437074 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=13748280 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437074 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 991 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437074 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=13748296 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 3437074 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3436.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13748296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.20 4.22 5/335 826005
/proc/meminfo: memFree=70403896/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=13748316 CPUtime=3497.29 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 305364 0 0 0 349342 387 0 0 20 0 20 0 160790147 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 3437079 5972 1 0 4086816 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=13748272 CPUtime=3403.64 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 94036 0 0 0 340252 112 0 0 20 0 20 0 160790147 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=13748316 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=13748316 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 991 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=-8889378236225921724 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3497.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13748316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.21 5/336 826075
/proc/meminfo: memFree=69855332/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=13748316 CPUtime=3557.55 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 306723 0 0 0 355365 390 0 0 20 0 20 0 160790147 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 3437079 5972 1 0 4086816 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=11400 CPUtime=3463.14 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 94767 0 0 0 346202 112 0 0 20 0 20 0 160790147 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=13748316 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 991 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3557.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13748316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3564.6 s]
/proc/loadavg: 4.21 4.20 4.22 5/336 826084
/proc/meminfo: memFree=69353336/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19108176 memory=13748316 CPUtime=3600.01 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 311100 0 0 0 359610 391 0 0 20 0 20 0 160790147 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4777044 3437079 5972 1 0 4086816 0
[pid=824007/tid=824009] ppid=824004 vsize=19108176 memory=2680 CPUtime=3505.05 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 96213 0 0 0 350392 113 0 0 20 0 20 0 160790147 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19108176 memory=5100 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19108176 memory=12710680 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 1042 0 0 0 0 0 0 0 20 0 20 0 160790150 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824026] ppid=824004 vsize=19108176 memory=7352 CPUtime=0 cores=4,6
/proc/824007/task/824026/stat : 824026 (Timer-0) S 824004 824007 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160790165 19566772224 3437079 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13748316 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.34 s, system=3.96294 s

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

[startup+3564.7 s]
/proc/loadavg: 4.21 4.20 4.22 5/336 826084
/proc/meminfo: memFree=69353336/131524600 swapFree=131071996/131071996
[pid=824007] ppid=824004 vsize=19307868 memory=13748944 CPUtime=3600.22 cores=4,6
/proc/824007/stat : 824007 (java) S 824004 824007 822101 0 -1 1077936128 313582 0 0 0 359630 392 0 0 20 0 21 0 160790147 19771256832 3437236 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
/proc/824007/statm: 4826967 3437236 5971 1 0 4087719 0
[pid=824007/tid=824009] ppid=824004 vsize=19307868 memory=13748316 CPUtime=3505.15 cores=4,6
/proc/824007/task/824009/stat : 824009 (java) R 824004 824007 822101 0 -1 4194368 96213 0 0 0 350402 113 0 0 20 0 21 0 160790147 19771256832 3437236 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824018] ppid=824004 vsize=19307868 memory=13748316 CPUtime=0 cores=4,6
/proc/824007/task/824018/stat : 824018 (Finalizer) S 824004 824007 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 160790150 19771256832 3437236 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
[pid=824007/tid=824025] ppid=824004 vsize=19307868 memory=13748316 CPUtime=0 cores=4,6
/proc/824007/task/824025/stat : 824025 (Common-Cleaner) S 824004 824007 822101 0 -1 1077936192 1042 0 0 0 0 0 0 0 20 0 21 0 160790150 19771256832 3437236 134679101440 94371423391744 94371423395440 140724057664640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94371423403256 94371423404048 94371443372032 140724057670663 140724057670753 140724057670753 140724057677768 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13748944 KiB

Child status: 143

Real time (s): 3564.77
CPU time (s): 3600.31
CPU user time (s): 3596.34
CPU system time (s): 3.96294
CPU usage (%): 100.997
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13748944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.34
system time used= 3.96294
maximum resident set size= 13749828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116191
involuntary context switches= 18571


# summary of solver processes directly reported to runsolver:
#   pid: 824007
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3596.34
#   total CPU system time (s): 3.96294

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35693 second user time and 16.5913 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 01:31:51
IDJOB=4432226
IDBENCH=147540
IDSOLVER=3058
FILE ID=nodeC015/4432226-1721086299
RUNJOBID= nodeC015-1721083519-822112
SLURM_JOB_ID= 7505571
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432226-1721086299/watcher-4432226-1721086299 -o /tmp/evaluation-result-4432226-1721086299/solver-4432226-1721086299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822112 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432226-1721086299.opb

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

MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=385662887

nodeC015.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	: 0xb00002a
cpu MHz		: 3614.648
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3600.158
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
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	: 0xb00002a
cpu MHz		: 3662.621
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3599.803
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
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	: 0xb00002a
cpu MHz		: 3624.871
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3599.803
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
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	: 0xb00002a
cpu MHz		: 3650.842
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3599.803
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        75335284 kB
MemAvailable:   80594196 kB
Buffers:          367284 kB
Cached:          5720612 kB
SwapCached:            0 kB
Active:          1195272 kB
Inactive:       54285100 kB
Active(anon):       1572 kB
Inactive(anon): 49428616 kB
Active(file):    1193700 kB
Inactive(file):  4856484 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               776 kB
Writeback:             0 kB
AnonPages:      49390416 kB
Mapped:           124740 kB
Shmem:             37720 kB
KReclaimable:      96748 kB
Slab:             204552 kB
SReclaimable:      96748 kB
SUnreclaim:       107804 kB
KernelStack:        5068 kB
PageTables:       106228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   49688192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61984 kB
HardwareCorrupted:     0 kB
AnonHugePages:  48732160 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC015 at 2024-07-16 02:31:16