Trace number 4432201

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)196 3600.37 3557.77

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
MD5SUM0fa37067d8fd8d743bdd08ab1a39bb11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark165
Best CPU time to get the best result obtained on this benchmark0.062713
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1073
Total number of constraints832
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint19
Number of terms in the objective function 1073
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 1073
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1073
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	--- Begin Solver configuration ---
0.12/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	Learn all clauses as in MiniSAT
0.12/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	No reason simplification
0.12/0.12	Glucose 2.1 dynamic restart strategy
0.12/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.12/0.12	timeout=2147483s
0.12/0.12	DB Simplification allowed=false
0.12/0.12	Listener: none
0.12/0.12	--- End Solver configuration ---
0.12/0.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c No reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-4432201-1721104767.opb
0.12/0.12	c reading problem ... 
0.12/0.13	c  objective function found
0.12/0.19	c ... done. Wall clock time 0.058s.
0.12/0.19	c declared #vars     1073
0.12/0.19	c #constraints  832
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 73
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 759
0.12/0.19	c 832 constraints processed.
0.12/0.20	c objective function length is 1073 literals
0.33/0.22	c SATISFIABLE
0.33/0.22	c OPTIMIZING...
0.33/0.22	c Got one! Elapsed wall clock time (in seconds):0.091
0.33/0.22	o 199
0.33/0.23	c Got one! Elapsed wall clock time (in seconds):0.099
0.33/0.23	o 198
0.33/0.23	c Got one! Elapsed wall clock time (in seconds):0.105
0.33/0.23	o 197
0.33/0.26	c Got one! Elapsed wall clock time (in seconds):0.133
0.33/0.26	o 196
1.28/0.74	c cleaning 2546 clauses out of 5101 with flag 10603/5101
1.67/0.97	c cleaning 4272 clauses out of 8555 with flag 22896/11101
1.99/1.16	c cleaning 5634 clauses out of 11282 with flag 37339/18100
2.38/1.40	c cleaning 6812 clauses out of 13648 with flag 53871/26100
2.67/1.67	c cleaning 7911 clauses out of 15837 with flag 73601/35101
3.04/1.96	c cleaning 8954 clauses out of 17926 with flag 95600/45101
3.34/2.26	c cleaning 9977 clauses out of 19971 with flag 119708/56100
3.75/2.65	c cleaning 10988 clauses out of 21995 with flag 145696/68101
4.16/3.03	c cleaning 11996 clauses out of 24007 with flag 174325/81101
4.71/3.50	c cleaning 12996 clauses out of 26011 with flag 204929/95101
5.11/3.95	c cleaning 13994 clauses out of 28014 with flag 237448/110100
5.67/4.49	c cleaning 15002 clauses out of 30021 with flag 271256/126101
6.29/5.03	c cleaning 15995 clauses out of 32018 with flag 306785/143100
6.94/5.63	c cleaning 17004 clauses out of 34024 with flag 346642/161101
7.68/6.30	c cleaning 18000 clauses out of 36019 with flag 388653/180100
8.28/6.93	c cleaning 19000 clauses out of 38019 with flag 432852/200100
8.97/7.64	c cleaning 19996 clauses out of 40019 with flag 479159/221100
9.81/8.45	c cleaning 21001 clauses out of 42024 with flag 527712/243101
10.79/9.35	c cleaning 22000 clauses out of 44022 with flag 578480/266100
11.69/10.20	c cleaning 22999 clauses out of 46023 with flag 631691/290101
12.64/11.15	c cleaning 24002 clauses out of 48023 with flag 686982/315100
13.54/12.10	c cleaning 24998 clauses out of 50021 with flag 744477/341100
14.71/13.20	c cleaning 26003 clauses out of 52023 with flag 803977/368100
15.97/14.32	c cleaning 26998 clauses out of 54020 with flag 865681/396100
17.07/15.48	c cleaning 28002 clauses out of 56023 with flag 929662/425101
18.44/16.75	c cleaning 29003 clauses out of 58021 with flag 995608/455101
19.64/17.96	c cleaning 30000 clauses out of 60020 with flag 1065131/486103
21.12/19.37	c cleaning 30999 clauses out of 62017 with flag 1135867/518100
22.31/20.59	c cleaning 31998 clauses out of 64019 with flag 1208391/551101
23.64/21.84	c cleaning 33002 clauses out of 66020 with flag 1284555/585100
25.21/23.34	c cleaning 34000 clauses out of 68019 with flag 1363774/620101
26.70/24.80	c cleaning 34999 clauses out of 70019 with flag 1444907/656101
28.45/26.52	c cleaning 36001 clauses out of 72019 with flag 1527932/693100
29.94/28.10	c cleaning 37000 clauses out of 74019 with flag 1615602/731101
31.50/29.58	c cleaning 37997 clauses out of 76018 with flag 1706178/770100
33.16/31.14	c cleaning 38998 clauses out of 78022 with flag 1798636/810101
34.74/32.74	c cleaning 40004 clauses out of 80023 with flag 1893662/851100
36.49/34.40	c cleaning 41001 clauses out of 82021 with flag 1990717/893102
38.09/36.03	c cleaning 42000 clauses out of 84019 with flag 2086854/936101
39.86/37.74	c cleaning 43002 clauses out of 86019 with flag 2186912/980101
41.66/39.53	c cleaning 43993 clauses out of 88017 with flag 2292006/1025101
43.53/41.38	c cleaning 44997 clauses out of 90023 with flag 2397958/1071100
45.66/43.39	c cleaning 46003 clauses out of 92028 with flag 2506532/1118102
47.57/45.26	c cleaning 47001 clauses out of 94024 with flag 2618437/1166101
49.66/47.29	c cleaning 47999 clauses out of 96023 with flag 2731712/1215101
51.56/49.19	c cleaning 48998 clauses out of 98023 with flag 2847310/1265100
54.39/51.52	c cleaning 49999 clauses out of 100025 with flag 2964923/1316100
57.02/54.05	c cleaning 50998 clauses out of 102026 with flag 3084735/1368100
59.31/56.33	c cleaning 51995 clauses out of 104028 with flag 3207483/1421100
61.73/58.76	c cleaning 53002 clauses out of 106034 with flag 3332117/1475101
64.63/61.50	c cleaning 54000 clauses out of 108031 with flag 3459259/1530100
67.23/64.15	c cleaning 55008 clauses out of 110031 with flag 3590596/1586100
70.05/66.87	c cleaning 56002 clauses out of 112024 with flag 3723657/1643101
72.85/69.50	c cleaning 57001 clauses out of 114021 with flag 3857401/1701100
75.04/71.70	c cleaning 57998 clauses out of 116020 with flag 3992796/1760100
77.60/74.29	c cleaning 58999 clauses out of 118022 with flag 4131986/1820100
80.30/76.93	c cleaning 59999 clauses out of 120023 with flag 4273788/1881100
82.79/79.47	c cleaning 61003 clauses out of 122026 with flag 4416683/1943102
85.29/81.96	c cleaning 62000 clauses out of 124021 with flag 4558881/2006100
87.98/84.62	c cleaning 63000 clauses out of 126022 with flag 4701530/2070101
90.97/87.62	c cleaning 63996 clauses out of 128022 with flag 4854163/2135101
93.87/90.56	c cleaning 65004 clauses out of 130025 with flag 5006391/2201100
96.56/93.27	c cleaning 65995 clauses out of 132021 with flag 5160888/2268100
99.76/96.47	c cleaning 67001 clauses out of 134026 with flag 5318554/2336100
103.06/99.77	c cleaning 67996 clauses out of 136026 with flag 5477671/2405101
106.35/103.01	c cleaning 69008 clauses out of 138031 with flag 5639594/2475102
109.84/106.54	c cleaning 69996 clauses out of 140021 with flag 5806203/2546100
113.23/109.97	c cleaning 71001 clauses out of 142025 with flag 5974238/2618100
117.05/113.51	c cleaning 71997 clauses out of 144025 with flag 6142281/2691101
120.52/117.02	c cleaning 73004 clauses out of 146028 with flag 6313605/2765101
124.08/120.62	c cleaning 73995 clauses out of 148023 with flag 6486630/2840100
128.37/124.71	c cleaning 75005 clauses out of 150028 with flag 6661896/2916100
132.36/128.74	c cleaning 75997 clauses out of 152023 with flag 6838953/2993100
136.54/132.71	c cleaning 77000 clauses out of 154026 with flag 7019318/3071100
140.83/137.01	c cleaning 78002 clauses out of 156027 with flag 7201566/3150101
145.02/141.24	c cleaning 78998 clauses out of 158025 with flag 7386657/3230101
149.53/145.71	c cleaning 80000 clauses out of 160026 with flag 7568435/3311100
153.94/150.19	c cleaning 81004 clauses out of 162028 with flag 7749570/3393102
158.72/154.95	c cleaning 82000 clauses out of 164023 with flag 7930832/3476101
163.24/159.34	c cleaning 83000 clauses out of 166023 with flag 8111254/3560101
167.83/163.92	c cleaning 84001 clauses out of 168023 with flag 8298620/3645101
173.75/169.06	c cleaning 85000 clauses out of 170021 with flag 8488340/3731100
178.90/174.24	c cleaning 85997 clauses out of 172022 with flag 8679446/3818101
184.39/179.53	c cleaning 87001 clauses out of 174025 with flag 8873887/3906101
189.55/184.78	c cleaning 88000 clauses out of 176024 with flag 9070720/3995101
195.38/190.42	c cleaning 88999 clauses out of 178023 with flag 9269813/4085100
201.13/196.05	c cleaning 90003 clauses out of 180025 with flag 9473571/4176101
206.38/201.37	c cleaning 91002 clauses out of 182022 with flag 9685599/4268101
212.06/206.94	c cleaning 91996 clauses out of 184019 with flag 9900666/4361100
217.96/212.62	c cleaning 92996 clauses out of 186024 with flag 10116713/4455101
222.55/217.29	c cleaning 94006 clauses out of 188028 with flag 10334465/4550101
227.92/222.56	c cleaning 94999 clauses out of 190021 with flag 10555984/4646100
233.56/228.00	c cleaning 95999 clauses out of 192023 with flag 10778271/4743101
238.59/232.96	c cleaning 96996 clauses out of 194024 with flag 11002285/4841101
243.88/238.26	c cleaning 98000 clauses out of 196027 with flag 11229543/4940100
249.62/243.94	c cleaning 99000 clauses out of 198027 with flag 11458886/5040100
256.98/250.09	c cleaning 100003 clauses out of 200027 with flag 11691060/5141100
263.63/256.64	c cleaning 101004 clauses out of 202025 with flag 11925064/5243101
269.79/262.65	c cleaning 101991 clauses out of 204021 with flag 12161307/5346101
275.54/268.48	c cleaning 103001 clauses out of 206029 with flag 12400760/5450100
282.51/275.42	c cleaning 104007 clauses out of 208029 with flag 12642575/5555101
288.97/281.85	c cleaning 105000 clauses out of 210022 with flag 12888544/5661101
295.02/287.95	c cleaning 105999 clauses out of 212022 with flag 13135604/5768101
301.80/294.76	c cleaning 107000 clauses out of 214022 with flag 13386372/5876100
309.28/302.08	c cleaning 107997 clauses out of 216022 with flag 13638187/5985100
315.96/308.70	c cleaning 108999 clauses out of 218025 with flag 13892491/6095100
323.50/316.17	c cleaning 109998 clauses out of 220026 with flag 14149259/6206100
330.42/322.97	c cleaning 111002 clauses out of 222028 with flag 14407731/6318100
337.60/330.00	c cleaning 111996 clauses out of 224026 with flag 14668055/6431100
345.38/337.67	c cleaning 113004 clauses out of 226030 with flag 14929752/6545100
352.45/344.56	c cleaning 114002 clauses out of 228026 with flag 15193901/6660100
360.31/352.29	c cleaning 114995 clauses out of 230024 with flag 15460309/6776100
368.27/360.01	c cleaning 116004 clauses out of 232030 with flag 15730104/6893101
376.96/367.77	c cleaning 116999 clauses out of 234026 with flag 16002428/7011101
385.72/376.54	c cleaning 118001 clauses out of 236026 with flag 16276362/7130100
394.05/384.96	c cleaning 118999 clauses out of 238026 with flag 16552748/7250101
401.91/392.76	c cleaning 120004 clauses out of 240027 with flag 16830326/7371101
411.17/401.89	c cleaning 120996 clauses out of 242022 with flag 17111028/7493100
419.85/410.42	c cleaning 121999 clauses out of 244026 with flag 17394873/7616100
428.90/419.39	c cleaning 123000 clauses out of 246028 with flag 17681195/7740101
437.40/427.77	c cleaning 124002 clauses out of 248028 with flag 17969236/7865101
446.65/436.92	c cleaning 125004 clauses out of 250025 with flag 18258009/7991100
455.68/445.99	c cleaning 125993 clauses out of 252022 with flag 18550704/8118101
463.77/454.07	c cleaning 126998 clauses out of 254029 with flag 18845833/8246101
473.16/463.37	c cleaning 127999 clauses out of 256030 with flag 19143636/8375100
482.64/472.81	c cleaning 129000 clauses out of 258031 with flag 19445050/8505100
491.25/481.49	c cleaning 129998 clauses out of 260032 with flag 19747042/8636101
500.74/490.96	c cleaning 131002 clauses out of 262033 with flag 20050482/8768100
510.77/500.87	c cleaning 132001 clauses out of 264032 with flag 20356396/8901101
519.46/509.54	c cleaning 132995 clauses out of 266031 with flag 20664682/9035101
529.33/519.31	c cleaning 134000 clauses out of 268035 with flag 20976041/9170100
539.02/529.08	c cleaning 135006 clauses out of 270036 with flag 21290465/9306101
548.30/538.36	c cleaning 136002 clauses out of 272030 with flag 21605534/9443101
558.77/548.60	c cleaning 136999 clauses out of 274028 with flag 21922800/9581101
569.40/559.07	c cleaning 138002 clauses out of 276029 with flag 22242654/9720101
579.80/569.30	c cleaning 139005 clauses out of 278026 with flag 22563915/9860100
590.08/579.67	c cleaning 139998 clauses out of 280021 with flag 22889123/10001100
600.74/590.30	c cleaning 140999 clauses out of 282023 with flag 23217389/10143100
613.12/601.26	c cleaning 141999 clauses out of 284024 with flag 23546642/10286100
624.23/612.22	c cleaning 142995 clauses out of 286026 with flag 23878000/10430101
635.50/623.36	c cleaning 144002 clauses out of 288030 with flag 24211766/10575100
647.06/634.83	c cleaning 145004 clauses out of 290028 with flag 24549382/10721100
657.80/645.59	c cleaning 146000 clauses out of 292025 with flag 24888488/10868101
669.82/657.53	c cleaning 147000 clauses out of 294024 with flag 25230202/11016100
682.29/669.84	c cleaning 148001 clauses out of 296025 with flag 25573511/11165101
693.21/680.74	c cleaning 149003 clauses out of 298023 with flag 25920370/11315100
704.20/691.79	c cleaning 149995 clauses out of 300020 with flag 26269370/11466100
716.74/704.23	c cleaning 151004 clauses out of 302026 with flag 26622209/11618101
729.24/716.41	c cleaning 151993 clauses out of 304021 with flag 26979178/11771100
740.23/727.36	c cleaning 153001 clauses out of 306028 with flag 27335877/11925100
752.64/739.63	c cleaning 154002 clauses out of 308027 with flag 27694377/12080100
764.93/751.77	c cleaning 154996 clauses out of 310025 with flag 28056010/12236100
776.47/763.18	c cleaning 156000 clauses out of 312029 with flag 28415434/12393100
787.07/773.68	c cleaning 157004 clauses out of 314029 with flag 28779896/12551100
798.44/784.93	c cleaning 157996 clauses out of 316026 with flag 29147658/12710101
810.17/796.58	c cleaning 159004 clauses out of 318030 with flag 29517578/12870101
823.81/809.05	c cleaning 160002 clauses out of 320026 with flag 29890737/13031101
837.53/822.67	c cleaning 160997 clauses out of 322023 with flag 30264340/13193100
850.63/835.69	c cleaning 161999 clauses out of 324027 with flag 30640490/13356101
864.06/849.02	c cleaning 162998 clauses out of 326027 with flag 31018816/13520100
875.07/860.04	c cleaning 163998 clauses out of 328030 with flag 31399452/13685101
888.51/873.45	c cleaning 165003 clauses out of 330032 with flag 31783092/13851101
902.07/886.84	c cleaning 166000 clauses out of 332028 with flag 32168967/14018100
915.40/900.17	c cleaning 166999 clauses out of 334029 with flag 32556821/14186101
929.96/914.49	c cleaning 168001 clauses out of 336029 with flag 32947180/14355100
943.35/927.83	c cleaning 169001 clauses out of 338028 with flag 33340386/14525100
957.86/942.35	c cleaning 169995 clauses out of 340027 with flag 33736815/14696100
971.61/956.01	c cleaning 171007 clauses out of 342033 with flag 34137853/14868101
985.73/970.00	c cleaning 172003 clauses out of 344025 with flag 34541090/15041100
1000.12/984.36	c cleaning 172989 clauses out of 346022 with flag 34943045/15215100
1014.95/999.11	c cleaning 174005 clauses out of 348034 with flag 35347237/15390101
1027.49/1011.69	c cleaning 174999 clauses out of 350029 with flag 35753121/15566101
1042.70/1026.77	c cleaning 176004 clauses out of 352030 with flag 36161527/15743101
1056.74/1040.61	c cleaning 176996 clauses out of 354025 with flag 36571592/15921100
1071.91/1055.69	c cleaning 177997 clauses out of 356030 with flag 36985947/16100101
1087.70/1071.38	c cleaning 179001 clauses out of 358033 with flag 37401032/16280101
1100.76/1084.21	c cleaning 180001 clauses out of 360031 with flag 37820400/16461100
1115.59/1098.92	c cleaning 181005 clauses out of 362031 with flag 38243307/16643101
1132.38/1115.58	c cleaning 182002 clauses out of 364026 with flag 38670008/16826101
1148.03/1130.88	c cleaning 182997 clauses out of 366023 with flag 39097762/17010100
1167.77/1149.10	c cleaning 184000 clauses out of 368027 with flag 39526165/17195101
1185.13/1166.33	c cleaning 185003 clauses out of 370026 with flag 39956746/17381100
1202.45/1183.57	c cleaning 185991 clauses out of 372023 with flag 40389787/17568100
1219.84/1200.69	c cleaning 187000 clauses out of 374033 with flag 40825285/17756101
1238.37/1218.88	c cleaning 188003 clauses out of 376032 with flag 41264703/17945100
1255.52/1235.67	c cleaning 188997 clauses out of 378030 with flag 41704677/18135101
1273.93/1253.92	c cleaning 189996 clauses out of 380032 with flag 42145786/18326100
1290.92/1270.77	c cleaning 190999 clauses out of 382036 with flag 42588652/18518100
1309.94/1289.53	c cleaning 192000 clauses out of 384038 with flag 43040395/18711101
1328.35/1307.73	c cleaning 193006 clauses out of 386037 with flag 43496993/18905100
1345.66/1324.80	c cleaning 194002 clauses out of 388032 with flag 43950793/19100101
1364.06/1343.29	c cleaning 195004 clauses out of 390030 with flag 44406478/19296101
1383.14/1362.14	c cleaning 196003 clauses out of 392025 with flag 44866196/19493100
1400.64/1378.09	c cleaning 196995 clauses out of 394022 with flag 45324405/19691100
1418.77/1395.90	c cleaning 198002 clauses out of 396028 with flag 45787595/19890101
1435.87/1413.01	c cleaning 198999 clauses out of 398025 with flag 46254638/20090100
1454.27/1431.30	c cleaning 199996 clauses out of 400026 with flag 46723565/20291100
1473.96/1451.05	c cleaning 201006 clauses out of 402031 with flag 47195341/20493101
1491.06/1468.00	c cleaning 201997 clauses out of 404024 with flag 47667718/20696100
1510.89/1487.76	c cleaning 202996 clauses out of 406028 with flag 48143616/20900101
1527.97/1504.61	c cleaning 204002 clauses out of 408032 with flag 48624719/21105101
1544.79/1521.45	c cleaning 205003 clauses out of 410030 with flag 49107518/21311101
1562.86/1539.34	c cleaning 205999 clauses out of 412027 with flag 49592195/21518101
1579.40/1555.88	c cleaning 207001 clauses out of 414027 with flag 50079697/21726100
1599.70/1575.97	c cleaning 208003 clauses out of 416026 with flag 50572135/21935100
1618.94/1595.14	c cleaning 209000 clauses out of 418023 with flag 51064109/22145100
1638.27/1614.25	c cleaning 209993 clauses out of 420024 with flag 51555312/22356101
1659.17/1635.03	c cleaning 210996 clauses out of 422031 with flag 52051351/22568101
1678.33/1653.91	c cleaning 212006 clauses out of 424034 with flag 52545499/22781100
1696.85/1672.42	c cleaning 212999 clauses out of 426028 with flag 53040499/22995100
1717.61/1693.04	c cleaning 213998 clauses out of 428030 with flag 53542053/23210101
1736.81/1712.12	c cleaning 215001 clauses out of 430031 with flag 54045208/23426100
1757.90/1732.91	c cleaning 215997 clauses out of 432030 with flag 54552488/23643100
1780.25/1753.71	c cleaning 217002 clauses out of 434033 with flag 55060931/23861100
1800.81/1774.18	c cleaning 218004 clauses out of 436031 with flag 55566777/24080100
1822.42/1795.71	c cleaning 218995 clauses out of 438028 with flag 56079280/24300101
1842.53/1815.58	c cleaning 219999 clauses out of 440032 with flag 56593148/24521100
1864.51/1837.38	c cleaning 221000 clauses out of 442033 with flag 57110865/24743100
1886.28/1858.75	c cleaning 222001 clauses out of 444033 with flag 57630244/24966100
1909.05/1881.34	c cleaning 222997 clauses out of 446033 with flag 58151987/25190101
1931.00/1902.95	c cleaning 223998 clauses out of 448036 with flag 58674855/25415101
1953.39/1925.18	c cleaning 225004 clauses out of 450037 with flag 59200691/25641100
1974.68/1946.21	c cleaning 225999 clauses out of 452033 with flag 59730605/25868100
1996.86/1968.25	c cleaning 226999 clauses out of 454035 with flag 60263154/26096101
2019.87/1991.02	c cleaning 228000 clauses out of 456035 with flag 60796074/26325100
2044.06/2015.25	c cleaning 228999 clauses out of 458036 with flag 61332079/26555101
2068.04/2039.00	c cleaning 230002 clauses out of 460037 with flag 61870007/26786101
2090.64/2061.70	c cleaning 231000 clauses out of 462034 with flag 62412555/27018100
2115.57/2086.33	c cleaning 232005 clauses out of 464035 with flag 62954875/27251101
2138.97/2109.80	c cleaning 232998 clauses out of 466030 with flag 63501659/27485101
2164.07/2134.78	c cleaning 234000 clauses out of 468032 with flag 64048495/27720101
2187.54/2157.85	c cleaning 234999 clauses out of 470031 with flag 64597957/27956100
2214.62/2183.08	c cleaning 235998 clauses out of 472033 with flag 65148081/28193101
2240.62/2209.06	c cleaning 237004 clauses out of 474035 with flag 65703928/28431101
2265.53/2233.65	c cleaning 237997 clauses out of 476030 with flag 66260215/28670100
2289.59/2257.52	c cleaning 239004 clauses out of 478033 with flag 66817940/28910100
2313.33/2281.22	c cleaning 239999 clauses out of 480029 with flag 67378801/29151100
2337.84/2305.35	c cleaning 241005 clauses out of 482031 with flag 67941784/29393101
2363.11/2330.35	c cleaning 241996 clauses out of 484025 with flag 68508377/29636100
2387.18/2354.29	c cleaning 243000 clauses out of 486029 with flag 69076228/29880100
2408.71/2375.35	c cleaning 244003 clauses out of 488029 with flag 69643661/30125100
2433.87/2400.37	c cleaning 244995 clauses out of 490027 with flag 70211747/30371101
2461.59/2427.95	c cleaning 246004 clauses out of 492031 with flag 70786339/30618100
2485.50/2451.42	c cleaning 246997 clauses out of 494028 with flag 71363713/30866101
2511.93/2477.70	c cleaning 247998 clauses out of 496030 with flag 71943696/31115100
2537.22/2503.06	c cleaning 249001 clauses out of 498032 with flag 72526531/31365100
2562.01/2527.54	c cleaning 250003 clauses out of 500031 with flag 73111536/31616100
2589.63/2555.07	c cleaning 250996 clauses out of 502028 with flag 73697803/31868100
2616.30/2581.64	c cleaning 252000 clauses out of 504033 with flag 74286059/32121101
2641.24/2606.20	c cleaning 253001 clauses out of 506033 with flag 74877134/32375101
2668.77/2633.75	c cleaning 254003 clauses out of 508031 with flag 75470606/32630100
2697.18/2661.76	c cleaning 255003 clauses out of 510029 with flag 76067213/32886101
2723.15/2687.43	c cleaning 255996 clauses out of 512026 with flag 76664939/33143101
2750.00/2714.18	c cleaning 257001 clauses out of 514031 with flag 77265774/33401102
2779.29/2743.14	c cleaning 257997 clauses out of 516029 with flag 77868297/33660101
2810.72/2772.57	c cleaning 259000 clauses out of 518032 with flag 78473438/33920101
2840.21/2801.85	c cleaning 260002 clauses out of 520032 with flag 79079020/34181101
2868.82/2830.16	c cleaning 261000 clauses out of 522030 with flag 79684931/34443101
2897.01/2858.24	c cleaning 262006 clauses out of 524030 with flag 80293234/34706101
2925.44/2886.58	c cleaning 262998 clauses out of 526023 with flag 80903769/34970100
2955.29/2916.39	c cleaning 263999 clauses out of 528025 with flag 81515869/35235100
2985.01/2945.45	c cleaning 264999 clauses out of 530026 with flag 82130186/35501100
3016.37/2976.66	c cleaning 265996 clauses out of 532028 with flag 82747134/35768101
3047.60/3007.61	c cleaning 266999 clauses out of 534032 with flag 83366068/36036101
3076.67/3036.48	c cleaning 268000 clauses out of 536033 with flag 83986591/36305101
3106.89/3066.42	c cleaning 269003 clauses out of 538033 with flag 84610216/36575101
3138.31/3097.80	c cleaning 269999 clauses out of 540029 with flag 85237444/36846100
3167.32/3126.61	c cleaning 271002 clauses out of 542031 with flag 85866775/37118101
3199.63/3158.92	c cleaning 272003 clauses out of 544029 with flag 86498339/37391101
3230.37/3189.68	c cleaning 272994 clauses out of 546025 with flag 87131571/37665100
3265.36/3224.23	c cleaning 274005 clauses out of 548031 with flag 87767532/37940100
3298.83/3257.47	c cleaning 275003 clauses out of 550027 with flag 88405932/38216101
3330.34/3288.87	c cleaning 275995 clauses out of 552023 with flag 89046004/38493100
3368.28/3326.68	c cleaning 277000 clauses out of 554029 with flag 89688027/38771101
3398.26/3356.42	c cleaning 277999 clauses out of 556029 with flag 90335386/39050101
3430.49/3388.67	c cleaning 278998 clauses out of 558030 with flag 90980765/39330101
3466.90/3425.21	c cleaning 280004 clauses out of 560032 with flag 91630398/39611101
3499.40/3457.37	c cleaning 280997 clauses out of 562028 with flag 92284201/39893101
3536.79/3494.40	c cleaning 281999 clauses out of 564030 with flag 92935541/40176100
3568.21/3525.77	c cleaning 283004 clauses out of 566032 with flag 93590976/40460101
3600.09/3557.63	c starts		: 5
3600.09/3557.63	c conflicts		: 40745101
3600.09/3557.63	c decisions		: 55516145
3600.09/3557.63	c propagations		: 1185357482
3600.09/3557.63	c inspects		: 16519276561
3600.09/3557.63	c shortcuts		: 0
3600.09/3557.63	c learnt literals	: 0
3600.09/3557.63	c learnt binary clauses	: 0
3600.09/3557.63	c learnt ternary clauses	: 0
3600.09/3557.63	c learnt constraints	: 40745101
3600.09/3557.63	c ignored constraints	: 0
3600.09/3557.63	c root simplifications	: 0
3600.09/3557.63	c removed literals (reason simplification)	: 0
3600.09/3557.63	c reason swapping (by a shorter reason)	: 0
3600.09/3557.63	c Calls to reduceDB	: 281
3600.09/3557.63	c Number of update (reduction) of LBD	: 3542569
3600.09/3557.63	c Imported unit clauses	: 0
3600.09/3557.63	c No decision after first conflict	: false
3600.09/3557.63	c number of reductions to clauses (during analyze)	: 0
3600.09/3557.63	c number of learned constraints concerned by reduction	: 0
3600.09/3557.63	c number of learning phase by resolution	: 0
3600.09/3557.63	c number of learning phase by cutting planes	: 0
3600.09/3557.63	c number of rounding to 1 operations	: 0
3600.09/3557.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3557.63	c number of reductions of the coefficients by power 2 	: 0
3600.09/3557.63	c number of right shift for reduction by power 2 	: 0
3600.09/3557.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3557.63	c number of ending skipping 	: 0
3600.09/3557.63	c number of internal skipping 	: 0
3600.09/3557.63	c number of derivation steps 	: 0
3600.09/3557.63	c number of skipped derivation steps 	: 0
3600.09/3557.63	c number of remaining unassigned 	: 0
3600.09/3557.63	c number of remaining assigned 	: 0
3600.09/3557.63	c number of falsified literals weakened from reason	: 0
3600.09/3557.63	c number of falsified literals weakened from conflict	: 0
3600.09/3557.63	c time for arithmetic operations	: 0
3600.09/3557.63	c minimum degree of deleted constraints	: null
3600.09/3557.63	c maximum degree of deleted constraints	: null
3600.09/3557.63	c number of deleted constraints	: 0
3600.09/3557.64	c speed (assignments/second)	: 333205.7550470367
3600.09/3557.64	c non guided choices	: 0
3600.09/3557.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 568028
3600.09/3557.71	s SATISFIABLE
3600.09/3557.71	c Found 4 solution(s)
3600.09/3557.72	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 x108 -x109 x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 x517 -x518 x519 x520 x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 x691 -x692 -x693 x694 x695 -x696 x697 -x698 x699 -x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 x875 x876 -x877 -x878 x879 x880 -x881 -x882 x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 
3600.31/3557.72	c objective function=196
3600.31/3557.72	c Total wall clock time (in seconds): 3557.595

Verifier Data 

OK	196

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432201-1721104767/watcher-4432201-1721104767 -o /tmp/evaluation-result-4432201-1721104767/solver-4432201-1721104767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721104780-837248 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432201-1721104767.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100477 s]*
/proc/loadavg: 1.14 1.96 3.11 15/324 837378
/proc/meminfo: memFree=128176400/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=18975048 memory=62272 CPUtime=0.12 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 7228 0 0 0 10 2 0 0 20 0 18 0 162641682 19430449152 15568 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4743762 15568 5516 1 0 549309 0
[pid=837308/tid=837314] ppid=837294 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 1077936192 5750 0 0 0 6 2 0 0 20 0 18 0 162641683 19430449152 15568 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162641685 19430449152 15568 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=18975048 memory=13846374089254215 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162641686 19430449152 15568 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62272 KiB

[startup+0.209274 s]*
/proc/loadavg: 1.14 1.96 3.11 17/327 837382
/proc/meminfo: memFree=128125600/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19041612 memory=69796 CPUtime=0.33 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 7758 0 0 0 30 3 0 0 20 0 19 0 162641682 19498610688 17449 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4760403 17449 5863 1 0 549942 0
[pid=837308/tid=837314] ppid=837294 vsize=19041612 memory=664970851429515395 CPUtime=0.17 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 1077936192 6007 0 0 0 15 2 0 0 20 0 19 0 162641683 19498610688 17449 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19041612 memory=5714 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162641685 19498610688 17449 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19041612 memory=15252649461155485 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162641686 19498610688 17449 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162641703 19498610688 17449 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69796 KiB

[startup+0.313608 s]*
/proc/loadavg: 1.14 1.96 3.11 9/306 837382
/proc/meminfo: memFree=128094640/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19041612 memory=78024 CPUtime=0.52 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 10055 0 0 0 49 3 0 0 20 0 19 0 162641682 19498610688 19506 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4760403 19506 5863 1 0 550891 0
[pid=837308/tid=837314] ppid=837294 vsize=19041612 memory=-8886842749510591164 CPUtime=0.27 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 6051 0 0 0 25 2 0 0 20 0 19 0 162641683 19498610688 19506 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162641685 19498610688 19506 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162641686 19498610688 19506 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162641703 19498610688 19506 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78024 KiB

[startup+0.700833 s]
/proc/loadavg: 1.14 1.96 3.11 12/306 837404
/proc/meminfo: memFree=128005736/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19041612 memory=97972 CPUtime=1.28 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 11856 0 0 0 124 4 0 0 20 0 19 0 162641682 19498610688 24493 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4760403 24493 5863 1 0 552243 0
[pid=837308/tid=837314] ppid=837294 vsize=19041612 memory=12952 CPUtime=0.64 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 6097 0 0 0 62 2 0 0 20 0 19 0 162641683 19498610688 24493 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19041612 memory=12952 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162641685 19498610688 24493 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162641686 19498610688 24493 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19041612 memory=39380 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162641703 19498610688 24493 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97972 KiB

[startup+1.50027 s]
/proc/loadavg: 1.14 1.96 3.11 12/329 837449
/proc/meminfo: memFree=127883300/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=171460 CPUtime=2.56 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 16307 0 0 0 250 6 0 0 20 0 20 0 162641682 19566772224 42865 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 42865 5881 1 0 552781 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=0 CPUtime=1.44 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) S 837294 837308 837236 0 -1 1077936192 6520 0 0 0 140 4 0 0 20 0 20 0 162641683 19566772224 42865 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 42865 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 42865 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 42865 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171460 KiB

[startup+3.10638 s]
/proc/loadavg: 1.14 1.96 3.11 7/331 837451
/proc/meminfo: memFree=127680232/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=237488 CPUtime=4.26 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 17632 0 0 0 419 7 0 0 20 0 20 0 162641682 19566772224 59372 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 59372 5910 1 0 552783 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=12952 CPUtime=2.96 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 6806 0 0 0 292 4 0 0 20 0 20 0 162641683 19566772224 59372 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 59372 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=202180 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 59372 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 59372 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 237488 KiB

[startup+6.30083 s]
/proc/loadavg: 1.45 2.01 3.12 8/331 837519
/proc/meminfo: memFree=127396940/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=475604 CPUtime=7.68 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 18760 0 0 0 756 12 0 0 20 0 20 0 162641682 19566772224 118901 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 118901 5910 1 0 797161 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=0 CPUtime=5.94 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 6903 0 0 0 590 4 0 0 20 0 20 0 162641683 19566772224 118901 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 118901 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=-7533522213388100735 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 118901 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 118901 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 475604 KiB

[startup+12.7003 s]
/proc/loadavg: 1.65 2.04 3.12 7/332 837520
/proc/meminfo: memFree=126651468/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=923196 CPUtime=14.31 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 20663 0 0 0 1411 20 0 0 20 0 20 0 162641682 19566772224 230799 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 230799 5910 1 0 797172 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=0 CPUtime=12.05 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 7438 0 0 0 1199 6 0 0 20 0 20 0 162641683 19566772224 230799 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=-8886842749510591164 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 230799 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=245680 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 230799 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 230799 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 923196 KiB

[startup+25.5008 s]
/proc/loadavg: 2.17 2.14 3.14 8/332 837521
/proc/meminfo: memFree=125176760/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=1692560 CPUtime=27.46 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 23866 0 0 0 2711 35 0 0 20 0 20 0 162641682 19566772224 423140 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 423140 5926 1 0 1074985 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=0 CPUtime=24.26 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 8288 0 0 0 2417 9 0 0 20 0 20 0 162641683 19566772224 423140 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641684 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=1457760 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 423140 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 423140 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=-8814782956449407676 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 423140 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 27.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1692560 KiB

[startup+51.1064 s]
/proc/loadavg: 2.80 2.29 3.16 7/334 837530
/proc/meminfo: memFree=122455896/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=2867520 CPUtime=54 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 38186 0 0 0 5339 61 0 0 20 0 20 0 162641682 19566772224 716880 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 716880 5926 1 0 1075651 0

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

[startup+3222.3 s]
/proc/loadavg: 4.33 4.38 4.23 7/335 839290
/proc/meminfo: memFree=91677364/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=13136364 CPUtime=3263.47 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 325546 0 0 0 325971 376 0 0 20 0 20 0 162641682 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 3284091 5926 1 0 4083793 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=13136344 CPUtime=3160.69 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 77402 0 0 0 315945 124 0 0 20 0 20 0 162641683 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=13136344 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=19144 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1306 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3263.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13136364 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.32 4.22 7/335 839302
/proc/meminfo: memFree=91549036/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=13136364 CPUtime=3323.89 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 330080 0 0 0 332012 377 0 0 20 0 20 0 162641682 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 3284091 5926 1 0 4083793 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=-8886842749510591164 CPUtime=3219.44 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 78892 0 0 0 321820 124 0 0 20 0 20 0 162641683 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=41336 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=40288 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1363 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=-8886842749510591164 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3323.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13136364 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.29 4.21 7/330 839312
/proc/meminfo: memFree=91398432/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=13136364 CPUtime=3384.18 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 331112 0 0 0 338040 378 0 0 20 0 20 0 162641682 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 3284091 5926 1 0 4083793 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=13136364 CPUtime=3278.63 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 79575 0 0 0 327739 124 0 0 20 0 20 0 162641683 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=13136364 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1364 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=13136364 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 3284091 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3384.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13136364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.25 4.20 7/330 839322
/proc/meminfo: memFree=91390720/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=13140460 CPUtime=3444.18 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 335314 0 0 0 344039 379 0 0 20 0 20 0 162641682 19566772224 3285115 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 3285115 5926 1 0 4083793 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=13140460 CPUtime=3337.79 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 80996 0 0 0 333655 124 0 0 20 0 20 0 162641683 19566772224 3285115 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=13136364 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 3285115 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=13136364 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1364 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 3285115 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=13140460 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 3285115 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3444.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13140460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.26 4.20 7/330 839332
/proc/meminfo: memFree=90778640/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=13144556 CPUtime=3504.39 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 336578 0 0 0 350058 381 0 0 20 0 20 0 162641682 19566772224 3286139 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 3286139 5926 1 0 4083793 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=13136364 CPUtime=3396.64 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 81742 0 0 0 339540 124 0 0 20 0 20 0 162641683 19566772224 3286139 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=-8886842749510591164 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 3286139 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=13144556 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1416 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 3286139 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=13144556 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 3286139 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3504.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13144556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.21 4.19 7/330 839343
/proc/meminfo: memFree=90511344/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=13361644 CPUtime=3564.84 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 338107 0 0 0 356098 386 0 0 20 0 20 0 162641682 19566772224 3340411 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 3340411 5926 1 0 4083793 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=13140460 CPUtime=3455.58 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 82780 0 0 0 345434 124 0 0 20 0 20 0 162641683 19566772224 3340411 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=41336 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 3340411 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1416 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 3340411 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=26496 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 3340411 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3564.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13361644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3557.6 s]
/proc/loadavg: 4.30 4.25 4.20 7/330 839417
/proc/meminfo: memFree=105298108/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19108176 memory=13416940 CPUtime=3600.09 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 341233 0 0 0 359620 389 0 0 20 0 20 0 162641682 19566772224 3354235 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4777044 3354235 5926 1 0 4083793 0
[pid=837308/tid=837314] ppid=837294 vsize=19108176 memory=-8886842749510591164 CPUtime=3490.3 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 83585 0 0 0 348906 124 0 0 20 0 20 0 162641683 19566772224 3354235 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19108176 memory=19144 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162641685 19566772224 3354235 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19108176 memory=2204 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1523 0 0 0 0 0 0 0 20 0 20 0 162641686 19566772224 3354235 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837382] ppid=837294 vsize=19108176 memory=5544 CPUtime=0 cores=1,3
/proc/837308/task/837382/stat : 837382 (Timer-0) S 837294 837308 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162641703 19566772224 3354235 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13416940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.43 s, system=3.93483 s

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

[startup+3557.72 s]
/proc/loadavg: 4.30 4.25 4.20 7/330 839417
/proc/meminfo: memFree=105298108/131524600 swapFree=131071996/131071996
[pid=837308] ppid=837294 vsize=19307868 memory=13417632 CPUtime=3600.31 cores=1,3
/proc/837308/stat : 837308 (java) S 837294 837308 837236 0 -1 1077936128 344647 0 0 0 359642 389 0 0 20 0 21 0 162641682 19771256832 3354408 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
/proc/837308/statm: 4826967 3354408 5925 1 0 4084696 0
[pid=837308/tid=837314] ppid=837294 vsize=19307868 memory=11648 CPUtime=3490.39 cores=1,3
/proc/837308/task/837314/stat : 837314 (java) R 837294 837308 837236 0 -1 4194368 83589 0 0 0 348915 124 0 0 20 0 21 0 162641683 19771256832 3354408 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 162641689 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837350] ppid=837294 vsize=19307868 memory=11648 CPUtime=0 cores=1,3
/proc/837308/task/837350/stat : 837350 (Finalizer) S 837294 837308 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 162641685 19771256832 3354408 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
[pid=837308/tid=837378] ppid=837294 vsize=19307868 memory=13361644 CPUtime=0 cores=1,3
/proc/837308/task/837378/stat : 837378 (Common-Cleaner) S 837294 837308 837236 0 -1 1077936192 1523 0 0 0 0 0 0 0 20 0 21 0 162641686 19771256832 3354408 134679101440 93841134772224 93841134775920 140735584511664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93841134783736 93841134784528 93841167974400 140735584515079 140735584515169 140735584515169 140735584522184 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13417632 KiB

Child status: 143

Real time (s): 3557.77
CPU time (s): 3600.37
CPU user time (s): 3596.43
CPU system time (s): 3.93483
CPU usage (%): 101.197
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13417632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.43
system time used= 3.93483
maximum resident set size= 13418512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118139
involuntary context switches= 22640


# summary of solver processes directly reported to runsolver:
#   pid: 837308
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3596.43
#   total CPU system time (s): 3.93483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78026 second user time and 19.3782 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-16 06:39:40
IDJOB=4432201
IDBENCH=147641
IDSOLVER=3058
FILE ID=nodeC023/4432201-1721104767
RUNJOBID= nodeC023-1721104780-837248
SLURM_JOB_ID= 7505629
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432201-1721104767/watcher-4432201-1721104767 -o /tmp/evaluation-result-4432201-1721104767/solver-4432201-1721104767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721104780-837248 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432201-1721104767.opb

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

MD5SUM BENCH= 0fa37067d8fd8d743bdd08ab1a39bb11
RANDOM SEED=965743976

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128346208 kB
MemAvailable:   129718136 kB
Buffers:          412056 kB
Cached:          1787828 kB
SwapCached:            0 kB
Active:           743088 kB
Inactive:        1822516 kB
Active(anon):       1496 kB
Inactive(anon):   401956 kB
Active(file):     741592 kB
Inactive(file):  1420560 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8792 kB
Writeback:             0 kB
AnonPages:        365512 kB
Mapped:           103648 kB
Shmem:             37720 kB
KReclaimable:      99196 kB
Slab:             206236 kB
SReclaimable:      99196 kB
SUnreclaim:       107040 kB
KernelStack:        3872 kB
PageTables:         9684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     820520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61600 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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:      203476 kB
DirectMap2M:    18444288 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC023 at 2024-07-16 07:38:58