Trace number 4440291

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)228 3600.23 3510.85

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark182
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables478
Total number of constraints478
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 478
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 478
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4440291-1721769277.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c using VERIPB proof format
0.13/0.13	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.043s.
0.13/0.18	c declared #vars     478
0.13/0.18	c #constraints  478
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 478
0.13/0.18	c 478 constraints processed.
0.13/0.18	c objective function length is 478 literals
0.13/0.19	c SATISFIABLE
0.13/0.19	c OPTIMIZING...
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.064
0.13/0.19	o 233
0.34/0.21	c Got one! Elapsed wall clock time (in seconds):0.083
0.34/0.21	o 232
0.51/0.35	c Got one! Elapsed wall clock time (in seconds):0.215
0.51/0.35	o 231
2.64/1.41	c cleaning 2578 clauses out of 5168 with flag 10474/5168
4.63/2.43	c cleaning 4288 clauses out of 8589 with flag 22956/11167
5.55/3.15	c cleaning 5643 clauses out of 11301 with flag 37622/18167
5.73/3.22	c Got one! Elapsed wall clock time (in seconds):3.099
5.73/3.22	o 230
6.31/3.74	c cleaning 5785 clauses out of 11590 with flag 10661/24099
7.00/4.32	c cleaning 5897 clauses out of 11805 with flag 23191/30099
7.71/5.05	c cleaning 6448 clauses out of 12909 with flag 37733/37100
8.60/5.87	c cleaning 7223 clauses out of 14460 with flag 54443/45099
9.53/6.74	c cleaning 8111 clauses out of 16238 with flag 73290/54100
10.54/7.76	c cleaning 9055 clauses out of 18126 with flag 94186/64099
11.66/8.88	c cleaning 10029 clauses out of 20072 with flag 117218/75100
12.85/10.03	c cleaning 11013 clauses out of 22043 with flag 142308/87100
14.06/11.25	c cleaning 12007 clauses out of 24030 with flag 169500/100100
15.46/12.60	c cleaning 13004 clauses out of 26023 with flag 199036/114100
17.07/14.11	c cleaning 13999 clauses out of 28018 with flag 230619/129099
19.08/15.93	c cleaning 15000 clauses out of 30020 with flag 264196/145100
20.73/17.52	c cleaning 15999 clauses out of 32020 with flag 299704/162100
22.47/19.22	c cleaning 16998 clauses out of 34020 with flag 336834/180099
24.36/21.16	c cleaning 17999 clauses out of 36022 with flag 376837/199099
26.62/23.31	c cleaning 18999 clauses out of 38024 with flag 418700/219100
28.82/25.48	c cleaning 20007 clauses out of 40025 with flag 462753/240100
31.31/27.85	c cleaning 20997 clauses out of 42017 with flag 508685/262099
33.59/30.14	c cleaning 22004 clauses out of 44021 with flag 556835/285100
36.16/32.68	c cleaning 22995 clauses out of 46016 with flag 607056/309099
39.06/36.88	c cleaning 23998 clauses out of 48022 with flag 659318/334100
41.73/39.58	c cleaning 25003 clauses out of 50023 with flag 713775/360099
45.37/42.84	c cleaning 26000 clauses out of 52020 with flag 770051/387099
48.36/45.82	c cleaning 27000 clauses out of 54021 with flag 828570/415100
51.51/48.92	c cleaning 28004 clauses out of 56021 with flag 889219/444100
55.04/52.30	c cleaning 29002 clauses out of 58017 with flag 952155/474100
58.66/55.82	c cleaning 29999 clauses out of 60014 with flag 1016969/505099
61.93/59.20	c cleaning 30996 clauses out of 62015 with flag 1084022/537099
65.75/62.96	c cleaning 32001 clauses out of 64020 with flag 1152845/570100
69.73/67.77	c cleaning 32998 clauses out of 66018 with flag 1223910/604099
73.96/71.88	c cleaning 34000 clauses out of 68021 with flag 1296601/639100
78.15/76.00	c cleaning 35001 clauses out of 70020 with flag 1371782/675099
82.21/80.01	c cleaning 36002 clauses out of 72019 with flag 1449078/712099
86.62/84.32	c cleaning 37000 clauses out of 74017 with flag 1527831/750099
91.12/88.66	c cleaning 37999 clauses out of 76018 with flag 1609080/789100
95.83/93.19	c cleaning 38999 clauses out of 78018 with flag 1692424/829099
100.75/98.50	c cleaning 39996 clauses out of 80020 with flag 1778214/870100
105.87/103.43	c cleaning 41001 clauses out of 82024 with flag 1866208/912100
110.91/108.38	c cleaning 42000 clauses out of 84022 with flag 1955921/955099
116.12/113.47	c cleaning 43005 clauses out of 86022 with flag 2047355/999099
116.83/114.13	c Got one! Elapsed wall clock time (in seconds):114.004
116.83/114.13	o 229
118.02/115.11	c cleaning 27742 clauses out of 55503 with flag 10561/1011585
118.62/115.75	c cleaning 16872 clauses out of 33762 with flag 23116/1017586
119.31/116.40	c cleaning 11936 clauses out of 23890 with flag 37697/1024586
120.14/117.10	c cleaning 9965 clauses out of 19953 with flag 54312/1032585
120.83/117.89	c cleaning 9484 clauses out of 18988 with flag 73088/1041585
121.73/118.77	c cleaning 9741 clauses out of 19504 with flag 93947/1051585
122.90/119.80	c cleaning 10374 clauses out of 20763 with flag 117022/1062585
123.99/120.90	c cleaning 11187 clauses out of 22390 with flag 142059/1074586
125.20/122.12	c cleaning 12093 clauses out of 24203 with flag 169146/1087586
126.49/123.43	c cleaning 13045 clauses out of 26110 with flag 198237/1101586
128.06/124.93	c cleaning 14020 clauses out of 28065 with flag 229454/1116586
129.59/127.23	c cleaning 15011 clauses out of 30044 with flag 262974/1132585
131.18/128.81	c cleaning 16009 clauses out of 32034 with flag 298412/1149586
133.08/130.67	c cleaning 17003 clauses out of 34025 with flag 335968/1167586
134.97/132.50	c cleaning 17999 clauses out of 36022 with flag 375630/1186586
137.08/134.57	c cleaning 18999 clauses out of 38023 with flag 417510/1206586
139.18/136.68	c cleaning 20001 clauses out of 40024 with flag 461566/1227586
141.73/139.07	c cleaning 20999 clauses out of 42022 with flag 507921/1249585
143.92/141.25	c cleaning 21998 clauses out of 44024 with flag 555668/1272586
146.52/143.74	c cleaning 23000 clauses out of 46025 with flag 606007/1296585
149.01/146.25	c cleaning 24001 clauses out of 48025 with flag 658272/1321585
151.92/149.02	c cleaning 24998 clauses out of 50025 with flag 712737/1347586
154.82/151.98	c cleaning 26002 clauses out of 52027 with flag 769022/1374586
158.02/155.07	c cleaning 27002 clauses out of 54024 with flag 827295/1402585
161.30/159.81	c cleaning 27999 clauses out of 56022 with flag 887877/1431585
164.81/163.28	c cleaning 29003 clauses out of 58024 with flag 950401/1461586
168.52/166.74	c cleaning 29998 clauses out of 60020 with flag 1015155/1492585
171.91/170.16	c cleaning 31000 clauses out of 62023 with flag 1082007/1524586
175.59/173.73	c cleaning 32000 clauses out of 64024 with flag 1150819/1557587
180.29/178.31	c cleaning 33005 clauses out of 66024 with flag 1223014/1591587
184.75/182.66	c cleaning 33999 clauses out of 68018 with flag 1296027/1626586
188.97/187.36	c cleaning 35001 clauses out of 70018 with flag 1371663/1662585
193.86/192.11	c cleaning 36000 clauses out of 72017 with flag 1449054/1699585
198.63/196.89	c cleaning 37000 clauses out of 74018 with flag 1528676/1737586
204.01/202.11	c cleaning 37997 clauses out of 76017 with flag 1610545/1776585
209.10/207.14	c cleaning 39000 clauses out of 78021 with flag 1694554/1816586
215.00/212.91	c cleaning 40002 clauses out of 80021 with flag 1780198/1857586
220.42/218.62	c cleaning 41000 clauses out of 82018 with flag 1867950/1899585
226.34/224.42	c cleaning 42002 clauses out of 84019 with flag 1957749/1942586
231.75/229.70	c cleaning 42997 clauses out of 86016 with flag 2049465/1986585
237.71/235.50	c cleaning 44002 clauses out of 88020 with flag 2143828/2031586
243.44/241.11	c cleaning 44997 clauses out of 90017 with flag 2239771/2077585
249.29/246.98	c cleaning 46001 clauses out of 92021 with flag 2337814/2124586
255.35/253.52	c cleaning 47000 clauses out of 94019 with flag 2438002/2172585
261.43/259.52	c cleaning 48001 clauses out of 96020 with flag 2540849/2221586
267.76/265.83	c cleaning 48997 clauses out of 98018 with flag 2645356/2271585
275.04/272.86	c cleaning 50001 clauses out of 100022 with flag 2751780/2322586
281.82/279.98	c cleaning 51001 clauses out of 102021 with flag 2860220/2374586
289.13/287.16	c cleaning 51996 clauses out of 104019 with flag 2970537/2427585
296.28/294.25	c cleaning 53000 clauses out of 106023 with flag 3083244/2481585
304.29/301.75	c cleaning 53995 clauses out of 108024 with flag 3197765/2536586
311.39/308.89	c cleaning 55005 clauses out of 110029 with flag 3314773/2592586
318.67/316.65	c cleaning 56001 clauses out of 112023 with flag 3434089/2649585
326.21/324.07	c cleaning 57001 clauses out of 114022 with flag 3555561/2707585
334.07/331.83	c cleaning 58003 clauses out of 116022 with flag 3678859/2766586
342.22/339.67	c cleaning 59000 clauses out of 118019 with flag 3804821/2826586
349.95/348.15	c cleaning 59995 clauses out of 120019 with flag 3932420/2887586
358.44/356.52	c cleaning 61003 clauses out of 122024 with flag 4061905/2949586
367.10/365.00	c cleaning 61999 clauses out of 124020 with flag 4193618/3012585
375.40/374.07	c cleaning 63000 clauses out of 126021 with flag 4328250/3076585
383.82/382.48	c cleaning 64000 clauses out of 128022 with flag 4464333/3141586
392.20/390.63	c cleaning 65000 clauses out of 130021 with flag 4602588/3207585
401.08/399.45	c cleaning 65997 clauses out of 132021 with flag 4742611/3274585
410.48/409.00	c cleaning 66999 clauses out of 134025 with flag 4884506/3342586
420.23/418.62	c cleaning 68002 clauses out of 136025 with flag 5027786/3411585
429.98/428.32	c cleaning 69002 clauses out of 138024 with flag 5173908/3481586
439.70/438.52	c cleaning 69999 clauses out of 140021 with flag 5321923/3552585
450.06/448.71	c cleaning 70999 clauses out of 142023 with flag 5471462/3624586
460.10/458.74	c cleaning 72003 clauses out of 144025 with flag 5623574/3697587
470.21/469.85	c cleaning 73000 clauses out of 146021 with flag 5777434/3771586
480.65/480.17	c cleaning 73994 clauses out of 148020 with flag 5933483/3846585
492.07/491.37	c cleaning 75001 clauses out of 150026 with flag 6091860/3922585
504.37/504.02	c cleaning 76000 clauses out of 152026 with flag 6252741/3999586
516.60/516.11	c cleaning 77001 clauses out of 154025 with flag 6415888/4077585
528.36/528.62	c cleaning 78004 clauses out of 156025 with flag 6580202/4156586
540.47/540.54	c cleaning 78996 clauses out of 158020 with flag 6747699/4236585
555.04/554.97	c cleaning 80007 clauses out of 160025 with flag 6924075/4317586
567.43/568.06	c cleaning 80999 clauses out of 162017 with flag 7095114/4399585
581.16/581.38	c cleaning 82000 clauses out of 164019 with flag 7268439/4482586
595.32/595.55	c cleaning 83000 clauses out of 166019 with flag 7444063/4566586
609.66/609.08	c cleaning 84002 clauses out of 168019 with flag 7621126/4651586
623.89/623.20	c cleaning 84994 clauses out of 170016 with flag 7799568/4737585
637.76/637.11	c cleaning 86002 clauses out of 172022 with flag 7981003/4824585
650.93/650.36	c cleaning 86999 clauses out of 174020 with flag 8164501/4912585
663.95/663.24	c cleaning 88002 clauses out of 176021 with flag 8349562/5001585
678.82/677.67	c cleaning 89004 clauses out of 178020 with flag 8537143/5091586
692.49/691.52	c cleaning 89999 clauses out of 180016 with flag 8727191/5182586
706.67/705.60	c cleaning 90997 clauses out of 182016 with flag 8919711/5274585
719.48/718.89	c cleaning 91998 clauses out of 184021 with flag 9113566/5367587
734.50/733.70	c cleaning 93002 clauses out of 186021 with flag 9309348/5461585
749.97/750.16	c cleaning 94001 clauses out of 188019 with flag 9507213/5556585
765.66/765.70	c cleaning 94999 clauses out of 190019 with flag 9707257/5652586
780.29/781.39	c cleaning 95993 clauses out of 192019 with flag 9909102/5749585
796.12/796.86	c cleaning 96999 clauses out of 194026 with flag 10112416/5847585
811.66/812.53	c cleaning 98003 clauses out of 196028 with flag 10318773/5946586
827.84/828.45	c cleaning 99002 clauses out of 198024 with flag 10527900/6046585
844.24/845.45	c cleaning 100004 clauses out of 200023 with flag 10738702/6147586
860.15/861.07	c cleaning 101001 clauses out of 202019 with flag 10952157/6249586
877.60/878.45	c cleaning 102000 clauses out of 204017 with flag 11167657/6352585
893.70/895.08	c cleaning 102994 clauses out of 206017 with flag 11384416/6456585
909.65/910.56	c cleaning 104002 clauses out of 208024 with flag 11603215/6561586
925.73/926.79	c cleaning 105005 clauses out of 210023 with flag 11825136/6667587
942.77/942.60	c cleaning 106000 clauses out of 212016 with flag 12048659/6774585
958.33/958.45	c cleaning 106997 clauses out of 214016 with flag 12273060/6882585
975.76/974.64	c cleaning 107997 clauses out of 216019 with flag 12500943/6991585
992.36/992.04	c cleaning 108998 clauses out of 218022 with flag 12729803/7101585
1010.78/1009.24	c cleaning 110003 clauses out of 220025 with flag 12960040/7212586
1031.38/1029.40	c cleaning 111002 clauses out of 222022 with flag 13191698/7324586
1051.83/1048.94	c cleaning 111998 clauses out of 224019 with flag 13425915/7437585
1071.10/1067.89	c cleaning 112995 clauses out of 226021 with flag 13662367/7551585
1091.67/1088.51	c cleaning 114007 clauses out of 228028 with flag 13901633/7666587
1110.90/1106.41	c cleaning 115000 clauses out of 230019 with flag 14142637/7782585
1129.30/1124.99	c cleaning 116001 clauses out of 232019 with flag 14385321/7899585
1149.17/1144.36	c cleaning 116999 clauses out of 234018 with flag 14630245/8017585
1171.24/1165.11	c cleaning 117997 clauses out of 236019 with flag 14877819/8136585
1191.95/1185.59	c cleaning 119000 clauses out of 238022 with flag 15127155/8256585
1215.15/1208.28	c cleaning 120003 clauses out of 240023 with flag 15379003/8377586
1236.10/1226.70	c cleaning 120997 clauses out of 242019 with flag 15632356/8499585
1256.69/1247.15	c cleaning 121995 clauses out of 244022 with flag 15888174/8622585
1279.49/1267.97	c cleaning 123001 clauses out of 246027 with flag 16145395/8746585
1300.12/1287.21	c cleaning 124005 clauses out of 248028 with flag 16405170/8871587
1324.61/1309.71	c cleaning 124997 clauses out of 250021 with flag 16666269/8997585
1345.42/1329.53	c cleaning 125999 clauses out of 252024 with flag 16930513/9124585
1350.79/1334.82	c Got one! Elapsed wall clock time (in seconds):1334.694
1350.79/1334.83	o 228
1353.88/1337.96	c cleaning 89093 clauses out of 178203 with flag 11220/9176763
1355.47/1339.53	c cleaning 47545 clauses out of 95110 with flag 23739/9182763
1356.95/1340.60	c cleaning 27273 clauses out of 54565 with flag 38303/9189763
1357.75/1341.40	c cleaning 17635 clauses out of 35292 with flag 54988/9197763
1358.55/1342.20	c cleaning 13321 clauses out of 26658 with flag 73787/9206764
1359.45/1343.13	c cleaning 11658 clauses out of 23337 with flag 94574/9216764
1360.44/1344.12	c cleaning 11330 clauses out of 22679 with flag 117406/9227764
1361.54/1345.26	c cleaning 11664 clauses out of 23348 with flag 142307/9239763
1362.73/1346.46	c cleaning 12333 clauses out of 24685 with flag 169324/9252764
1364.06/1347.75	c cleaning 13163 clauses out of 26351 with flag 198574/9266763
1365.46/1349.11	c cleaning 14086 clauses out of 28189 with flag 229903/9281764
1367.20/1350.76	c cleaning 15041 clauses out of 30103 with flag 263324/9297764
1369.05/1352.50	c cleaning 16019 clauses out of 32062 with flag 298714/9314764
1371.27/1354.96	c cleaning 17010 clauses out of 34042 with flag 336149/9332763
1373.47/1356.93	c cleaning 18007 clauses out of 36033 with flag 375801/9351764
1375.93/1359.06	c cleaning 18999 clauses out of 38027 with flag 417567/9371765
1378.53/1361.39	c cleaning 20003 clauses out of 40026 with flag 461429/9392763
1381.18/1363.76	c cleaning 21002 clauses out of 42024 with flag 507511/9414764
1384.21/1366.34	c cleaning 22001 clauses out of 44021 with flag 555481/9437763
1387.05/1368.99	c cleaning 22996 clauses out of 46020 with flag 605853/9461763
1390.15/1371.77	c cleaning 24001 clauses out of 48025 with flag 658097/9486764
1393.26/1374.60	c cleaning 25000 clauses out of 50023 with flag 712385/9512763
1396.67/1377.65	c cleaning 25997 clauses out of 52023 with flag 768805/9539763
1400.42/1380.85	c cleaning 27001 clauses out of 54026 with flag 827315/9567763
1404.24/1384.33	c cleaning 28000 clauses out of 56025 with flag 887966/9596763
1408.12/1388.55	c cleaning 29001 clauses out of 58026 with flag 950445/9626764
1412.41/1392.22	c cleaning 30000 clauses out of 60024 with flag 1015392/9657763
1416.63/1396.06	c cleaning 31000 clauses out of 62025 with flag 1082456/9689764
1421.17/1399.92	c cleaning 31998 clauses out of 64024 with flag 1151451/9722763
1425.56/1403.98	c cleaning 33000 clauses out of 66027 with flag 1222494/9756764
1430.23/1408.20	c cleaning 34001 clauses out of 68026 with flag 1295497/9791763
1435.32/1412.66	c cleaning 34999 clauses out of 70026 with flag 1370611/9827764
1440.20/1417.79	c cleaning 35999 clauses out of 72028 with flag 1447761/9864765
1445.77/1422.55	c cleaning 37002 clauses out of 74027 with flag 1526848/9902763
1451.04/1427.36	c cleaning 37999 clauses out of 76026 with flag 1608558/9941764
1456.78/1432.31	c cleaning 38999 clauses out of 78026 with flag 1692521/9981763
1462.28/1437.33	c cleaning 40000 clauses out of 80027 with flag 1778106/10022763
1468.00/1442.54	c cleaning 40998 clauses out of 82027 with flag 1865808/10064763
1474.15/1448.61	c cleaning 42005 clauses out of 84029 with flag 1955554/10107763
1479.92/1454.34	c cleaning 42998 clauses out of 86024 with flag 2047172/10151763
1485.83/1460.16	c cleaning 43998 clauses out of 88026 with flag 2140883/10196763
1491.45/1465.65	c cleaning 45000 clauses out of 90029 with flag 2236540/10242764
1497.24/1471.22	c cleaning 46006 clauses out of 92029 with flag 2334526/10289764
1503.65/1478.12	c cleaning 47001 clauses out of 94023 with flag 2434933/10337764
1510.02/1484.41	c cleaning 47997 clauses out of 96021 with flag 2537256/10386763
1516.22/1490.59	c cleaning 49000 clauses out of 98024 with flag 2641548/10436763
1522.89/1497.02	c cleaning 50002 clauses out of 100024 with flag 2748396/10487763
1529.41/1503.44	c cleaning 51000 clauses out of 102023 with flag 2857004/10539764
1535.72/1510.18	c cleaning 51997 clauses out of 104022 with flag 2967321/10592763
1542.25/1516.52	c cleaning 53000 clauses out of 106025 with flag 3080299/10646763
1549.18/1523.33	c cleaning 54001 clauses out of 108026 with flag 3195334/10701764
1556.21/1530.22	c cleaning 55002 clauses out of 110024 with flag 3312385/10757763
1563.26/1537.20	c cleaning 55998 clauses out of 112022 with flag 3430655/10814763
1570.41/1545.62	c cleaning 56999 clauses out of 114024 with flag 3551708/10872763
1577.37/1552.59	c cleaning 58000 clauses out of 116026 with flag 3674624/10931764
1584.86/1559.96	c cleaning 58999 clauses out of 118026 with flag 3799556/10991764
1592.96/1567.86	c cleaning 60005 clauses out of 120027 with flag 3926949/11052764
1601.21/1576.45	c cleaning 60998 clauses out of 122021 with flag 4056536/11114763
1608.85/1583.97	c cleaning 62000 clauses out of 124023 with flag 4188023/11177763
1617.28/1592.27	c cleaning 63000 clauses out of 126024 with flag 4321795/11241764
1625.50/1600.90	c cleaning 64000 clauses out of 128024 with flag 4457542/11306764
1634.90/1610.19	c cleaning 65000 clauses out of 130023 with flag 4594944/11372763
1643.79/1618.96	c cleaning 65999 clauses out of 132023 with flag 4734100/11439763
1652.56/1627.65	c cleaning 67000 clauses out of 134025 with flag 4875824/11507764
1662.65/1638.22	c cleaning 68002 clauses out of 136025 with flag 5019605/11576764
1672.65/1647.97	c cleaning 68999 clauses out of 138022 with flag 5164990/11646763
1682.45/1657.44	c cleaning 69998 clauses out of 140023 with flag 5312900/11717763
1692.70/1668.49	c cleaning 71002 clauses out of 142025 with flag 5463565/11789763
1702.83/1678.38	c cleaning 72005 clauses out of 144024 with flag 5615298/11862764
1713.85/1688.53	c cleaning 73000 clauses out of 146019 with flag 5769242/11936764
1724.82/1699.99	c cleaning 73999 clauses out of 148019 with flag 5925045/12011764
1736.00/1711.04	c cleaning 75000 clauses out of 150019 with flag 6083025/12087763
1746.33/1721.23	c cleaning 75999 clauses out of 152020 with flag 6243331/12164764
1757.86/1732.92	c cleaning 77001 clauses out of 154020 with flag 6405381/12242763
1769.02/1743.97	c cleaning 78002 clauses out of 156020 with flag 6569611/12321764
1780.79/1755.93	c cleaning 79001 clauses out of 158017 with flag 6736231/12401763
1791.53/1766.55	c cleaning 80000 clauses out of 160017 with flag 6905078/12482764
1803.41/1778.16	c cleaning 80999 clauses out of 162017 with flag 7075503/12564764
1815.50/1791.75	c cleaning 82002 clauses out of 164017 with flag 7248358/12647763
1827.12/1803.17	c cleaning 82997 clauses out of 166016 with flag 7423154/12731764
1840.60/1817.47	c cleaning 84001 clauses out of 168020 with flag 7599831/12816765
1853.01/1829.58	c cleaning 84996 clauses out of 170017 with flag 7779274/12902763
1866.42/1842.85	c cleaning 86002 clauses out of 172021 with flag 7960387/12989763
1878.84/1856.51	c cleaning 86998 clauses out of 174020 with flag 8143787/13077764
1891.61/1869.14	c cleaning 87998 clauses out of 176021 with flag 8328853/13166763
1903.99/1883.41	c cleaning 89002 clauses out of 178023 with flag 8515984/13256763
1917.96/1896.48	c cleaning 90001 clauses out of 180022 with flag 8705697/13347764
1932.81/1912.88	c cleaning 90997 clauses out of 182021 with flag 8896775/13439764
1946.94/1926.68	c cleaning 92003 clauses out of 184023 with flag 9090710/13532763
1961.11/1942.08	c cleaning 93001 clauses out of 186020 with flag 9286430/13626763
1975.14/1955.85	c cleaning 93997 clauses out of 188019 with flag 9484936/13721763
1989.77/1971.74	c cleaning 95003 clauses out of 190024 with flag 9684962/13817765
2005.83/1986.69	c cleaning 95998 clauses out of 192019 with flag 9886696/13914763
2020.03/2001.32	c cleaning 96996 clauses out of 194022 with flag 10090981/14012764
2035.18/2016.09	c cleaning 98000 clauses out of 196025 with flag 10297605/14111763
2049.63/2031.02	c cleaning 98998 clauses out of 198025 with flag 10505670/14211763
2067.22/2047.44	c cleaning 100004 clauses out of 200028 with flag 10716067/14312764
2083.87/2064.70	c cleaning 101002 clauses out of 202023 with flag 10929180/14414763
2099.73/2080.33	c cleaning 101999 clauses out of 204021 with flag 11143807/14517763
2115.92/2097.36	c cleaning 103002 clauses out of 206024 with flag 11360969/14621765
2135.41/2115.59	c cleaning 103998 clauses out of 208021 with flag 11579835/14726764
2153.49/2134.36	c cleaning 105000 clauses out of 210022 with flag 11800703/14832763
2172.83/2152.56	c cleaning 106003 clauses out of 212022 with flag 12024682/14939763
2194.71/2175.47	c cleaning 107002 clauses out of 214020 with flag 12250726/15047764
2213.51/2193.74	c cleaning 107999 clauses out of 216017 with flag 12478289/15156763
2235.06/2215.70	c cleaning 109002 clauses out of 218019 with flag 12708151/15266764
2255.02/2234.31	c cleaning 109994 clauses out of 220016 with flag 12940587/15377763
2275.12/2253.83	c cleaning 111002 clauses out of 222024 with flag 13174485/15489765
2295.57/2272.92	c cleaning 112002 clauses out of 224021 with flag 13408799/15602764
2314.95/2291.99	c cleaning 113000 clauses out of 226019 with flag 13645264/15716764
2334.09/2310.60	c cleaning 113993 clauses out of 228018 with flag 13884618/15831763
2353.24/2328.35	c cleaning 115004 clauses out of 230025 with flag 14126006/15947763
2371.71/2346.30	c cleaning 115999 clauses out of 232021 with flag 14369463/16064763
2392.58/2365.83	c cleaning 116996 clauses out of 234022 with flag 14614734/16182763
2415.28/2387.65	c cleaning 118005 clauses out of 236027 with flag 14862263/16301764
2436.27/2408.71	c cleaning 118996 clauses out of 238021 with flag 15111535/16421763
2457.41/2428.46	c cleaning 120004 clauses out of 240026 with flag 15363006/16542764
2481.45/2452.57	c cleaning 120999 clauses out of 242022 with flag 15616823/16664764
2502.56/2473.43	c cleaning 122002 clauses out of 244023 with flag 15872616/16787764
2527.27/2496.46	c cleaning 123001 clauses out of 246021 with flag 16130125/16911764
2551.02/2517.71	c cleaning 124001 clauses out of 248019 with flag 16389385/17036763
2571.72/2537.79	c cleaning 125000 clauses out of 250019 with flag 16650415/17162764
2593.72/2559.10	c cleaning 126001 clauses out of 252018 with flag 16915392/17289763
2614.75/2578.72	c cleaning 126999 clauses out of 254017 with flag 17182614/17417763
2638.47/2602.09	c cleaning 127997 clauses out of 256018 with flag 17451517/17546763
2666.17/2628.18	c cleaning 129003 clauses out of 258022 with flag 17721896/17676764
2689.26/2650.66	c cleaning 130000 clauses out of 260018 with flag 17994184/17807763
2714.72/2674.34	c cleaning 130998 clauses out of 262018 with flag 18267597/17939763
2737.18/2696.07	c cleaning 131996 clauses out of 264021 with flag 18544329/18072764
2761.59/2719.81	c cleaning 133000 clauses out of 266024 with flag 18823196/18206763
2787.16/2744.93	c cleaning 134005 clauses out of 268025 with flag 19104396/18341764
2812.09/2767.89	c cleaning 135000 clauses out of 270021 with flag 19388259/18477765
2836.90/2791.21	c cleaning 136001 clauses out of 272020 with flag 19673578/18614764
2864.97/2817.05	c cleaning 137000 clauses out of 274019 with flag 19962112/18752764
2889.83/2841.17	c cleaning 137994 clauses out of 276019 with flag 20251603/18891764
2914.68/2865.03	c cleaning 139003 clauses out of 278025 with flag 20543047/19031764
2941.61/2889.23	c cleaning 140002 clauses out of 280021 with flag 20835237/19172763
2968.22/2914.96	c cleaning 141000 clauses out of 282021 with flag 21131312/19314765
2996.83/2941.34	c cleaning 141999 clauses out of 284020 with flag 21428610/19457764
3024.42/2967.69	c cleaning 143000 clauses out of 286021 with flag 21728477/19601764
3052.57/2995.14	c cleaning 143997 clauses out of 288021 with flag 22031017/19746764
3083.11/3023.46	c cleaning 145000 clauses out of 290024 with flag 22335310/19892764
3113.78/3052.91	c cleaning 146001 clauses out of 292023 with flag 22641333/20039763
3146.13/3082.85	c cleaning 147000 clauses out of 294022 with flag 22949945/20187763
3179.37/3114.70	c cleaning 147999 clauses out of 296022 with flag 23260271/20336763
3210.83/3145.21	c cleaning 149000 clauses out of 298024 with flag 23572630/20486764
3242.45/3174.63	c cleaning 150000 clauses out of 300024 with flag 23887299/20637764
3271.19/3202.37	c cleaning 151000 clauses out of 302023 with flag 24203309/20789763
3300.33/3229.66	c cleaning 152002 clauses out of 304023 with flag 24522057/20942763
3332.72/3258.51	c cleaning 152999 clauses out of 306022 with flag 24842275/21096764
3365.96/3288.86	c cleaning 154000 clauses out of 308022 with flag 25165405/21251763
3397.05/3318.63	c cleaning 155001 clauses out of 310022 with flag 25490333/21407763
3426.57/3346.93	c cleaning 156001 clauses out of 312022 with flag 25817808/21564764
3456.78/3375.92	c cleaning 156999 clauses out of 314021 with flag 26146403/21722764
3488.12/3404.80	c cleaning 158000 clauses out of 316022 with flag 26477217/21881764
3520.35/3435.84	c cleaning 158997 clauses out of 318022 with flag 26809750/22041764
3555.68/3468.30	c cleaning 160001 clauses out of 320025 with flag 27145081/22202764
3588.66/3500.19	c cleaning 160997 clauses out of 322024 with flag 27482001/22364764
3600.00/3510.72	c starts		: 7
3600.00/3510.73	c conflicts		: 22435517
3600.00/3510.73	c decisions		: 31084893
3600.00/3510.73	c propagations		: 416221364
3600.00/3510.73	c inspects		: 14813356131
3600.00/3510.73	c shortcuts		: 0
3600.00/3510.73	c learnt literals	: 0
3600.00/3510.73	c learnt binary clauses	: 0
3600.00/3510.73	c learnt ternary clauses	: 0
3600.00/3510.73	c learnt constraints	: 22435517
3600.00/3510.73	c ignored constraints	: 0
3600.00/3510.73	c root simplifications	: 0
3600.00/3510.73	c removed literals (reason simplification)	: 57484
3600.00/3510.73	c reason swapping (by a shorter reason)	: 0
3600.00/3510.73	c Calls to reduceDB	: 324
3600.00/3510.73	c Number of update (reduction) of LBD	: 370017
3600.00/3510.73	c Imported unit clauses	: 0
3600.00/3510.73	c No decision after first conflict	: false
3600.00/3510.73	c number of reductions to clauses (during analyze)	: 0
3600.00/3510.73	c number of learned constraints concerned by reduction	: 0
3600.00/3510.73	c number of learning phase by resolution	: 0
3600.00/3510.73	c number of learning phase by cutting planes	: 0
3600.00/3510.73	c number of rounding to 1 operations	: 0
3600.00/3510.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3510.73	c number of reductions of the coefficients by power 2 	: 0
3600.00/3510.73	c number of right shift for reduction by power 2 	: 0
3600.00/3510.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3510.73	c number of ending skipping 	: 0
3600.00/3510.73	c number of internal skipping 	: 0
3600.00/3510.73	c number of derivation steps 	: 0
3600.00/3510.73	c number of skipped derivation steps 	: 0
3600.00/3510.73	c number of remaining unassigned 	: 0
3600.00/3510.73	c number of remaining assigned 	: 0
3600.00/3510.74	c number of falsified literals weakened from reason	: 0
3600.00/3510.74	c number of falsified literals weakened from conflict	: 0
3600.00/3510.74	c time for arithmetic operations	: 0
3600.00/3510.74	c minimum degree of deleted constraints	: null
3600.00/3510.74	c maximum degree of deleted constraints	: null
3600.00/3510.74	c number of deleted constraints	: 0
3600.00/3510.74	c speed (assignments/second)	: 118563.00693623506
3600.00/3510.74	c non guided choices	: 0
3600.00/3510.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 231780
3600.00/3510.80	s SATISFIABLE
3600.00/3510.80	c Found 6 solution(s)
3600.00/3510.80	v -x1 -x2 x3 x4 x5 x6 x7 x8 -x9 -x10 x11 x12 x13 x14 x15 -x16 x17 x18 x19 x20 x21 -x22 x23 -x24 -x25 x26 x27 x28 x29 -x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 -x41 x42 -x43 x44 x45 x46 x47 x48 x49 x50 x51 -x52 x53 -x54 x55 -x56 x57 x58 x59 x60 x61 x62 x63 -x64 x65 x66 x67 x68 -x69 -x70 x71 -x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 -x86 x87 -x88 x89 x90 x91 x92 x93 x94 -x95 x96 -x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 -x107 -x108 -x109 x110 x111 -x112 x113 x114 -x115 x116 x117 -x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 -x128 x129 x130 -x131 x132 x133 x134 x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 x144 -x145 x146 -x147 x148 x149 x150 -x151 -x152 x153 x154 -x155 x156 x157 x158 -x159 x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 x169 x170 x171 x172 x173 x174 -x175 x176 x177 -x178 x179 x180 x181 -x182 x183 -x184 -x185 -x186 -x187 x188 x189 x190 x191 x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 x204 -x205 x206 x207 -x208 x209 x210 x211 x212 x213 x214 x215 -x216 -x217 -x218 x219 x220 -x221 x222 -x223 x224 x225 x226 x227 x228 -x229 x230 -x231 x232 x233 -x234 -x235 x236 -x237 x238 -x239 x240 x241 x242 x243 -x244 -x245 x246 -x247 x248 x249 -x250 -x251 x252 -x253 x254 x255 x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 x268 x269 -x270 x271 x272 x273 -x274 -x275 x276 -x277 x278 x279 -x280 x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 x309 -x310 x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 x372 -x373 -x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 
3600.00/3510.80	c objective function=228
3600.00/3510.80	c Total wall clock time (in seconds): 3510.676

Verifier Data 

OK	228

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: 63968 MiB (58001 MiB free)
  memory of node 1: 64473 MiB (56639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440291-1721769277/watcher-4440291-1721769277 -o /tmp/evaluation-result-4440291-1721769277/solver-4440291-1721769277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721765588-132187 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440291-1721769277 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440291-1721769277.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
Starting watchdog thread
solver pid=134461, runsolver pid=134458
Current StackSize limit: 8192 KiB


[startup+0.101322 s]*
/proc/loadavg: 4.17 4.35 4.36 5/338 134479
/proc/meminfo: memFree=117345884/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=18975048 memory=65080 CPUtime=0.13 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 7245 0 0 0 11 2 0 0 20 0 18 0 13450272 19430449152 16270 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4743762 16270 5650 1 0 549372 0
[pid=134461/tid=134463] ppid=134458 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) S 134458 134461 132177 0 -1 1077936192 5763 0 0 0 7 1 0 0 20 0 18 0 13450273 19430449152 16270 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13450275 19430449152 16270 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=18975048 memory=15542920531624460 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13450276 19430449152 16270 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65080 KiB

[startup+0.206873 s]*
/proc/loadavg: 4.17 4.35 4.36 7/339 134480
/proc/meminfo: memFree=117336680/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19041612 memory=72464 CPUtime=0.34 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 7852 0 0 0 31 3 0 0 20 0 19 0 13450272 19498610688 18116 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4760403 18116 5894 1 0 550045 0
[pid=134461/tid=134463] ppid=134458 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 6072 0 0 0 17 2 0 0 20 0 19 0 13450273 19498610688 18116 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19041612 memory=738093 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13450275 19498610688 18116 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13450276 19498610688 18116 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13450291 19498610688 18116 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72464 KiB

[startup+0.306832 s]*
/proc/loadavg: 4.17 4.35 4.36 6/339 134480
/proc/meminfo: memFree=117317724/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19041612 memory=88904 CPUtime=0.51 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 8967 0 0 0 48 3 0 0 20 0 19 0 13450272 19498610688 22226 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4760403 22226 5894 1 0 550537 0
[pid=134461/tid=134463] ppid=134458 vsize=19041612 memory=-8599736087127827132 CPUtime=0.27 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 6084 0 0 0 25 2 0 0 20 0 19 0 13450273 19498610688 22226 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13450275 19498610688 22226 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13450276 19498610688 22226 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13450291 19498610688 22226 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88904 KiB

[startup+0.700872 s]
/proc/loadavg: 4.17 4.35 4.36 7/339 134480
/proc/meminfo: memFree=117260088/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=169244 CPUtime=1.28 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 11165 0 0 0 122 6 0 0 20 0 20 0 13450272 19566772224 42311 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 42311 5897 1 0 551704 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=52816 CPUtime=0.59 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 6124 0 0 0 56 3 0 0 20 0 20 0 13450273 19566772224 42311 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 42311 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 42311 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=39748 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 42311 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 169244 KiB

[startup+1.50087 s]
/proc/loadavg: 4.17 4.35 4.36 6/340 134481
/proc/meminfo: memFree=117212184/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=192868 CPUtime=2.85 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 16065 0 0 0 277 8 0 0 20 0 20 0 13450272 19566772224 48217 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 48217 5945 1 0 554352 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=13048 CPUtime=1.34 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 6180 0 0 0 130 4 0 0 20 0 20 0 13450273 19566772224 48217 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 48217 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 48217 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=39748 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 48217 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192868 KiB

[startup+3.10571 s]
/proc/loadavg: 4.17 4.35 4.36 5/339 134481
/proc/meminfo: memFree=116555688/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=764336 CPUtime=5.55 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 18102 0 0 0 534 21 0 0 20 0 20 0 13450272 19566772224 191084 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 191084 5945 1 0 792763 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=0 CPUtime=2.86 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 6454 0 0 0 271 15 0 0 20 0 20 0 13450273 19566772224 191084 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=-8599736087127827132 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 191084 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 191084 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 191084 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 764336 KiB

[startup+6.30026 s]
/proc/loadavg: 4.16 4.35 4.36 5/339 134483
/proc/meminfo: memFree=115679072/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=1526912 CPUtime=9.12 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 19214 0 0 0 872 40 0 0 20 0 20 0 13450272 19566772224 381728 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 381728 5961 1 0 1026741 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=2268 CPUtime=5.84 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 6801 0 0 0 554 30 0 0 20 0 20 0 13450273 19566772224 381728 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 381728 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 381728 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 381728 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1526912 KiB

[startup+12.7079 s]
/proc/loadavg: 4.15 4.34 4.35 5/339 134483
/proc/meminfo: memFree=114145176/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=2774272 CPUtime=15.64 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 21073 0 0 0 1491 73 0 0 20 0 20 0 13450272 19566772224 693568 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 693568 5961 1 0 1227281 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=13048 CPUtime=11.96 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 7947 0 0 0 1134 62 0 0 20 0 20 0 13450273 19566772224 693568 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=2536548 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 693568 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=52816 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 693568 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 693568 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2774272 KiB

[startup+25.5009 s]
/proc/loadavg: 4.18 4.34 4.35 5/339 134486
/proc/meminfo: memFree=113024252/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=3363012 CPUtime=28.92 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 27930 0 0 0 2785 107 0 0 20 0 20 0 13450272 19566772224 840753 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 840753 5961 1 0 1227285 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=6943526294502006880 CPUtime=24.1 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 9708 0 0 0 2323 87 0 0 20 0 20 0 13450273 19566772224 840753 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 840753 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=3558 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 840753 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 840753 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3363012 KiB

[startup+51.1057 s]
/proc/loadavg: 4.19 4.33 4.35 5/337 134489
/proc/meminfo: memFree=110876184/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=4470904 CPUtime=53.71 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 34136 0 0 0 5207 164 0 0 20 0 20 0 13450272 19566772224 1117726 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 1117726 5975 1 0 1413203 0

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

/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 962289 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1721 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 962289 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=4074228 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 962289 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3167.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3849156 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.30 4.27 5/337 136263
/proc/meminfo: memFree=36484732/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=3599276 CPUtime=3230.52 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 889122 0 0 0 318977 4075 0 0 20 0 20 0 13450272 19566772224 899819 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 899819 5988 1 0 909895 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=3849156 CPUtime=2970.57 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 469181 0 0 0 293250 3807 0 0 20 0 20 0 13450273 19566772224 899819 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 8825 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=4074228 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 899819 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=3682440 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1721 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 899819 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=3599336 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 899819 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3230.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3599276 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.28 4.27 5/337 136273
/proc/meminfo: memFree=35090544/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=3799192 CPUtime=3294.06 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 950164 0 0 0 325257 4149 0 0 20 0 20 0 13450272 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 949798 5988 1 0 960007 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=3849156 CPUtime=3027.31 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 528457 0 0 0 298855 3876 0 0 20 0 20 0 13450273 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 8941 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=4074228 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1755 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=53012 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3294.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3799192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.29 4.27 6/339 136510
/proc/meminfo: memFree=33895796/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=3799192 CPUtime=3358.53 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 989031 0 0 0 331632 4221 0 0 20 0 20 0 13450272 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 949798 5988 1 0 960007 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=3799192 CPUtime=3083.66 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 557926 0 0 0 304423 3943 0 0 20 0 20 0 13450273 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9101 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=3799192 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1755 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=3799192 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 949798 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3358.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3799192 KiB

[startup+3342.31 s]
/proc/loadavg: 4.27 4.28 4.27 5/342 136812
/proc/meminfo: memFree=32277148/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=4291708 CPUtime=3421.95 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 1182824 0 0 0 337884 4311 0 0 20 0 20 0 13450272 19566772224 1072927 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 1072927 5988 1 0 1085287 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=13048 CPUtime=3140.79 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) S 134458 134461 132177 0 -1 1077936192 738967 0 0 0 310052 4027 0 0 20 0 20 0 13450273 19566772224 1072927 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9208 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=3799404 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 1072927 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=3799300 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1756 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 1072927 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 1072927 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3421.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4291708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.29 4.27 5/342 136890
/proc/meminfo: memFree=47222436/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=3849412 CPUtime=3485.63 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 1186921 0 0 0 344179 4384 0 0 20 0 20 0 13450272 19566772224 962353 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 962353 5988 1 0 972535 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=4291708 CPUtime=3197.77 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 740702 0 0 0 315682 4095 0 0 20 0 20 0 13450273 19566772224 962353 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9324 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=1816 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 962353 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=3849412 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1790 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 962353 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=3849412 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 962353 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3485.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3849412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.29 4.27 5/340 136901
/proc/meminfo: memFree=45884724/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=3799396 CPUtime=3547.68 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 1209623 0 0 0 350319 4449 0 0 20 0 20 0 13450272 19566772224 949849 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 949849 5988 1 0 960007 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=3849412 CPUtime=3253.14 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 763314 0 0 0 321159 4155 0 0 20 0 20 0 13450273 19566772224 949849 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9607 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 949849 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1790 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 949849 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=3799396 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 949849 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3547.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3799396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3510.7 s]
/proc/loadavg: 4.28 4.29 4.27 5/340 136977
/proc/meminfo: memFree=70232684/131524600 swapFree=131071216/131071996
[pid=134461] ppid=134458 vsize=19108176 memory=3799452 CPUtime=3600 cores=0,2
/proc/134461/stat : 134461 (java) S 134458 134461 132177 0 -1 1077936128 1298548 0 0 0 355487 4513 0 0 20 0 20 0 13450272 19566772224 949863 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
/proc/134461/statm: 4777044 949863 5988 1 0 960007 0
[pid=134461/tid=134463] ppid=134458 vsize=19108176 memory=13048 CPUtime=3298.89 cores=0,2
/proc/134461/task/134463/stat : 134463 (java) R 134458 134461 132177 0 -1 4194368 837841 0 0 0 325678 4211 0 0 20 0 20 0 13450273 19566772224 949863 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9721 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134472] ppid=134458 vsize=19108176 memory=3849412 CPUtime=0 cores=0,2
/proc/134461/task/134472/stat : 134472 (Finalizer) S 134458 134461 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13450275 19566772224 949863 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134479] ppid=134458 vsize=19108176 memory=3799396 CPUtime=0 cores=0,2
/proc/134461/task/134479/stat : 134479 (Common-Cleaner) S 134458 134461 132177 0 -1 1077936192 1791 0 0 0 0 0 0 0 20 0 20 0 13450276 19566772224 949863 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
[pid=134461/tid=134480] ppid=134458 vsize=19108176 memory=3799452 CPUtime=0 cores=0,2
/proc/134461/task/134480/stat : 134480 (Timer-0) S 134458 134461 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13450291 19566772224 949863 134679101440 93916688470016 93916688473712 140721765065376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916688481528 93916688482320 93916689428480 140721765069739 140721765069921 140721765069921 140721765076936 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3799452 KiB

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

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

# cumulated CPU time of all completed processes:  user=3555.06 s, system=45.1662 s

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

[startup+3510.81 s]*
/proc/loadavg: 4.28 4.29 4.27 7/323 136980
/proc/meminfo: memFree=72823020/131524600 swapFree=131071216/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): 3510.85
CPU time (s): 3600.23
CPU user time (s): 3555.06
CPU system time (s): 45.1662
CPU usage (%): 102.546
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 9587216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.06
system time used= 45.1662
maximum resident set size= 9587216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1300769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 79236344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145939
involuntary context switches= 40597


# summary of solver processes directly reported to runsolver:
#   pid: 134461
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3555.06
#   total CPU system time (s): 45.1662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21755 second user time and 17.237 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-23 23:14:37
IDJOB=4440291
IDBENCH=147538
IDSOLVER=3079
FILE ID=nodeC017/4440291-1721769277
RUNJOBID= nodeC017-1721765588-132187
SLURM_JOB_ID= 7770662
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.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-4440291-1721769277/watcher-4440291-1721769277 -o /tmp/evaluation-result-4440291-1721769277/solver-4440291-1721769277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721765588-132187 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440291-1721769277 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440291-1721769277.opb

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=1679388258

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.764
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 3627.729
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	: 7000.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.627
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 3681.049
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	: 7000.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 3617.606
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	: 7000.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.505
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117392508 kB
MemAvailable:   124704204 kB
Buffers:          190592 kB
Cached:          7889044 kB
SwapCached:           88 kB
Active:          1249692 kB
Inactive:       12155928 kB
Active(anon):       1704 kB
Inactive(anon):  5370068 kB
Active(file):    1247988 kB
Inactive(file):  6785860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            257120 kB
Writeback:             0 kB
AnonPages:       5324192 kB
Mapped:           127556 kB
Shmem:             45628 kB
KReclaimable:     235340 kB
Slab:             354344 kB
SReclaimable:     235340 kB
SUnreclaim:       119004 kB
KernelStack:        5184 kB
PageTables:        20232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7782936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5048320 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:      305876 kB
DirectMap2M:    28827648 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC017 at 2024-07-24 00:13:08