Trace number 4453702

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.18 3625.52

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-1.opb
MD5SUMbf4b37d507499fefbc3983af658cb5f7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.212983
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11001
Total number of constraints11000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1310
Number of constraints which are nor clauses,nor cardinality constraints9690
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.23	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.23	c See www.sat4j.org for details.
0.06/0.24	c version CUSTOM.v20240707
0.06/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.24	c java.vm.version	22.0.1+8-16
0.06/0.25	c java.vm.vendor	Oracle Corporation
0.06/0.25	c sun.arch.data.model	64
0.06/0.25	c java.version		22.0.1
0.06/0.25	c os.name		Linux
0.06/0.25	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.25	c os.arch		amd64
0.06/0.25	c Free memory 		2104792832
0.06/0.25	c Max memory 		16282288128
0.06/0.25	c Total memory 		2113929216
0.06/0.25	c Number of processors 	2
0.06/0.29	--- Begin Solver configuration ---
0.06/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.29	Learn all clauses as in MiniSAT
0.06/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.29	Expensive reason simplification
0.06/0.29	Glucose 2.1 dynamic restart strategy
0.06/0.29	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.06/0.29	timeout=2147483s
0.06/0.29	DB Simplification allowed=false
0.06/0.29	Listener: none
0.06/0.29	--- End Solver configuration ---
0.06/0.29	c Pseudo Boolean Optimization by upper bound
0.06/0.29	c --- Begin Solver configuration ---
0.06/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.29	c Learn all clauses as in MiniSAT
0.06/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.29	c Expensive reason simplification
0.06/0.29	c Glucose 2.1 dynamic restart strategy
0.06/0.29	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.06/0.29	c timeout=2147483s
0.06/0.29	c DB Simplification allowed=false
0.06/0.29	c Listener: none
0.06/0.29	c --- End Solver configuration ---
0.06/0.29	c solving HOME/instance-4453702-1721843598.opb
0.06/0.29	c reading problem ... 
0.06/0.29	c using VERIPB proof format
0.06/0.30	c  no objective function found
0.77/0.63	c ... done. Wall clock time 0.331s.
0.77/0.63	c declared #vars     11001
0.77/0.63	c #constraints  11000
0.77/0.63	c constraints type 
0.77/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11000
0.77/0.64	c 11000 constraints processed.
1.76/1.16	c cleaning 2485 clauses out of 5001 with flag 20017/5001
2.95/1.76	c cleaning 4221 clauses out of 8515 with flag 45816/11000
3.54/2.07	c cleaning 5599 clauses out of 11294 with flag 78118/18000
4.12/2.31	c cleaning 6831 clauses out of 13695 with flag 118408/26000
4.52/2.52	c cleaning 7903 clauses out of 15866 with flag 162298/35002
4.88/2.78	c cleaning 8965 clauses out of 17961 with flag 217479/45000
5.22/3.04	c cleaning 9969 clauses out of 19996 with flag 272879/56000
5.53/3.34	c cleaning 11007 clauses out of 22027 with flag 334713/68000
5.86/3.65	c cleaning 11954 clauses out of 24020 with flag 405973/81000
6.37/4.08	c cleaning 13005 clauses out of 26067 with flag 476539/95001
7.00/4.59	c cleaning 14001 clauses out of 28062 with flag 557813/110001
7.67/5.15	c cleaning 15014 clauses out of 30060 with flag 645226/126000
8.48/5.80	c cleaning 15990 clauses out of 32046 with flag 737776/143000
9.12/6.26	c cleaning 16980 clauses out of 34056 with flag 829848/161000
9.62/6.77	c cleaning 17977 clauses out of 36077 with flag 927831/180001
10.12/7.29	c cleaning 19008 clauses out of 38099 with flag 1031004/200000
10.92/8.07	c cleaning 20013 clauses out of 40091 with flag 1154977/221000
11.42/8.59	c cleaning 20967 clauses out of 42080 with flag 1263896/243002
12.31/9.40	c cleaning 22030 clauses out of 44112 with flag 1384448/266001
12.92/10.05	c cleaning 23022 clauses out of 46082 with flag 1513546/290001
13.51/10.66	c cleaning 24015 clauses out of 48059 with flag 1642459/315000
14.51/11.66	c cleaning 24999 clauses out of 50045 with flag 1790376/341001
15.30/12.41	c cleaning 25979 clauses out of 52045 with flag 1931008/368000
16.12/13.28	c cleaning 27012 clauses out of 54068 with flag 2087399/396002
17.11/14.28	c cleaning 27967 clauses out of 56055 with flag 2240022/425001
18.01/15.11	c cleaning 28986 clauses out of 58087 with flag 2403132/455000
18.82/15.94	c cleaning 29986 clauses out of 60101 with flag 2567095/486000
19.61/16.77	c cleaning 31019 clauses out of 62115 with flag 2731702/518000
20.71/17.88	c cleaning 32036 clauses out of 64098 with flag 2923664/551002
21.82/18.92	c cleaning 33002 clauses out of 66060 with flag 3120976/585000
23.12/20.26	c cleaning 34011 clauses out of 68058 with flag 3319265/620000
24.31/21.44	c cleaning 35006 clauses out of 70049 with flag 3521845/656002
25.81/22.97	c cleaning 35983 clauses out of 72041 with flag 3720927/693000
26.81/23.98	c cleaning 36994 clauses out of 74058 with flag 3919488/731000
28.22/25.30	c cleaning 37990 clauses out of 76064 with flag 4124451/770000
29.51/26.68	c cleaning 39020 clauses out of 78075 with flag 4337239/810001
31.02/28.19	c cleaning 40007 clauses out of 80055 with flag 4566752/851001
32.41/29.53	c cleaning 41000 clauses out of 82048 with flag 4790498/893001
33.70/30.87	c cleaning 41981 clauses out of 84048 with flag 5018720/936001
35.20/32.36	c cleaning 43000 clauses out of 86066 with flag 5263379/980000
36.72/33.89	c cleaning 44004 clauses out of 88069 with flag 5492345/1025003
38.35/35.44	c cleaning 44980 clauses out of 90063 with flag 5740578/1071001
39.70/37.15	c cleaning 46012 clauses out of 92083 with flag 5991345/1118001
41.28/38.79	c cleaning 46986 clauses out of 94070 with flag 6254735/1166000
43.70/41.23	c cleaning 48003 clauses out of 96084 with flag 6546435/1215000
46.00/43.59	c cleaning 49019 clauses out of 98083 with flag 6833315/1265002
47.60/45.14	c cleaning 50003 clauses out of 100063 with flag 7107673/1316001
49.22/46.75	c cleaning 50996 clauses out of 102059 with flag 7382520/1368000
50.82/48.34	c cleaning 51982 clauses out of 104063 with flag 7655172/1421000
52.62/50.11	c cleaning 53019 clauses out of 106081 with flag 7944747/1475000
54.93/52.42	c cleaning 54000 clauses out of 108066 with flag 8255108/1530004
56.53/54.02	c cleaning 55015 clauses out of 110062 with flag 8552335/1586000
58.52/56.07	c cleaning 55998 clauses out of 112048 with flag 8859206/1643001
60.31/57.87	c cleaning 57005 clauses out of 114051 with flag 9184494/1701002
62.05/59.59	c cleaning 58019 clauses out of 116044 with flag 9503689/1760000
64.45/61.91	c cleaning 58993 clauses out of 118025 with flag 9835479/1820000
66.44/63.90	c cleaning 60005 clauses out of 120032 with flag 10168297/1881000
68.60/66.06	c cleaning 61000 clauses out of 122028 with flag 10501923/1943001
70.74/68.53	c cleaning 61963 clauses out of 124027 with flag 10852937/2006000
72.93/70.73	c cleaning 63013 clauses out of 126064 with flag 11199744/2070000
74.83/72.61	c cleaning 64012 clauses out of 128052 with flag 11549921/2135001
76.63/74.42	c cleaning 65007 clauses out of 130041 with flag 11885773/2201002
79.01/76.89	c cleaning 65993 clauses out of 132032 with flag 12256446/2268000
81.34/79.18	c cleaning 66962 clauses out of 134040 with flag 12644975/2336001
83.41/81.25	c cleaning 68001 clauses out of 136077 with flag 13000347/2405000
85.59/83.46	c cleaning 68977 clauses out of 138078 with flag 13369565/2475002
88.06/85.90	c cleaning 70039 clauses out of 140099 with flag 13747718/2546000
90.43/88.34	c cleaning 70994 clauses out of 142060 with flag 14150007/2618000
93.33/91.22	c cleaning 71984 clauses out of 144066 with flag 14574508/2691000
96.62/94.51	c cleaning 73016 clauses out of 146083 with flag 14998774/2765001
99.12/97.01	c cleaning 74010 clauses out of 148067 with flag 15405717/2840001
102.16/100.46	c cleaning 75001 clauses out of 150057 with flag 15821220/2916001
104.85/103.06	c cleaning 75980 clauses out of 152056 with flag 16228466/2993001
107.95/106.19	c cleaning 76998 clauses out of 154076 with flag 16689349/3071001
110.84/109.02	c cleaning 78018 clauses out of 156077 with flag 17128192/3150000
113.63/111.78	c cleaning 78990 clauses out of 158060 with flag 17567346/3230001
116.42/114.56	c cleaning 79990 clauses out of 160070 with flag 18014253/3311001
119.31/117.41	c cleaning 80988 clauses out of 162081 with flag 18461436/3393002
122.11/120.14	c cleaning 82022 clauses out of 164092 with flag 18906873/3476001
125.00/123.01	c cleaning 83014 clauses out of 166069 with flag 19372248/3560000
127.99/126.08	c cleaning 83957 clauses out of 168055 with flag 19845705/3645000
131.11/129.59	c cleaning 85028 clauses out of 170099 with flag 20315052/3731001
134.37/132.70	c cleaning 86027 clauses out of 172072 with flag 20789034/3818002
137.35/135.79	c cleaning 87002 clauses out of 174044 with flag 21272924/3906001
140.35/138.78	c cleaning 87990 clauses out of 176041 with flag 21744054/3995000
143.14/141.57	c cleaning 89000 clauses out of 178052 with flag 22225900/4085001
146.23/144.52	c cleaning 90009 clauses out of 180053 with flag 22705151/4176002
149.32/147.69	c cleaning 90992 clauses out of 182043 with flag 23203612/4268001
152.72/151.06	c cleaning 91987 clauses out of 184050 with flag 23711707/4361000
156.13/154.32	c cleaning 93014 clauses out of 186063 with flag 24205012/4455000
159.71/157.98	c cleaning 93983 clauses out of 188049 with flag 24730576/4550000
163.23/161.73	c cleaning 95000 clauses out of 190067 with flag 25267940/4646001
167.02/165.51	c cleaning 96000 clauses out of 192066 with flag 25804173/4743000
170.61/169.01	c cleaning 97002 clauses out of 194067 with flag 26340754/4841001
173.87/172.38	c cleaning 97929 clauses out of 196064 with flag 26889429/4940000
177.55/176.05	c cleaning 99039 clauses out of 198136 with flag 27451572/5040001
181.06/179.40	c cleaning 100036 clauses out of 200096 with flag 27990918/5141000
184.45/182.88	c cleaning 101017 clauses out of 202062 with flag 28539506/5243002
188.13/186.53	c cleaning 102009 clauses out of 204044 with flag 29107181/5346001
192.03/190.73	c cleaning 102927 clauses out of 206034 with flag 29680399/5450000
195.84/194.46	c cleaning 104000 clauses out of 208108 with flag 30242807/5555001
199.70/198.32	c cleaning 105031 clauses out of 210109 with flag 30817227/5661002
203.75/202.43	c cleaning 106024 clauses out of 212076 with flag 31397457/5768000
207.44/206.08	c cleaning 107013 clauses out of 214055 with flag 31970483/5876003
211.40/210.02	c cleaning 107984 clauses out of 216039 with flag 32586777/5985000
215.26/213.90	c cleaning 109005 clauses out of 218058 with flag 33180036/6095003
219.04/217.67	c cleaning 110006 clauses out of 220050 with flag 33755927/6206000
223.03/221.94	c cleaning 110989 clauses out of 222044 with flag 34364361/6318000
227.71/226.67	c cleaning 111983 clauses out of 224055 with flag 34998402/6431000
231.92/230.70	c cleaning 113003 clauses out of 226072 with flag 35617189/6545000
236.21/235.06	c cleaning 113999 clauses out of 228069 with flag 36253154/6660000
240.19/239.04	c cleaning 115004 clauses out of 230070 with flag 36869036/6776000
244.83/243.54	c cleaning 116006 clauses out of 232066 with flag 37536514/6893000
248.91/247.65	c cleaning 117003 clauses out of 234061 with flag 38180858/7011001
253.33/252.35	c cleaning 118014 clauses out of 236059 with flag 38834074/7130002
258.14/257.10	c cleaning 119021 clauses out of 238043 with flag 39504650/7250000
264.01/262.93	c cleaning 119966 clauses out of 240022 with flag 40190941/7371000
268.21/267.18	c cleaning 121003 clauses out of 242056 with flag 40851767/7493000
272.40/271.26	c cleaning 122021 clauses out of 244054 with flag 41531195/7616001
276.70/275.52	c cleaning 122944 clauses out of 246033 with flag 42192189/7740001
281.08/279.90	c cleaning 123941 clauses out of 248088 with flag 42873406/7865000
286.01/285.08	c cleaning 125019 clauses out of 250147 with flag 43562650/7991000
291.59/290.62	c cleaning 126041 clauses out of 252128 with flag 44283913/8118000
296.72/295.62	c cleaning 127016 clauses out of 254088 with flag 44981439/8246001
301.41/300.38	c cleaning 127982 clauses out of 256071 with flag 45698473/8375000
306.10/305.03	c cleaning 129008 clauses out of 258090 with flag 46403012/8505001
311.40/310.25	c cleaning 130009 clauses out of 260083 with flag 47146641/8636002
315.92/315.06	c cleaning 131020 clauses out of 262074 with flag 47849884/8768002
320.60/319.77	c cleaning 131990 clauses out of 264053 with flag 48555049/8901001
325.46/324.56	c cleaning 132980 clauses out of 266064 with flag 49277011/9035002
331.50/330.63	c cleaning 134020 clauses out of 268082 with flag 50027581/9170000
337.37/336.42	c cleaning 135012 clauses out of 270062 with flag 50774320/9306000
341.97/341.03	c cleaning 136007 clauses out of 272051 with flag 51524969/9443001
348.27/347.69	c cleaning 136923 clauses out of 274043 with flag 52325246/9581000
353.69/352.97	c cleaning 138008 clauses out of 276121 with flag 53083506/9720001
359.37/358.68	c cleaning 139042 clauses out of 278112 with flag 53873539/9860000
364.69/363.86	c cleaning 140009 clauses out of 280071 with flag 54616201/10001001
369.58/368.76	c cleaning 141013 clauses out of 282062 with flag 55399959/10143001
376.12/375.43	c cleaning 141972 clauses out of 284048 with flag 56214694/10286000
381.72/381.02	c cleaning 143011 clauses out of 286077 with flag 57008690/10430001
386.80/386.14	c cleaning 143976 clauses out of 288065 with flag 57786306/10575000
392.30/391.51	c cleaning 145017 clauses out of 290094 with flag 58582064/10721005
397.28/396.53	c cleaning 146004 clauses out of 292072 with flag 59386022/10868000
402.68/401.87	c cleaning 146981 clauses out of 294068 with flag 60187019/11016000
408.20/407.65	c cleaning 148012 clauses out of 296089 with flag 60996512/11165002
414.47/413.82	c cleaning 149027 clauses out of 298075 with flag 61847940/11315000
419.81/419.27	c cleaning 149974 clauses out of 300051 with flag 62671514/11466003
426.00/425.36	c cleaning 151022 clauses out of 302074 with flag 63508151/11618000
431.44/430.87	c cleaning 151980 clauses out of 304052 with flag 64348045/11771000
437.23/436.94	c cleaning 153003 clauses out of 306074 with flag 65171422/11925002
442.43/442.10	c cleaning 154008 clauses out of 308072 with flag 66015986/12080003
448.32/447.99	c cleaning 155006 clauses out of 310062 with flag 66873951/12236001
454.20/453.90	c cleaning 156012 clauses out of 312055 with flag 67732795/12393000
460.98/460.54	c cleaning 156995 clauses out of 314043 with flag 68642455/12551000
467.84/467.74	c cleaning 157992 clauses out of 316049 with flag 69566283/12710001
473.94/473.76	c cleaning 158999 clauses out of 318056 with flag 70440484/12870000
480.55/480.20	c cleaning 160020 clauses out of 320057 with flag 71332642/13031000
487.72/487.45	c cleaning 160950 clauses out of 322038 with flag 72241086/13193001
495.29/494.90	c cleaning 162005 clauses out of 324087 with flag 73190281/13356000
502.68/502.67	c cleaning 163013 clauses out of 326082 with flag 74099346/13520000
509.27/509.16	c cleaning 164020 clauses out of 328071 with flag 75017017/13685002
516.65/516.40	c cleaning 165008 clauses out of 330050 with flag 75952731/13851001
524.73/524.50	c cleaning 165965 clauses out of 332041 with flag 76903431/14018000
531.95/531.61	c cleaning 167006 clauses out of 334077 with flag 77831918/14186001
539.25/538.94	c cleaning 168015 clauses out of 336070 with flag 78817649/14355000
545.93/545.68	c cleaning 169013 clauses out of 338056 with flag 79737152/14525001
552.69/552.37	c cleaning 170008 clauses out of 340043 with flag 80674122/14696001
558.85/558.77	c cleaning 170996 clauses out of 342034 with flag 81602758/14868000
565.67/565.52	c cleaning 171994 clauses out of 344038 with flag 82577059/15041000
573.28/573.27	c cleaning 173009 clauses out of 346045 with flag 83567299/15215001
580.41/580.34	c cleaning 173995 clauses out of 348037 with flag 84525948/15390002
587.22/587.24	c cleaning 175005 clauses out of 350040 with flag 85507926/15566000
594.26/594.55	c cleaning 175975 clauses out of 352036 with flag 86495461/15743001
603.13/603.45	c cleaning 176984 clauses out of 354062 with flag 87532321/15921002
611.61/611.85	c cleaning 178004 clauses out of 356076 with flag 88553233/16100000
618.75/618.82	c cleaning 178977 clauses out of 358072 with flag 89557995/16280000
624.77/625.11	c cleaning 180039 clauses out of 360096 with flag 90527147/16461001
633.18/633.46	c cleaning 181009 clauses out of 362059 with flag 91565836/16643003
640.15/640.44	c cleaning 182005 clauses out of 364047 with flag 92582258/16826000
647.75/647.93	c cleaning 182984 clauses out of 366045 with flag 93605664/17010003
655.57/656.06	c cleaning 184013 clauses out of 368058 with flag 94696367/17195000
663.36/663.77	c cleaning 184996 clauses out of 370045 with flag 95729788/17381000
673.04/673.47	c cleaning 186015 clauses out of 372051 with flag 96869263/17568002
679.87/680.13	c cleaning 187004 clauses out of 374034 with flag 97910639/17756000
686.97/687.53	c cleaning 187996 clauses out of 376031 with flag 98960926/17945001
695.46/695.97	c cleaning 188996 clauses out of 378034 with flag 100058620/18135000
704.35/704.70	c cleaning 189971 clauses out of 380038 with flag 101163598/18326000
713.56/714.20	c cleaning 191013 clauses out of 382067 with flag 102282109/18518000
721.98/722.50	c cleaning 192001 clauses out of 384055 with flag 103369351/18711001
730.56/731.18	c cleaning 193010 clauses out of 386054 with flag 104459956/18905001
739.03/739.56	c cleaning 193951 clauses out of 388044 with flag 105555656/19100001
746.59/747.54	c cleaning 195016 clauses out of 390093 with flag 106632218/19296001
755.24/756.19	c cleaning 195938 clauses out of 392076 with flag 107725316/19493000
763.19/764.08	c cleaning 197006 clauses out of 394139 with flag 108808666/19691001
770.55/771.48	c cleaning 198007 clauses out of 396133 with flag 109900119/19890001
778.77/779.86	c cleaning 199038 clauses out of 398125 with flag 110995862/20090000
786.73/787.71	c cleaning 200023 clauses out of 400087 with flag 112086167/20291000
795.35/796.42	c cleaning 201009 clauses out of 402064 with flag 113254654/20493000
802.98/804.08	c cleaning 201963 clauses out of 404055 with flag 114358020/20696000
812.13/813.55	c cleaning 202964 clauses out of 406093 with flag 115515969/20900001
820.59/821.99	c cleaning 204018 clauses out of 408129 with flag 116639212/21105001
829.28/830.53	c cleaning 205009 clauses out of 410112 with flag 117791463/21311002
837.18/838.72	c cleaning 206023 clauses out of 412103 with flag 118937913/21518002
845.09/846.58	c cleaning 207011 clauses out of 414078 with flag 120073254/21726000
853.89/855.26	c cleaning 207998 clauses out of 416067 with flag 121259402/21935000
862.67/864.08	c cleaning 209005 clauses out of 418069 with flag 122421792/22145000
872.18/873.70	c cleaning 210006 clauses out of 420065 with flag 123577658/22356001
882.38/883.85	c cleaning 210974 clauses out of 422059 with flag 124791653/22568001
891.86/893.39	c cleaning 212033 clauses out of 424084 with flag 125995726/22781000
900.59/902.28	c cleaning 212997 clauses out of 426052 with flag 127189843/22995001
909.30/910.87	c cleaning 214020 clauses out of 428055 with flag 128371906/23210001
917.78/919.35	c cleaning 214948 clauses out of 430034 with flag 129566032/23426000
925.90/927.68	c cleaning 216019 clauses out of 432086 with flag 130723523/23643000
934.56/936.28	c cleaning 216997 clauses out of 434069 with flag 131902164/23861002
944.45/946.09	c cleaning 217985 clauses out of 436070 with flag 133116292/24080000
953.23/954.71	c cleaning 219031 clauses out of 438087 with flag 134343412/24300002
963.14/964.97	c cleaning 220015 clauses out of 440054 with flag 135621696/24521000
972.00/973.70	c cleaning 220979 clauses out of 442039 with flag 136830118/24743000
980.67/982.31	c cleaning 222006 clauses out of 444061 with flag 138057071/24966001
989.99/991.84	c cleaning 223019 clauses out of 446055 with flag 139308501/25190001
999.06/1000.84	c cleaning 223966 clauses out of 448035 with flag 140539146/25415000
1009.25/1010.97	c cleaning 225027 clauses out of 450069 with flag 141818900/25641000
1019.72/1021.17	c cleaning 225957 clauses out of 452043 with flag 143104243/25868001
1029.62/1031.18	c cleaning 226994 clauses out of 454086 with flag 144375792/26096001
1039.85/1041.49	c cleaning 227973 clauses out of 456091 with flag 145661549/26325000
1049.95/1051.83	c cleaning 229036 clauses out of 458119 with flag 146960908/26555001
1059.43/1061.36	c cleaning 230024 clauses out of 460083 with flag 148230919/26786001
1070.01/1071.96	c cleaning 231010 clauses out of 462058 with flag 149560992/27018000
1080.97/1083.14	c cleaning 232003 clauses out of 464049 with flag 150880587/27251001
1090.64/1092.75	c cleaning 233008 clauses out of 466045 with flag 152187642/27485000
1100.33/1102.37	c cleaning 233961 clauses out of 468037 with flag 153476542/27720000
1110.63/1113.00	c cleaning 235011 clauses out of 470077 with flag 154803676/27956001
1120.82/1123.02	c cleaning 235973 clauses out of 472066 with flag 156104296/28193001
1130.38/1132.53	c cleaning 237029 clauses out of 474092 with flag 157402197/28431000
1140.47/1142.91	c cleaning 237971 clauses out of 476065 with flag 158727614/28670002
1150.73/1153.37	c cleaning 239046 clauses out of 478094 with flag 160054834/28910002
1162.15/1164.73	c cleaning 240004 clauses out of 480048 with flag 161409394/29151002
1172.00/1174.88	c cleaning 240982 clauses out of 482042 with flag 162746409/29393000
1181.90/1184.89	c cleaning 241953 clauses out of 484061 with flag 164078211/29636001
1192.10/1195.09	c cleaning 243041 clauses out of 486107 with flag 165436034/29880000
1203.43/1206.72	c cleaning 244000 clauses out of 488066 with flag 166770341/30125000
1213.64/1216.80	c cleaning 244986 clauses out of 490066 with flag 168133404/30371000
1223.62/1226.85	c cleaning 246022 clauses out of 492083 with flag 169500048/30618003
1234.33/1252.90	c cleaning 247005 clauses out of 494059 with flag 170874930/30866001
1246.38/1264.94	c cleaning 248005 clauses out of 496053 with flag 172277924/31115000
1257.98/1276.49	c cleaning 249000 clauses out of 498048 with flag 173693868/31365000
1268.40/1286.80	c cleaning 249950 clauses out of 500049 with flag 175063392/31616001
1278.96/1297.45	c cleaning 251022 clauses out of 502099 with flag 176444953/31868001
1290.20/1308.76	c cleaning 252007 clauses out of 504076 with flag 177841108/32121000
1301.47/1319.97	c cleaning 253026 clauses out of 506069 with flag 179260595/32375000
1314.16/1332.57	c cleaning 254006 clauses out of 508043 with flag 180695422/32630000
1326.06/1344.62	c cleaning 254982 clauses out of 510038 with flag 182139419/32886001
1337.43/1355.94	c cleaning 256008 clauses out of 512055 with flag 183558310/33143000
1348.41/1366.89	c cleaning 256996 clauses out of 514047 with flag 184983256/33401000
1359.58/1378.04	c cleaning 258014 clauses out of 516053 with flag 186408045/33660002
1372.06/1390.44	c cleaning 259002 clauses out of 518038 with flag 187887374/33920001
1383.73/1402.31	c cleaning 260018 clauses out of 520036 with flag 189333234/34181001
1398.09/1416.69	c cleaning 260978 clauses out of 522017 with flag 190829926/34443000
1408.87/1427.36	c cleaning 261968 clauses out of 524040 with flag 192252858/34706001
1420.38/1438.94	c cleaning 263031 clauses out of 526072 with flag 193700989/34970001
1432.19/1450.80	c cleaning 263999 clauses out of 528042 with flag 195166550/35235002
1443.26/1461.99	c cleaning 264994 clauses out of 530041 with flag 196620157/35501000
1454.48/1473.12	c cleaning 265977 clauses out of 532048 with flag 198050615/35768001
1465.88/1484.58	c cleaning 266992 clauses out of 534070 with flag 199519880/36036000
1477.82/1497.53	c cleaning 268017 clauses out of 536078 with flag 201040505/36305000
1489.89/1509.69	c cleaning 269016 clauses out of 538061 with flag 202508359/36575000
1501.24/1520.93	c cleaning 269982 clauses out of 540048 with flag 203963393/36846003
1513.88/1534.08	c cleaning 271019 clauses out of 542065 with flag 205493924/37118002
1526.44/1546.52	c cleaning 271972 clauses out of 544044 with flag 206997463/37391000
1538.07/1558.27	c cleaning 273025 clauses out of 546072 with flag 208506444/37665000
1549.84/1569.95	c cleaning 273996 clauses out of 548048 with flag 209999070/37940001
1561.70/1581.72	c cleaning 274962 clauses out of 550053 with flag 211499806/38216002
1573.08/1593.27	c cleaning 276038 clauses out of 552090 with flag 212996606/38493001
1585.43/1605.57	c cleaning 276997 clauses out of 554052 with flag 214503486/38771001
1597.60/1617.89	c cleaning 278017 clauses out of 556055 with flag 216064306/39050001
1611.47/1631.55	c cleaning 278968 clauses out of 558037 with flag 217651569/39330000
1623.45/1643.59	c cleaning 280012 clauses out of 560070 with flag 219206365/39611001
1638.05/1657.87	c cleaning 280994 clauses out of 562059 with flag 220785488/39893002
1651.06/1671.00	c cleaning 282014 clauses out of 564064 with flag 222340876/40176001
1663.44/1683.41	c cleaning 283004 clauses out of 566053 with flag 223909073/40460004
1675.58/1695.58	c cleaning 283998 clauses out of 568046 with flag 225453256/40745001
1688.58/1708.77	c cleaning 284978 clauses out of 570048 with flag 227034142/41031001
1701.43/1721.66	c cleaning 286015 clauses out of 572070 with flag 228649631/41318001
1713.44/1733.64	c cleaning 286960 clauses out of 574054 with flag 230213897/41606000
1727.34/1747.66	c cleaning 288028 clauses out of 576094 with flag 231847574/41895000
1742.51/1762.74	c cleaning 289025 clauses out of 578067 with flag 233466222/42185001
1754.77/1775.05	c cleaning 290006 clauses out of 580041 with flag 235024658/42476000
1767.05/1787.22	c cleaning 291006 clauses out of 582036 with flag 236611682/42768001
1779.46/1799.73	c cleaning 292000 clauses out of 584030 with flag 238187149/43061001
1793.33/1813.54	c cleaning 292968 clauses out of 586030 with flag 239851543/43355001
1807.07/1827.24	c cleaning 294019 clauses out of 588061 with flag 241505595/43650000
1820.29/1840.62	c cleaning 294996 clauses out of 590042 with flag 243112730/43946000
1833.17/1853.43	c cleaning 295995 clauses out of 592047 with flag 244735199/44243001
1846.01/1866.36	c cleaning 296996 clauses out of 594053 with flag 246350648/44541002
1858.08/1878.57	c cleaning 297988 clauses out of 596056 with flag 247965024/44840001
1871.19/1891.92	c cleaning 299007 clauses out of 598067 with flag 249591560/45140000
1883.83/1904.58	c cleaning 300016 clauses out of 600061 with flag 251195753/45441001
1898.08/1918.83	c cleaning 300995 clauses out of 602044 with flag 252861794/45743000
1910.83/1931.91	c cleaning 301986 clauses out of 604049 with flag 254505476/46046000
1923.60/1944.62	c cleaning 303018 clauses out of 606064 with flag 256143338/46350001
1937.49/1958.60	c cleaning 304007 clauses out of 608047 with flag 257821759/46655002
1951.29/1972.48	c cleaning 305010 clauses out of 610040 with flag 259485663/46961002
1965.70/1987.06	c cleaning 305994 clauses out of 612029 with flag 261170208/47268001
1980.12/2001.47	c cleaning 307011 clauses out of 614034 with flag 262874566/47576000
1994.69/2016.03	c cleaning 307980 clauses out of 616024 with flag 264556304/47885001
2009.57/2030.81	c cleaning 308984 clauses out of 618043 with flag 266264327/48195000
2023.95/2045.17	c cleaning 309937 clauses out of 620059 with flag 267997991/48506000
2038.33/2059.43	c cleaning 311044 clauses out of 622122 with flag 269705029/48818000
2053.21/2074.26	c cleaning 312025 clauses out of 624078 with flag 271425933/49131000
2066.95/2088.16	c cleaning 312998 clauses out of 626055 with flag 273117147/49445002
2081.18/2101.76	c cleaning 314004 clauses out of 628055 with flag 274839334/49760000
2096.52/2117.22	c cleaning 314978 clauses out of 630052 with flag 276582607/50076001
2110.18/2130.95	c cleaning 316000 clauses out of 632075 with flag 278322626/50393002
2124.68/2145.52	c cleaning 317013 clauses out of 634074 with flag 280026484/50711001
2139.35/2160.17	c cleaning 318016 clauses out of 636061 with flag 281784219/51030001
2154.26/2175.11	c cleaning 318996 clauses out of 638044 with flag 283501503/51350000
2168.44/2189.27	c cleaning 319961 clauses out of 640050 with flag 285248520/51671002
2183.54/2204.47	c cleaning 320966 clauses out of 642088 with flag 287003215/51993001
2197.76/2218.66	c cleaning 322058 clauses out of 644123 with flag 288729497/52316002
2213.99/2234.92	c cleaning 322979 clauses out of 646063 with flag 290558817/52640000
2229.75/2250.66	c cleaning 324018 clauses out of 648085 with flag 292332473/52965001
2245.49/2266.42	c cleaning 325014 clauses out of 650068 with flag 294078114/53291002
2260.35/2281.25	c cleaning 325987 clauses out of 652052 with flag 295865440/53618000
2274.27/2295.29	c cleaning 326958 clauses out of 654065 with flag 297627992/53946000
2288.77/2309.76	c cleaning 328017 clauses out of 656108 with flag 299374747/54275001
2302.62/2323.71	c cleaning 329013 clauses out of 658091 with flag 301133363/54605001
2317.67/2338.77	c cleaning 330012 clauses out of 660077 with flag 302922308/54936000
2333.87/2355.03	c cleaning 331027 clauses out of 662065 with flag 304713736/55268000
2350.21/2371.34	c cleaning 332002 clauses out of 664039 with flag 306492544/55601001
2365.82/2387.02	c cleaning 332986 clauses out of 666038 with flag 308319999/55935002
2382.17/2403.44	c cleaning 334009 clauses out of 668052 with flag 310133360/56270002
2399.05/2422.90	c cleaning 335007 clauses out of 670043 with flag 311975526/56606002
2414.58/2438.55	c cleaning 336003 clauses out of 672035 with flag 313767348/56943001
2429.44/2453.55	c cleaning 336966 clauses out of 674032 with flag 315579885/57281001
2446.34/2470.23	c cleaning 338013 clauses out of 676065 with flag 317390691/57620000
2461.32/2485.28	c cleaning 338993 clauses out of 678052 with flag 319207294/57960000
2476.38/2500.29	c cleaning 340019 clauses out of 680060 with flag 321017105/58301001
2491.25/2515.15	c cleaning 340985 clauses out of 682041 with flag 322813569/58643001
2506.21/2530.03	c cleaning 342020 clauses out of 684058 with flag 324629127/58986003
2522.34/2546.25	c cleaning 342981 clauses out of 686035 with flag 326436068/59330000
2538.79/2562.69	c cleaning 344014 clauses out of 688057 with flag 328277791/59675003
2554.83/2578.72	c cleaning 344993 clauses out of 690041 with flag 330162083/60021001
2570.28/2594.14	c cleaning 345988 clauses out of 692047 with flag 331999641/60368000
2585.82/2609.75	c cleaning 347011 clauses out of 694060 with flag 333857089/60716001
2601.75/2625.65	c cleaning 348012 clauses out of 696049 with flag 335703336/61065001
2618.78/2642.72	c cleaning 349005 clauses out of 698036 with flag 337632011/61415000
2635.07/2658.85	c cleaning 349991 clauses out of 700032 with flag 339510360/61766001
2650.25/2674.14	c cleaning 350997 clauses out of 702040 with flag 341358182/62118000
2665.88/2689.26	c cleaning 352022 clauses out of 704045 with flag 343233428/62471002
2684.83/2708.61	c cleaning 352975 clauses out of 706023 with flag 345137768/62825002
2701.17/2725.03	c cleaning 353999 clauses out of 708046 with flag 347050213/63180000
2717.19/2741.01	c cleaning 355006 clauses out of 710048 with flag 348934364/63536001
2732.81/2756.75	c cleaning 356004 clauses out of 712042 with flag 350843107/63893001
2749.74/2773.66	c cleaning 356951 clauses out of 714037 with flag 352768579/64251000
2767.79/2791.69	c cleaning 357969 clauses out of 716088 with flag 354752530/64610002
2783.51/2807.23	c cleaning 359022 clauses out of 718117 with flag 356637822/64970000
2801.15/2824.92	c cleaning 360032 clauses out of 720095 with flag 358536886/65331000
2818.59/2842.36	c cleaning 361015 clauses out of 722063 with flag 360462116/65693000
2836.50/2860.36	c cleaning 361974 clauses out of 724048 with flag 362405020/66056000
2853.53/2877.58	c cleaning 362984 clauses out of 726075 with flag 364298825/66420001
2874.35/2898.30	c cleaning 364016 clauses out of 728091 with flag 366235422/66785001
2893.51/2917.50	c cleaning 365019 clauses out of 730074 with flag 368224331/67151000
2909.47/2933.49	c cleaning 366007 clauses out of 732057 with flag 370139338/67518002
2926.97/2951.10	c cleaning 367006 clauses out of 734050 with flag 372089964/67886002
2947.14/2971.36	c cleaning 367991 clauses out of 736042 with flag 374066026/68255000
2965.74/2989.96	c cleaning 368998 clauses out of 738053 with flag 376088469/68625002
2983.90/3008.25	c cleaning 370006 clauses out of 740053 with flag 378072402/68996000
3005.44/3029.81	c cleaning 371020 clauses out of 742048 with flag 380069448/69368001
3024.68/3049.09	c cleaning 371996 clauses out of 744029 with flag 382060963/69741002
3042.74/3067.24	c cleaning 372984 clauses out of 746032 with flag 384034764/70115001
3060.28/3084.79	c cleaning 373993 clauses out of 748049 with flag 386045650/70490002
3077.98/3102.55	c cleaning 375011 clauses out of 750055 with flag 388021117/70866001
3098.46/3123.00	c cleaning 375967 clauses out of 752043 with flag 390078068/71243000
3117.14/3141.53	c cleaning 377005 clauses out of 754076 with flag 392105052/71621000
3138.27/3162.84	c cleaning 378010 clauses out of 756071 with flag 394206735/72000000
3158.15/3182.94	c cleaning 378993 clauses out of 758061 with flag 396351098/72380000
3176.49/3201.07	c cleaning 380013 clauses out of 760069 with flag 398398458/72761001
3195.54/3219.48	c cleaning 381017 clauses out of 762056 with flag 400498685/73143001
3214.41/3238.41	c cleaning 381997 clauses out of 764038 with flag 402562720/73526000
3234.04/3258.35	c cleaning 383003 clauses out of 766041 with flag 404636043/73910000
3253.39/3277.84	c cleaning 383992 clauses out of 768038 with flag 406756018/74295000
3274.88/3299.45	c cleaning 384987 clauses out of 770048 with flag 408868799/74681002
3299.54/3324.41	c cleaning 386019 clauses out of 772061 with flag 411078465/75068002
3319.33/3344.34	c cleaning 386986 clauses out of 774040 with flag 413137844/75456000
3339.59/3364.58	c cleaning 387976 clauses out of 776057 with flag 415256742/75845003
3360.57/3386.08	c cleaning 389016 clauses out of 778078 with flag 417426596/76235000
3380.82/3406.45	c cleaning 390014 clauses out of 780062 with flag 419589394/76626000
3401.01/3426.57	c cleaning 391008 clauses out of 782048 with flag 421782139/77018000
3420.57/3446.17	c cleaning 391963 clauses out of 784042 with flag 423931306/77411002
3441.05/3466.86	c cleaning 392988 clauses out of 786077 with flag 426069783/77805000
3460.98/3486.68	c cleaning 394029 clauses out of 788089 with flag 428157850/78200000
3481.66/3507.32	c cleaning 394994 clauses out of 790060 with flag 430318404/78596000
3505.28/3531.10	c cleaning 395992 clauses out of 792066 with flag 432595765/78993000
3526.50/3551.83	c cleaning 397001 clauses out of 794075 with flag 434778606/79391001
3545.54/3570.89	c cleaning 398009 clauses out of 796073 with flag 436921275/79790000
3565.94/3591.29	c cleaning 399021 clauses out of 798064 with flag 439107472/80190000
3585.66/3610.97	c cleaning 400004 clauses out of 800043 with flag 441262179/80591000
3600.01/3625.41	c starts		: 35012
3600.01/3625.42	c timeout
3600.01/3625.42	c conflicts		: 80869975
3600.01/3625.42	c decisions		: 158404108
3600.01/3625.42	c propagations		: 1729148116
3600.01/3625.42	c inspects		: 46137226572
3600.01/3625.42	c shortcuts		: 0
3600.01/3625.42	c learnt literals	: 0
3600.01/3625.42	c learnt binary clauses	: 0
3600.01/3625.42	c learnt ternary clauses	: 0
3600.01/3625.42	c learnt constraints	: 80869975
3600.01/3625.42	c ignored constraints	: 0
3600.01/3625.42	c root simplifications	: 0
3600.01/3625.42	c removed literals (reason simplification)	: 121516649
3600.01/3625.42	c reason swapping (by a shorter reason)	: 0
3600.01/3625.42	c Calls to reduceDB	: 397
3600.01/3625.42	c Number of update (reduction) of LBD	: 30500708
3600.01/3625.42	c Imported unit clauses	: 0
3600.01/3625.42	c No decision after first conflict	: false
3600.01/3625.42	c number of reductions to clauses (during analyze)	: 0
3600.01/3625.42	c number of learned constraints concerned by reduction	: 0
3600.01/3625.42	c number of learning phase by resolution	: 0
3600.01/3625.43	c number of learning phase by cutting planes	: 0
3600.01/3625.43	c number of rounding to 1 operations	: 0
3600.01/3625.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3625.43	c number of reductions of the coefficients by power 2 	: 0
3600.01/3625.43	c number of right shift for reduction by power 2 	: 0
3600.01/3625.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3625.43	c number of ending skipping 	: 0
3600.01/3625.43	c number of internal skipping 	: 0
3600.01/3625.43	c number of derivation steps 	: 0
3600.01/3625.43	c number of skipped derivation steps 	: 0
3600.01/3625.43	c number of remaining unassigned 	: 0
3600.01/3625.43	c number of remaining assigned 	: 0
3600.01/3625.43	c number of falsified literals weakened from reason	: 0
3600.01/3625.43	c number of falsified literals weakened from conflict	: 0
3600.01/3625.43	c time for arithmetic operations	: 0
3600.01/3625.43	c minimum degree of deleted constraints	: null
3600.01/3625.43	c maximum degree of deleted constraints	: null
3600.01/3625.43	c number of deleted constraints	: 0
3600.01/3625.43	c speed (assignments/second)	: 477034.1435046288
3600.01/3625.43	c non guided choices	: 52674958
3600.01/3625.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 679014
3600.01/3625.50	s UNKNOWN
3600.01/3625.50	c Total wall clock time (in seconds): 3625.204

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61580 MiB free)
  memory of node 1: 64510 MiB (62156 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=200202, runsolver pid=200193
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.01 1.40 2.15 1/267 200215
/proc/meminfo: memFree=126657452/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=16431484 memory=22684 CPUtime=0 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 1514 0 84 0 0 0 0 0 20 0 2 0 20888292 16825839616 5605 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16784588 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4107871 5671 3469 1 0 4847 0
[pid=200202/tid=200210] ppid=200193 vsize=16809112 memory=4026531971 CPUtime=0 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) D 200193 200202 200135 0 -1 4194368 998 0 54 0 0 0 0 0 20 0 3 0 20888296 17212530688 5708 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 5 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 16431484 KiB
Current children cumulated memory: 22684 KiB

[startup+0.208049 s]*
/proc/loadavg: 1.01 1.40 2.15 9/331 200279
/proc/meminfo: memFree=126531688/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=18975048 memory=55456 CPUtime=0.06 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 6500 0 136 0 4 2 0 0 20 0 18 0 20888292 19430449152 13864 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4743762 13864 5532 1 0 548705 0
[pid=200202/tid=200210] ppid=200193 vsize=18975048 memory=3461362060219711619 CPUtime=0.04 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 5388 0 94 0 2 2 0 0 20 0 18 0 20888296 19430449152 13864 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=18975048 memory=1555553 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 13864 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=18975048 memory=16098173902915238 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 13864 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55456 KiB

[startup+0.306597 s]*
/proc/loadavg: 1.01 1.40 2.15 14/331 200279
/proc/meminfo: memFree=126477580/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=18975048 memory=70024 CPUtime=0.2 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 7494 0 136 0 17 3 0 0 20 0 18 0 20888292 19430449152 17506 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4743762 17506 5666 1 0 549514 0
[pid=200202/tid=200210] ppid=200193 vsize=18975048 memory=-9103016661251498684 CPUtime=0.12 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 1077936192 5940 0 94 0 10 2 0 0 20 0 18 0 20888296 19430449152 17506 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=18975048 memory=1470208041383723609 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 17506 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 17506 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70024 KiB

[startup+0.700373 s]
/proc/loadavg: 1.01 1.40 2.15 11/335 200283
/proc/meminfo: memFree=125723096/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=632900 CPUtime=0.95 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 10243 0 136 0 79 16 0 0 20 0 20 0 20888292 19566772224 158225 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 158225 5788 1 0 551796 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=68676 CPUtime=0.46 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 6291 0 94 0 33 13 0 0 20 0 20 0 20888296 19566772224 158225 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 158225 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=5500 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 158225 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 632900 KiB

[startup+1.50024 s]
/proc/loadavg: 1.01 1.40 2.15 15/338 200286
/proc/meminfo: memFree=124730772/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=651316 CPUtime=2.54 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 15767 0 136 0 237 17 0 0 20 0 20 0 20888292 19566772224 162829 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 162829 5813 1 0 555789 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=5500 CPUtime=1.24 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 6342 0 94 0 110 14 0 0 20 0 20 0 20888296 19566772224 162829 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=68676 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 162829 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 162829 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 162829 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 651316 KiB

[startup+3.10706 s]
/proc/loadavg: 1.01 1.40 2.15 6/339 200287
/proc/meminfo: memFree=124524900/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=651924 CPUtime=5.32 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 16069 0 136 0 513 19 0 0 20 0 20 0 20888292 19566772224 162981 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 162981 5815 1 0 555811 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=0 CPUtime=2.83 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 6482 0 94 0 267 16 0 0 20 0 20 0 20888296 19566772224 162981 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 162981 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 162981 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=68676 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 162981 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 651924 KiB

[startup+6.30027 s]
/proc/loadavg: 1.25 1.44 2.16 8/339 200289
/proc/meminfo: memFree=122917552/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=1146936 CPUtime=9.22 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 22885 0 136 0 891 31 0 0 20 0 20 0 20888292 19566772224 286734 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 286734 5831 1 0 555815 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=0 CPUtime=5.96 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 7853 0 94 0 569 27 0 0 20 0 20 0 20888296 19566772224 286734 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 286734 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=6944656592455360608 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 286734 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=-8958901473175642812 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 286734 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1146936 KiB

[startup+12.7003 s]
/proc/loadavg: 1.47 1.49 2.17 7/339 200289
/proc/meminfo: memFree=122108340/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=1321264 CPUtime=15.61 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 24130 0 136 0 1522 39 0 0 20 0 20 0 20888292 19566772224 330316 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 330316 5843 1 0 555815 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=-8958901473175642812 CPUtime=12.3 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 8212 0 94 0 1196 34 0 0 20 0 20 0 20888296 19566772224 330316 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=15888 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 330316 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=1321264 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 330316 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=1317168 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 330316 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 15.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1321264 KiB

[startup+25.5003 s]
/proc/loadavg: 2.03 1.61 2.20 6/339 200290
/proc/meminfo: memFree=120519660/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=1333616 CPUtime=28.42 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 27901 0 136 0 2792 50 0 0 20 0 20 0 20888292 19566772224 333404 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 333404 5843 1 0 555815 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=1843 CPUtime=24.99 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 9829 0 94 0 2455 44 0 0 20 0 20 0 20888296 19566772224 333404 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=48904838 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 333404 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=1321296 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 333404 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=1554003 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 333404 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 28.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333616 KiB

[startup+51.107 s]
/proc/loadavg: 2.76 1.82 2.25 8/339 200295
/proc/meminfo: memFree=116376204/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=2912776 CPUtime=53.61 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 32064 0 136 0 5262 99 0 0 20 0 20 0 20888292 19566772224 728194 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 728194 5843 1 0 977765 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=12348 CPUtime=49.93 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 12508 0 94 0 4904 89 0 0 20 0 20 0 20888296 19566772224 728194 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 58 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=2369964 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 728194 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=13492 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 728194 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=1470208041383723609 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 728194 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 53.61 s

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

/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 968298 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=-8958901473175642812 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2622 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 968298 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=3872992 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 968298 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3198.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3873192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 8/337 202093
/proc/meminfo: memFree=64463784/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=3873196 CPUtime=3257.84 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 279899 0 136 0 324065 1719 0 0 20 0 20 0 20888292 19566772224 968299 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 968299 5844 1 0 982450 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=13492 CPUtime=3195.59 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 116252 0 94 0 317950 1609 0 0 20 0 20 0 20888296 19566772224 968299 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4095 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=3873196 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 968299 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=3873196 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2622 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 968299 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=3873196 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 968299 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3257.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3873196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.18 4.11 8/336 202104
/proc/meminfo: memFree=63680192/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=3873208 CPUtime=3317.34 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 281146 0 136 0 329989 1745 0 0 20 0 20 0 20888292 19566772224 968302 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 968302 5844 1 0 982450 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=12348 CPUtime=3254.3 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 116984 0 94 0 323797 1633 0 0 20 0 20 0 20888296 19566772224 968302 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4122 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=3873208 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 968302 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=13492 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2670 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 968302 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=-8958901473175642812 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 968302 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3317.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3873208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.19 4.12 9/337 202116
/proc/meminfo: memFree=62844284/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=3873212 CPUtime=3376.75 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 284808 0 136 0 335904 1771 0 0 20 0 20 0 20888292 19566772224 968303 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 968303 5844 1 0 982472 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=3873208 CPUtime=3312.54 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 118940 0 94 0 329597 1657 0 0 20 0 20 0 20888296 19566772224 968303 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4202 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=3873208 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 968303 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=3873212 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2670 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 968303 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=3873212 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 968303 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3376.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3873212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.10 7/340 202132
/proc/meminfo: memFree=62041100/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=3873216 CPUtime=3436.57 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 285784 0 136 0 341858 1799 0 0 20 0 20 0 20888292 19566772224 968304 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 968304 5844 1 0 982483 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=3873208 CPUtime=3371.59 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 119602 0 94 0 335475 1684 0 0 20 0 20 0 20888296 19566772224 968304 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4239 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=3873208 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 968304 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=3873212 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2739 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 968304 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=3873216 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 968304 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3436.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3873216 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 6/341 202144
/proc/meminfo: memFree=61253864/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=3873408 CPUtime=3496.5 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 289353 0 136 0 347826 1824 0 0 20 0 20 0 20888292 19566772224 968352 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 968352 5844 1 0 982510 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=15888 CPUtime=3430.29 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 121053 0 94 0 341321 1708 0 0 20 0 20 0 20888296 19566772224 968352 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4270 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=3873212 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 968352 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=3873408 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2739 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 968352 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=-8958901473175642812 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 968352 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3496.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3873408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.10 6/340 202154
/proc/meminfo: memFree=60425276/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=3873448 CPUtime=3556.89 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 302511 0 136 0 353834 1855 0 0 20 0 20 0 20888292 19566772224 968362 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 968362 5844 1 0 982517 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=12348 CPUtime=3489.6 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 125009 0 94 0 347224 1736 0 0 20 0 20 0 20888296 19566772224 968362 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4291 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=3873448 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 968362 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=-8958901473175642812 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2779 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 968362 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=3873448 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 968362 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3556.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3873448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3625.4 s]
/proc/loadavg: 4.11 4.14 4.09 6/316 202193
/proc/meminfo: memFree=63389604/131524600 swapFree=131056028/131071996
[pid=200202] ppid=200193 vsize=19108176 memory=3880688 CPUtime=3600.01 cores=0,2
/proc/200202/stat : 200202 (java) S 200193 200202 200135 0 -1 1077936128 306502 0 136 0 358127 1874 0 0 20 0 20 0 20888292 19566772224 970172 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
/proc/200202/statm: 4777044 970172 5841 1 0 982518 0
[pid=200202/tid=200210] ppid=200193 vsize=19108176 memory=1554003 CPUtime=3531.96 cores=0,2
/proc/200202/task/200210/stat : 200210 (java) R 200193 200202 200135 0 -1 4194368 127127 0 94 0 351442 1754 0 0 20 0 20 0 20888296 19566772224 970172 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4311 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200249] ppid=200193 vsize=19108176 memory=1554563 CPUtime=0 cores=0,2
/proc/200202/task/200249/stat : 200249 (Finalizer) S 200193 200202 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 970172 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200277] ppid=200193 vsize=19108176 memory=1775824 CPUtime=0 cores=0,2
/proc/200202/task/200277/stat : 200277 (Common-Cleaner) S 200193 200202 200135 0 -1 1077936192 2845 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 970172 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
[pid=200202/tid=200284] ppid=200193 vsize=19108176 memory=-9103016661251498684 CPUtime=0 cores=0,2
/proc/200202/task/200284/stat : 200284 (Timer-0) S 200193 200202 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888356 19566772224 970172 134679101440 94451477544960 94451477548656 140722820490768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94451477556472 94451477557264 94451490488320 140722820494251 140722820494433 140722820494433 140722820501448 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.41 s, system=18.7671 s

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

[startup+3625.52 s]*
/proc/loadavg: 4.11 4.14 4.09 4/298 202196
/proc/meminfo: memFree=67178280/131524600 swapFree=131056028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3625.52
CPU time (s): 3600.18
CPU user time (s): 3581.41
CPU system time (s): 18.7671
CPU usage (%): 99.3008
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3880688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.41
system time used= 18.7671
maximum resident set size= 3882608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309758
page faults= 136
swaps= 0
block input operations= 23184
block output operations= 32431672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120879
involuntary context switches= 32535


# summary of solver processes directly reported to runsolver:
#   pid: 200202
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3581.41
#   total CPU system time (s): 18.7671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95688 second user time and 20.6559 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-24 19:53:18
IDJOB=4453702
IDBENCH=175780
IDSOLVER=3079
FILE ID=nodeC016/4453702-1721843598
RUNJOBID= nodeC016-1721843598-200145
SLURM_JOB_ID= 7891586
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453702-1721843598/watcher-4453702-1721843598 -o /tmp/evaluation-result-4453702-1721843598/solver-4453702-1721843598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721843598-200145 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453702-1721843598 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453702-1721843598.opb

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

MD5SUM BENCH= bf4b37d507499fefbc3983af658cb5f7
RANDOM SEED=1039846711

nodeC016.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		: 3609.299
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.34
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		: 3475.558
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	: 7005.68
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		: 3536.400
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.34
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		: 3596.370
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	: 7005.68
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		: 3755.263
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.34
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		: 3651.601
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	: 7005.68
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		: 3610.214
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.34
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		: 3867.559
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	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126708448 kB
MemAvailable:   129578356 kB
Buffers:          266824 kB
Cached:          3285168 kB
SwapCached:          284 kB
Active:          2262304 kB
Inactive:        1658544 kB
Active(anon):       2308 kB
Inactive(anon):   418948 kB
Active(file):    2259996 kB
Inactive(file):  1239596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              3852 kB
Writeback:             0 kB
AnonPages:        368792 kB
Mapped:           102748 kB
Shmem:             52400 kB
KReclaimable:     419928 kB
Slab:             540432 kB
SReclaimable:     419928 kB
SUnreclaim:       120504 kB
KernelStack:        3936 kB
PageTables:        10008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     713676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-24 20:53:43