Trace number 3687723

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 SnapshotSAT (TO)30 1800.01 1790.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
MD5SUMa91a8cbbe2491e496acc19538dbd623f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.040993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables372
Total number of constraints772
Number of constraints which are clauses772
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 372
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 372
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 372
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3687723-1337875499.opb
0.11/0.11	c reading problem ... 
0.28/0.28	c ... done. Wall clock time 0.17s.
0.28/0.28	c declared #vars     372
0.28/0.28	c #constraints  649
0.28/0.28	c constraints type 
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 639
0.28/0.28	c ignored satisfied constraints => 123
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5
0.28/0.28	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.28/0.28	c 772 constraints processed.
0.28/0.28	c objective function length is 372 literals
0.53/0.30	c SATISFIABLE
0.53/0.30	c OPTIMIZING...
0.53/0.30	c Got one! Elapsed wall clock time (in seconds):0.183
0.53/0.30	o 38
0.53/0.31	c Got one! Elapsed wall clock time (in seconds):0.192
0.53/0.31	o 36
1.26/0.64	c Got one! Elapsed wall clock time (in seconds):0.525
1.26/0.64	o 35
1.26/0.67	c Got one! Elapsed wall clock time (in seconds):0.558
1.26/0.67	o 34
1.36/0.78	c cleaning 3162 clauses out of 6334 with flag 2000/6334
1.72/1.07	c cleaning 4585 clauses out of 9172 with flag 8000/12334
2.12/1.40	c cleaning 5795 clauses out of 11591 with flag 15004/19338
2.43/1.76	c cleaning 6890 clauses out of 13792 with flag 23000/27334
2.69/1.93	c Got one! Elapsed wall clock time (in seconds):1.815
2.69/1.93	o 33
2.69/1.99	c cleaning 6147 clauses out of 12304 with flag 2000/32736
3.00/2.27	c cleaning 6070 clauses out of 12159 with flag 8002/38738
3.30/2.60	c cleaning 6544 clauses out of 13087 with flag 15000/45736
3.71/2.95	c cleaning 7262 clauses out of 14543 with flag 23000/53736
4.12/3.35	c cleaning 8121 clauses out of 16281 with flag 32000/62736
4.64/3.82	c cleaning 9060 clauses out of 18160 with flag 42000/72736
5.15/4.32	c cleaning 10052 clauses out of 20103 with flag 53003/83739
5.74/4.90	c cleaning 11010 clauses out of 22052 with flag 65004/95740
6.40/5.57	c cleaning 12015 clauses out of 24038 with flag 78000/108736
7.11/6.23	c cleaning 13007 clauses out of 26026 with flag 92003/122739
7.93/7.02	c cleaning 13993 clauses out of 28018 with flag 107002/137738
8.85/7.91	c cleaning 14997 clauses out of 30024 with flag 123001/153737
9.68/8.77	c cleaning 16006 clauses out of 32026 with flag 140000/170736
10.37/9.45	c Got one! Elapsed wall clock time (in seconds):9.335
10.37/9.45	o 32
10.57/9.62	c cleaning 17551 clauses out of 35147 with flag 5000/189863
10.80/9.90	c cleaning 11798 clauses out of 23596 with flag 11000/195863
11.19/10.23	c cleaning 9400 clauses out of 18799 with flag 18001/202864
11.49/10.59	c cleaning 8695 clauses out of 17398 with flag 26000/210863
12.03/11.01	c cleaning 8848 clauses out of 17708 with flag 35005/219868
12.43/11.49	c cleaning 9424 clauses out of 18855 with flag 45000/229863
12.93/11.99	c cleaning 10217 clauses out of 20433 with flag 56002/240865
13.53/12.56	c cleaning 11083 clauses out of 22215 with flag 68001/252864
14.14/13.14	c cleaning 12059 clauses out of 24134 with flag 81003/265866
14.84/13.85	c cleaning 13023 clauses out of 26072 with flag 95000/279863
15.54/14.57	c cleaning 14014 clauses out of 28049 with flag 110000/294863
16.35/15.33	c cleaning 15000 clauses out of 30035 with flag 126000/310863
17.15/16.14	c cleaning 15995 clauses out of 32035 with flag 143000/327863
18.05/17.02	c cleaning 17012 clauses out of 34042 with flag 161002/345865
18.97/17.99	c cleaning 18014 clauses out of 36028 with flag 180000/364863
20.07/19.04	c cleaning 18991 clauses out of 38014 with flag 200000/384863
21.17/20.19	c cleaning 19998 clauses out of 40024 with flag 221001/405864
22.28/21.30	c cleaning 20997 clauses out of 42025 with flag 243000/427863
23.48/22.43	c cleaning 22005 clauses out of 44028 with flag 266000/450863
24.89/23.80	c cleaning 22976 clauses out of 46023 with flag 290000/474863
26.19/25.17	c cleaning 24024 clauses out of 48048 with flag 315001/499864
27.51/26.50	c cleaning 24998 clauses out of 50023 with flag 341000/525863
28.91/27.89	c cleaning 25991 clauses out of 52027 with flag 368002/552865
30.43/29.33	c cleaning 27009 clauses out of 54035 with flag 396001/580864
32.04/30.92	c cleaning 27999 clauses out of 56025 with flag 425000/609863
33.34/32.23	c Got one! Elapsed wall clock time (in seconds):32.116
33.34/32.23	o 31
33.55/32.41	c cleaning 30468 clauses out of 60950 with flag 5001/642787
33.77/32.66	c cleaning 18232 clauses out of 36481 with flag 11000/648786
34.09/32.99	c cleaning 12617 clauses out of 25249 with flag 18000/655786
34.49/33.35	c cleaning 10296 clauses out of 20632 with flag 26000/663786
34.89/33.76	c cleaning 9629 clauses out of 19338 with flag 35002/672788
35.40/34.21	c cleaning 9846 clauses out of 19707 with flag 45000/682786
35.92/34.73	c cleaning 10403 clauses out of 20861 with flag 56000/693786
36.53/35.31	c cleaning 11204 clauses out of 22458 with flag 68000/705786
37.14/35.95	c cleaning 12100 clauses out of 24254 with flag 81000/718786
37.86/36.61	c cleaning 13061 clauses out of 26154 with flag 95000/732786
38.58/37.36	c cleaning 14038 clauses out of 28093 with flag 110000/747786
39.40/38.16	c cleaning 15017 clauses out of 30057 with flag 126002/763788
40.41/39.11	c cleaning 16009 clauses out of 32038 with flag 143000/780786
41.21/39.99	c cleaning 17010 clauses out of 34029 with flag 161000/798786
42.32/41.02	c cleaning 18011 clauses out of 36021 with flag 180002/817788
43.32/42.00	c cleaning 18992 clauses out of 38009 with flag 200001/837787
44.56/43.20	c cleaning 19992 clauses out of 40016 with flag 221000/858786
45.76/44.49	c cleaning 21000 clauses out of 42024 with flag 243000/880786
46.98/45.63	c cleaning 21998 clauses out of 44024 with flag 266000/903786
48.09/46.79	c cleaning 22985 clauses out of 46026 with flag 290000/927786
49.49/48.14	c cleaning 24013 clauses out of 48041 with flag 315000/952786
50.82/49.49	c cleaning 25005 clauses out of 50028 with flag 341000/978786
52.22/50.81	c cleaning 26012 clauses out of 52029 with flag 368006/1005792
53.72/52.30	c cleaning 26998 clauses out of 54011 with flag 396000/1033786
55.13/53.78	c cleaning 27994 clauses out of 56015 with flag 425002/1062788
57.04/55.62	c cleaning 29001 clauses out of 58019 with flag 455000/1092786
58.66/57.20	c cleaning 29983 clauses out of 60018 with flag 486000/1123786
60.46/59.00	c cleaning 31006 clauses out of 62035 with flag 518000/1155786
62.37/60.91	c cleaning 32009 clauses out of 64034 with flag 551005/1188791
64.19/62.76	c cleaning 32995 clauses out of 66020 with flag 585000/1222786
65.99/64.54	c cleaning 33998 clauses out of 68025 with flag 620000/1257786
67.89/66.47	c cleaning 35008 clauses out of 70028 with flag 656001/1293787
69.80/68.30	c cleaning 36005 clauses out of 72019 with flag 693000/1330786
71.61/70.12	c cleaning 36986 clauses out of 74015 with flag 731001/1368787
73.63/72.15	c cleaning 37985 clauses out of 76030 with flag 770002/1407788
75.74/74.27	c cleaning 39010 clauses out of 78043 with flag 810000/1447786
77.86/76.33	c cleaning 40006 clauses out of 80037 with flag 851004/1488790
79.98/78.45	c cleaning 41005 clauses out of 82031 with flag 893004/1530790
82.38/80.88	c cleaning 41995 clauses out of 84025 with flag 936003/1573789
85.02/83.41	c cleaning 42990 clauses out of 86028 with flag 980001/1617787
87.44/85.87	c cleaning 43992 clauses out of 88043 with flag 1025006/1662792
90.24/88.66	c cleaning 45000 clauses out of 90045 with flag 1071000/1708786
92.97/91.33	c cleaning 45983 clauses out of 92045 with flag 1118000/1755786
95.68/94.01	c cleaning 47025 clauses out of 94063 with flag 1166001/1803787
98.61/96.92	c cleaning 47992 clauses out of 96037 with flag 1215000/1852786
101.24/99.58	c cleaning 48985 clauses out of 98045 with flag 1265000/1902786
104.16/102.49	c cleaning 50021 clauses out of 100060 with flag 1316000/1953786
106.92/105.13	c cleaning 51020 clauses out of 102041 with flag 1368002/2005788
109.44/107.65	c cleaning 52009 clauses out of 104021 with flag 1421002/2058788
112.16/110.38	c cleaning 52991 clauses out of 106010 with flag 1475000/2112786
115.37/113.53	c cleaning 54008 clauses out of 108020 with flag 1530001/2167787
118.42/116.52	c cleaning 54996 clauses out of 110013 with flag 1586002/2223788
121.64/119.80	c cleaning 55992 clauses out of 112017 with flag 1643002/2280788
125.07/123.20	c cleaning 56993 clauses out of 114023 with flag 1701000/2338786
128.69/126.75	c cleaning 58005 clauses out of 116033 with flag 1760003/2397789
132.23/130.29	c cleaning 59003 clauses out of 118029 with flag 1820004/2457790
135.64/133.64	c cleaning 60008 clauses out of 120023 with flag 1881001/2518787
139.78/137.71	c cleaning 60999 clauses out of 122014 with flag 1943000/2580786
143.39/141.34	c cleaning 61996 clauses out of 124015 with flag 2006000/2643786
147.42/145.34	c cleaning 63007 clauses out of 126019 with flag 2070000/2707786
151.26/149.17	c cleaning 63996 clauses out of 128013 with flag 2135001/2772787
155.18/153.03	c cleaning 65008 clauses out of 130016 with flag 2201000/2838786
159.00/156.86	c cleaning 65993 clauses out of 132010 with flag 2268002/2905788
163.02/160.82	c cleaning 67000 clauses out of 134016 with flag 2336001/2973787
166.54/164.34	c cleaning 67999 clauses out of 136015 with flag 2405000/3042786
168.26/166.05	c Got one! Elapsed wall clock time (in seconds):165.933
168.26/166.05	o 30
168.65/166.41	c cleaning 55535 clauses out of 111081 with flag 5001/3085851
168.97/166.70	c cleaning 30766 clauses out of 61548 with flag 11003/3091853
169.20/166.93	c cleaning 18878 clauses out of 37779 with flag 18000/3098850
169.43/167.16	c cleaning 13441 clauses out of 26902 with flag 26001/3106851
169.73/167.41	c cleaning 11221 clauses out of 22461 with flag 35001/3115851
170.13/167.80	c cleaning 10613 clauses out of 21239 with flag 45000/3125850
170.66/168.35	c cleaning 10807 clauses out of 21626 with flag 56000/3136850
171.26/168.91	c cleaning 11389 clauses out of 22819 with flag 68000/3148850
171.87/169.53	c cleaning 12202 clauses out of 24430 with flag 81000/3161850
172.49/170.17	c cleaning 13110 clauses out of 26229 with flag 95001/3175851
173.19/170.85	c cleaning 14040 clauses out of 28119 with flag 110001/3190851
174.02/171.61	c cleaning 15036 clauses out of 30081 with flag 126003/3206853
174.82/172.43	c cleaning 16005 clauses out of 32042 with flag 143000/3223850
175.63/173.26	c cleaning 17007 clauses out of 34039 with flag 161002/3241852
176.58/174.18	c cleaning 18010 clauses out of 36030 with flag 180000/3260850
177.61/175.19	c cleaning 19012 clauses out of 38025 with flag 200005/3280855
178.72/176.21	c cleaning 20004 clauses out of 40008 with flag 221000/3301850
179.74/177.29	c cleaning 20980 clauses out of 42004 with flag 243000/3323850
180.96/178.43	c cleaning 21992 clauses out of 44024 with flag 266000/3346850
182.08/179.56	c cleaning 23009 clauses out of 46032 with flag 290000/3370850
183.50/180.90	c cleaning 24001 clauses out of 48023 with flag 315000/3395850
184.83/182.21	c cleaning 24991 clauses out of 50025 with flag 341003/3421853
186.14/183.60	c cleaning 25984 clauses out of 52031 with flag 368000/3448850
187.65/185.05	c cleaning 26979 clauses out of 54047 with flag 396000/3476850
189.17/186.51	c cleaning 28023 clauses out of 56070 with flag 425002/3505852
190.90/188.20	c cleaning 29004 clauses out of 58045 with flag 455000/3535850
192.51/189.83	c cleaning 30012 clauses out of 60041 with flag 486000/3566850
194.21/191.51	c cleaning 31003 clauses out of 62031 with flag 518002/3598852
195.83/193.11	c cleaning 31991 clauses out of 64026 with flag 551000/3631850
197.53/194.87	c cleaning 33011 clauses out of 66037 with flag 585002/3665852
199.45/196.74	c cleaning 34013 clauses out of 68029 with flag 620005/3700855
201.25/198.55	c cleaning 34988 clauses out of 70011 with flag 656000/3736850
203.28/200.50	c cleaning 35997 clauses out of 72024 with flag 693001/3773851
205.30/202.53	c cleaning 37000 clauses out of 74026 with flag 731000/3811850
207.42/204.63	c cleaning 37997 clauses out of 76027 with flag 770001/3850851
209.53/206.73	c cleaning 39001 clauses out of 78033 with flag 810004/3890854
211.94/209.13	c cleaning 40000 clauses out of 80033 with flag 851005/3931855
214.35/211.50	c cleaning 41011 clauses out of 82028 with flag 893000/3973850
216.67/213.84	c cleaning 41995 clauses out of 84018 with flag 936001/4016851
218.90/216.05	c cleaning 43000 clauses out of 86022 with flag 980000/4060850
221.62/218.76	c cleaning 43998 clauses out of 88022 with flag 1025000/4105850
224.14/221.25	c cleaning 45003 clauses out of 90024 with flag 1071000/4151850
226.57/223.63	c cleaning 45987 clauses out of 92021 with flag 1118000/4198850
229.37/226.45	c cleaning 47001 clauses out of 94034 with flag 1166000/4246850
232.30/229.31	c cleaning 48003 clauses out of 96033 with flag 1215000/4295850
235.13/232.16	c cleaning 48996 clauses out of 98030 with flag 1265000/4345850
238.24/235.28	c cleaning 50009 clauses out of 100034 with flag 1316000/4396850
241.37/238.34	c cleaning 51015 clauses out of 102030 with flag 1368005/4448855
244.40/241.31	c cleaning 52006 clauses out of 104014 with flag 1421004/4501854
247.43/244.37	c cleaning 52984 clauses out of 106004 with flag 1475000/4555850
250.46/247.30	c cleaning 54000 clauses out of 108020 with flag 1530000/4610850
253.46/250.38	c cleaning 54988 clauses out of 110020 with flag 1586000/4666850
256.67/253.57	c cleaning 56005 clauses out of 112032 with flag 1643000/4723850
259.58/256.44	c cleaning 56998 clauses out of 114033 with flag 1701006/4781856
262.60/259.49	c cleaning 57996 clauses out of 116029 with flag 1760000/4840850
265.82/262.63	c cleaning 58997 clauses out of 118036 with flag 1820003/4900853
269.04/265.81	c cleaning 60009 clauses out of 120036 with flag 1881000/4961850
272.37/269.11	c cleaning 60996 clauses out of 122030 with flag 1943003/5023853
275.70/272.47	c cleaning 61992 clauses out of 124033 with flag 2006002/5086852
279.32/276.08	c cleaning 63012 clauses out of 126039 with flag 2070000/5150850
282.96/279.65	c cleaning 64013 clauses out of 128028 with flag 2135001/5215851
286.59/283.27	c cleaning 64984 clauses out of 130015 with flag 2201001/5281851
290.21/286.87	c cleaning 66003 clauses out of 132033 with flag 2268003/5348853
293.94/290.59	c cleaning 67006 clauses out of 134029 with flag 2336002/5416852
297.76/294.32	c cleaning 68010 clauses out of 136028 with flag 2405007/5485857
301.68/298.28	c cleaning 68996 clauses out of 138013 with flag 2475002/5555852
305.91/302.50	c cleaning 69987 clauses out of 140015 with flag 2546000/5626850
309.92/306.49	c cleaning 70989 clauses out of 142030 with flag 2618002/5698852
314.45/310.93	c cleaning 71996 clauses out of 144039 with flag 2691000/5771850
319.17/315.61	c cleaning 73009 clauses out of 146043 with flag 2765000/5845850
323.91/320.31	c cleaning 74000 clauses out of 148034 with flag 2840000/5920850
328.53/324.94	c cleaning 75011 clauses out of 150034 with flag 2916000/5996850
333.26/329.64	c cleaning 75995 clauses out of 152024 with flag 2993001/6073851
337.88/334.27	c cleaning 77007 clauses out of 154028 with flag 3071000/6151850
343.00/339.36	c cleaning 78009 clauses out of 156021 with flag 3150000/6230850
348.14/344.44	c cleaning 79000 clauses out of 158012 with flag 3230000/6310850
352.97/349.23	c cleaning 79999 clauses out of 160015 with flag 3311003/6391853
358.00/354.27	c cleaning 81002 clauses out of 162015 with flag 3393002/6473852
363.21/359.40	c cleaning 81993 clauses out of 164011 with flag 3476000/6556850
368.04/364.24	c cleaning 82994 clauses out of 166018 with flag 3560000/6640850
372.75/368.97	c cleaning 83988 clauses out of 168025 with flag 3645001/6725851
377.78/373.95	c cleaning 85004 clauses out of 170036 with flag 3731000/6811850
382.51/378.64	c cleaning 86010 clauses out of 172032 with flag 3818000/6898850
387.54/383.65	c cleaning 86993 clauses out of 174022 with flag 3906000/6986850
393.17/389.29	c cleaning 88006 clauses out of 176029 with flag 3995000/7075850
398.81/394.84	c cleaning 88995 clauses out of 178024 with flag 4085001/7165851
404.34/400.40	c cleaning 90014 clauses out of 180028 with flag 4176000/7256850
409.77/405.80	c cleaning 90993 clauses out of 182014 with flag 4268000/7348850
415.18/411.16	c cleaning 91989 clauses out of 184022 with flag 4361001/7441851
420.72/416.63	c cleaning 93007 clauses out of 186032 with flag 4455000/7535850
426.64/422.53	c cleaning 93997 clauses out of 188025 with flag 4550000/7630850
432.48/428.34	c cleaning 94999 clauses out of 190028 with flag 4646000/7726850
438.31/434.15	c cleaning 95992 clauses out of 192029 with flag 4743000/7823850
444.04/439.88	c cleaning 97010 clauses out of 194039 with flag 4841002/7921852
449.85/445.64	c cleaning 98007 clauses out of 196028 with flag 4940001/8020851
455.58/451.30	c cleaning 98989 clauses out of 198020 with flag 5040000/8120850
462.06/457.73	c cleaning 100002 clauses out of 200031 with flag 5141000/8221850
468.40/464.03	c cleaning 101006 clauses out of 202030 with flag 5243001/8323851
474.83/470.40	c cleaning 102006 clauses out of 204023 with flag 5346000/8426850
481.56/477.19	c cleaning 103007 clauses out of 206017 with flag 5450000/8530850
488.29/483.86	c cleaning 104002 clauses out of 208011 with flag 5555001/8635851
494.44/489.99	c cleaning 104982 clauses out of 210008 with flag 5661000/8741850
501.49/496.99	c cleaning 106011 clauses out of 212030 with flag 5768004/8848854
507.80/503.21	c cleaning 107003 clauses out of 214015 with flag 5876000/8956850
514.15/509.57	c cleaning 107999 clauses out of 216015 with flag 5985003/9065853
521.59/516.91	c cleaning 108987 clauses out of 218014 with flag 6095001/9175851
529.43/524.73	c cleaning 109988 clauses out of 220026 with flag 6206000/9286850
537.66/532.98	c cleaning 110998 clauses out of 222038 with flag 6318000/9398850
545.09/540.34	c cleaning 111994 clauses out of 224040 with flag 6431000/9511850
553.23/548.44	c cleaning 113015 clauses out of 226046 with flag 6545000/9625850
560.07/555.27	c cleaning 113985 clauses out of 228031 with flag 6660000/9740850
567.28/562.44	c cleaning 115000 clauses out of 230046 with flag 6776000/9856850
575.31/570.47	c cleaning 115999 clauses out of 232046 with flag 6893000/9973850
582.87/577.99	c cleaning 117003 clauses out of 234049 with flag 7011002/10091852
589.92/584.92	c cleaning 118001 clauses out of 236045 with flag 7130001/10210851
597.36/592.32	c cleaning 118998 clauses out of 238043 with flag 7250000/10330850
605.39/600.36	c cleaning 120015 clauses out of 240045 with flag 7371000/10451850
612.75/607.64	c cleaning 120999 clauses out of 242030 with flag 7493000/10573850
622.18/617.01	c cleaning 122004 clauses out of 244031 with flag 7616000/10696850
630.94/625.79	c cleaning 122987 clauses out of 246027 with flag 7740000/10820850
639.67/634.46	c cleaning 124006 clauses out of 248040 with flag 7865000/10945850
647.39/642.12	c cleaning 125001 clauses out of 250034 with flag 7991000/11071850
655.32/650.08	c cleaning 126018 clauses out of 252035 with flag 8118002/11198852
665.24/659.93	c cleaning 127000 clauses out of 254017 with flag 8246002/11326852
672.87/667.57	c cleaning 128005 clauses out of 256015 with flag 8375000/11455850
680.81/675.45	c cleaning 128982 clauses out of 258010 with flag 8505000/11585850
689.24/683.82	c cleaning 129994 clauses out of 260028 with flag 8636000/11716850
699.59/694.13	c cleaning 131019 clauses out of 262037 with flag 8768003/11848853
708.83/703.36	c cleaning 131999 clauses out of 264017 with flag 8901002/11981852
720.57/715.03	c cleaning 133003 clauses out of 266018 with flag 9035002/12115852
732.72/727.19	c cleaning 133991 clauses out of 268014 with flag 9170001/12250851
741.26/735.66	c cleaning 134988 clauses out of 270022 with flag 9306000/12386850
750.92/745.28	c cleaning 136011 clauses out of 272034 with flag 9443000/12523850
760.06/754.37	c cleaning 137010 clauses out of 274025 with flag 9581002/12661852
769.98/764.29	c cleaning 137995 clauses out of 276013 with flag 9720000/12800850
780.43/774.64	c cleaning 138981 clauses out of 278018 with flag 9860000/12940850
791.18/785.36	c cleaning 140020 clauses out of 280039 with flag 10001002/13081852
802.50/796.64	c cleaning 140983 clauses out of 282017 with flag 10143000/13223850
813.84/807.92	c cleaning 142013 clauses out of 284035 with flag 10286001/13366851
825.60/819.67	c cleaning 143002 clauses out of 286021 with flag 10430000/13510850
834.97/828.94	c cleaning 143987 clauses out of 288022 with flag 10575003/13655853
845.91/839.87	c cleaning 145012 clauses out of 290032 with flag 10721000/13801850
855.97/849.89	c cleaning 146002 clauses out of 292020 with flag 10868000/13948850
867.51/861.38	c cleaning 146995 clauses out of 294020 with flag 11016002/14096852
879.24/873.03	c cleaning 147996 clauses out of 296023 with flag 11165000/14245850
891.19/884.90	c cleaning 149003 clauses out of 298027 with flag 11315000/14395850
904.73/898.44	c cleaning 149985 clauses out of 300024 with flag 11466000/14546850
918.19/911.87	c cleaning 151010 clauses out of 302039 with flag 11618000/14698850
930.32/923.95	c cleaning 152010 clauses out of 304029 with flag 11771000/14851850
942.24/935.80	c cleaning 153004 clauses out of 306019 with flag 11925000/15005850
954.57/948.13	c cleaning 153990 clauses out of 308016 with flag 12080001/15160851
964.72/958.27	c cleaning 154991 clauses out of 310025 with flag 12236000/15316850
975.25/968.71	c cleaning 156005 clauses out of 312040 with flag 12393006/15473856
985.29/978.75	c cleaning 157012 clauses out of 314030 with flag 12551001/15631851
996.73/990.10	c cleaning 157990 clauses out of 316017 with flag 12710000/15790850
1007.99/1001.39	c cleaning 158993 clauses out of 318027 with flag 12870000/15950850
1018.32/1011.66	c cleaning 159985 clauses out of 320034 with flag 13031000/16111850
1029.16/1022.46	c cleaning 160979 clauses out of 322049 with flag 13193000/16273850
1041.22/1034.46	c cleaning 162027 clauses out of 324070 with flag 13356000/16436850
1054.76/1047.95	c cleaning 163008 clauses out of 326043 with flag 13520000/16600850
1066.64/1059.78	c cleaning 163991 clauses out of 328035 with flag 13685000/16765850
1078.61/1071.66	c cleaning 165004 clauses out of 330044 with flag 13851000/16931850
1089.57/1082.58	c cleaning 165986 clauses out of 332040 with flag 14018000/17098850
1101.22/1094.15	c cleaning 166999 clauses out of 334054 with flag 14186000/17266850
1113.18/1106.04	c cleaning 168008 clauses out of 336055 with flag 14355000/17435850
1124.63/1117.43	c cleaning 169002 clauses out of 338052 with flag 14525005/17605855
1136.08/1128.87	c cleaning 170008 clauses out of 340045 with flag 14696000/17776850
1147.42/1140.12	c cleaning 170980 clauses out of 342037 with flag 14868000/17948850
1159.60/1152.27	c cleaning 171998 clauses out of 344060 with flag 15041003/18121853
1171.05/1163.68	c cleaning 173019 clauses out of 346060 with flag 15215001/18295851
1184.38/1176.97	c cleaning 174015 clauses out of 348044 with flag 15390004/18470854
1197.74/1190.22	c cleaning 174989 clauses out of 350028 with flag 15566003/18646853
1211.60/1204.08	c cleaning 176010 clauses out of 352043 with flag 15743007/18823857
1224.87/1217.27	c cleaning 176993 clauses out of 354026 with flag 15921000/19001850
1238.62/1230.94	c cleaning 177999 clauses out of 356033 with flag 16100000/19180850
1254.17/1246.45	c cleaning 179010 clauses out of 358034 with flag 16280000/19360850
1267.85/1260.03	c cleaning 179989 clauses out of 360024 with flag 16461000/19541850
1280.22/1272.32	c cleaning 181012 clauses out of 362035 with flag 16643000/19723850
1294.26/1286.34	c cleaning 181994 clauses out of 364023 with flag 16826000/19906850
1307.04/1299.01	c cleaning 183012 clauses out of 366029 with flag 17010000/20090850
1320.88/1312.80	c cleaning 183995 clauses out of 368017 with flag 17195000/20275850
1334.44/1326.36	c cleaning 185003 clauses out of 370022 with flag 17381000/20461850
1348.42/1340.21	c cleaning 185986 clauses out of 372019 with flag 17568000/20648850
1362.41/1354.14	c cleaning 187001 clauses out of 374033 with flag 17756000/20836850
1376.47/1368.14	c cleaning 188000 clauses out of 376032 with flag 17945000/21025850
1392.53/1384.14	c cleaning 189010 clauses out of 378033 with flag 18135001/21215851
1405.91/1397.49	c cleaning 189990 clauses out of 380025 with flag 18326003/21406853
1421.85/1413.39	c cleaning 191001 clauses out of 382034 with flag 18518002/21598852
1437.73/1429.10	c cleaning 191995 clauses out of 384034 with flag 18711003/21791853
1454.29/1445.63	c cleaning 193010 clauses out of 386038 with flag 18905002/21985852
1467.85/1459.12	c cleaning 194007 clauses out of 388026 with flag 19100000/22180850
1483.51/1474.76	c cleaning 194996 clauses out of 390020 with flag 19296001/22376851
1499.28/1490.41	c cleaning 196004 clauses out of 392024 with flag 19493001/22573851
1513.02/1504.13	c cleaning 196992 clauses out of 394020 with flag 19691001/22771851
1529.19/1520.18	c cleaning 197988 clauses out of 396027 with flag 19890000/22970850
1545.65/1536.60	c cleaning 199005 clauses out of 398039 with flag 20090000/23170850
1562.02/1552.80	c cleaning 199996 clauses out of 400034 with flag 20291000/23371850
1577.28/1568.09	c cleaning 200998 clauses out of 402038 with flag 20493000/23573850
1592.74/1583.49	c cleaning 202005 clauses out of 404042 with flag 20696002/23776852
1610.08/1600.70	c cleaning 203005 clauses out of 406035 with flag 20900000/23980850
1629.83/1620.41	c cleaning 203998 clauses out of 408030 with flag 21105000/24185850
1644.96/1635.58	c cleaning 204995 clauses out of 410034 with flag 21311002/24391852
1663.11/1653.62	c cleaning 205985 clauses out of 412037 with flag 21518000/24598850
1683.44/1673.84	c cleaning 207011 clauses out of 414052 with flag 21726000/24806850
1702.40/1692.78	c cleaning 208026 clauses out of 416055 with flag 21935014/25015864
1718.93/1709.23	c cleaning 208980 clauses out of 418017 with flag 22145002/25225852
1734.98/1725.24	c cleaning 209998 clauses out of 420035 with flag 22356000/25436850
1750.36/1740.56	c cleaning 210976 clauses out of 422037 with flag 22568000/25648850
1767.21/1757.37	c cleaning 212019 clauses out of 424062 with flag 22781001/25861851
1784.75/1774.84	c cleaning 212989 clauses out of 426042 with flag 22995000/26075850
1800.01/1790.01	c starts		: 384
1800.01/1790.01	c conflicts		: 26290851
1800.01/1790.01	c decisions		: 113101280
1800.01/1790.01	c propagations		: 1664382352
1800.01/1790.01	c inspects		: 7903931094
1800.01/1790.01	c shortcuts		: 0
1800.01/1790.01	c learnt literals	: 0
1800.01/1790.01	c learnt binary clauses	: 0
1800.01/1790.01	c learnt ternary clauses	: 0
1800.01/1790.01	c learnt constraints	: 26290851
1800.01/1790.01	c ignored constraints	: 0
1800.01/1790.01	c root simplifications	: 0
1800.01/1790.01	c removed literals (reason simplification)	: 0
1800.01/1790.01	c reason swapping (by a shorter reason)	: 0
1800.01/1790.01	c Calls to reduceDB	: 318
1800.01/1790.01	c number of reductions to clauses (during analyze)	: 0
1800.01/1790.01	c number of learned constraints concerned by reduction	: 0
1800.01/1790.01	c number of learning phase by resolution	: 0
1800.01/1790.01	c number of learning phase by cutting planes	: 0
1800.01/1790.01	c speed (assignments/second)	: 929966.4540266846
1800.01/1790.01	c non guided choices	0
1800.01/1790.05	c learnt constraints type 
1800.01/1790.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 428054
1800.01/1790.05	c constraints type 
1800.01/1790.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 639
1800.01/1790.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/1790.05	c ignored satisfied constraints => 123
1800.01/1790.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5
1800.01/1790.05	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1800.01/1790.05	c 773 constraints processed.
1800.01/1790.05	s SATISFIABLE
1800.01/1790.05	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 x319 x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 -x369 x370 x371 -x372 
1800.01/1790.05	c objective function=30
1800.01/1790.05	c Total wall clock time (in seconds): 1789.936

Verifier Data 

OK	30

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-3687723-1337875499/watcher-3687723-1337875499 -o /tmp/evaluation-result-3687723-1337875499/solver-3687723-1337875499 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687723-1337875499.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: 2.00 2.00 1.92 3/194 23929
/proc/meminfo: memFree=25084472/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/23929/stat : 23929 (java) R 23927 23929 23066 0 -1 4202496 1113 0 0 0 0 0 0 0 20 0 1 0 253674988 23793664 840 33554432000 1073741824 1073778376 140733313648192 140733313637256 139665166665344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 5809 859 648 9 0 128 0

[startup+0.0430701 s]
/proc/loadavg: 2.00 2.00 1.92 3/194 23929
/proc/meminfo: memFree=25084472/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 3036 0 1 0 3 0 0 0 20 0 13 0 253674988 9446973440 3733 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2306390 3733 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100251 s]
/proc/loadavg: 2.00 2.00 1.92 3/194 23929
/proc/meminfo: memFree=25084472/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 4289 0 1 0 10 1 0 0 20 0 18 0 253674988 9787813888 5486 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2389603 5486 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300221 s]
/proc/loadavg: 2.00 2.00 1.92 3/194 23929
/proc/meminfo: memFree=25084472/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 7504 0 1 0 52 1 0 0 20 0 19 0 253674988 9855975424 9515 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 9515 2224 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624976

[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 1.92 3/194 23929
/proc/meminfo: memFree=25084472/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=1.36 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 9351 0 1 0 134 2 0 0 20 0 19 0 253674988 9855975424 10674 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 10674 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 2.00 2.00 1.92 3/213 23948
/proc/meminfo: memFree=25044036/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=2.23 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 9415 0 1 0 221 2 0 0 20 0 19 0 253674988 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 13288 2275 9 0 2396937 0
[pid=23929/tid=23931] ppid=23927 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/23929/task/23931/stat : 23931 (java) R 23927 23929 23066 0 -1 4202560 2468 0 1 0 144 0 0 0 20 0 19 0 253674989 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665163727072 139665036678573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23932] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23932/stat : 23932 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665007705000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23933] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23933/stat : 23933 (java) S 23927 23929 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665006652456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23934] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23934/stat : 23934 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665005599400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23935] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23935/stat : 23935 (java) S 23927 23929 23066 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665004546856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23936] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23936/stat : 23936 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665003493800 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23937] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23937/stat : 23937 (java) S 23927 23929 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665002441256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23938] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23938/stat : 23938 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665001388200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23939] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23939/stat : 23939 (java) S 23927 23929 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139665000335656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23940] ppid=23927 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23929/task/23940/stat : 23940 (java) S 23927 23929 23066 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 253674991 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664987925352 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23941] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23941/stat : 23941 (java) S 23927 23929 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664986871672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23942] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23942/stat : 23942 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664985818504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23943] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23943/stat : 23943 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664984767248 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23944] ppid=23927 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23929/task/23944/stat : 23944 (java) S 23927 23929 23066 0 -1 4202560 3433 0 0 0 37 0 0 0 20 0 19 0 253674994 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664983714104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23945] ppid=23927 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/23929/task/23945/stat : 23945 (java) S 23927 23929 23066 0 -1 4202560 2268 0 0 0 34 0 0 0 20 0 19 0 253674994 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664982661560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23946] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23946/stat : 23946 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664981608696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23947] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23947/stat : 23947 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664980556360 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23948] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23948/stat : 23948 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675018 9855975424 13288 33554432000 1073741824 1073778376 140733313648192 139664979502632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9624976

[startup+3.10069 s]
/proc/loadavg: 2.00 2.00 1.92 3/213 23948
/proc/meminfo: memFree=25039568/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=3.91 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 9435 0 1 0 389 2 0 0 20 0 19 0 253674988 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 13303 2275 9 0 2396937 0
[pid=23929/tid=23931] ppid=23927 vsize=9624976 CPUtime=2.97 cores=0,2,4,6
/proc/23929/task/23931/stat : 23931 (java) R 23927 23929 23066 0 -1 4202560 2472 0 1 0 297 0 0 0 20 0 19 0 253674989 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665163727072 139665036804856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23932] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23932/stat : 23932 (java) S 23927 23929 23066 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665007705000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23933] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23933/stat : 23933 (java) S 23927 23929 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665006652456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23934] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23934/stat : 23934 (java) S 23927 23929 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665005599400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23935] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23935/stat : 23935 (java) S 23927 23929 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665004546856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23936] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23936/stat : 23936 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665003493800 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23937] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23937/stat : 23937 (java) S 23927 23929 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665002441256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23938] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23938/stat : 23938 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665001388200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23939] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23939/stat : 23939 (java) S 23927 23929 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253674990 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139665000335656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23940] ppid=23927 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/23929/task/23940/stat : 23940 (java) S 23927 23929 23066 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 19 0 253674991 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664987925352 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23941] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23941/stat : 23941 (java) S 23927 23929 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664986871672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23942] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23942/stat : 23942 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664985818504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23943] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23943/stat : 23943 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664984767248 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23944] ppid=23927 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23929/task/23944/stat : 23944 (java) S 23927 23929 23066 0 -1 4202560 3433 0 0 0 37 0 0 0 20 0 19 0 253674994 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664983714104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23945] ppid=23927 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23929/task/23945/stat : 23945 (java) S 23927 23929 23066 0 -1 4202560 2270 0 0 0 39 0 0 0 20 0 19 0 253674994 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664982661560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23946] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23946/stat : 23946 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664981608696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23947] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23947/stat : 23947 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664980556360 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23948] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23948/stat : 23948 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675018 9855975424 13303 33554432000 1073741824 1073778376 140733313648192 139664979502632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9624976

[startup+6.30062 s]
/proc/loadavg: 2.00 2.00 1.92 3/213 23948
/proc/meminfo: memFree=25039444/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=7.23 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 9482 0 1 0 720 3 0 0 20 0 19 0 253674988 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 14871 2275 9 0 2396937 0
[pid=23929/tid=23931] ppid=23927 vsize=9624976 CPUtime=6.05 cores=0,2,4,6
/proc/23929/task/23931/stat : 23931 (java) R 23927 23929 23066 0 -1 4202560 2479 0 1 0 605 0 0 0 20 0 19 0 253674989 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665163727072 139665036847540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23932] ppid=23927 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23929/task/23932/stat : 23932 (java) S 23927 23929 23066 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665007705000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23933] ppid=23927 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23929/task/23933/stat : 23933 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665006652456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23934] ppid=23927 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23929/task/23934/stat : 23934 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665005599400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23935] ppid=23927 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23929/task/23935/stat : 23935 (java) S 23927 23929 23066 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665004546856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23936] ppid=23927 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23929/task/23936/stat : 23936 (java) S 23927 23929 23066 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665003493800 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23937] ppid=23927 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23929/task/23937/stat : 23937 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665002441256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23938] ppid=23927 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23929/task/23938/stat : 23938 (java) S 23927 23929 23066 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665001388200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23939] ppid=23927 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23929/task/23939/stat : 23939 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 253674990 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139665000335656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23940] ppid=23927 vsize=9624976 CPUtime=0.12 cores=0,2,4,6
/proc/23929/task/23940/stat : 23940 (java) S 23927 23929 23066 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 253674991 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664987925352 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23941] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23941/stat : 23941 (java) S 23927 23929 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664986871672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23942] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23942/stat : 23942 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664985818504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23943] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23943/stat : 23943 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664984767248 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23944] ppid=23927 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23929/task/23944/stat : 23944 (java) S 23927 23929 23066 0 -1 4202560 3433 0 0 0 37 0 0 0 20 0 19 0 253674994 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664983714104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23945] ppid=23927 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23929/task/23945/stat : 23945 (java) S 23927 23929 23066 0 -1 4202560 2270 0 0 0 39 0 0 0 20 0 19 0 253674994 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664982661560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23946] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23946/stat : 23946 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664981608696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23947] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23947/stat : 23947 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664980556360 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23948] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23948/stat : 23948 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675018 9855975424 14871 33554432000 1073741824 1073778376 140733313648192 139664979502632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=23929/tid=23944] ppid=23927 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23929/task/23944/stat : 23944 (java) S 23927 23929 23066 0 -1 4202560 3433 0 0 0 37 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664983714104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23945] ppid=23927 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/23929/task/23945/stat : 23945 (java) S 23927 23929 23066 0 -1 4202560 2301 0 0 0 44 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664982661560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23946] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23946/stat : 23946 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664981608696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23947] ppid=23927 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/23929/task/23947/stat : 23947 (java) S 23927 23929 23066 0 -1 4202560 96 0 0 0 24 20 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664980556360 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23948] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23948/stat : 23948 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675018 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664979502632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1671.94
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 24079
/proc/meminfo: memFree=27379536/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=1732.08 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 12310 0 1 0 173163 45 0 0 20 0 19 0 253674988 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 67328 2276 9 0 2396937 0
[pid=23929/tid=23931] ppid=23927 vsize=9624976 CPUtime=1700.68 cores=0,2,4,6
/proc/23929/task/23931/stat : 23931 (java) R 23927 23929 23066 0 -1 4202560 2801 0 1 0 170041 27 0 0 20 0 19 0 253674989 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665163727072 139665036502966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23932] ppid=23927 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/23929/task/23932/stat : 23932 (java) S 23927 23929 23066 0 -1 4202560 386 0 0 0 150 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665007705000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23933] ppid=23927 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/23929/task/23933/stat : 23933 (java) S 23927 23929 23066 0 -1 4202560 273 0 0 0 152 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665006652456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23934] ppid=23927 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/23929/task/23934/stat : 23934 (java) S 23927 23929 23066 0 -1 4202560 275 0 0 0 151 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665005599400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23935] ppid=23927 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/23929/task/23935/stat : 23935 (java) S 23927 23929 23066 0 -1 4202560 150 0 0 0 156 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665004546856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23936] ppid=23927 vsize=9624976 CPUtime=1.5 cores=0,2,4,6
/proc/23929/task/23936/stat : 23936 (java) S 23927 23929 23066 0 -1 4202560 251 0 0 0 148 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665003493800 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23937] ppid=23927 vsize=9624976 CPUtime=1.54 cores=0,2,4,6
/proc/23929/task/23937/stat : 23937 (java) S 23927 23929 23066 0 -1 4202560 464 0 0 0 151 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665002441256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23938] ppid=23927 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/23929/task/23938/stat : 23938 (java) S 23927 23929 23066 0 -1 4202560 382 0 0 0 152 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665001388200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23939] ppid=23927 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/23929/task/23939/stat : 23939 (java) S 23927 23929 23066 0 -1 4202560 148 0 0 0 159 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665000335656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23940] ppid=23927 vsize=9624976 CPUtime=13.52 cores=0,2,4,6
/proc/23929/task/23940/stat : 23940 (java) S 23927 23929 23066 0 -1 4202560 167 0 0 0 1349 3 0 0 20 0 19 0 253674991 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664987925352 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23941] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23941/stat : 23941 (java) S 23927 23929 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664986871672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23942] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23942/stat : 23942 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664985818504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23943] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23943/stat : 23943 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664984767248 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23944] ppid=23927 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23929/task/23944/stat : 23944 (java) S 23927 23929 23066 0 -1 4202560 3433 0 0 0 37 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664983714104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23945] ppid=23927 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/23929/task/23945/stat : 23945 (java) S 23927 23929 23066 0 -1 4202560 2301 0 0 0 44 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664982661560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23946] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23946/stat : 23946 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664981608696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23947] ppid=23927 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/23929/task/23947/stat : 23947 (java) S 23927 23929 23066 0 -1 4202560 98 0 0 0 25 21 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664980556360 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23948] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23948/stat : 23948 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675018 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664979502632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1732.08
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 24079
/proc/meminfo: memFree=27378792/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=1792.3 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 12322 0 1 0 179185 45 0 0 20 0 19 0 253674988 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 67328 2276 9 0 2396937 0
[pid=23929/tid=23931] ppid=23927 vsize=9624976 CPUtime=1760.03 cores=0,2,4,6
/proc/23929/task/23931/stat : 23931 (java) R 23927 23929 23066 0 -1 4202560 2805 0 1 0 175975 28 0 0 20 0 19 0 253674989 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665163727072 139665037099932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23932] ppid=23927 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/23929/task/23932/stat : 23932 (java) S 23927 23929 23066 0 -1 4202560 386 0 0 0 155 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665007705000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23933] ppid=23927 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/23929/task/23933/stat : 23933 (java) S 23927 23929 23066 0 -1 4202560 273 0 0 0 156 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665006652456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23934] ppid=23927 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/23929/task/23934/stat : 23934 (java) S 23927 23929 23066 0 -1 4202560 275 0 0 0 156 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665005599400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23935] ppid=23927 vsize=9624976 CPUtime=1.62 cores=0,2,4,6
/proc/23929/task/23935/stat : 23935 (java) S 23927 23929 23066 0 -1 4202560 150 0 0 0 160 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665004546856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23936] ppid=23927 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/23929/task/23936/stat : 23936 (java) S 23927 23929 23066 0 -1 4202560 251 0 0 0 151 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665003493800 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23937] ppid=23927 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/23929/task/23937/stat : 23937 (java) S 23927 23929 23066 0 -1 4202560 464 0 0 0 156 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665002441256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23938] ppid=23927 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/23929/task/23938/stat : 23938 (java) S 23927 23929 23066 0 -1 4202560 382 0 0 0 156 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665001388200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23939] ppid=23927 vsize=9624976 CPUtime=1.65 cores=0,2,4,6
/proc/23929/task/23939/stat : 23939 (java) S 23927 23929 23066 0 -1 4202560 148 0 0 0 163 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665000335656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23940] ppid=23927 vsize=9624976 CPUtime=13.93 cores=0,2,4,6
/proc/23929/task/23940/stat : 23940 (java) S 23927 23929 23066 0 -1 4202560 171 0 0 0 1390 3 0 0 20 0 19 0 253674991 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664987925352 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23941] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23941/stat : 23941 (java) S 23927 23929 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664986871672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23942] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23942/stat : 23942 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664985818504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23943] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23943/stat : 23943 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664984767248 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23944] ppid=23927 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23929/task/23944/stat : 23944 (java) S 23927 23929 23066 0 -1 4202560 3433 0 0 0 37 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664983714104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23945] ppid=23927 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/23929/task/23945/stat : 23945 (java) S 23927 23929 23066 0 -1 4202560 2301 0 0 0 44 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664982661560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23946] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23946/stat : 23946 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664981608696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23947] ppid=23927 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/23929/task/23947/stat : 23947 (java) S 23927 23929 23066 0 -1 4202560 102 0 0 0 27 21 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664980556360 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23948] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23948/stat : 23948 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675018 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664979502632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1792.3
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 24079
/proc/meminfo: memFree=27372772/32873844 swapFree=7108/7108
[pid=23929] ppid=23927 vsize=9624976 CPUtime=1800.01 cores=0,2,4,6
/proc/23929/stat : 23929 (java) S 23927 23929 23066 0 -1 4202496 12322 0 1 0 179956 45 0 0 20 0 19 0 253674988 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 140733313639328 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23929/statm: 2406244 67328 2276 9 0 2396937 0
[pid=23929/tid=23931] ppid=23927 vsize=9624976 CPUtime=1767.72 cores=0,2,4,6
/proc/23929/task/23931/stat : 23931 (java) R 23927 23929 23066 0 -1 4202560 2805 0 1 0 176744 28 0 0 20 0 19 0 253674989 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665163727072 139665037019287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23932] ppid=23927 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/23929/task/23932/stat : 23932 (java) S 23927 23929 23066 0 -1 4202560 386 0 0 0 155 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665007705000 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23933] ppid=23927 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/23929/task/23933/stat : 23933 (java) S 23927 23929 23066 0 -1 4202560 273 0 0 0 156 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665006652456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23934] ppid=23927 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/23929/task/23934/stat : 23934 (java) S 23927 23929 23066 0 -1 4202560 275 0 0 0 156 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665005599400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23935] ppid=23927 vsize=9624976 CPUtime=1.62 cores=0,2,4,6
/proc/23929/task/23935/stat : 23935 (java) S 23927 23929 23066 0 -1 4202560 150 0 0 0 160 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665004546856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23936] ppid=23927 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/23929/task/23936/stat : 23936 (java) S 23927 23929 23066 0 -1 4202560 251 0 0 0 151 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665003493800 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23937] ppid=23927 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/23929/task/23937/stat : 23937 (java) S 23927 23929 23066 0 -1 4202560 464 0 0 0 156 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665002441256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23938] ppid=23927 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/23929/task/23938/stat : 23938 (java) S 23927 23929 23066 0 -1 4202560 382 0 0 0 156 3 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665001388200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23929/tid=23939] ppid=23927 vsize=9624976 CPUtime=1.65 cores=0,2,4,6
/proc/23929/task/23939/stat : 23939 (java) S 23927 23929 23066 0 -1 4202560 148 0 0 0 163 2 0 0 20 0 19 0 253674990 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139665000335656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23940] ppid=23927 vsize=9624976 CPUtime=13.93 cores=0,2,4,6
/proc/23929/task/23940/stat : 23940 (java) S 23927 23929 23066 0 -1 4202560 171 0 0 0 1390 3 0 0 20 0 19 0 253674991 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664987925352 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23941] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23941/stat : 23941 (java) S 23927 23929 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664986871672 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23942] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23942/stat : 23942 (java) S 23927 23929 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674992 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664985818504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23943] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23943/stat : 23943 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664984767248 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23944] ppid=23927 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/23929/task/23944/stat : 23944 (java) S 23927 23929 23066 0 -1 4202560 3433 0 0 0 37 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664983714104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23929/tid=23945] ppid=23927 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/23929/task/23945/stat : 23945 (java) S 23927 23929 23066 0 -1 4202560 2301 0 0 0 44 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664982661560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23946] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23946/stat : 23946 (java) S 23927 23929 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664981608696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23929/tid=23947] ppid=23927 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/23929/task/23947/stat : 23947 (java) S 23927 23929 23066 0 -1 4202560 102 0 0 0 27 21 0 0 20 0 19 0 253674994 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664980556360 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23929/tid=23948] ppid=23927 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23929/task/23948/stat : 23948 (java) S 23927 23929 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675018 9855975424 67328 33554432000 1073741824 1073778376 140733313648192 139664979502632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23929 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=160094
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=862868
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.06
CPU time (s): 1800.01
CPU user time (s): 1799.56
CPU system time (s): 0.45
CPU usage (%): 100.556
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 0.862868
maximum resident set size= 273536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12358
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46741
involuntary context switches= 26320

runsolver used 6.02108 second user time and 14.1928 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-24 18:04:59
IDJOB=3687723
IDBENCH=2040
IDSOLVER=2269
FILE ID=node138/3687723-1337875499
RUNJOBID= node138-1337871881-23082
PBS_JOBID= 14620066
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687723-1337875499/watcher-3687723-1337875499 -o /tmp/evaluation-result-3687723-1337875499/solver-3687723-1337875499 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687723-1337875499.opb

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

MD5SUM BENCH= a91a8cbbe2491e496acc19538dbd623f
RANDOM SEED=1452361849

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:        25085116 kB
Buffers:          215824 kB
Cached:          4110636 kB
SwapCached:            0 kB
Active:          3218772 kB
Inactive:        3765088 kB
Active(anon):    2659844 kB
Inactive(anon):      124 kB
Active(file):     558928 kB
Inactive(file):  3764964 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               544 kB
Writeback:             0 kB
AnonPages:       2697176 kB
Mapped:            22544 kB
Shmem:               200 kB
Slab:             637720 kB
SReclaimable:      80008 kB
SUnreclaim:       557712 kB
KernelStack:        1760 kB
PageTables:         9232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3340080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2641920 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= 71720 MiB
End job on node138 at 2012-05-24 18:34:51