Trace number 3492244

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 641.408 640.019

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
MD5SUM9acc4a01e291192ca8cd72bb114b6c35
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark0.033994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints5
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 239
Min constraint cost 1
Max constraint cost 93
Sum of constraints costs 238
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.29	c See www.sat4j.org for details.
0.03/0.29	c version 2.3.1.v20110525
0.03/0.29	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.29	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.29	c java.vm.version	19.1-b02
0.03/0.29	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.29	c sun.arch.data.model	64
0.03/0.29	c java.version		1.6.0_24
0.03/0.29	c os.name		Linux
0.03/0.29	c os.version		2.6.18-164.el5
0.03/0.29	c os.arch		amd64
0.03/0.29	c Free memory 		9996466904
0.03/0.29	c Max memory 		10048897024
0.03/0.29	c Total memory 		10048897024
0.03/0.29	c Number of processors 	8
0.10/0.32	c Pseudo Boolean Optimization
0.10/0.32	c --- Begin Solver configuration ---
0.10/0.32	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.32	c Learn all clauses as in MiniSAT
0.10/0.32	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.32	c Expensive reason simplification
0.10/0.32	c Armin Biere (Picosat) restarts strategy
0.10/0.32	c Glucose learned constraints deletion strategy
0.10/0.32	c timeout=2147483s
0.10/0.32	c DB Simplification allowed=false
0.10/0.32	c --- End Solver configuration ---
0.10/0.32	c solving HOME/instance-3492244-1307908886.wbo
0.10/0.32	c reading problem ... 
0.10/0.35	c ... done. Wall clock time 0.023s.
0.10/0.35	c #vars     155
0.10/0.35	c #constraints  25
0.10/0.35	c constraints type 
0.10/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15
0.10/0.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 8
0.10/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.26/0.40	c SATISFIABLE
0.26/0.40	c OPTIMIZING...
0.26/0.40	c Got one! Elapsed wall clock time (in seconds):0.08
0.26/0.41	o 35
0.89/0.81	c cleaning 2565 clauses out of 5135 with flag 5002/5135
1.95/1.81	c cleaning 4283 clauses out of 8571 with flag 11003/11136
3.05/2.97	c cleaning 5643 clauses out of 11286 with flag 18001/18134
4.76/4.66	c cleaning 6821 clauses out of 13642 with flag 26000/26133
7.00/6.89	c cleaning 7910 clauses out of 15821 with flag 35000/35133
9.70/9.58	c cleaning 8956 clauses out of 17912 with flag 45001/45134
12.40/12.23	c cleaning 9477 clauses out of 18955 with flag 55000/55133
15.11/14.92	c cleaning 9734 clauses out of 19478 with flag 65000/65133
16.80/16.66	c cleaning 9871 clauses out of 19745 with flag 75001/75134
18.91/18.70	c cleaning 9934 clauses out of 19874 with flag 85001/85134
21.11/20.99	c cleaning 9967 clauses out of 19939 with flag 95000/95133
23.21/23.07	c cleaning 9980 clauses out of 19972 with flag 105000/105133
25.11/24.97	c cleaning 9995 clauses out of 19993 with flag 115001/115134
27.21/27.05	c cleaning 9996 clauses out of 19998 with flag 125001/125134
29.92/29.80	c cleaning 9996 clauses out of 20001 with flag 135000/135133
32.13/31.98	c cleaning 10001 clauses out of 20005 with flag 145000/145133
34.42/34.20	c cleaning 9996 clauses out of 20005 with flag 155001/155134
36.72/36.57	c cleaning 10002 clauses out of 20008 with flag 165000/165133
39.32/39.18	c cleaning 10004 clauses out of 20008 with flag 175002/175135
42.53/42.36	c cleaning 9996 clauses out of 20003 with flag 185001/185134
45.23/45.06	c cleaning 10002 clauses out of 20009 with flag 195003/195136
47.73/47.56	c cleaning 10000 clauses out of 20006 with flag 205002/205135
50.53/50.35	c cleaning 9998 clauses out of 20007 with flag 215003/215136
53.13/52.99	c cleaning 10002 clauses out of 20007 with flag 225001/225134
56.03/55.88	c cleaning 10000 clauses out of 20006 with flag 235002/235135
58.45/58.27	c cleaning 10001 clauses out of 20004 with flag 245000/245133
60.54/60.37	c cleaning 9999 clauses out of 20003 with flag 255000/255133
63.25/63.01	c cleaning 9998 clauses out of 20005 with flag 265001/265134
65.55/65.32	c cleaning 10001 clauses out of 20006 with flag 275000/275133
67.55/67.36	c cleaning 10000 clauses out of 20006 with flag 285001/285134
69.95/69.75	c cleaning 10000 clauses out of 20008 with flag 295003/295136
71.76/71.60	c cleaning 10003 clauses out of 20008 with flag 305003/305136
73.36/73.15	c cleaning 9993 clauses out of 20002 with flag 315000/315133
76.06/75.85	c cleaning 10002 clauses out of 20009 with flag 325000/325133
78.76/78.59	c cleaning 9997 clauses out of 20008 with flag 335001/335134
81.36/81.17	c cleaning 10001 clauses out of 20012 with flag 345002/345135
83.66/83.48	c cleaning 10002 clauses out of 20012 with flag 355003/355136
86.07/85.88	c cleaning 10000 clauses out of 20009 with flag 365002/365135
87.87/87.69	c cleaning 10001 clauses out of 20008 with flag 375001/375134
90.07/89.89	c cleaning 10000 clauses out of 20007 with flag 385001/385134
92.87/92.64	c cleaning 10003 clauses out of 20011 with flag 395005/395138
95.77/95.55	c cleaning 9995 clauses out of 20004 with flag 405001/405134
98.28/98.05	c cleaning 10000 clauses out of 20010 with flag 415002/415135
101.17/100.95	c cleaning 10001 clauses out of 20009 with flag 425001/425134
103.88/103.60	c cleaning 9997 clauses out of 20007 with flag 435000/435133
106.08/105.85	c cleaning 10005 clauses out of 20015 with flag 445005/445138
108.48/108.25	c cleaning 9998 clauses out of 20006 with flag 455001/455134
110.68/110.43	c cleaning 10000 clauses out of 20009 with flag 465002/465135
113.18/112.95	c cleaning 10000 clauses out of 20008 with flag 475001/475134
115.79/115.53	c cleaning 9997 clauses out of 20007 with flag 485000/485133
118.28/118.06	c cleaning 9996 clauses out of 20011 with flag 495001/495134
120.89/120.61	c cleaning 9996 clauses out of 20016 with flag 505002/505135
122.99/122.77	c cleaning 10007 clauses out of 20020 with flag 515002/515135
125.49/125.30	c cleaning 10001 clauses out of 20011 with flag 525000/525133
128.19/127.94	c cleaning 10004 clauses out of 20013 with flag 535003/535136
130.69/130.49	c cleaning 9997 clauses out of 20006 with flag 545000/545133
132.99/132.78	c cleaning 9999 clauses out of 20011 with flag 555002/555135
135.09/134.89	c cleaning 10003 clauses out of 20011 with flag 565001/565134
137.49/137.22	c cleaning 9998 clauses out of 20008 with flag 575001/575134
139.39/139.18	c cleaning 9999 clauses out of 20010 with flag 585001/585134
142.20/141.99	c cleaning 9999 clauses out of 20011 with flag 595001/595134
145.00/144.72	c cleaning 10002 clauses out of 20011 with flag 605000/605133
147.30/147.06	c cleaning 10001 clauses out of 20012 with flag 615003/615136
149.30/149.05	c cleaning 10003 clauses out of 20009 with flag 625001/625134
151.80/151.54	c cleaning 9999 clauses out of 20005 with flag 635000/635133
154.20/153.95	c cleaning 9998 clauses out of 20007 with flag 645001/645134
156.60/156.30	c cleaning 10001 clauses out of 20009 with flag 655001/655134
158.60/158.36	c cleaning 10001 clauses out of 20008 with flag 665001/665134
160.93/160.63	c cleaning 10000 clauses out of 20006 with flag 675000/675133
163.32/163.03	c cleaning 9998 clauses out of 20008 with flag 685002/685135
165.52/165.23	c cleaning 10000 clauses out of 20010 with flag 695002/695135
167.62/167.33	c cleaning 10003 clauses out of 20010 with flag 705002/705135
169.63/169.40	c cleaning 9998 clauses out of 20006 with flag 715001/715134
171.93/171.69	c cleaning 10000 clauses out of 20008 with flag 725001/725134
174.33/174.02	c cleaning 10001 clauses out of 20010 with flag 735003/735136
176.73/176.41	c cleaning 9999 clauses out of 20007 with flag 745001/745134
179.04/178.74	c cleaning 9997 clauses out of 20007 with flag 755000/755133
181.24/180.98	c cleaning 10001 clauses out of 20012 with flag 765002/765135
183.44/183.19	c cleaning 10001 clauses out of 20009 with flag 775000/775133
185.64/185.36	c cleaning 10001 clauses out of 20008 with flag 785000/785133
187.84/187.50	c cleaning 9999 clauses out of 20008 with flag 795001/795134
189.85/189.56	c cleaning 10000 clauses out of 20012 with flag 805004/805137
191.85/191.56	c cleaning 10000 clauses out of 20010 with flag 815002/815135
193.75/193.45	c cleaning 9999 clauses out of 20009 with flag 825001/825134
195.45/195.16	c cleaning 10000 clauses out of 20010 with flag 835001/835134
197.15/196.90	c cleaning 10003 clauses out of 20011 with flag 845002/845135
199.55/199.24	c cleaning 10001 clauses out of 20008 with flag 855002/855135
201.56/201.24	c cleaning 10000 clauses out of 20007 with flag 865002/865135
203.36/203.05	c cleaning 9999 clauses out of 20005 with flag 875000/875133
205.46/205.15	c cleaning 10001 clauses out of 20009 with flag 885003/885136
207.96/207.62	c cleaning 10000 clauses out of 20006 with flag 895001/895134
210.16/209.84	c cleaning 9998 clauses out of 20006 with flag 905001/905134
212.26/211.92	c cleaning 10001 clauses out of 20010 with flag 915003/915136
214.26/213.94	c cleaning 9996 clauses out of 20006 with flag 925000/925133
216.66/216.31	c cleaning 10001 clauses out of 20011 with flag 935001/935134
218.76/218.46	c cleaning 10000 clauses out of 20009 with flag 945000/945133
220.76/220.47	c cleaning 9997 clauses out of 20009 with flag 955000/955133
222.67/222.38	c cleaning 10003 clauses out of 20013 with flag 965001/965134
224.87/224.50	c cleaning 10000 clauses out of 20013 with flag 975004/975137
226.77/226.47	c cleaning 9997 clauses out of 20010 with flag 985001/985134
228.67/228.31	c cleaning 10006 clauses out of 20013 with flag 995001/995134
230.57/230.22	c cleaning 10001 clauses out of 20007 with flag 1005001/1005134
232.57/232.27	c cleaning 10000 clauses out of 20005 with flag 1015000/1015133
234.47/234.14	c cleaning 10000 clauses out of 20006 with flag 1025001/1025134
236.18/235.83	c cleaning 9997 clauses out of 20006 with flag 1035001/1035134
238.18/237.90	c cleaning 9999 clauses out of 20010 with flag 1045002/1045135
240.28/239.95	c cleaning 10001 clauses out of 20009 with flag 1055000/1055133
242.38/242.04	c cleaning 10001 clauses out of 20009 with flag 1065001/1065134
244.38/244.10	c cleaning 9999 clauses out of 20009 with flag 1075002/1075135
246.88/246.52	c cleaning 9997 clauses out of 20011 with flag 1085003/1085136
248.99/248.65	c cleaning 10004 clauses out of 20015 with flag 1095004/1095137
251.58/251.20	c cleaning 9996 clauses out of 20008 with flag 1105001/1105134
253.89/253.51	c cleaning 10002 clauses out of 20014 with flag 1115003/1115136
255.89/255.55	c cleaning 10000 clauses out of 20012 with flag 1125003/1125136
258.29/257.96	c cleaning 10000 clauses out of 20011 with flag 1135002/1135135
260.19/259.84	c cleaning 10003 clauses out of 20012 with flag 1145003/1145136
262.10/261.71	c cleaning 10001 clauses out of 20007 with flag 1155001/1155134
264.19/263.85	c cleaning 9998 clauses out of 20006 with flag 1165001/1165134
266.50/266.10	c cleaning 10000 clauses out of 20009 with flag 1175002/1175135
268.60/268.26	c cleaning 9996 clauses out of 20007 with flag 1185000/1185133
270.50/270.10	c cleaning 9994 clauses out of 20012 with flag 1195001/1195134
272.30/271.90	c cleaning 10004 clauses out of 20018 with flag 1205001/1205134
274.10/273.75	c cleaning 10004 clauses out of 20014 with flag 1215001/1215134
276.10/275.73	c cleaning 10000 clauses out of 20009 with flag 1225000/1225133
277.90/277.52	c cleaning 9999 clauses out of 20010 with flag 1235001/1235134
279.60/279.27	c cleaning 10002 clauses out of 20010 with flag 1245000/1245133
281.50/281.17	c cleaning 9998 clauses out of 20008 with flag 1255000/1255133
283.30/282.95	c cleaning 10003 clauses out of 20012 with flag 1265002/1265135
285.41/285.00	c cleaning 10004 clauses out of 20014 with flag 1275007/1275140
287.21/286.88	c cleaning 9999 clauses out of 20005 with flag 1285002/1285135
289.11/288.72	c cleaning 9999 clauses out of 20006 with flag 1295002/1295135
291.01/290.65	c cleaning 9997 clauses out of 20005 with flag 1305000/1305133
292.82/292.50	c cleaning 10000 clauses out of 20009 with flag 1315001/1315134
294.71/294.34	c cleaning 9999 clauses out of 20008 with flag 1325000/1325133
297.22/296.81	c cleaning 10002 clauses out of 20009 with flag 1335000/1335133
299.62/299.23	c cleaning 10001 clauses out of 20008 with flag 1345001/1345134
301.72/301.32	c cleaning 10000 clauses out of 20007 with flag 1355001/1355134
303.92/303.52	c cleaning 9999 clauses out of 20008 with flag 1365002/1365135
306.02/305.61	c cleaning 9999 clauses out of 20008 with flag 1375001/1375134
308.22/307.86	c cleaning 10001 clauses out of 20010 with flag 1385002/1385135
310.23/309.81	c cleaning 10000 clauses out of 20007 with flag 1395000/1395133
312.03/311.65	c cleaning 9997 clauses out of 20009 with flag 1405002/1405135
314.13/313.78	c cleaning 10002 clauses out of 20010 with flag 1415000/1415133
316.13/315.77	c cleaning 10000 clauses out of 20008 with flag 1425000/1425133
317.84/317.46	c cleaning 10001 clauses out of 20010 with flag 1435002/1435135
319.94/319.59	c cleaning 10000 clauses out of 20008 with flag 1445001/1445134
321.94/321.56	c cleaning 9997 clauses out of 20007 with flag 1455000/1455133
323.84/323.48	c cleaning 10003 clauses out of 20013 with flag 1465003/1465136
325.74/325.36	c cleaning 10003 clauses out of 20011 with flag 1475004/1475137
327.64/327.28	c cleaning 10001 clauses out of 20008 with flag 1485004/1485137
329.44/329.09	c cleaning 10000 clauses out of 20007 with flag 1495004/1495137
331.24/330.86	c cleaning 9996 clauses out of 20003 with flag 1505000/1505133
333.14/332.73	c cleaning 9999 clauses out of 20007 with flag 1515000/1515133
334.95/334.58	c cleaning 9999 clauses out of 20008 with flag 1525000/1525133
336.75/336.33	c cleaning 10004 clauses out of 20013 with flag 1535004/1535137
338.45/338.09	c cleaning 9999 clauses out of 20007 with flag 1545002/1545135
340.26/339.81	c cleaning 10000 clauses out of 20008 with flag 1555002/1555135
342.06/341.66	c cleaning 10000 clauses out of 20007 with flag 1565001/1565134
343.76/343.38	c cleaning 9991 clauses out of 20007 with flag 1575001/1575134
345.46/345.03	c cleaning 10005 clauses out of 20017 with flag 1585002/1585135
347.26/346.88	c cleaning 10001 clauses out of 20010 with flag 1595000/1595133
348.96/348.52	c cleaning 10002 clauses out of 20012 with flag 1605003/1605136
350.56/350.16	c cleaning 10000 clauses out of 20010 with flag 1615003/1615136
352.46/352.01	c cleaning 10000 clauses out of 20007 with flag 1625000/1625133
354.46/354.00	c cleaning 9998 clauses out of 20009 with flag 1635002/1635135
356.36/355.93	c cleaning 10002 clauses out of 20011 with flag 1645002/1645135
358.16/357.79	c cleaning 10003 clauses out of 20009 with flag 1655002/1655135
360.07/359.70	c cleaning 9998 clauses out of 20007 with flag 1665003/1665136
361.87/361.46	c cleaning 9998 clauses out of 20006 with flag 1675000/1675133
363.57/363.16	c cleaning 10000 clauses out of 20009 with flag 1685001/1685134
365.37/364.90	c cleaning 10000 clauses out of 20009 with flag 1695001/1695134
366.87/366.46	c cleaning 9999 clauses out of 20010 with flag 1705002/1705135
368.57/368.12	c cleaning 10001 clauses out of 20012 with flag 1715003/1715136
370.28/369.87	c cleaning 10000 clauses out of 20010 with flag 1725002/1725135
372.18/371.77	c cleaning 10000 clauses out of 20010 with flag 1735002/1735135
374.08/373.61	c cleaning 10002 clauses out of 20013 with flag 1745005/1745138
375.88/375.42	c cleaning 10001 clauses out of 20012 with flag 1755006/1755139
377.48/377.03	c cleaning 10001 clauses out of 20006 with flag 1765001/1765134
379.48/379.03	c cleaning 9998 clauses out of 20004 with flag 1775000/1775133
381.28/380.89	c cleaning 9999 clauses out of 20007 with flag 1785001/1785134
383.19/382.80	c cleaning 9999 clauses out of 20010 with flag 1795003/1795136
384.99/384.57	c cleaning 10002 clauses out of 20011 with flag 1805003/1805136
386.90/386.41	c cleaning 9997 clauses out of 20006 with flag 1815000/1815133
388.60/388.10	c cleaning 10003 clauses out of 20011 with flag 1825002/1825135
390.10/389.61	c cleaning 9998 clauses out of 20006 with flag 1835000/1835133
391.90/391.42	c cleaning 10001 clauses out of 20010 with flag 1845002/1845135
393.70/393.20	c cleaning 10002 clauses out of 20007 with flag 1855000/1855133
395.50/395.00	c cleaning 9998 clauses out of 20006 with flag 1865001/1865134
397.20/396.74	c cleaning 10002 clauses out of 20008 with flag 1875001/1875134
398.90/398.46	c cleaning 10003 clauses out of 20007 with flag 1885002/1885135
400.50/400.09	c cleaning 9996 clauses out of 20002 with flag 1895000/1895133
402.40/401.94	c cleaning 10000 clauses out of 20007 with flag 1905001/1905134
404.11/403.70	c cleaning 10000 clauses out of 20008 with flag 1915002/1915135
405.91/405.46	c cleaning 10000 clauses out of 20007 with flag 1925001/1925134
407.71/407.21	c cleaning 9999 clauses out of 20006 with flag 1935000/1935133
409.42/408.95	c cleaning 10000 clauses out of 20008 with flag 1945001/1945134
411.02/410.59	c cleaning 10004 clauses out of 20010 with flag 1955003/1955136
412.72/412.29	c cleaning 10000 clauses out of 20006 with flag 1965003/1965136
414.42/413.95	c cleaning 10002 clauses out of 20003 with flag 1975000/1975133
416.23/415.73	c cleaning 9999 clauses out of 20002 with flag 1985001/1985134
418.02/417.55	c cleaning 9997 clauses out of 20003 with flag 1995001/1995134
420.02/419.52	c cleaning 9997 clauses out of 20006 with flag 2005001/2005134
421.73/421.26	c cleaning 9998 clauses out of 20008 with flag 2015000/2015133
423.43/422.99	c cleaning 10000 clauses out of 20014 with flag 2025004/2025137
425.23/424.70	c cleaning 9997 clauses out of 20010 with flag 2035000/2035133
426.93/426.41	c cleaning 10003 clauses out of 20013 with flag 2045000/2045133
428.63/428.13	c cleaning 10001 clauses out of 20011 with flag 2055001/2055134
430.03/429.54	c cleaning 9999 clauses out of 20010 with flag 2065001/2065134
431.64/431.13	c cleaning 10002 clauses out of 20011 with flag 2075001/2075134
433.43/432.98	c cleaning 9997 clauses out of 20008 with flag 2085000/2085133
434.94/434.43	c cleaning 9997 clauses out of 20011 with flag 2095000/2095133
436.33/435.89	c cleaning 10002 clauses out of 20014 with flag 2105000/2105133
437.83/437.32	c cleaning 10001 clauses out of 20014 with flag 2115002/2115135
439.44/438.95	c cleaning 10000 clauses out of 20013 with flag 2125002/2125135
440.94/440.48	c cleaning 10001 clauses out of 20012 with flag 2135001/2135134
442.44/441.98	c cleaning 10000 clauses out of 20010 with flag 2145000/2145133
444.04/443.56	c cleaning 9995 clauses out of 20010 with flag 2155000/2155133
445.54/445.03	c cleaning 10002 clauses out of 20015 with flag 2165000/2165133
447.05/446.52	c cleaning 10001 clauses out of 20014 with flag 2175001/2175134
448.44/447.90	c cleaning 10002 clauses out of 20015 with flag 2185003/2185136
450.04/449.57	c cleaning 10003 clauses out of 20012 with flag 2195002/2195135
451.55/451.03	c cleaning 10002 clauses out of 20012 with flag 2205005/2205138
453.05/452.54	c cleaning 9999 clauses out of 20006 with flag 2215001/2215134
454.55/454.03	c cleaning 9998 clauses out of 20006 with flag 2225000/2225133
455.96/455.47	c cleaning 9998 clauses out of 20008 with flag 2235000/2235133
457.46/456.96	c cleaning 10002 clauses out of 20011 with flag 2245001/2245134
458.96/458.45	c cleaning 10000 clauses out of 20009 with flag 2255001/2255134
460.46/459.92	c cleaning 10003 clauses out of 20011 with flag 2265003/2265136
461.86/461.34	c cleaning 9996 clauses out of 20005 with flag 2275000/2275133
463.26/462.71	c cleaning 10001 clauses out of 20010 with flag 2285001/2285134
464.66/464.15	c cleaning 10003 clauses out of 20011 with flag 2295003/2295136
466.26/465.73	c cleaning 9995 clauses out of 20007 with flag 2305002/2305135
467.66/467.19	c cleaning 10000 clauses out of 20012 with flag 2315002/2315135
469.17/468.69	c cleaning 10000 clauses out of 20011 with flag 2325001/2325134
470.66/470.17	c cleaning 10001 clauses out of 20011 with flag 2335001/2335134
472.06/471.58	c cleaning 10004 clauses out of 20013 with flag 2345004/2345137
473.47/472.97	c cleaning 9999 clauses out of 20005 with flag 2355000/2355133
474.77/474.27	c cleaning 9999 clauses out of 20006 with flag 2365000/2365133
476.27/475.70	c cleaning 9997 clauses out of 20007 with flag 2375000/2375133
477.67/477.20	c cleaning 10000 clauses out of 20010 with flag 2385000/2385133
479.17/478.63	c cleaning 10003 clauses out of 20013 with flag 2395003/2395136
480.57/480.02	c cleaning 9999 clauses out of 20007 with flag 2405000/2405133
481.87/481.39	c cleaning 10001 clauses out of 20008 with flag 2415000/2415133
483.38/482.86	c cleaning 10001 clauses out of 20010 with flag 2425003/2425136
484.98/484.41	c cleaning 9998 clauses out of 20011 with flag 2435005/2435138
486.68/486.11	c cleaning 10002 clauses out of 20009 with flag 2445001/2445134
488.38/487.84	c cleaning 9996 clauses out of 20006 with flag 2455000/2455133
490.09/489.59	c cleaning 9999 clauses out of 20011 with flag 2465001/2465134
491.78/491.22	c cleaning 10002 clauses out of 20013 with flag 2475002/2475135
493.29/492.75	c cleaning 10001 clauses out of 20012 with flag 2485003/2485136
494.78/494.25	c cleaning 9998 clauses out of 20010 with flag 2495002/2495135
496.19/495.62	c cleaning 10000 clauses out of 20014 with flag 2505004/2505137
497.59/497.10	c cleaning 10000 clauses out of 20011 with flag 2515001/2515134
498.99/498.48	c cleaning 9999 clauses out of 20011 with flag 2525001/2525134
500.59/500.06	c cleaning 10000 clauses out of 20011 with flag 2535000/2535133
502.20/501.68	c cleaning 10001 clauses out of 20011 with flag 2545000/2545133
503.69/503.16	c cleaning 10003 clauses out of 20012 with flag 2555002/2555135
505.19/504.65	c cleaning 10002 clauses out of 20011 with flag 2565004/2565137
506.79/506.21	c cleaning 9999 clauses out of 20009 with flag 2575004/2575137
508.19/507.66	c cleaning 9997 clauses out of 20006 with flag 2585000/2585133
509.80/509.29	c cleaning 9998 clauses out of 20010 with flag 2595001/2595134
511.20/510.62	c cleaning 9998 clauses out of 20011 with flag 2605000/2605133
512.60/512.02	c cleaning 10002 clauses out of 20014 with flag 2615001/2615134
514.10/513.51	c cleaning 10002 clauses out of 20014 with flag 2625003/2625136
515.50/514.95	c cleaning 9995 clauses out of 20009 with flag 2635000/2635133
516.80/516.27	c cleaning 9996 clauses out of 20014 with flag 2645000/2645133
518.11/517.58	c cleaning 10006 clauses out of 20019 with flag 2655001/2655134
519.62/519.08	c cleaning 10007 clauses out of 20017 with flag 2665005/2665138
521.12/520.51	c cleaning 9999 clauses out of 20006 with flag 2675001/2675134
522.42/521.88	c cleaning 10000 clauses out of 20007 with flag 2685001/2685134
523.92/523.34	c cleaning 9995 clauses out of 20007 with flag 2695001/2695134
525.22/524.69	c cleaning 9998 clauses out of 20012 with flag 2705001/2705134
526.62/526.04	c cleaning 9998 clauses out of 20013 with flag 2715000/2715133
528.02/527.42	c cleaning 10003 clauses out of 20015 with flag 2725000/2725133
529.32/528.79	c cleaning 10005 clauses out of 20019 with flag 2735007/2735140
530.73/530.15	c cleaning 9999 clauses out of 20007 with flag 2745000/2745133
532.12/531.52	c cleaning 10001 clauses out of 20009 with flag 2755001/2755134
533.52/532.95	c cleaning 9999 clauses out of 20008 with flag 2765001/2765134
534.83/534.26	c cleaning 10001 clauses out of 20009 with flag 2775001/2775134
536.23/535.60	c cleaning 10000 clauses out of 20008 with flag 2785001/2785134
537.44/536.88	c cleaning 9996 clauses out of 20007 with flag 2795000/2795133
538.83/538.23	c cleaning 10001 clauses out of 20012 with flag 2805001/2805134
540.04/539.50	c cleaning 9999 clauses out of 20011 with flag 2815001/2815134
541.44/540.89	c cleaning 9999 clauses out of 20011 with flag 2825000/2825133
542.74/542.12	c cleaning 10000 clauses out of 20012 with flag 2835000/2835133
544.05/543.48	c cleaning 10002 clauses out of 20015 with flag 2845003/2845136
545.44/544.85	c cleaning 9997 clauses out of 20010 with flag 2855000/2855133
546.84/546.28	c cleaning 10001 clauses out of 20013 with flag 2865000/2865133
548.14/547.56	c cleaning 10002 clauses out of 20012 with flag 2875000/2875133
549.45/548.87	c cleaning 10000 clauses out of 20012 with flag 2885002/2885135
550.75/550.14	c cleaning 10001 clauses out of 20016 with flag 2895006/2895139
551.95/551.37	c cleaning 10002 clauses out of 20011 with flag 2905002/2905135
553.25/552.62	c cleaning 9993 clauses out of 20008 with flag 2915001/2915134
554.55/553.98	c cleaning 9999 clauses out of 20014 with flag 2925000/2925133
555.95/555.31	c cleaning 10004 clauses out of 20017 with flag 2935002/2935135
557.35/556.74	c cleaning 10002 clauses out of 20012 with flag 2945001/2945134
558.75/558.10	c cleaning 10003 clauses out of 20013 with flag 2955004/2955137
560.05/559.44	c cleaning 10001 clauses out of 20008 with flag 2965002/2965135
561.45/560.89	c cleaning 10003 clauses out of 20009 with flag 2975004/2975137
562.76/562.12	c cleaning 9993 clauses out of 20002 with flag 2985000/2985133
564.36/563.70	c cleaning 9994 clauses out of 20010 with flag 2995001/2995134
565.97/565.34	c cleaning 10002 clauses out of 20015 with flag 3005000/3005133
567.46/566.85	c cleaning 10004 clauses out of 20013 with flag 3015000/3015133
568.87/568.24	c cleaning 10001 clauses out of 20011 with flag 3025002/3025135
570.17/569.58	c cleaning 10002 clauses out of 20011 with flag 3035003/3035136
571.47/570.84	c cleaning 10000 clauses out of 20006 with flag 3045000/3045133
573.07/572.48	c cleaning 9999 clauses out of 20007 with flag 3055001/3055134
574.57/573.93	c cleaning 10001 clauses out of 20009 with flag 3065002/3065135
576.07/575.40	c cleaning 9998 clauses out of 20006 with flag 3075000/3075133
577.47/576.84	c cleaning 10000 clauses out of 20009 with flag 3085001/3085134
578.78/578.19	c cleaning 9999 clauses out of 20008 with flag 3095000/3095133
580.08/579.48	c cleaning 10001 clauses out of 20009 with flag 3105000/3105133
581.39/580.78	c cleaning 9999 clauses out of 20010 with flag 3115002/3115135
582.98/582.32	c cleaning 9996 clauses out of 20009 with flag 3125000/3125133
584.38/583.74	c cleaning 10002 clauses out of 20013 with flag 3135000/3135133
585.68/585.10	c cleaning 10000 clauses out of 20011 with flag 3145000/3145133
587.19/586.52	c cleaning 10000 clauses out of 20013 with flag 3155002/3155135
588.49/587.87	c cleaning 10004 clauses out of 20015 with flag 3165004/3165137
589.79/589.17	c cleaning 10001 clauses out of 20009 with flag 3175002/3175135
591.19/590.53	c cleaning 10002 clauses out of 20008 with flag 3185002/3185135
592.69/592.04	c cleaning 9998 clauses out of 20004 with flag 3195000/3195133
593.99/593.34	c cleaning 9994 clauses out of 20008 with flag 3205002/3205135
595.19/594.58	c cleaning 10002 clauses out of 20013 with flag 3215001/3215134
596.49/595.87	c cleaning 10001 clauses out of 20010 with flag 3225000/3225133
597.79/597.17	c cleaning 9999 clauses out of 20009 with flag 3235000/3235133
599.10/598.43	c cleaning 10002 clauses out of 20013 with flag 3245003/3245136
600.40/599.71	c cleaning 10000 clauses out of 20009 with flag 3255001/3255134
601.60/600.95	c cleaning 9999 clauses out of 20010 with flag 3265002/3265135
602.80/602.16	c cleaning 10000 clauses out of 20009 with flag 3275000/3275133
604.10/603.46	c cleaning 10002 clauses out of 20009 with flag 3285000/3285133
605.40/604.76	c cleaning 10000 clauses out of 20007 with flag 3295000/3295133
606.60/605.99	c cleaning 10000 clauses out of 20007 with flag 3305000/3305133
607.81/607.16	c cleaning 10001 clauses out of 20012 with flag 3315005/3315138
609.10/608.44	c cleaning 10004 clauses out of 20017 with flag 3325011/3325144
610.31/609.68	c cleaning 9999 clauses out of 20002 with flag 3335000/3335133
611.61/610.97	c cleaning 10001 clauses out of 20005 with flag 3345002/3345135
613.01/612.30	c cleaning 9995 clauses out of 20005 with flag 3355003/3355136
614.21/613.58	c cleaning 10001 clauses out of 20007 with flag 3365000/3365133
615.52/614.90	c cleaning 10001 clauses out of 20006 with flag 3375000/3375133
616.91/616.23	c cleaning 10001 clauses out of 20008 with flag 3385003/3385136
618.38/617.60	c cleaning 9998 clauses out of 20004 with flag 3395000/3395133
619.96/618.90	c cleaning 10001 clauses out of 20007 with flag 3405001/3405134
621.49/620.25	c cleaning 9997 clauses out of 20005 with flag 3415000/3415133
622.99/621.70	c cleaning 10002 clauses out of 20010 with flag 3425002/3425135
624.29/623.06	c cleaning 10000 clauses out of 20007 with flag 3435001/3435134
625.79/624.55	c cleaning 10004 clauses out of 20012 with flag 3445006/3445139
627.39/626.15	c cleaning 10000 clauses out of 20004 with flag 3455002/3455135
629.10/627.88	c cleaning 9998 clauses out of 20003 with flag 3465001/3465134
630.70/629.46	c cleaning 9995 clauses out of 20004 with flag 3475000/3475133
632.40/631.13	c cleaning 10000 clauses out of 20010 with flag 3485001/3485134
633.90/632.64	c cleaning 10004 clauses out of 20012 with flag 3495003/3495136
635.31/634.03	c cleaning 10002 clauses out of 20005 with flag 3505000/3505133
636.81/635.52	c cleaning 10001 clauses out of 20006 with flag 3515003/3515136
638.22/636.96	c cleaning 9994 clauses out of 20003 with flag 3525001/3525134
639.76/638.48	c cleaning 10001 clauses out of 20009 with flag 3535002/3535135
641.38/640.01	c starts		: 252
641.38/640.01	c conflicts		: 3544758
641.38/640.01	c decisions		: 4093758
641.38/640.01	c propagations		: 67320129
641.38/640.01	c inspects		: 9782993661
641.38/640.01	c shortcuts		: 0
641.38/640.01	c learnt literals	: 5
641.38/640.01	c learnt binary clauses	: 19
641.38/640.01	c learnt ternary clauses	: 58
641.38/640.01	c learnt constraints	: 3544752
641.38/640.01	c ignored constraints	: 0
641.38/640.01	c root simplifications	: 0
641.38/640.01	c removed literals (reason simplification)	: 31588178
641.38/640.01	c reason swapping (by a shorter reason)	: 0
641.38/640.01	c Calls to reduceDB	: 355
641.38/640.01	c number of reductions to clauses (during analyze)	: 0
641.38/640.01	c number of learned constraints concerned by reduction	: 0
641.38/640.01	c number of learning phase by resolution	: 0
641.38/640.01	c number of learning phase by cutting planes	: 0
641.38/640.01	c speed (assignments/second)	: 105252.82674905098
641.38/640.01	c non guided choices	94
641.38/640.01	c learnt constraints type 
641.38/640.01	c constraints type 
641.38/640.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15
641.38/640.01	c org.sat4j.minisat.constraints.card.MinWatchCard => 8
641.38/640.01	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
641.38/640.01	s OPTIMUM FOUND
641.38/640.01	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 
641.38/640.01	c objective function=35
641.38/640.01	c Total wall clock time (in seconds): 639.686

Verifier Data 

OK	35

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 /var/tmp/evaluation-result-3492244-1307908886/watcher-3492244-1307908886 -o /var/tmp/evaluation-result-3492244-1307908886/solver-3492244-1307908886 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492244-1307908886.wbo 

running on 4 cores: 1,3,5,7

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.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/4813/stat : 4813 (java) R 4811 4813 2916 0 -1 4202496 429 0 0 0 0 0 0 0 18 0 1 0 635079824 9318400 172 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672482528 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4813/statm: 2275 172 132 9 0 67 0

[startup+0.0266849 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10449752 CPUtime=0.01 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 9860 0 1 0 0 1 0 0 18 0 6 0 635079824 10700546048 9559 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2612695 9564 928 9 0 2603851 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10449752

[startup+0.100668 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10518564 CPUtime=0.01 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 10120 0 1 0 0 1 0 0 18 0 10 0 635079824 10771009536 9816 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2629641 9816 1058 9 0 2620797 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10518564

[startup+0.3006 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10539372 CPUtime=0.1 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 12854 0 45 0 8 2 0 0 18 0 18 0 635079824 10792316928 12577 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2634843 12577 2090 9 0 2625577 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539372

[startup+0.700519 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10544496 CPUtime=0.79 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 16030 0 45 0 77 2 0 0 18 0 19 0 635079824 10797563904 15042 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2636124 15042 2208 9 0 2626858 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 10544496

[startup+1.50141 s]
/proc/loadavg: 1.00 1.08 1.41 3/214 4853
/proc/meminfo: memFree=1073184/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10544496 CPUtime=1.62 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 16839 0 45 0 160 2 0 0 18 0 19 0 635079824 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2636124 15744 2237 9 0 2626858 0
[pid=4813/tid=4819] ppid=4811 vsize=10544496 CPUtime=1.26 cores=1,3,5,7
/proc/4813/task/4819/stat : 4819 (java) R 4811 4813 2916 0 -1 4202560 11917 0 42 0 124 2 0 0 20 0 19 0 635079825 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 46912505507045 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=4813/tid=4828] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4828/stat : 4828 (java) S 4811 4813 2916 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4829] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4829/stat : 4829 (java) S 4811 4813 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4830] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4830/stat : 4830 (java) S 4811 4813 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4831] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4831/stat : 4831 (java) S 4811 4813 2916 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4832] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4832/stat : 4832 (java) S 4811 4813 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4833] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4833/stat : 4833 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4834] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4834/stat : 4834 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4835] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4835/stat : 4835 (java) S 4811 4813 2916 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4836] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4836/stat : 4836 (java) S 4811 4813 2916 0 -1 4202560 308 0 0 0 0 0 0 0 16 0 19 0 635079842 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 0 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4839] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4839/stat : 4839 (java) S 4811 4813 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635079843 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4841] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4841/stat : 4841 (java) S 4811 4813 2916 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 635079843 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4843] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672485809 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4845] ppid=4811 vsize=10544496 CPUtime=0.16 cores=1,3,5,7
/proc/4813/task/4845/stat : 4845 (java) S 4811 4813 2916 0 -1 4202560 1366 0 1 0 16 0 0 0 15 0 19 0 635079849 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4847] ppid=4811 vsize=10544496 CPUtime=0.17 cores=1,3,5,7
/proc/4813/task/4847/stat : 4847 (java) S 4811 4813 2916 0 -1 4202560 1782 0 2 0 17 0 0 0 15 0 19 0 635079849 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4849] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4849/stat : 4849 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4851] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4851/stat : 4851 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079849 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4852] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4852/stat : 4852 (java) S 4811 4813 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079860 10797563904 15744 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10544496

[startup+3.10113 s]
/proc/loadavg: 1.00 1.08 1.41 3/214 4853
/proc/meminfo: memFree=1057568/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10544496 CPUtime=3.26 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 17910 0 45 0 324 2 0 0 18 0 19 0 635079824 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2636124 16812 2239 9 0 2626858 0
[pid=4813/tid=4819] ppid=4811 vsize=10544496 CPUtime=2.82 cores=1,3,5,7
/proc/4813/task/4819/stat : 4819 (java) R 4811 4813 2916 0 -1 4202560 11920 0 42 0 280 2 0 0 18 0 19 0 635079825 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 46912505549310 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=4813/tid=4828] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4828/stat : 4828 (java) S 4811 4813 2916 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4829] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4829/stat : 4829 (java) S 4811 4813 2916 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4830] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4830/stat : 4830 (java) S 4811 4813 2916 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4831] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4831/stat : 4831 (java) S 4811 4813 2916 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4832] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4832/stat : 4832 (java) S 4811 4813 2916 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4833] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4833/stat : 4833 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4834] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4834/stat : 4834 (java) S 4811 4813 2916 0 -1 4202560 63 0 0 0 0 0 0 0 16 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4835] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4835/stat : 4835 (java) S 4811 4813 2916 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4836] ppid=4811 vsize=10544496 CPUtime=0.03 cores=1,3,5,7
/proc/4813/task/4836/stat : 4836 (java) S 4811 4813 2916 0 -1 4202560 779 0 0 0 3 0 0 0 15 0 19 0 635079842 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 0 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4839] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4839/stat : 4839 (java) S 4811 4813 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635079843 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4841] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4841/stat : 4841 (java) S 4811 4813 2916 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 635079843 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4843] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672485809 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4845] ppid=4811 vsize=10544496 CPUtime=0.18 cores=1,3,5,7
/proc/4813/task/4845/stat : 4845 (java) S 4811 4813 2916 0 -1 4202560 1369 0 1 0 18 0 0 0 15 0 19 0 635079849 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4847] ppid=4811 vsize=10544496 CPUtime=0.2 cores=1,3,5,7
/proc/4813/task/4847/stat : 4847 (java) S 4811 4813 2916 0 -1 4202560 1789 0 2 0 20 0 0 0 15 0 19 0 635079849 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4849] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4849/stat : 4849 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4851] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4851/stat : 4851 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079849 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4852] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4852/stat : 4852 (java) S 4811 4813 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079860 10797563904 16812 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10544496

[startup+6.30056 s]
/proc/loadavg: 1.08 1.09 1.41 4/214 4854
/proc/meminfo: memFree=1037972/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10544496 CPUtime=6.5 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 18453 0 45 0 647 3 0 0 18 0 19 0 635079824 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2636124 17026 2249 9 0 2626858 0
[pid=4813/tid=4819] ppid=4811 vsize=10544496 CPUtime=6.01 cores=1,3,5,7
/proc/4813/task/4819/stat : 4819 (java) R 4811 4813 2916 0 -1 4202560 11921 0 42 0 599 2 0 0 20 0 19 0 635079825 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 46912505506771 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=4813/tid=4828] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4828/stat : 4828 (java) S 4811 4813 2916 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4829] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4829/stat : 4829 (java) S 4811 4813 2916 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4830] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4830/stat : 4830 (java) S 4811 4813 2916 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4831] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4831/stat : 4831 (java) S 4811 4813 2916 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4832] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4832/stat : 4832 (java) S 4811 4813 2916 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4833] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4833/stat : 4833 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4834] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4834/stat : 4834 (java) S 4811 4813 2916 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4835] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4835/stat : 4835 (java) S 4811 4813 2916 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 19 0 635079827 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4836] ppid=4811 vsize=10544496 CPUtime=0.04 cores=1,3,5,7
/proc/4813/task/4836/stat : 4836 (java) S 4811 4813 2916 0 -1 4202560 779 0 0 0 4 0 0 0 15 0 19 0 635079842 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 0 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4839] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4839/stat : 4839 (java) S 4811 4813 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635079843 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4841] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4841/stat : 4841 (java) S 4811 4813 2916 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 635079843 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4843] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672485809 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4845] ppid=4811 vsize=10544496 CPUtime=0.19 cores=1,3,5,7
/proc/4813/task/4845/stat : 4845 (java) S 4811 4813 2916 0 -1 4202560 1369 0 1 0 19 0 0 0 15 0 19 0 635079849 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4847] ppid=4811 vsize=10544496 CPUtime=0.23 cores=1,3,5,7
/proc/4813/task/4847/stat : 4847 (java) S 4811 4813 2916 0 -1 4202560 2134 0 2 0 23 0 0 0 15 0 19 0 635079849 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4849] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4849/stat : 4849 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4851] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4851/stat : 4851 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079849 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4852] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4852/stat : 4852 (java) S 4811 4813 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079860 10797563904 17026 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 10544496

[startup+12.7014 s]

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

/proc/4813/task/4828/stat : 4828 (java) S 4811 4813 2916 0 -1 4202560 169 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4829] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4829/stat : 4829 (java) S 4811 4813 2916 0 -1 4202560 189 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4830] ppid=4811 vsize=10544496 CPUtime=0.14 cores=1,3,5,7
/proc/4813/task/4830/stat : 4830 (java) S 4811 4813 2916 0 -1 4202560 137 0 0 0 14 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4831] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4831/stat : 4831 (java) S 4811 4813 2916 0 -1 4202560 378 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4832] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4832/stat : 4832 (java) S 4811 4813 2916 0 -1 4202560 101 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4833] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4833/stat : 4833 (java) S 4811 4813 2916 0 -1 4202560 94 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4834] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4834/stat : 4834 (java) S 4811 4813 2916 0 -1 4202560 172 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4835] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4835/stat : 4835 (java) S 4811 4813 2916 0 -1 4202560 278 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4836] ppid=4811 vsize=10544496 CPUtime=5.67 cores=1,3,5,7
/proc/4813/task/4836/stat : 4836 (java) S 4811 4813 2916 0 -1 4202560 2184 0 0 0 562 5 0 0 16 0 19 0 635079842 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 0 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4839] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4839/stat : 4839 (java) S 4811 4813 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4841] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4841/stat : 4841 (java) S 4811 4813 2916 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4843] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672485809 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4845] ppid=4811 vsize=10544496 CPUtime=0.23 cores=1,3,5,7
/proc/4813/task/4845/stat : 4845 (java) R 4811 4813 2916 0 -1 4202560 1373 0 1 0 23 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 46968750643434 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4813/tid=4847] ppid=4811 vsize=10544496 CPUtime=0.82 cores=1,3,5,7
/proc/4813/task/4847/stat : 4847 (java) R 4811 4813 2916 0 -1 4202560 13271 0 2 0 81 1 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268660353415 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4813/tid=4849] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4849/stat : 4849 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4851] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4851/stat : 4851 (java) S 4811 4813 2916 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4852] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4852/stat : 4852 (java) S 4811 4813 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079860 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 640.48
Current children cumulated vsize (KiB) 10544496

[startup+639.501 s]
/proc/loadavg: 2.09 1.91 1.69 3/214 4870
/proc/meminfo: memFree=951600/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10544496 CPUtime=640.88 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 31810 0 45 0 64073 15 0 0 18 0 19 0 635079824 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2636124 22226 2250 9 0 2626858 0
[pid=4813/tid=4819] ppid=4811 vsize=10544496 CPUtime=632.98 cores=1,3,5,7
/proc/4813/task/4819/stat : 4819 (java) R 4811 4813 2916 0 -1 4202560 12275 0 42 0 63296 2 0 0 19 0 19 0 635079825 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 46912505549268 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=4813/tid=4828] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4828/stat : 4828 (java) S 4811 4813 2916 0 -1 4202560 169 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4829] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4829/stat : 4829 (java) S 4811 4813 2916 0 -1 4202560 189 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4830] ppid=4811 vsize=10544496 CPUtime=0.14 cores=1,3,5,7
/proc/4813/task/4830/stat : 4830 (java) S 4811 4813 2916 0 -1 4202560 137 0 0 0 14 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4831] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4831/stat : 4831 (java) S 4811 4813 2916 0 -1 4202560 378 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4832] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4832/stat : 4832 (java) S 4811 4813 2916 0 -1 4202560 101 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4833] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4833/stat : 4833 (java) S 4811 4813 2916 0 -1 4202560 94 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4834] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4834/stat : 4834 (java) S 4811 4813 2916 0 -1 4202560 172 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4835] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4835/stat : 4835 (java) S 4811 4813 2916 0 -1 4202560 278 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4836] ppid=4811 vsize=10544496 CPUtime=5.67 cores=1,3,5,7
/proc/4813/task/4836/stat : 4836 (java) S 4811 4813 2916 0 -1 4202560 2184 0 0 0 562 5 0 0 16 0 19 0 635079842 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 0 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4839] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4839/stat : 4839 (java) S 4811 4813 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4841] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4841/stat : 4841 (java) S 4811 4813 2916 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4843] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672485809 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4845] ppid=4811 vsize=10544496 CPUtime=0.24 cores=1,3,5,7
/proc/4813/task/4845/stat : 4845 (java) S 4811 4813 2916 0 -1 4202560 1373 0 1 0 24 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4847] ppid=4811 vsize=10544496 CPUtime=0.82 cores=1,3,5,7
/proc/4813/task/4847/stat : 4847 (java) S 4811 4813 2916 0 -1 4202560 13271 0 2 0 81 1 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4849] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4849/stat : 4849 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4851] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4851/stat : 4851 (java) S 4811 4813 2916 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4852] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4852/stat : 4852 (java) S 4811 4813 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079860 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 640.88
Current children cumulated vsize (KiB) 10544496

[startup+639.901 s]
/proc/loadavg: 2.09 1.91 1.69 3/214 4870
/proc/meminfo: memFree=951600/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10544496 CPUtime=641.28 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 31811 0 45 0 64113 15 0 0 18 0 19 0 635079824 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2636124 22226 2250 9 0 2626858 0
[pid=4813/tid=4819] ppid=4811 vsize=10544496 CPUtime=633.38 cores=1,3,5,7
/proc/4813/task/4819/stat : 4819 (java) R 4811 4813 2916 0 -1 4202560 12276 0 42 0 63336 2 0 0 19 0 19 0 635079825 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 46912505549287 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=4813/tid=4828] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4828/stat : 4828 (java) S 4811 4813 2916 0 -1 4202560 169 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4829] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4829/stat : 4829 (java) S 4811 4813 2916 0 -1 4202560 189 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4830] ppid=4811 vsize=10544496 CPUtime=0.14 cores=1,3,5,7
/proc/4813/task/4830/stat : 4830 (java) S 4811 4813 2916 0 -1 4202560 137 0 0 0 14 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4831] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4831/stat : 4831 (java) S 4811 4813 2916 0 -1 4202560 378 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4832] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4832/stat : 4832 (java) S 4811 4813 2916 0 -1 4202560 101 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4833] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4833/stat : 4833 (java) S 4811 4813 2916 0 -1 4202560 94 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4834] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4834/stat : 4834 (java) S 4811 4813 2916 0 -1 4202560 172 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4835] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4835/stat : 4835 (java) S 4811 4813 2916 0 -1 4202560 278 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4836] ppid=4811 vsize=10544496 CPUtime=5.67 cores=1,3,5,7
/proc/4813/task/4836/stat : 4836 (java) S 4811 4813 2916 0 -1 4202560 2184 0 0 0 562 5 0 0 16 0 19 0 635079842 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 0 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4839] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4839/stat : 4839 (java) S 4811 4813 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4841] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4841/stat : 4841 (java) S 4811 4813 2916 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4843] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672485809 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4845] ppid=4811 vsize=10544496 CPUtime=0.24 cores=1,3,5,7
/proc/4813/task/4845/stat : 4845 (java) S 4811 4813 2916 0 -1 4202560 1373 0 1 0 24 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4847] ppid=4811 vsize=10544496 CPUtime=0.82 cores=1,3,5,7
/proc/4813/task/4847/stat : 4847 (java) S 4811 4813 2916 0 -1 4202560 13271 0 2 0 81 1 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4849] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4849/stat : 4849 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4851] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4851/stat : 4851 (java) S 4811 4813 2916 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4852] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4852/stat : 4852 (java) S 4811 4813 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079860 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 641.28
Current children cumulated vsize (KiB) 10544496

[startup+640.001 s]
/proc/loadavg: 2.09 1.91 1.69 3/214 4870
/proc/meminfo: memFree=951600/32951124 swapFree=67055716/67111528
[pid=4813] ppid=4811 vsize=10544496 CPUtime=641.38 cores=1,3,5,7
/proc/4813/stat : 4813 (java) S 4811 4813 2916 0 -1 4202496 31811 0 45 0 64123 15 0 0 18 0 19 0 635079824 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4813/statm: 2636124 22226 2250 9 0 2626858 0
[pid=4813/tid=4819] ppid=4811 vsize=10544496 CPUtime=633.48 cores=1,3,5,7
/proc/4813/task/4819/stat : 4819 (java) R 4811 4813 2916 0 -1 4202560 12276 0 42 0 63346 2 0 0 19 0 19 0 635079825 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 46912505739135 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=4813/tid=4828] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4828/stat : 4828 (java) S 4811 4813 2916 0 -1 4202560 169 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4829] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4829/stat : 4829 (java) S 4811 4813 2916 0 -1 4202560 189 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4830] ppid=4811 vsize=10544496 CPUtime=0.14 cores=1,3,5,7
/proc/4813/task/4830/stat : 4830 (java) S 4811 4813 2916 0 -1 4202560 137 0 0 0 14 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4831] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4831/stat : 4831 (java) S 4811 4813 2916 0 -1 4202560 378 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4832] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4832/stat : 4832 (java) S 4811 4813 2916 0 -1 4202560 101 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4833] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4833/stat : 4833 (java) S 4811 4813 2916 0 -1 4202560 94 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4834] ppid=4811 vsize=10544496 CPUtime=0.12 cores=1,3,5,7
/proc/4813/task/4834/stat : 4834 (java) S 4811 4813 2916 0 -1 4202560 172 0 0 0 12 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4835] ppid=4811 vsize=10544496 CPUtime=0.13 cores=1,3,5,7
/proc/4813/task/4835/stat : 4835 (java) S 4811 4813 2916 0 -1 4202560 278 0 0 0 13 0 0 0 15 0 19 0 635079827 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4836] ppid=4811 vsize=10544496 CPUtime=5.67 cores=1,3,5,7
/proc/4813/task/4836/stat : 4836 (java) S 4811 4813 2916 0 -1 4202560 2184 0 0 0 562 5 0 0 16 0 19 0 635079842 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 0 0 16800975 18446604454222987648 0 0 -1 5 0 0 0
[pid=4813/tid=4839] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4839/stat : 4839 (java) S 4811 4813 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4841] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4841/stat : 4841 (java) S 4811 4813 2916 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 635079843 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4843] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4843/stat : 4843 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672485809 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4845] ppid=4811 vsize=10544496 CPUtime=0.24 cores=1,3,5,7
/proc/4813/task/4845/stat : 4845 (java) S 4811 4813 2916 0 -1 4202560 1373 0 1 0 24 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
[pid=4813/tid=4847] ppid=4811 vsize=10544496 CPUtime=0.82 cores=1,3,5,7
/proc/4813/task/4847/stat : 4847 (java) S 4811 4813 2916 0 -1 4202560 13271 0 2 0 81 1 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 1 0 0 0
[pid=4813/tid=4849] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4849/stat : 4849 (java) S 4811 4813 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478105 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4851] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4851/stat : 4851 (java) S 4811 4813 2916 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 635079849 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 7 0 0 0
[pid=4813/tid=4852] ppid=4811 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/4813/task/4852/stat : 4852 (java) S 4811 4813 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079860 10797563904 22226 33554432000 1073741824 1073778376 140737166646880 18446744073709551615 268672478720 0 4 0 16800975 18446604454222987648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 641.38
Current children cumulated vsize (KiB) 10544496

Child status: 30
Real time (s): 640.019
CPU time (s): 641.408
CPU user time (s): 641.253
CPU system time (s): 0.154976
CPU usage (%): 100.217
Max. virtual memory (cumulated for all children) (KiB): 10544496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 641.253
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31833
page faults= 45
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22682
involuntary context switches= 16082

runsolver used 0.987849 second user time and 2.51762 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:01:26
IDJOB=3492244
IDBENCH=78706
IDSOLVER=1982
FILE ID=node107/3492244-1307908886
RUNJOBID= node107-1307908886-4789
PBS_JOBID= 13559596
Free space on /var/tmp= 2896 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492244-1307908886/watcher-3492244-1307908886 -o /var/tmp/evaluation-result-3492244-1307908886/solver-3492244-1307908886 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492244-1307908886.wbo

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

MD5SUM BENCH= 9acc4a01e291192ca8cd72bb114b6c35
RANDOM SEED=634520680

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5359.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1183504 kB
Buffers:         58664 kB
Cached:       30719380 kB
SwapCached:      20072 kB
Active:       15620396 kB
Inactive:     15185964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1183504 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             920 kB
Writeback:           0 kB
AnonPages:       26512 kB
Mapped:          11736 kB
Slab:           896244 kB
PageTables:       4800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186484 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node107 at 2011-06-12 22:12:06