Trace number 3454835

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 Res//CP 2.3.0UNSAT 395.766 211.057

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
MD5SUM3135d58f22cd009942de3e1dff086931
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.29635
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 667
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454835-1307187086.opb
0.11/0.11	c reading problem ... 
0.48/0.31	c ... done. Wall clock time 0.207s.
0.48/0.31	c #vars     231
0.48/0.31	c #constraints  2707
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2442
0.48/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 242
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2442
0.48/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
0.48/0.77	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.31/1.08	c cleaning 4246 clauses out of 8502 with flag 11001/11001
4.12/1.46	c cleaning 5623 clauses out of 11255 with flag 18000/18000
4.91/1.88	c cleaning 6816 clauses out of 13633 with flag 26001/26001
6.24/2.47	c cleaning 7902 clauses out of 15818 with flag 35002/35002
7.62/3.12	c cleaning 8954 clauses out of 17915 with flag 45001/45001
8.60/3.71	c cleaning 9475 clauses out of 18960 with flag 55000/55000
9.97/4.36	c cleaning 9733 clauses out of 19487 with flag 65002/65002
11.16/4.99	c cleaning 9869 clauses out of 19753 with flag 75001/75001
12.50/5.67	c cleaning 9937 clauses out of 19884 with flag 85001/85001
13.86/6.33	c cleaning 9969 clauses out of 19949 with flag 95003/95003
15.03/6.99	c cleaning 9986 clauses out of 19980 with flag 105003/105003
16.38/7.66	c cleaning 9991 clauses out of 19992 with flag 115001/115001
17.75/8.33	c cleaning 9998 clauses out of 20001 with flag 125001/125001
18.91/8.92	c cleaning 9986 clauses out of 20002 with flag 135000/135000
20.07/9.50	c cleaning 10003 clauses out of 20016 with flag 145000/145000
21.22/10.10	c cleaning 10000 clauses out of 20014 with flag 155001/155001
22.39/10.78	c cleaning 9999 clauses out of 20014 with flag 165001/165001
23.55/11.41	c cleaning 10006 clauses out of 20015 with flag 175001/175001
24.91/12.01	c cleaning 9995 clauses out of 20008 with flag 185000/185000
26.09/12.62	c cleaning 10003 clauses out of 20013 with flag 195000/195000
27.03/13.17	c cleaning 9997 clauses out of 20010 with flag 205000/205000
28.21/13.77	c cleaning 10001 clauses out of 20016 with flag 215003/215003
29.34/14.36	c cleaning 9998 clauses out of 20012 with flag 225000/225000
30.67/15.01	c cleaning 10002 clauses out of 20014 with flag 235000/235000
31.83/15.60	c cleaning 10001 clauses out of 20013 with flag 245001/245001
32.79/16.18	c cleaning 10002 clauses out of 20014 with flag 255003/255003
33.94/16.78	c cleaning 9998 clauses out of 20011 with flag 265002/265002
35.28/17.42	c cleaning 9999 clauses out of 20011 with flag 275000/275000
36.46/18.03	c cleaning 9995 clauses out of 20012 with flag 285000/285000
37.58/18.68	c cleaning 10004 clauses out of 20017 with flag 295000/295000
38.77/19.27	c cleaning 10003 clauses out of 20013 with flag 305000/305000
39.87/19.87	c cleaning 10001 clauses out of 20010 with flag 315000/315000
41.02/20.49	c cleaning 9996 clauses out of 20009 with flag 325000/325000
42.17/21.07	c cleaning 10005 clauses out of 20013 with flag 335000/335000
43.32/21.68	c cleaning 9998 clauses out of 20008 with flag 345000/345000
44.65/22.31	c cleaning 9997 clauses out of 20010 with flag 355000/355000
45.79/22.93	c cleaning 9997 clauses out of 20014 with flag 365001/365001
46.97/23.54	c cleaning 10001 clauses out of 20017 with flag 375001/375001
47.89/24.09	c cleaning 10003 clauses out of 20015 with flag 385000/385000
49.04/24.71	c cleaning 10005 clauses out of 20014 with flag 395002/395002
50.36/25.32	c cleaning 10000 clauses out of 20008 with flag 405001/405001
51.71/26.00	c cleaning 10001 clauses out of 20008 with flag 415001/415001
52.86/26.67	c cleaning 9999 clauses out of 20009 with flag 425003/425003
53.79/27.18	c cleaning 0 clauses out of 5001 with flag 0/5001
54.30/27.35	c cleaning 9995 clauses out of 20007 with flag 435000/435000
55.65/28.00	c cleaning 10000 clauses out of 20014 with flag 445002/445002
56.92/28.60	c cleaning 9996 clauses out of 20012 with flag 455000/455000
58.24/29.22	c cleaning 10001 clauses out of 20017 with flag 465001/465001
59.39/29.81	c cleaning 10003 clauses out of 20015 with flag 475000/475000
60.53/30.42	c cleaning 9999 clauses out of 20015 with flag 485003/485003
61.68/31.06	c cleaning 10001 clauses out of 20014 with flag 495001/495001
62.80/31.68	c cleaning 10000 clauses out of 20014 with flag 505002/505002
64.19/32.34	c cleaning 9997 clauses out of 20015 with flag 515003/515003
65.11/32.89	c cleaning 10003 clauses out of 20017 with flag 525002/525002
66.28/33.48	c cleaning 9998 clauses out of 20012 with flag 535000/535000
67.57/34.12	c cleaning 10001 clauses out of 20017 with flag 545003/545003
68.55/34.69	c cleaning 9996 clauses out of 20014 with flag 555001/555001
69.85/35.30	c cleaning 10001 clauses out of 20017 with flag 565000/565000
71.00/35.90	c cleaning 10001 clauses out of 20017 with flag 575001/575001
72.11/36.51	c cleaning 10004 clauses out of 20015 with flag 585000/585000
73.25/37.11	c cleaning 10002 clauses out of 20014 with flag 595003/595003
74.39/37.70	c cleaning 10001 clauses out of 20010 with flag 605001/605001
75.54/38.35	c cleaning 9997 clauses out of 20008 with flag 615000/615000
76.88/39.02	c cleaning 10002 clauses out of 20012 with flag 625001/625001
77.79/39.59	c cleaning 10003 clauses out of 20010 with flag 635001/635001
78.96/40.16	c cleaning 9997 clauses out of 20006 with flag 645000/645000
80.26/40.80	c cleaning 9995 clauses out of 20009 with flag 655000/655000
81.37/41.48	c cleaning 10001 clauses out of 20014 with flag 665000/665000
82.71/42.10	c cleaning 9994 clauses out of 20013 with flag 675000/675000
83.85/42.71	c cleaning 10004 clauses out of 20020 with flag 685001/685001
84.78/43.29	c cleaning 10002 clauses out of 20015 with flag 695000/695000
86.09/43.90	c cleaning 10002 clauses out of 20015 with flag 705002/705002
87.05/44.48	c cleaning 10001 clauses out of 20011 with flag 715000/715000
88.36/45.12	c cleaning 9999 clauses out of 20010 with flag 725000/725000
89.49/45.73	c cleaning 10003 clauses out of 20013 with flag 735002/735002
90.60/46.39	c cleaning 9993 clauses out of 20008 with flag 745000/745000
91.94/47.04	c cleaning 10001 clauses out of 20015 with flag 755000/755000
93.07/47.66	c cleaning 10003 clauses out of 20017 with flag 765003/765003
94.20/48.25	c cleaning 10001 clauses out of 20012 with flag 775001/775001
95.34/48.90	c cleaning 10000 clauses out of 20010 with flag 785000/785000
96.45/49.47	c cleaning 9998 clauses out of 20010 with flag 795000/795000
97.62/50.08	c cleaning 10002 clauses out of 20012 with flag 805000/805000
98.72/50.69	c cleaning 9996 clauses out of 20010 with flag 815000/815000
99.83/51.29	c cleaning 10001 clauses out of 20016 with flag 825002/825002
101.17/51.91	c cleaning 10001 clauses out of 20014 with flag 835001/835001
102.30/52.54	c cleaning 10002 clauses out of 20014 with flag 845002/845002
103.43/53.15	c cleaning 10001 clauses out of 20013 with flag 855003/855003
104.54/53.76	c cleaning 9995 clauses out of 20010 with flag 865001/865001
105.70/54.39	c cleaning 9998 clauses out of 20014 with flag 875000/875000
106.80/54.99	c cleaning 10003 clauses out of 20016 with flag 885000/885000
108.13/55.61	c cleaning 10003 clauses out of 20013 with flag 895000/895000
109.24/56.25	c cleaning 9997 clauses out of 20010 with flag 905000/905000
110.37/56.87	c cleaning 10005 clauses out of 20016 with flag 915003/915003
111.70/57.51	c cleaning 9997 clauses out of 20008 with flag 925000/925000
112.83/58.11	c cleaning 9998 clauses out of 20012 with flag 935001/935001
113.96/58.76	c cleaning 10003 clauses out of 20014 with flag 945001/945001
115.06/59.38	c cleaning 9988 clauses out of 20010 with flag 955000/955000
116.39/60.01	c cleaning 10004 clauses out of 20023 with flag 965001/965001
117.52/60.63	c cleaning 10001 clauses out of 20020 with flag 975002/975002
118.81/61.30	c cleaning 10003 clauses out of 20017 with flag 985000/985000
119.94/61.91	c cleaning 10004 clauses out of 20015 with flag 995001/995001
121.07/62.52	c cleaning 10001 clauses out of 20011 with flag 1005001/1005001
122.23/63.15	c cleaning 10001 clauses out of 20010 with flag 1015001/1015001
123.49/63.83	c cleaning 9998 clauses out of 20009 with flag 1025001/1025001
124.63/64.47	c cleaning 10004 clauses out of 20010 with flag 1035000/1035000
125.75/65.09	c cleaning 9999 clauses out of 20007 with flag 1045001/1045001
127.09/65.71	c cleaning 10002 clauses out of 20007 with flag 1055000/1055000
128.18/66.38	c cleaning 10002 clauses out of 20007 with flag 1065002/1065002
129.51/67.04	c cleaning 9997 clauses out of 20006 with flag 1075003/1075003
130.67/67.63	c cleaning 9998 clauses out of 20006 with flag 1085000/1085000
131.76/68.25	c cleaning 9997 clauses out of 20009 with flag 1095001/1095001
133.06/68.91	c cleaning 10001 clauses out of 20015 with flag 1105004/1105004
134.18/69.55	c cleaning 10002 clauses out of 20010 with flag 1115000/1115000
135.31/70.14	c cleaning 9996 clauses out of 20008 with flag 1125000/1125000
136.43/70.74	c cleaning 10004 clauses out of 20013 with flag 1135001/1135001
137.73/71.41	c cleaning 9998 clauses out of 20008 with flag 1145000/1145000
138.88/72.06	c cleaning 9998 clauses out of 20010 with flag 1155000/1155000
139.97/72.66	c cleaning 10001 clauses out of 20013 with flag 1165001/1165001
141.10/73.27	c cleaning 10002 clauses out of 20012 with flag 1175001/1175001
142.39/73.94	c cleaning 10000 clauses out of 20010 with flag 1185001/1185001
143.51/74.55	c cleaning 10000 clauses out of 20010 with flag 1195001/1195001
144.64/75.21	c cleaning 10000 clauses out of 20010 with flag 1205001/1205001
145.96/75.83	c cleaning 10000 clauses out of 20010 with flag 1215001/1215001
147.26/76.53	c cleaning 9999 clauses out of 20012 with flag 1225003/1225003
148.59/77.20	c cleaning 9998 clauses out of 20010 with flag 1235000/1235000
149.71/77.87	c cleaning 10003 clauses out of 20015 with flag 1245003/1245003
151.07/78.52	c cleaning 9998 clauses out of 20010 with flag 1255001/1255001
152.12/79.18	c cleaning 10001 clauses out of 20011 with flag 1265000/1265000
153.45/79.81	c cleaning 9997 clauses out of 20010 with flag 1275000/1275000
154.57/80.47	c cleaning 10003 clauses out of 20015 with flag 1285002/1285002
155.89/81.12	c cleaning 10003 clauses out of 20013 with flag 1295003/1295003
156.98/81.80	c cleaning 9990 clauses out of 20007 with flag 1305000/1305000
158.29/82.50	c cleaning 10004 clauses out of 20019 with flag 1315002/1315002
159.82/83.23	c cleaning 10001 clauses out of 20013 with flag 1325000/1325000
161.13/83.91	c cleaning 9998 clauses out of 20012 with flag 1335000/1335000
162.22/84.59	c cleaning 10006 clauses out of 20017 with flag 1345003/1345003
163.58/85.24	c cleaning 10002 clauses out of 20009 with flag 1355001/1355001
164.86/85.90	c cleaning 10002 clauses out of 20009 with flag 1365003/1365003
165.99/86.54	c cleaning 9996 clauses out of 20005 with flag 1375001/1375001
167.27/87.20	c cleaning 9994 clauses out of 20008 with flag 1385000/1385000
168.39/87.87	c cleaning 9999 clauses out of 20017 with flag 1395003/1395003
169.54/88.49	c cleaning 10002 clauses out of 20015 with flag 1405000/1405000
170.83/89.13	c cleaning 10002 clauses out of 20017 with flag 1415004/1415004
171.91/89.75	c cleaning 10002 clauses out of 20013 with flag 1425002/1425002
173.04/90.35	c cleaning 9999 clauses out of 20009 with flag 1435000/1435000
174.15/90.94	c cleaning 9997 clauses out of 20011 with flag 1445001/1445001
175.07/91.49	c cleaning 10002 clauses out of 20015 with flag 1455002/1455002
176.36/92.15	c cleaning 10000 clauses out of 20011 with flag 1465000/1465000
177.71/92.81	c cleaning 9996 clauses out of 20012 with flag 1475001/1475001
178.79/93.45	c cleaning 10003 clauses out of 20015 with flag 1485000/1485000
179.94/94.09	c cleaning 10002 clauses out of 20013 with flag 1495001/1495001
181.20/94.75	c cleaning 9999 clauses out of 20010 with flag 1505000/1505000
182.32/95.36	c cleaning 10004 clauses out of 20013 with flag 1515002/1515002
183.44/95.97	c cleaning 9999 clauses out of 20007 with flag 1525000/1525000
184.55/96.58	c cleaning 10001 clauses out of 20011 with flag 1535003/1535003
185.86/97.25	c cleaning 9998 clauses out of 20007 with flag 1545000/1545000
186.95/97.88	c cleaning 9999 clauses out of 20009 with flag 1555000/1555000
188.27/98.50	c cleaning 10002 clauses out of 20012 with flag 1565002/1565002
189.39/99.15	c cleaning 9997 clauses out of 20009 with flag 1575001/1575001
190.67/99.89	c cleaning 9998 clauses out of 20013 with flag 1585002/1585002
192.01/100.55	c cleaning 9999 clauses out of 20016 with flag 1595003/1595003
193.30/101.22	c cleaning 9998 clauses out of 20014 with flag 1605000/1605000
194.42/101.86	c cleaning 10003 clauses out of 20017 with flag 1615001/1615001
195.70/102.55	c cleaning 9998 clauses out of 20014 with flag 1625001/1625001
196.82/103.19	c cleaning 9998 clauses out of 20015 with flag 1635000/1635000
197.93/103.81	c cleaning 10003 clauses out of 20018 with flag 1645001/1645001
199.25/104.42	c cleaning 10003 clauses out of 20016 with flag 1655002/1655002
200.53/105.11	c cleaning 9995 clauses out of 20013 with flag 1665002/1665002
201.65/105.75	c cleaning 9999 clauses out of 20016 with flag 1675000/1675000
202.76/106.37	c cleaning 10002 clauses out of 20019 with flag 1685002/1685002
203.88/107.00	c cleaning 10003 clauses out of 20016 with flag 1695001/1695001
205.36/107.72	c cleaning 9997 clauses out of 20012 with flag 1705000/1705000
206.51/108.39	c cleaning 10006 clauses out of 20017 with flag 1715002/1715002
207.80/109.01	c cleaning 9998 clauses out of 20010 with flag 1725001/1725001
208.91/109.65	c cleaning 9997 clauses out of 20012 with flag 1735001/1735001
210.19/110.34	c cleaning 10002 clauses out of 20014 with flag 1745000/1745000
211.31/110.98	c cleaning 9999 clauses out of 20015 with flag 1755003/1755003
212.65/111.64	c cleaning 9999 clauses out of 20014 with flag 1765001/1765001
213.74/112.22	c cleaning 9999 clauses out of 20017 with flag 1775003/1775003
214.81/112.85	c cleaning 10002 clauses out of 20017 with flag 1785002/1785002
216.13/113.50	c cleaning 9994 clauses out of 20013 with flag 1795000/1795000
217.24/114.14	c cleaning 10006 clauses out of 20020 with flag 1805001/1805001
218.37/114.76	c cleaning 10001 clauses out of 20014 with flag 1815001/1815001
219.45/115.39	c cleaning 10000 clauses out of 20012 with flag 1825000/1825000
220.79/116.06	c cleaning 9994 clauses out of 20012 with flag 1835000/1835000
222.07/116.73	c cleaning 10003 clauses out of 20019 with flag 1845001/1845001
223.19/117.35	c cleaning 10007 clauses out of 20020 with flag 1855005/1855005
224.47/118.00	c cleaning 9998 clauses out of 20009 with flag 1865001/1865001
225.59/118.67	c cleaning 9999 clauses out of 20011 with flag 1875001/1875001
226.94/119.38	c cleaning 9997 clauses out of 20011 with flag 1885000/1885000
228.42/120.14	c cleaning 9999 clauses out of 20015 with flag 1895001/1895001
229.69/120.83	c cleaning 10001 clauses out of 20015 with flag 1905000/1905000
231.04/121.51	c cleaning 9998 clauses out of 20015 with flag 1915001/1915001
232.11/122.15	c cleaning 9996 clauses out of 20016 with flag 1925000/1925000
233.22/122.79	c cleaning 10006 clauses out of 20020 with flag 1935000/1935000
234.70/123.50	c cleaning 10001 clauses out of 20014 with flag 1945000/1945000
235.81/124.14	c cleaning 9996 clauses out of 20013 with flag 1955000/1955000
237.15/124.82	c cleaning 10004 clauses out of 20018 with flag 1965001/1965001
238.23/125.44	c cleaning 9998 clauses out of 20013 with flag 1975000/1975000
239.51/126.13	c cleaning 10001 clauses out of 20017 with flag 1985002/1985002
240.62/126.79	c cleaning 10007 clauses out of 20019 with flag 1995005/1995005
241.93/127.47	c cleaning 9995 clauses out of 20007 with flag 2005000/2005000
243.07/128.11	c cleaning 10004 clauses out of 20015 with flag 2015003/2015003
244.51/128.88	c cleaning 9998 clauses out of 20009 with flag 2025001/2025001
245.83/129.56	c cleaning 10000 clauses out of 20011 with flag 2035001/2035001
247.16/130.23	c cleaning 9996 clauses out of 20010 with flag 2045000/2045000
248.24/130.86	c cleaning 10007 clauses out of 20016 with flag 2055002/2055002
249.51/131.53	c cleaning 9999 clauses out of 20010 with flag 2065003/2065003
250.62/132.15	c cleaning 9999 clauses out of 20008 with flag 2075000/2075000
251.93/132.80	c cleaning 9998 clauses out of 20010 with flag 2085001/2085001
253.05/133.45	c cleaning 9994 clauses out of 20011 with flag 2095000/2095000
254.33/134.11	c cleaning 10000 clauses out of 20017 with flag 2105000/2105000
255.47/134.79	c cleaning 10003 clauses out of 20019 with flag 2115002/2115002
256.74/135.43	c cleaning 10000 clauses out of 20014 with flag 2125000/2125000
257.85/136.09	c cleaning 10005 clauses out of 20016 with flag 2135002/2135002
259.12/136.75	c cleaning 9999 clauses out of 20011 with flag 2145002/2145002
260.23/137.37	c cleaning 9999 clauses out of 20011 with flag 2155001/2155001
261.57/138.02	c cleaning 9991 clauses out of 20013 with flag 2165002/2165002
262.64/138.66	c cleaning 10000 clauses out of 20022 with flag 2175002/2175002
263.91/139.38	c cleaning 10006 clauses out of 20021 with flag 2185001/2185001
265.22/140.06	c cleaning 9999 clauses out of 20015 with flag 2195001/2195001
266.52/140.73	c cleaning 10002 clauses out of 20016 with flag 2205001/2205001
267.83/141.41	c cleaning 10001 clauses out of 20013 with flag 2215000/2215000
269.09/142.14	c cleaning 10005 clauses out of 20015 with flag 2225003/2225003
270.40/142.86	c cleaning 9998 clauses out of 20008 with flag 2235001/2235001
271.74/143.55	c cleaning 10000 clauses out of 20009 with flag 2245000/2245000
273.02/144.24	c cleaning 10000 clauses out of 20009 with flag 2255000/2255000
274.28/144.98	c cleaning 9998 clauses out of 20011 with flag 2265002/2265002
275.62/145.68	c cleaning 10000 clauses out of 20014 with flag 2275003/2275003
276.89/146.33	c cleaning 10003 clauses out of 20013 with flag 2285002/2285002
278.20/147.01	c cleaning 9990 clauses out of 20008 with flag 2295000/2295000
279.46/147.80	c cleaning 10005 clauses out of 20019 with flag 2305001/2305001
280.96/148.50	c cleaning 10004 clauses out of 20014 with flag 2315001/2315001
282.07/149.16	c cleaning 9999 clauses out of 20010 with flag 2325001/2325001
283.38/149.85	c cleaning 9999 clauses out of 20011 with flag 2335001/2335001
284.64/150.58	c cleaning 10002 clauses out of 20011 with flag 2345000/2345000
285.98/151.28	c cleaning 9998 clauses out of 20010 with flag 2355001/2355001
287.25/151.96	c cleaning 9998 clauses out of 20011 with flag 2365000/2365000
288.55/152.64	c cleaning 10000 clauses out of 20015 with flag 2375002/2375002
289.85/153.35	c cleaning 10000 clauses out of 20014 with flag 2385001/2385001
291.12/154.03	c cleaning 10003 clauses out of 20013 with flag 2395000/2395000
292.43/154.74	c cleaning 9997 clauses out of 20012 with flag 2405002/2405002
293.74/155.43	c cleaning 10000 clauses out of 20013 with flag 2415000/2415000
295.20/156.20	c cleaning 9994 clauses out of 20013 with flag 2425000/2425000
296.50/156.93	c cleaning 10005 clauses out of 20019 with flag 2435000/2435000
297.61/157.59	c cleaning 10002 clauses out of 20015 with flag 2445001/2445001
298.91/158.25	c cleaning 9999 clauses out of 20013 with flag 2455001/2455001
300.21/158.92	c cleaning 10004 clauses out of 20016 with flag 2465003/2465003
301.28/159.59	c cleaning 10000 clauses out of 20009 with flag 2475000/2475000
302.58/160.22	c cleaning 9999 clauses out of 20010 with flag 2485001/2485001
303.89/160.91	c cleaning 9999 clauses out of 20014 with flag 2495004/2495004
305.15/161.65	c cleaning 9997 clauses out of 20012 with flag 2505001/2505001
306.66/162.40	c cleaning 9997 clauses out of 20014 with flag 2515000/2515000
307.76/163.09	c cleaning 10005 clauses out of 20019 with flag 2525002/2525002
309.06/163.76	c cleaning 10000 clauses out of 20014 with flag 2535002/2535002
310.52/164.56	c cleaning 10000 clauses out of 20012 with flag 2545000/2545000
311.82/165.24	c cleaning 9998 clauses out of 20012 with flag 2555000/2555000
313.12/165.92	c cleaning 9996 clauses out of 20014 with flag 2565000/2565000
314.46/166.62	c cleaning 10002 clauses out of 20018 with flag 2575000/2575000
315.88/167.41	c cleaning 10004 clauses out of 20017 with flag 2585001/2585001
317.18/168.10	c cleaning 9995 clauses out of 20012 with flag 2595000/2595000
318.68/168.92	c cleaning 10006 clauses out of 20019 with flag 2605002/2605002
319.99/169.68	c cleaning 9995 clauses out of 20011 with flag 2615000/2615000
321.64/170.57	c cleaning 9989 clauses out of 20016 with flag 2625000/2625000
322.95/171.27	c cleaning 10007 clauses out of 20029 with flag 2635002/2635002
324.25/171.92	c cleaning 10003 clauses out of 20020 with flag 2645000/2645000
325.35/172.57	c cleaning 10003 clauses out of 20017 with flag 2655000/2655000
326.65/173.28	c cleaning 10002 clauses out of 20017 with flag 2665003/2665003
327.91/173.99	c cleaning 9996 clauses out of 20013 with flag 2675001/2675001
329.22/174.67	c cleaning 10001 clauses out of 20016 with flag 2685000/2685000
330.55/175.33	c cleaning 10001 clauses out of 20019 with flag 2695004/2695004
331.78/176.01	c cleaning 10001 clauses out of 20014 with flag 2705000/2705000
332.88/176.64	c cleaning 10000 clauses out of 20013 with flag 2715000/2715000
334.19/177.32	c cleaning 9994 clauses out of 20013 with flag 2725000/2725000
335.49/178.00	c cleaning 10006 clauses out of 20021 with flag 2735002/2735002
336.58/178.68	c cleaning 10001 clauses out of 20014 with flag 2745001/2745001
337.85/179.32	c cleaning 9998 clauses out of 20012 with flag 2755000/2755000
338.95/179.97	c cleaning 10001 clauses out of 20014 with flag 2765000/2765000
340.25/180.66	c cleaning 10004 clauses out of 20013 with flag 2775000/2775000
341.52/181.36	c cleaning 10001 clauses out of 20012 with flag 2785003/2785003
342.65/182.00	c cleaning 9996 clauses out of 20009 with flag 2795001/2795001
344.12/182.70	c cleaning 10000 clauses out of 20012 with flag 2805000/2805000
345.21/183.36	c cleaning 10001 clauses out of 20012 with flag 2815000/2815000
346.47/184.07	c cleaning 10000 clauses out of 20011 with flag 2825000/2825000
347.77/184.74	c cleaning 9997 clauses out of 20011 with flag 2835000/2835000
349.07/185.43	c cleaning 10000 clauses out of 20015 with flag 2845001/2845001
350.37/186.17	c cleaning 10003 clauses out of 20017 with flag 2855003/2855003
351.83/186.91	c cleaning 10000 clauses out of 20011 with flag 2865000/2865000
353.14/187.68	c cleaning 10004 clauses out of 20011 with flag 2875000/2875000
354.43/188.36	c cleaning 9990 clauses out of 20007 with flag 2885000/2885000
355.73/189.07	c cleaning 10003 clauses out of 20017 with flag 2895000/2895000
356.01/189.27	c cleaning 0 clauses out of 11000 with flag 0/11000
357.28/189.94	c cleaning 9999 clauses out of 20015 with flag 2905001/2905001
358.58/190.61	c cleaning 9985 clauses out of 20017 with flag 2915002/2915002
359.89/191.34	c cleaning 10007 clauses out of 20030 with flag 2925000/2925000
361.14/192.08	c cleaning 10004 clauses out of 20023 with flag 2935000/2935000
362.63/192.83	c cleaning 10000 clauses out of 20020 with flag 2945001/2945001
364.14/193.60	c cleaning 10000 clauses out of 20021 with flag 2955002/2955002
365.44/194.38	c cleaning 10004 clauses out of 20021 with flag 2965002/2965002
367.12/195.23	c cleaning 9994 clauses out of 20015 with flag 2975000/2975000
368.58/196.02	c cleaning 10000 clauses out of 20022 with flag 2985001/2985001
369.88/196.75	c cleaning 10005 clauses out of 20022 with flag 2995001/2995001
371.21/197.47	c cleaning 10003 clauses out of 20016 with flag 3005000/3005000
372.64/198.20	c cleaning 10005 clauses out of 20013 with flag 3015000/3015000
373.73/198.85	c cleaning 9996 clauses out of 20008 with flag 3025000/3025000
374.83/199.49	c cleaning 10004 clauses out of 20013 with flag 3035001/3035001
376.32/200.24	c cleaning 9999 clauses out of 20010 with flag 3045002/3045002
377.57/200.94	c cleaning 9997 clauses out of 20011 with flag 3055002/3055002
378.87/201.66	c cleaning 9993 clauses out of 20012 with flag 3065000/3065000
380.16/202.37	c cleaning 10007 clauses out of 20019 with flag 3075000/3075000
381.46/203.09	c cleaning 9997 clauses out of 20012 with flag 3085000/3085000
382.90/203.89	c cleaning 10005 clauses out of 20017 with flag 3095002/3095002
384.20/204.60	c cleaning 10000 clauses out of 20011 with flag 3105001/3105001
385.49/205.26	c cleaning 10001 clauses out of 20011 with flag 3115001/3115001
386.78/205.94	c cleaning 10001 clauses out of 20009 with flag 3125000/3125000
388.02/206.69	c cleaning 9995 clauses out of 20008 with flag 3135000/3135000
389.37/207.38	c cleaning 10002 clauses out of 20015 with flag 3145002/3145002
390.86/208.13	c cleaning 10000 clauses out of 20011 with flag 3155000/3155000
392.15/208.84	c cleaning 9997 clauses out of 20012 with flag 3165001/3165001
393.42/209.58	c cleaning 10004 clauses out of 20016 with flag 3175002/3175002
394.88/210.35	c cleaning 10000 clauses out of 20010 with flag 3185001/3185001
395.58/210.73	c  And the winner is Resolution
395.72/211.02	c starts		: 248
395.72/211.02	c conflicts		: 3189611
395.72/211.02	c decisions		: 4816045
395.72/211.02	c propagations		: 155528352
395.72/211.02	c inspects		: 1689079704
395.72/211.02	c shortcuts		: 0
395.72/211.02	c learnt literals	: 5
395.72/211.02	c learnt binary clauses	: 18
395.72/211.02	c learnt ternary clauses	: 693
395.72/211.02	c learnt constraints	: 3189605
395.72/211.02	c ignored constraints	: 0
395.72/211.02	c root simplifications	: 0
395.72/211.02	c removed literals (reason simplification)	: 16099937
395.72/211.02	c reason swapping (by a shorter reason)	: 0
395.72/211.02	c Calls to reduceDB	: 320
395.72/211.02	c number of reductions to clauses (during analyze)	: 0
395.72/211.02	c number of learned constraints concerned by reduction	: 0
395.72/211.02	c number of learning phase by resolution	: 0
395.72/211.02	c number of learning phase by cutting planes	: 0
395.72/211.02	c speed (assignments/second)	: 738143.6910897855
395.72/211.02	c non guided choices	126
395.72/211.03	c learnt constraints type 
395.72/211.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 18
395.72/211.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14597
395.72/211.03	c constraints type 
395.72/211.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2442
395.72/211.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
395.72/211.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
395.72/211.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
395.72/211.03	c constraints type 
395.72/211.03	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 242
395.72/211.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2442
395.72/211.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
395.72/211.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
395.72/211.03	s UNSATISFIABLE
395.72/211.03	c Total wall clock time (in seconds): 210.922

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454835-1307187086/watcher-3454835-1307187086 -o /tmp/evaluation-result-3454835-1307187086/solver-3454835-1307187086 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454835-1307187086.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.12 1.49 3/478 24005
/proc/meminfo: memFree=28588904/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 6480 0 1 0 0 0 0 0 25 0 2 0 830306616 10694979584 6183 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2611079 6197 917 9 0 2602235 0
[pid=24005/tid=24006] ppid=24003 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) R 24003 24005 21158 0 -1 4202560 6227 0 1 0 0 0 0 0 25 0 2 0 830306616 10694979584 7043 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.069592 s]
/proc/loadavg: 1.00 1.12 1.49 3/478 24005
/proc/meminfo: memFree=28588904/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 11875 0 1 0 5 1 0 0 25 0 18 0 830306616 10724442112 11573 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2618272 11573 1754 9 0 2609006 0
[pid=24005/tid=24006] ppid=24003 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) R 24003 24005 21158 0 -1 4202560 10701 0 1 0 5 1 0 0 25 0 18 0 830306616 10724442112 11573 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 47241757553857 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100538 s]
/proc/loadavg: 1.00 1.12 1.49 3/478 24005
/proc/meminfo: memFree=28588904/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10539888 CPUtime=0.11 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 13128 0 1 0 9 2 0 0 25 0 18 0 830306616 10792845312 12795 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2634972 12796 2093 9 0 2625706 0
[pid=24005/tid=24006] ppid=24003 vsize=10539888 CPUtime=0.08 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) R 24003 24005 21158 0 -1 4202560 11198 0 1 0 7 1 0 0 18 0 18 0 830306616 10792845312 12796 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 47241759732789 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539888

[startup+0.300503 s]
/proc/loadavg: 1.00 1.12 1.49 3/478 24005
/proc/meminfo: memFree=28588904/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10540888 CPUtime=0.48 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 16002 0 1 0 45 3 0 0 25 0 18 0 830306616 10793869312 15154 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2635222 15155 2199 9 0 2625956 0
[pid=24005/tid=24006] ppid=24003 vsize=10540888 CPUtime=0.29 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) R 24003 24005 21158 0 -1 4202560 13027 0 1 0 27 2 0 0 18 0 18 0 830306616 10793869312 15155 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540888

[startup+1.08211 s]
/proc/loadavg: 1.00 1.12 1.49 3/478 24005
/proc/meminfo: memFree=28588904/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10556232 CPUtime=3.47 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 57919 0 1 0 339 8 0 0 25 0 22 0 830306616 10809581568 47918 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2639058 47918 2257 9 0 2629792 0
[pid=24005/tid=24006] ppid=24003 vsize=10556232 CPUtime=0.3 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) S 24003 24005 21158 0 -1 4202560 13402 0 1 0 28 2 0 0 15 0 22 0 830306616 10809581568 47918 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10556232

[startup+1.50032 s]
/proc/loadavg: 1.56 1.23 1.53 5/504 24031
/proc/meminfo: memFree=28127228/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10556232 CPUtime=4.34 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 73981 0 1 0 424 10 0 0 25 0 22 0 830306616 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2639058 63978 2257 9 0 2629792 0
[pid=24005/tid=24006] ppid=24003 vsize=10556232 CPUtime=0.3 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) S 24003 24005 21158 0 -1 4202560 13402 0 1 0 28 2 0 0 15 0 22 0 830306616 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24008] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24008/stat : 24008 (java) S 24003 24005 21158 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24009] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24009/stat : 24009 (java) S 24003 24005 21158 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24010] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24010/stat : 24010 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24011] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24011/stat : 24011 (java) S 24003 24005 21158 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24012] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24012/stat : 24012 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24013] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24013/stat : 24013 (java) S 24003 24005 21158 0 -1 4202560 105 0 0 0 0 0 0 0 16 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24014] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24014/stat : 24014 (java) S 24003 24005 21158 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24015] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24015/stat : 24015 (java) S 24003 24005 21158 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24016] ppid=24003 vsize=10556232 CPUtime=0.05 cores=0,2,4,6
/proc/24005/task/24016/stat : 24016 (java) S 24003 24005 21158 0 -1 4202560 1274 0 0 0 5 0 0 0 16 0 22 0 830306619 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 0 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24017] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24017/stat : 24017 (java) S 24003 24005 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830306619 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24018] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24018/stat : 24018 (java) S 24003 24005 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830306619 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24019] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24019/stat : 24019 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134537649 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24020] ppid=24003 vsize=10556232 CPUtime=0.86 cores=0,2,4,6
/proc/24005/task/24020/stat : 24020 (java) S 24003 24005 21158 0 -1 4202560 7301 0 0 0 86 0 0 0 15 0 22 0 830306622 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24021] ppid=24003 vsize=10556232 CPUtime=0.85 cores=0,2,4,6
/proc/24005/task/24021/stat : 24021 (java) S 24003 24005 21158 0 -1 4202560 9355 0 0 0 84 1 0 0 16 0 22 0 830306622 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24022] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24022/stat : 24022 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24023] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24023/stat : 24023 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830306622 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24028] ppid=24003 vsize=10556232 CPUtime=1.13 cores=0,2,4,6
/proc/24005/task/24028/stat : 24028 (java) R 24003 24005 21158 0 -1 4202560 356 0 0 0 113 0 0 0 20 0 22 0 830306648 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505639243 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24005/tid=24029] ppid=24003 vsize=10556232 CPUtime=1.09 cores=0,2,4,6
/proc/24005/task/24029/stat : 24029 (java) R 24003 24005 21158 0 -1 4202560 40045 0 0 0 104 5 0 0 23 0 22 0 830306648 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505814522 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24005/tid=24030] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24030/stat : 24030 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830306648 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24031] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24031/stat : 24031 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830306648 10809581568 63978 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10556232

[startup+3.10104 s]
/proc/loadavg: 1.56 1.23 1.53 5/504 24031
/proc/meminfo: memFree=27917320/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10556232 CPUtime=7.62 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 103368 0 1 0 748 14 0 0 25 0 22 0 830306616 10809581568 93363 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2639058 93371 2258 9 0 2629792 0
[pid=24005/tid=24006] ppid=24003 vsize=10556232 CPUtime=0.3 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) S 24003 24005 21158 0 -1 4202560 13402 0 1 0 28 2 0 0 15 0 22 0 830306616 10809581568 93375 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24008] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24008/stat : 24008 (java) S 24003 24005 21158 0 -1 4202560 278 0 0 0 0 0 0 0 16 0 22 0 830306618 10809581568 93379 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24009] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24009/stat : 24009 (java) S 24003 24005 21158 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 93384 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24010] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24010/stat : 24010 (java) S 24003 24005 21158 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 93388 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24011] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24011/stat : 24011 (java) S 24003 24005 21158 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 22 0 830306618 10809581568 93392 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24012] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24012/stat : 24012 (java) S 24003 24005 21158 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 93396 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24013] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24013/stat : 24013 (java) S 24003 24005 21158 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 93399 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24014] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24014/stat : 24014 (java) S 24003 24005 21158 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 93403 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24015] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24015/stat : 24015 (java) S 24003 24005 21158 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 93406 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24016] ppid=24003 vsize=10556232 CPUtime=0.1 cores=0,2,4,6
/proc/24005/task/24016/stat : 24016 (java) S 24003 24005 21158 0 -1 4202560 1959 0 0 0 10 0 0 0 16 0 22 0 830306619 10809581568 93409 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 0 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24017] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24017/stat : 24017 (java) S 24003 24005 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830306619 10809581568 93412 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24018] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24018/stat : 24018 (java) S 24003 24005 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830306619 10809581568 93414 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24019] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24019/stat : 24019 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10809581568 93416 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134537649 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24020] ppid=24003 vsize=10556232 CPUtime=0.93 cores=0,2,4,6
/proc/24005/task/24020/stat : 24020 (java) S 24003 24005 21158 0 -1 4202560 7306 0 0 0 93 0 0 0 15 0 22 0 830306622 10809581568 93418 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24021] ppid=24003 vsize=10556232 CPUtime=0.93 cores=0,2,4,6
/proc/24005/task/24021/stat : 24021 (java) S 24003 24005 21158 0 -1 4202560 9368 0 0 0 92 1 0 0 15 0 22 0 830306622 10809581568 93419 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24022] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24022/stat : 24022 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10809581568 93421 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24023] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24023/stat : 24023 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830306622 10809581568 93423 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24028] ppid=24003 vsize=10556232 CPUtime=2.65 cores=0,2,4,6
/proc/24005/task/24028/stat : 24028 (java) R 24003 24005 21158 0 -1 4202560 503 0 0 0 265 0 0 0 23 0 22 0 830306648 10809581568 93424 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505634879 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24005/tid=24029] ppid=24003 vsize=10556232 CPUtime=2.61 cores=0,2,4,6
/proc/24005/task/24029/stat : 24029 (java) R 24003 24005 21158 0 -1 4202560 68300 0 0 0 253 8 0 0 25 0 22 0 830306648 10809581568 93426 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505750011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24005/tid=24030] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24030/stat : 24030 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830306648 10809581568 93427 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24031] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24031/stat : 24031 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830306648 10809581568 93427 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 10556232

[startup+6.30146 s]
/proc/loadavg: 1.76 1.28 1.54 5/504 24031
/proc/meminfo: memFree=27769652/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10556232 CPUtime=13.86 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 112820 0 1 0 1372 14 0 0 25 0 22 0 830306616 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2639058 102762 2258 9 0 2629792 0
[pid=24005/tid=24006] ppid=24003 vsize=10556232 CPUtime=0.3 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) S 24003 24005 21158 0 -1 4202560 13402 0 1 0 28 2 0 0 15 0 22 0 830306616 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24008] ppid=24003 vsize=10556232 CPUtime=0.01 cores=0,2,4,6
/proc/24005/task/24008/stat : 24008 (java) S 24003 24005 21158 0 -1 4202560 279 0 0 0 1 0 0 0 15 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24009] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24009/stat : 24009 (java) S 24003 24005 21158 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24010] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24010/stat : 24010 (java) S 24003 24005 21158 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24011] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24011/stat : 24011 (java) S 24003 24005 21158 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24012] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24012/stat : 24012 (java) S 24003 24005 21158 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24013] ppid=24003 vsize=10556232 CPUtime=0.01 cores=0,2,4,6
/proc/24005/task/24013/stat : 24013 (java) S 24003 24005 21158 0 -1 4202560 142 0 0 0 1 0 0 0 16 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24014] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24014/stat : 24014 (java) S 24003 24005 21158 0 -1 4202560 455 0 0 0 0 0 0 0 16 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24015] ppid=24003 vsize=10556232 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24015/stat : 24015 (java) S 24003 24005 21158 0 -1 4202560 278 0 0 0 0 0 0 0 15 0 22 0 830306618 10809581568 102762 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0

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

/proc/24005/task/24014/stat : 24014 (java) S 24003 24005 21158 0 -1 4202560 520 0 0 0 46 0 0 0 15 0 22 0 830306618 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24015] ppid=24003 vsize=10552620 CPUtime=0.45 cores=0,2,4,6
/proc/24005/task/24015/stat : 24015 (java) S 24003 24005 21158 0 -1 4202560 338 0 0 0 45 0 0 0 15 0 22 0 830306618 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24016] ppid=24003 vsize=10552620 CPUtime=28.45 cores=0,2,4,6
/proc/24005/task/24016/stat : 24016 (java) S 24003 24005 21158 0 -1 4202560 14161 0 0 0 2839 6 0 0 16 0 22 0 830306619 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 0 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24017] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24017/stat : 24017 (java) S 24003 24005 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830306619 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24018] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24018/stat : 24018 (java) S 24003 24005 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830306619 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24019] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24019/stat : 24019 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134537649 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24020] ppid=24003 vsize=10552620 CPUtime=1.48 cores=0,2,4,6
/proc/24005/task/24020/stat : 24020 (java) S 24003 24005 21158 0 -1 4202560 10178 0 0 0 147 1 0 0 15 0 22 0 830306622 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24021] ppid=24003 vsize=10552620 CPUtime=1.04 cores=0,2,4,6
/proc/24005/task/24021/stat : 24021 (java) S 24003 24005 21158 0 -1 4202560 9387 0 0 0 103 1 0 0 15 0 22 0 830306622 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24022] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24022/stat : 24022 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24023] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24023/stat : 24023 (java) S 24003 24005 21158 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830306622 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24028] ppid=24003 vsize=10552620 CPUtime=178.12 cores=0,2,4,6
/proc/24005/task/24028/stat : 24028 (java) R 24003 24005 21158 0 -1 4202560 620 0 0 0 17811 1 0 0 16 0 22 0 830306648 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505694496 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24005/tid=24029] ppid=24003 vsize=10552620 CPUtime=178.06 cores=0,2,4,6
/proc/24005/task/24029/stat : 24029 (java) R 24003 24005 21158 0 -1 4202560 88965 0 0 0 17794 12 0 0 16 0 22 0 830306648 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505860205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24005/tid=24030] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24030/stat : 24030 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830306648 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24031] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24031/stat : 24031 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830306648 10805882880 125740 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 391.38
Current children cumulated vsize (KiB) 10552620

[startup+210.002 s]
/proc/loadavg: 3.48 2.44 1.95 5/504 24037
/proc/meminfo: memFree=27602192/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10552620 CPUtime=394.28 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 139886 0 1 0 39401 27 0 0 25 0 22 0 830306616 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2638155 125743 2260 9 0 2628889 0
[pid=24005/tid=24006] ppid=24003 vsize=10552620 CPUtime=0.31 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) S 24003 24005 21158 0 -1 4202560 13455 0 1 0 29 2 0 0 15 0 22 0 830306616 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24008] ppid=24003 vsize=10552620 CPUtime=0.51 cores=0,2,4,6
/proc/24005/task/24008/stat : 24008 (java) S 24003 24005 21158 0 -1 4202560 345 0 0 0 51 0 0 0 16 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24009] ppid=24003 vsize=10552620 CPUtime=0.5 cores=0,2,4,6
/proc/24005/task/24009/stat : 24009 (java) S 24003 24005 21158 0 -1 4202560 113 0 0 0 50 0 0 0 15 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24010] ppid=24003 vsize=10552620 CPUtime=0.48 cores=0,2,4,6
/proc/24005/task/24010/stat : 24010 (java) S 24003 24005 21158 0 -1 4202560 113 0 0 0 48 0 0 0 16 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24011] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24011/stat : 24011 (java) S 24003 24005 21158 0 -1 4202560 159 0 0 0 46 0 0 0 16 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24012] ppid=24003 vsize=10552620 CPUtime=0.47 cores=0,2,4,6
/proc/24005/task/24012/stat : 24012 (java) S 24003 24005 21158 0 -1 4202560 172 0 0 0 47 0 0 0 15 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24013] ppid=24003 vsize=10552620 CPUtime=0.52 cores=0,2,4,6
/proc/24005/task/24013/stat : 24013 (java) S 24003 24005 21158 0 -1 4202560 189 0 0 0 52 0 0 0 15 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24014] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24014/stat : 24014 (java) S 24003 24005 21158 0 -1 4202560 520 0 0 0 46 0 0 0 15 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24015] ppid=24003 vsize=10552620 CPUtime=0.45 cores=0,2,4,6
/proc/24005/task/24015/stat : 24015 (java) S 24003 24005 21158 0 -1 4202560 338 0 0 0 45 0 0 0 15 0 22 0 830306618 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24016] ppid=24003 vsize=10552620 CPUtime=28.72 cores=0,2,4,6
/proc/24005/task/24016/stat : 24016 (java) S 24003 24005 21158 0 -1 4202560 14161 0 0 0 2866 6 0 0 15 0 22 0 830306619 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 0 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24017] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24017/stat : 24017 (java) S 24003 24005 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830306619 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24018] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24018/stat : 24018 (java) S 24003 24005 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830306619 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24019] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24019/stat : 24019 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134537649 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24020] ppid=24003 vsize=10552620 CPUtime=1.48 cores=0,2,4,6
/proc/24005/task/24020/stat : 24020 (java) S 24003 24005 21158 0 -1 4202560 10178 0 0 0 147 1 0 0 15 0 22 0 830306622 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24021] ppid=24003 vsize=10552620 CPUtime=1.04 cores=0,2,4,6
/proc/24005/task/24021/stat : 24021 (java) S 24003 24005 21158 0 -1 4202560 9387 0 0 0 103 1 0 0 15 0 22 0 830306622 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24022] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24022/stat : 24022 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830306622 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24023] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24023/stat : 24023 (java) S 24003 24005 21158 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830306622 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24028] ppid=24003 vsize=10552620 CPUtime=179.42 cores=0,2,4,6
/proc/24005/task/24028/stat : 24028 (java) R 24003 24005 21158 0 -1 4202560 622 0 0 0 17941 1 0 0 16 0 22 0 830306648 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505639986 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24005/tid=24029] ppid=24003 vsize=10552620 CPUtime=179.36 cores=0,2,4,6
/proc/24005/task/24029/stat : 24029 (java) R 24003 24005 21158 0 -1 4202560 88966 0 0 0 17924 12 0 0 16 0 22 0 830306648 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 46912505814798 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24005/tid=24030] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24030/stat : 24030 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830306648 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24031] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24031/stat : 24031 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830306648 10805882880 125743 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 394.28
Current children cumulated vsize (KiB) 10552620

[startup+210.801 s]
/proc/loadavg: 3.52 2.46 1.96 6/504 24037
/proc/meminfo: memFree=27601696/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10552620 CPUtime=395.72 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 139892 0 1 0 39544 28 0 0 25 0 20 0 830306616 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2638155 125747 2261 9 0 2628889 0
[pid=24005/tid=24006] ppid=24003 vsize=10552620 CPUtime=0.31 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) S 24003 24005 21158 0 -1 4202560 13455 0 1 0 29 2 0 0 15 0 20 0 830306616 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24008] ppid=24003 vsize=10552620 CPUtime=0.51 cores=0,2,4,6
/proc/24005/task/24008/stat : 24008 (java) S 24003 24005 21158 0 -1 4202560 346 0 0 0 51 0 0 0 16 0 20 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24009] ppid=24003 vsize=10552620 CPUtime=0.5 cores=0,2,4,6
/proc/24005/task/24009/stat : 24009 (java) S 24003 24005 21158 0 -1 4202560 113 0 0 0 50 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24010] ppid=24003 vsize=10552620 CPUtime=0.49 cores=0,2,4,6
/proc/24005/task/24010/stat : 24010 (java) S 24003 24005 21158 0 -1 4202560 114 0 0 0 49 0 0 0 16 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24011] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24011/stat : 24011 (java) S 24003 24005 21158 0 -1 4202560 159 0 0 0 46 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24012] ppid=24003 vsize=10552620 CPUtime=0.47 cores=0,2,4,6
/proc/24005/task/24012/stat : 24012 (java) S 24003 24005 21158 0 -1 4202560 172 0 0 0 47 0 0 0 16 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24013] ppid=24003 vsize=10552620 CPUtime=0.52 cores=0,2,4,6
/proc/24005/task/24013/stat : 24013 (java) S 24003 24005 21158 0 -1 4202560 189 0 0 0 52 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24014] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24014/stat : 24014 (java) S 24003 24005 21158 0 -1 4202560 520 0 0 0 46 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24015] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24015/stat : 24015 (java) S 24003 24005 21158 0 -1 4202560 339 0 0 0 46 0 0 0 16 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24016] ppid=24003 vsize=10552620 CPUtime=28.83 cores=0,2,4,6
/proc/24005/task/24016/stat : 24016 (java) S 24003 24005 21158 0 -1 4202560 14161 0 0 0 2877 6 0 0 15 0 19 0 830306619 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 0 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24017] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24017/stat : 24017 (java) S 24003 24005 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830306619 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24018] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24018/stat : 24018 (java) S 24003 24005 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830306619 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24019] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24019/stat : 24019 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134537649 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24020] ppid=24003 vsize=10552620 CPUtime=1.48 cores=0,2,4,6
/proc/24005/task/24020/stat : 24020 (java) S 24003 24005 21158 0 -1 4202560 10178 0 0 0 147 1 0 0 15 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24021] ppid=24003 vsize=10552620 CPUtime=1.04 cores=0,2,4,6
/proc/24005/task/24021/stat : 24021 (java) S 24003 24005 21158 0 -1 4202560 9387 0 0 0 103 1 0 0 15 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24022] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24022/stat : 24022 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24023] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24023/stat : 24023 (java) S 24003 24005 21158 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24031] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24031/stat : 24031 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830306648 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 395.72
Current children cumulated vsize (KiB) 10552620

[startup+211.001 s]
/proc/loadavg: 3.52 2.46 1.96 6/504 24037
/proc/meminfo: memFree=27601696/32951124 swapFree=41830676/67111528
[pid=24005] ppid=24003 vsize=10552620 CPUtime=395.72 cores=0,2,4,6
/proc/24005/stat : 24005 (java) S 24003 24005 21158 0 -1 4202496 139892 0 1 0 39544 28 0 0 25 0 19 0 830306616 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24005/statm: 2638155 125747 2261 9 0 2628889 0
[pid=24005/tid=24006] ppid=24003 vsize=10552620 CPUtime=0.31 cores=0,2,4,6
/proc/24005/task/24006/stat : 24006 (java) S 24003 24005 21158 0 -1 4202560 13455 0 1 0 29 2 0 0 15 0 19 0 830306616 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24008] ppid=24003 vsize=10552620 CPUtime=0.51 cores=0,2,4,6
/proc/24005/task/24008/stat : 24008 (java) S 24003 24005 21158 0 -1 4202560 346 0 0 0 51 0 0 0 16 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24009] ppid=24003 vsize=10552620 CPUtime=0.5 cores=0,2,4,6
/proc/24005/task/24009/stat : 24009 (java) S 24003 24005 21158 0 -1 4202560 113 0 0 0 50 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24010] ppid=24003 vsize=10552620 CPUtime=0.49 cores=0,2,4,6
/proc/24005/task/24010/stat : 24010 (java) S 24003 24005 21158 0 -1 4202560 114 0 0 0 49 0 0 0 16 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24011] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24011/stat : 24011 (java) S 24003 24005 21158 0 -1 4202560 159 0 0 0 46 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24012] ppid=24003 vsize=10552620 CPUtime=0.47 cores=0,2,4,6
/proc/24005/task/24012/stat : 24012 (java) S 24003 24005 21158 0 -1 4202560 172 0 0 0 47 0 0 0 16 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24013] ppid=24003 vsize=10552620 CPUtime=0.52 cores=0,2,4,6
/proc/24005/task/24013/stat : 24013 (java) S 24003 24005 21158 0 -1 4202560 189 0 0 0 52 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 0 0 0 0
[pid=24005/tid=24014] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24014/stat : 24014 (java) S 24003 24005 21158 0 -1 4202560 520 0 0 0 46 0 0 0 15 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24015] ppid=24003 vsize=10552620 CPUtime=0.46 cores=0,2,4,6
/proc/24005/task/24015/stat : 24015 (java) S 24003 24005 21158 0 -1 4202560 339 0 0 0 46 0 0 0 16 0 19 0 830306618 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 4 0 0 0
[pid=24005/tid=24016] ppid=24003 vsize=10552620 CPUtime=28.83 cores=0,2,4,6
/proc/24005/task/24016/stat : 24016 (java) S 24003 24005 21158 0 -1 4202560 14161 0 0 0 2877 6 0 0 15 0 19 0 830306619 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 0 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24017] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24017/stat : 24017 (java) S 24003 24005 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830306619 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24018] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24018/stat : 24018 (java) S 24003 24005 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830306619 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24019] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24019/stat : 24019 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134537649 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24020] ppid=24003 vsize=10552620 CPUtime=1.48 cores=0,2,4,6
/proc/24005/task/24020/stat : 24020 (java) S 24003 24005 21158 0 -1 4202560 10178 0 0 0 147 1 0 0 15 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 6 0 0 0
[pid=24005/tid=24021] ppid=24003 vsize=10552620 CPUtime=1.04 cores=0,2,4,6
/proc/24005/task/24021/stat : 24021 (java) S 24003 24005 21158 0 -1 4202560 9387 0 0 0 103 1 0 0 15 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24022] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24022/stat : 24022 (java) S 24003 24005 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134529945 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24023] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24023/stat : 24023 (java) S 24003 24005 21158 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 830306622 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
[pid=24005/tid=24031] ppid=24003 vsize=10552620 CPUtime=0 cores=0,2,4,6
/proc/24005/task/24031/stat : 24031 (java) S 24003 24005 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830306648 10805882880 125747 33554432000 1073741824 1073778376 140737172432816 18446744073709551615 228134530560 0 4 0 16800975 18446604450375735424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 395.72
Current children cumulated vsize (KiB) 10552620

Child status: 20
Real time (s): 211.057
CPU time (s): 395.766
CPU user time (s): 395.464
CPU system time (s): 0.301954
CPU usage (%): 187.516
Max. virtual memory (cumulated for all children) (KiB): 10556460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.464
system time used= 0.301954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139902
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13962
involuntary context switches= 8610

runsolver used 1.05284 second user time and 2.23466 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-04 13:31:26
IDJOB=3454835
IDBENCH=1294
IDSOLVER=1950
FILE ID=node138/3454835-1307187086
RUNJOBID= node138-1307187082-23817
PBS_JOBID= 13508833
Free space on /tmp= 73668 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454835-1307187086/watcher-3454835-1307187086 -o /tmp/evaluation-result-3454835-1307187086/solver-3454835-1307187086 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454835-1307187086.opb

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

MD5SUM BENCH= 3135d58f22cd009942de3e1dff086931
RANDOM SEED=940771086

node138.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.854
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.70
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.854
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.854
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.82
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.854
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.75
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.854
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.80
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.854
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	: 5332.75
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.854
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.82
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.854
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28589184 kB
Buffers:        317600 kB
Cached:        1086644 kB
SwapCached:      44568 kB
Active:        2281664 kB
Inactive:      1790112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28589184 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:             860 kB
Writeback:          28 kB
AnonPages:     2634136 kB
Mapped:          24604 kB
Slab:           129072 kB
PageTables:      92732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 140984712 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 /tmp at the end= 73668 MiB
End job on node138 at 2011-06-04 13:34:58