Trace number 3688373

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
Sat 4j PB Resolution 2.3.2 SnapshotOPT8908 580.71 574.748

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
MD5SUM75c7e5778aa6d0e8c18984c9064c30c6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8908
Best CPU time to get the best result obtained on this benchmark0.025995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8908
Optimality of the best value was proved YES
Number of variables253
Total number of constraints264
Number of constraints which are clauses242
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 253
Biggest coefficient in the objective function 2437
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 125403
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2437
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 125403
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688373-1337882689.opb
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.051s.
0.10/0.16	c declared #vars     253
0.10/0.16	c #constraints  286
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
0.10/0.16	c 286 constraints processed.
0.10/0.16	c objective function length is 253 literals
0.10/0.17	c SATISFIABLE
0.10/0.17	c OPTIMIZING...
0.10/0.17	c Got one! Elapsed wall clock time (in seconds):0.058
0.10/0.17	o 10896
0.68/0.47	c cleaning 2500 clauses out of 5002 with flag 5002/5002
0.94/0.64	c cleaning 4249 clauses out of 8502 with flag 11002/11002
1.17/0.82	c cleaning 5625 clauses out of 11252 with flag 18001/18001
1.38/1.01	c cleaning 6810 clauses out of 13627 with flag 26001/26001
1.61/1.25	c cleaning 7907 clauses out of 15817 with flag 35001/35001
1.91/1.51	c cleaning 8949 clauses out of 17911 with flag 45002/45002
2.11/1.76	c cleaning 9975 clauses out of 19960 with flag 56000/56000
2.41/2.08	c cleaning 10992 clauses out of 21985 with flag 68000/68000
2.72/2.39	c cleaning 11991 clauses out of 23995 with flag 81002/81002
3.12/2.75	c cleaning 12994 clauses out of 26002 with flag 95000/95000
3.52/3.16	c cleaning 14000 clauses out of 28009 with flag 110001/110001
3.92/3.59	c cleaning 15001 clauses out of 30010 with flag 126002/126002
4.44/4.07	c cleaning 16002 clauses out of 32007 with flag 143000/143000
5.05/4.63	c cleaning 16995 clauses out of 34006 with flag 161001/161001
5.45/5.07	c Got one! Elapsed wall clock time (in seconds):4.952
5.45/5.07	o 10869
5.45/5.07	c Got one! Elapsed wall clock time (in seconds):4.956
5.45/5.07	o 10411
5.66/5.26	c cleaning 19503 clauses out of 39020 with flag 5000/183010
5.87/5.46	c cleaning 12756 clauses out of 25518 with flag 11001/189011
6.08/5.68	c cleaning 9881 clauses out of 19762 with flag 18001/196011
6.38/5.90	c cleaning 8935 clauses out of 17880 with flag 26000/204010
6.58/6.15	c cleaning 8973 clauses out of 17945 with flag 35000/213010
6.80/6.38	c cleaning 9482 clauses out of 18975 with flag 45003/223013
7.12/6.65	c cleaning 10244 clauses out of 20492 with flag 56002/234012
7.43/6.95	c cleaning 11119 clauses out of 22246 with flag 68000/246010
7.74/7.29	c cleaning 12064 clauses out of 24130 with flag 81003/259013
8.16/7.69	c cleaning 13028 clauses out of 26063 with flag 95000/273010
8.67/8.11	c cleaning 14015 clauses out of 28037 with flag 110002/288012
9.08/8.58	c cleaning 15009 clauses out of 30020 with flag 126000/304010
9.70/9.11	c cleaning 16006 clauses out of 32011 with flag 143000/321010
10.22/9.69	c cleaning 16997 clauses out of 34005 with flag 161000/339010
10.93/10.35	c cleaning 18006 clauses out of 36011 with flag 180003/358013
11.53/10.92	c cleaning 18996 clauses out of 38002 with flag 200000/378010
12.23/11.61	c cleaning 20002 clauses out of 40008 with flag 221002/399012
12.94/12.30	c cleaning 20993 clauses out of 42005 with flag 243001/421011
13.64/13.00	c cleaning 21998 clauses out of 44012 with flag 266001/444011
14.25/13.67	c cleaning 23002 clauses out of 46013 with flag 290000/468010
14.96/14.39	c cleaning 24000 clauses out of 48011 with flag 315000/493010
15.76/15.20	c cleaning 25002 clauses out of 50011 with flag 341000/519010
16.66/16.03	c cleaning 26001 clauses out of 52009 with flag 368000/546010
17.59/16.97	c cleaning 26989 clauses out of 54009 with flag 396001/574011
18.59/17.96	c cleaning 28006 clauses out of 56019 with flag 425000/603010
19.61/18.92	c cleaning 28989 clauses out of 58013 with flag 455000/633010
20.74/20.00	c cleaning 30008 clauses out of 60024 with flag 486000/664010
21.75/21.09	c cleaning 31005 clauses out of 62017 with flag 518001/696011
22.86/22.17	c cleaning 31994 clauses out of 64011 with flag 551000/729010
23.96/23.22	c cleaning 32999 clauses out of 66017 with flag 585000/763010
25.07/24.32	c cleaning 34003 clauses out of 68018 with flag 620000/798010
26.17/25.44	c cleaning 34998 clauses out of 70017 with flag 656002/834012
27.47/26.75	c cleaning 36004 clauses out of 72018 with flag 693001/871011
28.67/27.96	c cleaning 37005 clauses out of 74014 with flag 731001/909011
29.98/29.24	c cleaning 37994 clauses out of 76009 with flag 770001/948011
31.49/30.70	c cleaning 38999 clauses out of 78015 with flag 810001/988011
32.81/32.02	c cleaning 39997 clauses out of 80015 with flag 851000/1029010
34.10/33.31	c cleaning 41006 clauses out of 82018 with flag 893000/1071010
35.70/35.00	c cleaning 41998 clauses out of 84012 with flag 936000/1114010
37.31/36.58	c cleaning 43004 clauses out of 86015 with flag 980001/1158011
39.02/38.20	c cleaning 43991 clauses out of 88012 with flag 1025002/1203012
40.73/39.91	c cleaning 45002 clauses out of 90020 with flag 1071001/1249011
42.34/41.55	c cleaning 46007 clauses out of 92017 with flag 1118000/1296010
44.05/43.29	c cleaning 46996 clauses out of 94012 with flag 1166002/1344012
46.06/45.25	c cleaning 47998 clauses out of 96015 with flag 1215001/1393011
47.77/46.95	c cleaning 48999 clauses out of 98016 with flag 1265000/1443010
49.87/49.06	c cleaning 50001 clauses out of 100018 with flag 1316001/1494011
51.90/51.05	c cleaning 51008 clauses out of 102017 with flag 1368001/1546011
53.96/53.04	c cleaning 52001 clauses out of 104008 with flag 1421000/1599010
56.17/55.23	c cleaning 52992 clauses out of 106007 with flag 1475000/1653010
58.90/57.90	c cleaning 54000 clauses out of 108016 with flag 1530001/1708011
61.20/60.23	c cleaning 55003 clauses out of 110015 with flag 1586000/1764010
63.62/62.61	c cleaning 56001 clauses out of 112012 with flag 1643000/1821010
65.95/64.91	c cleaning 57000 clauses out of 114011 with flag 1701000/1879010
68.08/67.04	c cleaning 58001 clauses out of 116012 with flag 1760001/1938011
70.60/69.53	c cleaning 58997 clauses out of 118012 with flag 1820002/1998012
73.11/72.07	c cleaning 60002 clauses out of 120013 with flag 1881000/2059010
75.85/74.80	c cleaning 61001 clauses out of 122011 with flag 1943000/2121010
78.38/77.20	c cleaning 61999 clauses out of 124011 with flag 2006001/2184011
81.49/80.32	c cleaning 63003 clauses out of 126012 with flag 2070001/2248011
84.00/82.85	c cleaning 63998 clauses out of 128011 with flag 2135003/2313013
86.53/85.37	c cleaning 65005 clauses out of 130011 with flag 2201001/2379011
89.84/88.62	c cleaning 65999 clauses out of 132005 with flag 2268000/2446010
93.36/92.13	c cleaning 66996 clauses out of 134006 with flag 2336000/2514010
96.48/95.20	c cleaning 67996 clauses out of 136010 with flag 2405000/2583010
99.40/98.13	c cleaning 69000 clauses out of 138018 with flag 2475004/2653014
102.64/101.33	c cleaning 69992 clauses out of 140014 with flag 2546000/2724010
105.54/104.20	c cleaning 71000 clauses out of 142022 with flag 2618000/2796010
109.05/107.70	c cleaning 72000 clauses out of 144022 with flag 2691000/2869010
112.39/111.02	c cleaning 73009 clauses out of 146022 with flag 2765000/2943010
115.42/114.05	c cleaning 73999 clauses out of 148013 with flag 2840000/3018010
117.96/116.57	c cleaning 74991 clauses out of 150014 with flag 2916000/3094010
121.58/120.10	c cleaning 76006 clauses out of 152026 with flag 2993003/3171013
124.91/123.45	c cleaning 77000 clauses out of 154017 with flag 3071000/3249010
128.04/126.57	c cleaning 77992 clauses out of 156021 with flag 3150004/3328014
131.86/130.32	c cleaning 79004 clauses out of 158026 with flag 3230001/3408011
132.51/130.94	c Got one! Elapsed wall clock time (in seconds):130.828
132.51/130.94	o 10355
132.80/131.26	c cleaning 53955 clauses out of 107921 with flag 5002/3436910
132.80/131.29	c Got one! Elapsed wall clock time (in seconds):131.178
132.80/131.29	o 10349
132.91/131.30	c Got one! Elapsed wall clock time (in seconds):131.185
132.91/131.30	o 10334
132.91/131.30	c Got one! Elapsed wall clock time (in seconds):131.188
132.91/131.30	o 9354
133.01/131.49	c cleaning 29663 clauses out of 59347 with flag 5000/3442291
133.21/131.66	c cleaning 17832 clauses out of 35684 with flag 11000/3448291
133.42/131.82	c cleaning 12416 clauses out of 24852 with flag 18000/3455291
133.52/131.98	c cleaning 10211 clauses out of 20436 with flag 26000/3463291
133.74/132.17	c cleaning 9606 clauses out of 19226 with flag 35001/3472292
133.93/132.39	c cleaning 9807 clauses out of 19619 with flag 45000/3482291
134.26/132.61	c cleaning 10406 clauses out of 20812 with flag 56000/3493291
134.48/132.86	c cleaning 11198 clauses out of 22407 with flag 68001/3505292
134.79/133.15	c cleaning 12102 clauses out of 24209 with flag 81001/3518292
135.08/133.48	c cleaning 13050 clauses out of 26107 with flag 95001/3532292
135.50/133.84	c cleaning 14023 clauses out of 28056 with flag 110000/3547291
135.92/134.23	c cleaning 15013 clauses out of 30033 with flag 126000/3563291
136.32/134.62	c cleaning 16009 clauses out of 32021 with flag 143001/3580292
136.72/135.08	c cleaning 17004 clauses out of 34011 with flag 161000/3598291
137.23/135.56	c cleaning 18000 clauses out of 36007 with flag 180000/3617291
137.73/136.04	c cleaning 19000 clauses out of 38007 with flag 200000/3637291
138.33/136.60	c cleaning 20004 clauses out of 40007 with flag 221000/3658291
138.94/137.29	c cleaning 21002 clauses out of 42003 with flag 243000/3680291
139.85/138.18	c cleaning 22001 clauses out of 44002 with flag 266001/3703292
140.77/139.00	c cleaning 22999 clauses out of 46002 with flag 290002/3727293
141.59/139.82	c cleaning 23993 clauses out of 48001 with flag 315000/3752291
142.38/140.68	c cleaning 25002 clauses out of 50008 with flag 341000/3778291
143.40/141.61	c cleaning 26003 clauses out of 52006 with flag 368000/3805291
144.32/142.56	c cleaning 27000 clauses out of 54005 with flag 396002/3833293
145.34/143.55	c cleaning 27999 clauses out of 56003 with flag 425000/3862291
146.45/144.64	c cleaning 28997 clauses out of 58004 with flag 455000/3892291
147.47/145.62	c cleaning 29998 clauses out of 60007 with flag 486000/3923291
148.58/146.78	c cleaning 31001 clauses out of 62010 with flag 518001/3955292
149.59/147.76	c cleaning 31998 clauses out of 64008 with flag 551000/3988291
150.71/148.89	c cleaning 33000 clauses out of 66010 with flag 585000/4022291
151.72/149.85	c cleaning 34000 clauses out of 68010 with flag 620000/4057291
152.93/151.06	c cleaning 35004 clauses out of 70011 with flag 656001/4093292
154.23/152.35	c cleaning 35995 clauses out of 72006 with flag 693000/4130291
155.64/153.72	c cleaning 37000 clauses out of 74012 with flag 731001/4168292
156.65/154.79	c cleaning 37999 clauses out of 76011 with flag 770000/4207291
157.96/156.05	c cleaning 39001 clauses out of 78012 with flag 810000/4247291
159.18/157.29	c cleaning 40001 clauses out of 80011 with flag 851000/4288291
160.51/158.57	c cleaning 40992 clauses out of 82010 with flag 893000/4330291
161.90/159.96	c cleaning 42009 clauses out of 84018 with flag 936000/4373291
163.42/161.44	c cleaning 42997 clauses out of 86009 with flag 980000/4417291
164.93/162.96	c cleaning 43996 clauses out of 88012 with flag 1025000/4462291
166.75/164.72	c cleaning 45000 clauses out of 90017 with flag 1071001/4508292
168.65/166.65	c cleaning 46005 clauses out of 92017 with flag 1118001/4555292
170.57/168.53	c cleaning 46992 clauses out of 94011 with flag 1166000/4603291
172.18/170.15	c cleaning 47999 clauses out of 96019 with flag 1215000/4652291
173.71/171.69	c cleaning 49000 clauses out of 98020 with flag 1265000/4702291
175.50/173.49	c cleaning 50003 clauses out of 100020 with flag 1316000/4753291
177.41/175.36	c cleaning 51004 clauses out of 102017 with flag 1368000/4805291
179.24/177.17	c cleaning 51999 clauses out of 104013 with flag 1421000/4858291
181.26/179.19	c cleaning 53006 clauses out of 106015 with flag 1475001/4912292
183.48/181.30	c cleaning 53995 clauses out of 108009 with flag 1530001/4967292
185.49/183.31	c cleaning 54988 clauses out of 110013 with flag 1586000/5023291
187.80/185.60	c cleaning 56006 clauses out of 112026 with flag 1643001/5080292
190.23/188.09	c cleaning 56996 clauses out of 114020 with flag 1701001/5138292
193.13/190.95	c cleaning 58012 clauses out of 116023 with flag 1760000/5197291
195.44/193.24	c cleaning 58994 clauses out of 118011 with flag 1820000/5257291
198.06/195.81	c cleaning 60001 clauses out of 120017 with flag 1881000/5318291
200.66/198.40	c cleaning 61004 clauses out of 122016 with flag 1943000/5380291
202.77/200.51	c cleaning 62005 clauses out of 124016 with flag 2006004/5443295
205.18/202.95	c cleaning 62997 clauses out of 126008 with flag 2070001/5507292
207.99/205.74	c cleaning 64004 clauses out of 128011 with flag 2135001/5572292
210.80/208.59	c cleaning 64997 clauses out of 130007 with flag 2201001/5638292
213.11/210.81	c cleaning 66002 clauses out of 132010 with flag 2268001/5705292
215.33/213.03	c cleaning 66999 clauses out of 134007 with flag 2336000/5773291
217.74/215.47	c cleaning 68005 clauses out of 136010 with flag 2405002/5842293
220.16/217.82	c cleaning 68992 clauses out of 138004 with flag 2475001/5912292
223.17/220.80	c cleaning 69997 clauses out of 140011 with flag 2546000/5983291
226.99/224.60	c cleaning 70999 clauses out of 142015 with flag 2618001/6055292
230.43/228.01	c cleaning 72000 clauses out of 144017 with flag 2691002/6128293
233.57/231.17	c cleaning 73002 clauses out of 146016 with flag 2765001/6202292
236.29/233.84	c cleaning 73996 clauses out of 148013 with flag 2840000/6277291
240.34/237.54	c cleaning 74999 clauses out of 150017 with flag 2916000/6353291
244.01/240.86	c cleaning 76000 clauses out of 152019 with flag 2993001/6430292
247.14/243.93	c cleaning 76994 clauses out of 154018 with flag 3071000/6508291
251.16/247.95	c cleaning 78008 clauses out of 156024 with flag 3150000/6587291
254.00/250.80	c cleaning 79007 clauses out of 158018 with flag 3230002/6667293
256.70/253.47	c cleaning 80002 clauses out of 160013 with flag 3311004/6748295
260.53/257.21	c cleaning 81001 clauses out of 162007 with flag 3393000/6830291
264.15/260.89	c cleaning 81988 clauses out of 164007 with flag 3476001/6913292
268.78/265.47	c cleaning 82999 clauses out of 166018 with flag 3560000/6997291
273.41/270.07	c cleaning 84002 clauses out of 168019 with flag 3645000/7082291
277.83/274.42	c cleaning 85000 clauses out of 170018 with flag 3731001/7168292
282.03/278.61	c cleaning 86000 clauses out of 172018 with flag 3818001/7255292
286.35/282.90	c cleaning 87002 clauses out of 174018 with flag 3906001/7343292
290.06/286.63	c cleaning 88006 clauses out of 176016 with flag 3995001/7432292
293.66/290.25	c cleaning 88996 clauses out of 178009 with flag 4085000/7522291
297.90/294.45	c cleaning 89994 clauses out of 180014 with flag 4176001/7613292
301.81/298.32	c cleaning 91006 clauses out of 182020 with flag 4268001/7705292
306.32/302.82	c cleaning 92001 clauses out of 184013 with flag 4361000/7798291
309.84/306.30	c cleaning 92999 clauses out of 186012 with flag 4455000/7892291
314.46/310.91	c cleaning 94000 clauses out of 188016 with flag 4550003/7987294
318.58/315.05	c cleaning 95001 clauses out of 190013 with flag 4646000/8083291
322.29/318.78	c cleaning 96001 clauses out of 192013 with flag 4743001/8180292
325.81/322.21	c cleaning 97000 clauses out of 194012 with flag 4841001/8278292
329.72/326.19	c cleaning 98006 clauses out of 196012 with flag 4940001/8377292
333.84/330.26	c cleaning 99001 clauses out of 198007 with flag 5040002/8477293
339.21/335.56	c cleaning 100003 clauses out of 200005 with flag 5141001/8578292
343.65/339.92	c cleaning 100996 clauses out of 202002 with flag 5243001/8680292
347.69/343.97	c cleaning 102000 clauses out of 204006 with flag 5346001/8783292
351.45/347.69	c cleaning 102993 clauses out of 206004 with flag 5450000/8887291
355.27/351.47	c cleaning 104001 clauses out of 208011 with flag 5555000/8992291
359.98/356.13	c cleaning 105002 clauses out of 210011 with flag 5661001/9098292
364.11/360.24	c cleaning 105997 clauses out of 212009 with flag 5768001/9205292
368.21/364.35	c cleaning 106998 clauses out of 214011 with flag 5876000/9313291
372.14/368.27	c cleaning 108001 clauses out of 216013 with flag 5985000/9422291
376.67/372.73	c cleaning 109003 clauses out of 218012 with flag 6095000/9532291
383.10/379.19	c cleaning 110000 clauses out of 220010 with flag 6206001/9643292
387.52/383.56	c cleaning 110999 clauses out of 222009 with flag 6318000/9755291
392.93/388.94	c cleaning 111999 clauses out of 224011 with flag 6431001/9868292
396.97/392.94	c cleaning 112995 clauses out of 226011 with flag 6545000/9982291
401.47/397.41	c cleaning 114007 clauses out of 228017 with flag 6660001/10097292
406.38/402.37	c cleaning 115002 clauses out of 230010 with flag 6776001/10213292
411.59/407.57	c cleaning 115990 clauses out of 232006 with flag 6893000/10330291
416.73/412.69	c cleaning 117003 clauses out of 234016 with flag 7011000/10448291
421.55/417.44	c cleaning 118001 clauses out of 236013 with flag 7130000/10567291
428.59/424.49	c cleaning 118993 clauses out of 238012 with flag 7250000/10687291
434.13/429.91	c cleaning 120003 clauses out of 240021 with flag 7371002/10808293
438.58/434.33	c cleaning 121002 clauses out of 242016 with flag 7493000/10930291
444.99/440.71	c cleaning 121997 clauses out of 244013 with flag 7616000/11053291
451.90/447.64	c cleaning 122999 clauses out of 246018 with flag 7740002/11177293
457.31/453.09	c cleaning 124001 clauses out of 248017 with flag 7865000/11302291
462.73/458.46	c cleaning 124998 clauses out of 250016 with flag 7991000/11428291
468.86/464.58	c cleaning 125990 clauses out of 252018 with flag 8118000/11555291
473.88/469.50	c cleaning 127008 clauses out of 254028 with flag 8246000/11683291
479.11/474.74	c cleaning 128001 clauses out of 256021 with flag 8375001/11812292
484.24/479.82	c cleaning 129005 clauses out of 258019 with flag 8505000/11942291
489.96/485.54	c cleaning 130002 clauses out of 260014 with flag 8636000/12073291
494.77/490.38	c cleaning 130995 clauses out of 262012 with flag 8768000/12205291
501.30/496.87	c cleaning 131997 clauses out of 264017 with flag 8901000/12338291
508.63/504.14	c cleaning 133002 clauses out of 266021 with flag 9035001/12472292
515.27/510.75	c cleaning 134001 clauses out of 268018 with flag 9170000/12607291
522.00/517.47	c cleaning 135003 clauses out of 270017 with flag 9306000/12743291
528.61/524.01	c cleaning 136002 clauses out of 272014 with flag 9443000/12880291
530.43/525.88	c Got one! Elapsed wall clock time (in seconds):525.765
530.43/525.88	o 9353
531.73/527.10	c cleaning 100985 clauses out of 201981 with flag 5000/12946260
532.35/527.78	c cleaning 53488 clauses out of 106996 with flag 11000/12952260
532.76/528.13	c cleaning 30248 clauses out of 60509 with flag 18001/12959261
532.96/528.36	c cleaning 19123 clauses out of 38261 with flag 26001/12967261
533.17/528.58	c cleaning 14056 clauses out of 28137 with flag 35000/12976260
533.49/528.80	c cleaning 12034 clauses out of 24082 with flag 45001/12986261
533.71/529.05	c cleaning 11516 clauses out of 23047 with flag 56000/12997260
534.02/529.32	c cleaning 11763 clauses out of 23531 with flag 68000/13009260
534.32/529.62	c cleaning 12381 clauses out of 24768 with flag 81000/13022260
534.62/529.94	c cleaning 13187 clauses out of 26387 with flag 95000/13036260
535.04/530.32	c cleaning 14098 clauses out of 28201 with flag 110001/13051261
535.45/530.71	c cleaning 15047 clauses out of 30102 with flag 126000/13067260
535.87/531.13	c cleaning 16027 clauses out of 32055 with flag 143000/13084260
536.29/531.54	c cleaning 17011 clauses out of 34029 with flag 161001/13102261
536.71/531.98	c cleaning 18009 clauses out of 36017 with flag 180000/13121260
537.32/532.53	c cleaning 19005 clauses out of 38009 with flag 200001/13141261
537.84/533.07	c cleaning 19996 clauses out of 40004 with flag 221001/13162261
538.36/533.58	c cleaning 20999 clauses out of 42008 with flag 243001/13184261
538.97/534.19	c cleaning 21998 clauses out of 44008 with flag 266000/13207260
539.32/534.44	c Got one! Elapsed wall clock time (in seconds):534.329
539.32/534.44	o 9299
539.46/534.57	c cleaning 18709 clauses out of 37432 with flag 5001/13222682
539.74/534.73	c cleaning 12352 clauses out of 24723 with flag 11001/13228682
539.95/534.91	c cleaning 9676 clauses out of 19370 with flag 18000/13235681
540.08/535.08	c cleaning 8838 clauses out of 17694 with flag 26000/13243681
540.29/535.29	c cleaning 8924 clauses out of 17856 with flag 35000/13252681
540.61/535.52	c cleaning 9464 clauses out of 18932 with flag 45000/13262681
540.83/535.75	c cleaning 10234 clauses out of 20469 with flag 56001/13273682
541.13/536.04	c cleaning 11115 clauses out of 22235 with flag 68001/13285682
541.45/536.38	c cleaning 12051 clauses out of 24119 with flag 81000/13298681
541.86/536.71	c cleaning 13029 clauses out of 26068 with flag 95000/13312681
542.17/537.07	c cleaning 14012 clauses out of 28039 with flag 110000/13327681
542.57/537.46	c cleaning 15014 clauses out of 30027 with flag 126000/13343681
543.10/537.91	c cleaning 16006 clauses out of 32014 with flag 143001/13360682
543.50/538.35	c cleaning 17000 clauses out of 34008 with flag 161001/13378682
544.02/538.86	c cleaning 18003 clauses out of 36007 with flag 180000/13397681
544.54/539.37	c cleaning 18999 clauses out of 38004 with flag 200000/13417681
545.16/539.93	c cleaning 19998 clauses out of 40006 with flag 221001/13438682
545.76/540.55	c cleaning 21004 clauses out of 42007 with flag 243000/13460681
546.38/541.16	c cleaning 21997 clauses out of 44003 with flag 266000/13483681
547.09/541.81	c cleaning 22999 clauses out of 46006 with flag 290000/13507681
547.80/542.55	c cleaning 24000 clauses out of 48007 with flag 315000/13532681
548.52/543.25	c cleaning 24997 clauses out of 50008 with flag 341001/13558682
549.42/544.17	c cleaning 26003 clauses out of 52011 with flag 368001/13585682
550.23/544.93	c cleaning 27004 clauses out of 54007 with flag 396000/13613681
551.14/545.87	c cleaning 28001 clauses out of 56004 with flag 425001/13642682
552.15/546.81	c cleaning 28995 clauses out of 58002 with flag 455000/13672681
553.17/547.82	c cleaning 30003 clauses out of 60008 with flag 486001/13703682
554.17/548.86	c cleaning 31002 clauses out of 62004 with flag 518000/13735681
555.19/549.80	c cleaning 31994 clauses out of 64002 with flag 551000/13768681
556.21/550.82	c cleaning 33002 clauses out of 66009 with flag 585001/13802682
557.22/551.87	c cleaning 33997 clauses out of 68007 with flag 620001/13837682
558.34/552.90	c cleaning 35002 clauses out of 70010 with flag 656001/13873682
559.35/553.91	c cleaning 36000 clauses out of 72009 with flag 693002/13910683
560.15/554.74	c Got one! Elapsed wall clock time (in seconds):554.629
560.15/554.74	o 9290
560.45/555.00	c cleaning 36361 clauses out of 72735 with flag 5000/13947409
560.56/555.19	c cleaning 21177 clauses out of 42374 with flag 11000/13953409
560.78/555.38	c cleaning 14091 clauses out of 28197 with flag 18000/13960409
560.99/555.57	c cleaning 11046 clauses out of 22107 with flag 26001/13968410
561.19/555.80	c cleaning 10021 clauses out of 20062 with flag 35002/13977411
561.49/556.03	c cleaning 10012 clauses out of 20040 with flag 45001/13987410
561.81/556.30	c cleaning 10507 clauses out of 21027 with flag 56000/13998409
562.12/556.61	c cleaning 11256 clauses out of 22520 with flag 68000/14010409
562.43/556.96	c cleaning 12129 clauses out of 24265 with flag 81001/14023410
562.73/557.28	c cleaning 13064 clauses out of 26135 with flag 95000/14037409
563.15/557.67	c cleaning 14032 clauses out of 28071 with flag 110000/14052409
563.57/558.08	c cleaning 15016 clauses out of 30040 with flag 126001/14068410
564.07/558.50	c cleaning 16007 clauses out of 32023 with flag 143000/14085409
564.50/558.98	c cleaning 17002 clauses out of 34016 with flag 161000/14103409
565.00/559.43	c cleaning 18004 clauses out of 36014 with flag 180000/14122409
565.52/559.99	c cleaning 19004 clauses out of 38011 with flag 200001/14142410
566.22/560.64	c cleaning 19999 clauses out of 40006 with flag 221000/14163409
566.54/560.99	c Got one! Elapsed wall clock time (in seconds):560.876
566.54/560.99	o 9184
566.75/561.14	c cleaning 20716 clauses out of 41439 with flag 5000/14184841
566.88/561.21	c Got one! Elapsed wall clock time (in seconds):561.101
566.88/561.21	o 9090
566.88/561.22	c Got one! Elapsed wall clock time (in seconds):561.103
566.88/561.22	o 8908
566.99/561.31	c cleaning 13349 clauses out of 26709 with flag 4000/14190827
567.09/561.45	c cleaning 9668 clauses out of 19360 with flag 10000/14196827
567.32/561.63	c cleaning 8332 clauses out of 16692 with flag 17000/14203827
567.54/561.82	c cleaning 8169 clauses out of 16361 with flag 25001/14211828
567.76/562.02	c cleaning 8590 clauses out of 17191 with flag 34000/14220827
567.97/562.27	c cleaning 9299 clauses out of 18602 with flag 44001/14230828
568.27/562.54	c cleaning 10149 clauses out of 20304 with flag 55002/14241829
568.57/562.84	c cleaning 11075 clauses out of 22153 with flag 67000/14253827
568.87/563.15	c cleaning 12033 clauses out of 24078 with flag 80000/14266827
569.31/563.51	c cleaning 13022 clauses out of 26048 with flag 94003/14280830
569.61/563.88	c cleaning 14008 clauses out of 28024 with flag 109001/14295828
570.01/564.25	c cleaning 15006 clauses out of 30015 with flag 125000/14311827
570.41/564.66	c cleaning 16002 clauses out of 32011 with flag 142002/14328829
570.93/565.11	c cleaning 17002 clauses out of 34007 with flag 160000/14346827
571.34/565.59	c cleaning 18002 clauses out of 36005 with flag 179000/14365827
571.84/566.07	c cleaning 19001 clauses out of 38003 with flag 199000/14385827
572.56/566.70	c cleaning 19999 clauses out of 40001 with flag 220000/14406827
573.07/567.28	c cleaning 20993 clauses out of 42003 with flag 242001/14428828
573.68/567.87	c cleaning 21994 clauses out of 44009 with flag 265000/14451827
574.29/568.43	c cleaning 23005 clauses out of 46017 with flag 289002/14475829
574.91/569.05	c cleaning 23999 clauses out of 48010 with flag 314001/14500828
575.63/569.74	c cleaning 24997 clauses out of 50009 with flag 340000/14526827
576.45/570.56	c cleaning 26004 clauses out of 52013 with flag 367001/14553828
577.26/571.35	c cleaning 26998 clauses out of 54008 with flag 395000/14581827
578.17/572.23	c cleaning 28001 clauses out of 56010 with flag 424000/14610827
579.09/573.12	c cleaning 29000 clauses out of 58010 with flag 454001/14640828
579.79/573.86	c cleaning 30001 clauses out of 60009 with flag 485001/14671828
580.60/574.63	c cleaning 30998 clauses out of 62004 with flag 517001/14703828
580.71/574.74	c starts		: 337
580.71/574.74	c conflicts		: 14705636
580.71/574.74	c decisions		: 20003431
580.71/574.74	c propagations		: 239010226
580.71/574.74	c inspects		: 4422262402
580.71/574.74	c shortcuts		: 0
580.71/574.74	c learnt literals	: 22
580.71/574.74	c learnt binary clauses	: 20
580.71/574.74	c learnt ternary clauses	: 50
580.71/574.74	c learnt constraints	: 14705613
580.71/574.74	c ignored constraints	: 0
580.71/574.74	c root simplifications	: 0
580.71/574.74	c removed literals (reason simplification)	: 0
580.71/574.74	c reason swapping (by a shorter reason)	: 0
580.71/574.74	c Calls to reduceDB	: 322
580.71/574.74	c number of reductions to clauses (during analyze)	: 0
580.71/574.74	c number of learned constraints concerned by reduction	: 0
580.71/574.74	c number of learning phase by resolution	: 0
580.71/574.74	c number of learning phase by cutting planes	: 0
580.71/574.74	c speed (assignments/second)	: 415981.7637220247
580.71/574.74	c non guided choices	26
580.71/574.74	c learnt constraints type 
580.71/574.74	c constraints type 
580.71/574.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22
580.71/574.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
580.71/574.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
580.71/574.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 0
580.71/574.74	c 286 constraints processed.
580.71/574.74	s OPTIMUM FOUND
580.71/574.74	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 
580.71/574.74	c objective function=8908
580.71/574.74	c Total wall clock time (in seconds): 574.626

Verifier Data 

OK	8908

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688373-1337882689/watcher-3688373-1337882689 -o /tmp/evaluation-result-3688373-1337882689/solver-3688373-1337882689 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688373-1337882689.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.97 1.99 3/194 24795
/proc/meminfo: memFree=26503440/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/24795/stat : 24795 (java) R 24793 24795 23066 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 254393964 23793664 713 33554432000 1073741824 1073778376 140734874355792 140734874344856 227132094544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 5809 713 528 9 0 128 0

[startup+0.102596 s]
/proc/loadavg: 1.93 1.97 1.99 3/194 24795
/proc/meminfo: memFree=26503440/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 4319 0 1 0 9 1 0 0 20 0 18 0 254393964 9787813888 5522 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2389603 5523 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.200245 s]
/proc/loadavg: 1.93 1.97 1.99 3/194 24795
/proc/meminfo: memFree=26503440/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 5058 0 1 0 23 1 0 0 20 0 19 0 254393964 9855975424 6567 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 6567 2198 9 0 2396937 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9624976

[startup+0.30025 s]
/proc/loadavg: 1.93 1.97 1.99 3/194 24795
/proc/meminfo: memFree=26503440/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 6642 0 1 0 49 2 0 0 20 0 19 0 254393964 9855975424 7289 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 7292 2222 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624976

[startup+0.700182 s]
/proc/loadavg: 1.93 1.97 1.99 3/194 24795
/proc/meminfo: memFree=26503440/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 7785 0 1 0 105 2 0 0 20 0 19 0 254393964 9855975424 9959 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 9959 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9624976

[startup+1.50062 s]
/proc/loadavg: 1.93 1.97 1.99 3/213 24814
/proc/meminfo: memFree=26472332/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=1.91 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 7894 0 1 0 189 2 0 0 20 0 19 0 254393964 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 10487 2265 9 0 2396937 0
[pid=24795/tid=24797] ppid=24793 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/24795/task/24797/stat : 24797 (java) R 24793 24795 23066 0 -1 4202560 2452 0 1 0 141 1 0 0 20 0 19 0 254393965 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785430872472 139785298094764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24798] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24798/stat : 24798 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785419934376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24799] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24799/stat : 24799 (java) S 24793 24795 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785418881832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24800] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24800/stat : 24800 (java) S 24793 24795 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785417829288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24801] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24801/stat : 24801 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785416776744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24802] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24802/stat : 24802 (java) S 24793 24795 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785269885096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24803] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24803/stat : 24803 (java) S 24793 24795 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785268832552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24804] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24804/stat : 24804 (java) S 24793 24795 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785267780008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24805] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24805/stat : 24805 (java) S 24793 24795 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785266727464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24806] ppid=24793 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/24795/task/24806/stat : 24806 (java) S 24793 24795 23066 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 254393967 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785254529640 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24807] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24807/stat : 24807 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785253475960 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24808] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24808/stat : 24808 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785252423304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24809] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24809/stat : 24809 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785251372048 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24810] ppid=24793 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/24795/task/24810/stat : 24810 (java) S 24793 24795 23066 0 -1 4202560 2128 0 0 0 23 0 0 0 20 0 19 0 254393970 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785250318392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24811] ppid=24793 vsize=9624976 CPUtime=0.15 cores=0,2,4,6
/proc/24795/task/24811/stat : 24811 (java) S 24793 24795 23066 0 -1 4202560 2042 0 0 0 15 0 0 0 20 0 19 0 254393970 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785249265848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24812] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24812/stat : 24812 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785248213496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24813] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24813/stat : 24813 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785247161160 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24814] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24814/stat : 24814 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393982 9855975424 10487 33554432000 1073741824 1073778376 140734874355792 139785246106920 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9624976

[startup+3.10063 s]
/proc/loadavg: 1.93 1.97 1.99 3/213 24814
/proc/meminfo: memFree=26469664/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=3.52 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 7911 0 1 0 350 2 0 0 20 0 19 0 254393964 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 10499 2265 9 0 2396937 0
[pid=24795/tid=24797] ppid=24793 vsize=9624976 CPUtime=2.96 cores=0,2,4,6
/proc/24795/task/24797/stat : 24797 (java) R 24793 24795 23066 0 -1 4202560 2457 0 1 0 295 1 0 0 20 0 19 0 254393965 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785430872352 139785297917394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24798] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24798/stat : 24798 (java) S 24793 24795 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785419934376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24799] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24799/stat : 24799 (java) S 24793 24795 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785418881832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24800] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24800/stat : 24800 (java) S 24793 24795 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785417829288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24801] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24801/stat : 24801 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785416776744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24802] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24802/stat : 24802 (java) S 24793 24795 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785269885096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24803] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24803/stat : 24803 (java) S 24793 24795 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785268832552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24804] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24804/stat : 24804 (java) S 24793 24795 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785267780008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24805] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24805/stat : 24805 (java) S 24793 24795 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785266727464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24806] ppid=24793 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/24795/task/24806/stat : 24806 (java) S 24793 24795 23066 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 254393967 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785254529640 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24807] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24807/stat : 24807 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785253475960 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24808] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24808/stat : 24808 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785252423304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24809] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24809/stat : 24809 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785251372048 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24810] ppid=24793 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/24795/task/24810/stat : 24810 (java) S 24793 24795 23066 0 -1 4202560 2128 0 0 0 23 0 0 0 20 0 19 0 254393970 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785250318392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24811] ppid=24793 vsize=9624976 CPUtime=0.15 cores=0,2,4,6
/proc/24795/task/24811/stat : 24811 (java) S 24793 24795 23066 0 -1 4202560 2042 0 0 0 15 0 0 0 20 0 19 0 254393970 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785249265848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24812] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24812/stat : 24812 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785248213496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24813] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24813/stat : 24813 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785247161160 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24814] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24814/stat : 24814 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393982 9855975424 10499 33554432000 1073741824 1073778376 140734874355792 139785246106920 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 1.93 1.97 1.99 3/213 24814
/proc/meminfo: memFree=26463272/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=6.8 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 7948 0 1 0 677 3 0 0 20 0 19 0 254393964 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 12025 2269 9 0 2396937 0
[pid=24795/tid=24797] ppid=24793 vsize=9624976 CPUtime=6.01 cores=0,2,4,6
/proc/24795/task/24797/stat : 24797 (java) R 24793 24795 23066 0 -1 4202560 2472 0 1 0 600 1 0 0 20 0 19 0 254393965 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785430872472 139785298008736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24798] ppid=24793 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24795/task/24798/stat : 24798 (java) S 24793 24795 23066 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785419934376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24799] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24799/stat : 24799 (java) S 24793 24795 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785418881832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24800] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24800/stat : 24800 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785417829288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24801] ppid=24793 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24795/task/24801/stat : 24801 (java) S 24793 24795 23066 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785416776744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24802] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24802/stat : 24802 (java) S 24793 24795 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785269885096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24803] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24803/stat : 24803 (java) S 24793 24795 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785268832552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24804] ppid=24793 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24795/task/24804/stat : 24804 (java) S 24793 24795 23066 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785267780008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24805] ppid=24793 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24795/task/24805/stat : 24805 (java) S 24793 24795 23066 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254393966 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785266727464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24806] ppid=24793 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/24795/task/24806/stat : 24806 (java) S 24793 24795 23066 0 -1 4202560 34 0 0 0 18 0 0 0 20 0 19 0 254393967 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785254529640 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24807] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24807/stat : 24807 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785253475960 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24808] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24808/stat : 24808 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785252423304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24809] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24809/stat : 24809 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785251372048 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24810] ppid=24793 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/24795/task/24810/stat : 24810 (java) S 24793 24795 23066 0 -1 4202560 2128 0 0 0 23 0 0 0 20 0 19 0 254393970 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785250318392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24811] ppid=24793 vsize=9624976 CPUtime=0.16 cores=0,2,4,6
/proc/24795/task/24811/stat : 24811 (java) S 24793 24795 23066 0 -1 4202560 2042 0 0 0 16 0 0 0 20 0 19 0 254393970 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785249265848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24812] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24812/stat : 24812 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785248213496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24813] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24813/stat : 24813 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785247161160 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24814] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24814/stat : 24814 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393982 9855975424 12025 33554432000 1073741824 1073778376 140734874355792 139785246106920 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

/proc/24795/task/24805/stat : 24805 (java) S 24793 24795 23066 0 -1 4202560 232 0 0 0 91 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785266727464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24806] ppid=24793 vsize=9624976 CPUtime=8.63 cores=0,2,4,6
/proc/24795/task/24806/stat : 24806 (java) S 24793 24795 23066 0 -1 4202560 93 0 0 0 862 1 0 0 20 0 19 0 254393967 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785254529640 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24807] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24807/stat : 24807 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785253475960 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24808] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24808/stat : 24808 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785252423304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24809] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24809/stat : 24809 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785251372048 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24810] ppid=24793 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24795/task/24810/stat : 24810 (java) S 24793 24795 23066 0 -1 4202560 5769 0 0 0 42 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785250318392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24811] ppid=24793 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24795/task/24811/stat : 24811 (java) S 24793 24795 23066 0 -1 4202560 12160 0 0 0 85 2 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785249265848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24812] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24812/stat : 24812 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785248213496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24813] ppid=24793 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24795/task/24813/stat : 24813 (java) S 24793 24795 23066 0 -1 4202560 33 0 0 0 6 5 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785247161160 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24814] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24814/stat : 24814 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393982 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785246106920 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 579.59
Current children cumulated vsize (KiB) 9624976

[startup+574.401 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 24819
/proc/meminfo: memFree=26313172/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=580.4 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 23790 0 1 0 58018 22 0 0 20 0 19 0 254393964 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 42255 2272 9 0 2396937 0
[pid=24795/tid=24797] ppid=24793 vsize=9624976 CPUtime=561.81 cores=0,2,4,6
/proc/24795/task/24797/stat : 24797 (java) R 24793 24795 23066 0 -1 4202560 2794 0 1 0 56170 11 0 0 20 0 19 0 254393965 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785430872352 139785297902528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24798] ppid=24793 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/24795/task/24798/stat : 24798 (java) S 24793 24795 23066 0 -1 4202560 275 0 0 0 90 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785419934376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24799] ppid=24793 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/24795/task/24799/stat : 24799 (java) S 24793 24795 23066 0 -1 4202560 201 0 0 0 88 0 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785418881832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24800] ppid=24793 vsize=9624976 CPUtime=0.84 cores=0,2,4,6
/proc/24795/task/24800/stat : 24800 (java) S 24793 24795 23066 0 -1 4202560 260 0 0 0 82 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785417829288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24801] ppid=24793 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/24795/task/24801/stat : 24801 (java) S 24793 24795 23066 0 -1 4202560 272 0 0 0 89 1 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785416776744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24802] ppid=24793 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/24795/task/24802/stat : 24802 (java) S 24793 24795 23066 0 -1 4202560 116 0 0 0 78 0 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785269885096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24803] ppid=24793 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/24795/task/24803/stat : 24803 (java) S 24793 24795 23066 0 -1 4202560 177 0 0 0 87 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785268832552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24804] ppid=24793 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/24795/task/24804/stat : 24804 (java) S 24793 24795 23066 0 -1 4202560 223 0 0 0 83 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785267780008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24805] ppid=24793 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/24795/task/24805/stat : 24805 (java) S 24793 24795 23066 0 -1 4202560 232 0 0 0 92 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785266727464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24806] ppid=24793 vsize=9624976 CPUtime=8.66 cores=0,2,4,6
/proc/24795/task/24806/stat : 24806 (java) S 24793 24795 23066 0 -1 4202560 93 0 0 0 865 1 0 0 20 0 19 0 254393967 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785254529640 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24807] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24807/stat : 24807 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785253475960 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24808] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24808/stat : 24808 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785252423304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24809] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24809/stat : 24809 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785251372048 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24810] ppid=24793 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24795/task/24810/stat : 24810 (java) S 24793 24795 23066 0 -1 4202560 5769 0 0 0 42 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785250318392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24811] ppid=24793 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24795/task/24811/stat : 24811 (java) S 24793 24795 23066 0 -1 4202560 12160 0 0 0 85 2 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785249265848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24812] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24812/stat : 24812 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785248213496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24813] ppid=24793 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24795/task/24813/stat : 24813 (java) S 24793 24795 23066 0 -1 4202560 33 0 0 0 6 5 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785247161160 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24814] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24814/stat : 24814 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393982 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785246106920 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 580.4
Current children cumulated vsize (KiB) 9624976

[startup+574.601 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 24819
/proc/meminfo: memFree=26313172/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=580.6 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 23790 0 1 0 58038 22 0 0 20 0 19 0 254393964 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 42255 2272 9 0 2396937 0
[pid=24795/tid=24797] ppid=24793 vsize=9624976 CPUtime=562.01 cores=0,2,4,6
/proc/24795/task/24797/stat : 24797 (java) R 24793 24795 23066 0 -1 4202560 2794 0 1 0 56190 11 0 0 20 0 19 0 254393965 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785430872352 139785298094736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24798] ppid=24793 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/24795/task/24798/stat : 24798 (java) S 24793 24795 23066 0 -1 4202560 275 0 0 0 90 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785419934376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24799] ppid=24793 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/24795/task/24799/stat : 24799 (java) S 24793 24795 23066 0 -1 4202560 201 0 0 0 88 0 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785418881832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24800] ppid=24793 vsize=9624976 CPUtime=0.84 cores=0,2,4,6
/proc/24795/task/24800/stat : 24800 (java) S 24793 24795 23066 0 -1 4202560 260 0 0 0 82 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785417829288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24801] ppid=24793 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/24795/task/24801/stat : 24801 (java) S 24793 24795 23066 0 -1 4202560 272 0 0 0 89 1 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785416776744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24802] ppid=24793 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/24795/task/24802/stat : 24802 (java) S 24793 24795 23066 0 -1 4202560 116 0 0 0 78 0 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785269885096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24803] ppid=24793 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/24795/task/24803/stat : 24803 (java) S 24793 24795 23066 0 -1 4202560 177 0 0 0 87 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785268832552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24804] ppid=24793 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/24795/task/24804/stat : 24804 (java) S 24793 24795 23066 0 -1 4202560 223 0 0 0 83 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785267780008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24805] ppid=24793 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/24795/task/24805/stat : 24805 (java) S 24793 24795 23066 0 -1 4202560 232 0 0 0 92 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785266727464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24806] ppid=24793 vsize=9624976 CPUtime=8.66 cores=0,2,4,6
/proc/24795/task/24806/stat : 24806 (java) S 24793 24795 23066 0 -1 4202560 93 0 0 0 865 1 0 0 20 0 19 0 254393967 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785254529640 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24807] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24807/stat : 24807 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785253475960 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24808] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24808/stat : 24808 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785252423304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24809] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24809/stat : 24809 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785251372048 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24810] ppid=24793 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24795/task/24810/stat : 24810 (java) S 24793 24795 23066 0 -1 4202560 5769 0 0 0 42 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785250318392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24811] ppid=24793 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24795/task/24811/stat : 24811 (java) S 24793 24795 23066 0 -1 4202560 12160 0 0 0 85 2 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785249265848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24812] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24812/stat : 24812 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785248213496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24813] ppid=24793 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24795/task/24813/stat : 24813 (java) S 24793 24795 23066 0 -1 4202560 33 0 0 0 6 5 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785247161160 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24814] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24814/stat : 24814 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393982 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785246106920 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 580.6
Current children cumulated vsize (KiB) 9624976

[startup+574.701 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 24819
/proc/meminfo: memFree=26313172/32873844 swapFree=7108/7108
[pid=24795] ppid=24793 vsize=9624976 CPUtime=580.71 cores=0,2,4,6
/proc/24795/stat : 24795 (java) S 24793 24795 23066 0 -1 4202496 23791 0 1 0 58049 22 0 0 20 0 19 0 254393964 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 140734874346928 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24795/statm: 2406244 42255 2272 9 0 2396937 0
[pid=24795/tid=24797] ppid=24793 vsize=9624976 CPUtime=562.08 cores=0,2,4,6
/proc/24795/task/24797/stat : 24797 (java) R 24793 24795 23066 0 -1 4202560 2795 0 1 0 56197 11 0 0 20 0 19 0 254393965 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785430872352 139785297887764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24798] ppid=24793 vsize=9624976 CPUtime=0.93 cores=0,2,4,6
/proc/24795/task/24798/stat : 24798 (java) S 24793 24795 23066 0 -1 4202560 275 0 0 0 91 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785419934376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24799] ppid=24793 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/24795/task/24799/stat : 24799 (java) S 24793 24795 23066 0 -1 4202560 201 0 0 0 88 0 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785418881832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24800] ppid=24793 vsize=9624976 CPUtime=0.84 cores=0,2,4,6
/proc/24795/task/24800/stat : 24800 (java) S 24793 24795 23066 0 -1 4202560 260 0 0 0 82 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785417829288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24801] ppid=24793 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24795/task/24801/stat : 24801 (java) S 24793 24795 23066 0 -1 4202560 272 0 0 0 89 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785416776744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24802] ppid=24793 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/24795/task/24802/stat : 24802 (java) S 24793 24795 23066 0 -1 4202560 116 0 0 0 78 0 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785269885096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24803] ppid=24793 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/24795/task/24803/stat : 24803 (java) S 24793 24795 23066 0 -1 4202560 177 0 0 0 87 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785268832552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24804] ppid=24793 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/24795/task/24804/stat : 24804 (java) S 24793 24795 23066 0 -1 4202560 223 0 0 0 84 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785267780008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24805] ppid=24793 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/24795/task/24805/stat : 24805 (java) S 24793 24795 23066 0 -1 4202560 232 0 0 0 92 2 0 0 20 0 19 0 254393966 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785266727464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24795/tid=24806] ppid=24793 vsize=9624976 CPUtime=8.69 cores=0,2,4,6
/proc/24795/task/24806/stat : 24806 (java) S 24793 24795 23066 0 -1 4202560 93 0 0 0 868 1 0 0 20 0 19 0 254393967 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785254529640 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24807] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24807/stat : 24807 (java) S 24793 24795 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785253475960 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24808] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24808/stat : 24808 (java) S 24793 24795 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393968 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785252423304 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24809] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24809/stat : 24809 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785251372048 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24810] ppid=24793 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24795/task/24810/stat : 24810 (java) S 24793 24795 23066 0 -1 4202560 5769 0 0 0 42 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785250318392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24795/tid=24811] ppid=24793 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24795/task/24811/stat : 24811 (java) S 24793 24795 23066 0 -1 4202560 12160 0 0 0 85 2 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785249265848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24812] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24812/stat : 24812 (java) S 24793 24795 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785248213496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24795/tid=24813] ppid=24793 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24795/task/24813/stat : 24813 (java) S 24793 24795 23066 0 -1 4202560 33 0 0 0 6 5 0 0 20 0 19 0 254393970 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785247161160 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24795/tid=24814] ppid=24793 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24795/task/24814/stat : 24814 (java) S 24793 24795 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393982 9855975424 42255 33554432000 1073741824 1073778376 140734874355792 139785246106920 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 580.71
Current children cumulated vsize (KiB) 9624976

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24795 and gives
#  childrusage.ru_utime.tv_sec=579
#  childrusage.ru_utime.tv_usec=54970
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=439933
# CPU time returned by wait4() is 579.495
# while last known CPU time is 580.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 574.748
CPU time (s): 580.71
CPU user time (s): 580.49
CPU system time (s): 0.22
CPU usage (%): 101.037
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 579.055
system time used= 0.439933
maximum resident set size= 176552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23807
page faults= 1
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21182
involuntary context switches= 28641

runsolver used 2.56361 second user time and 6.32204 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-24 20:04:49
IDJOB=3688373
IDBENCH=24969
IDSOLVER=2269
FILE ID=node138/3688373-1337882689
RUNJOBID= node138-1337871881-23082
PBS_JOBID= 14620066
Free space on /tmp= 71656 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688373-1337882689/watcher-3688373-1337882689 -o /tmp/evaluation-result-3688373-1337882689/solver-3688373-1337882689 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688373-1337882689.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 75c7e5778aa6d0e8c18984c9064c30c6
RANDOM SEED=698857102

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26504060 kB
Buffers:          222960 kB
Cached:          4185820 kB
SwapCached:            0 kB
Active:          1809352 kB
Inactive:        3779980 kB
Active(anon):    1182872 kB
Inactive(anon):        0 kB
Active(file):     626480 kB
Inactive(file):  3779980 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               460 kB
Writeback:             4 kB
AnonPages:       1189308 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             638440 kB
SReclaimable:      80260 kB
SUnreclaim:       558180 kB
KernelStack:        1592 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2207280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1128448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node138 at 2012-05-24 20:14:24