Trace number 3458224

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0OPT3 380.683 378.634

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
MD5SUM0f650891245dab338bc3d2f3a3dc10c7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.235963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

Quality of the solution as a function of time


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

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458224-1307158390.opb
0.10/0.11	c reading problem ... 
0.24/0.20	c ... done. Wall clock time 0.085s.
0.24/0.20	c #vars     756
0.24/0.20	c #constraints  1156
0.24/0.20	c constraints type 
0.24/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 567
0.24/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 589
1.01/0.75	c cleaning 2496 clauses out of 5000 with flag 5000/5000
1.67/1.34	c cleaning 4250 clauses out of 8505 with flag 11001/11001
2.38/2.00	c cleaning 5628 clauses out of 11255 with flag 18001/18001
3.20/2.81	c cleaning 6805 clauses out of 13627 with flag 26001/26001
3.82/3.47	c cleaning 7911 clauses out of 15823 with flag 35002/35002
4.84/4.44	c cleaning 8953 clauses out of 17910 with flag 45000/45000
5.83/5.45	c cleaning 9473 clauses out of 18957 with flag 55000/55000
6.73/6.38	c cleaning 9738 clauses out of 19484 with flag 65000/65000
7.84/7.49	c cleaning 9873 clauses out of 19746 with flag 75000/75000
8.74/8.37	c cleaning 9934 clauses out of 19877 with flag 85004/85004
9.75/9.36	c cleaning 9958 clauses out of 19939 with flag 95000/95000
10.65/10.25	c cleaning 9984 clauses out of 19982 with flag 105001/105001
11.75/11.37	c cleaning 10000 clauses out of 19999 with flag 115002/115002
12.57/12.17	c cleaning 9997 clauses out of 19998 with flag 125001/125001
13.35/13.00	c cleaning 9991 clauses out of 20000 with flag 135000/135000
14.25/13.89	c cleaning 9999 clauses out of 20011 with flag 145002/145002
15.15/14.72	c cleaning 9999 clauses out of 20011 with flag 155001/155001
16.16/15.75	c cleaning 10000 clauses out of 20011 with flag 165000/165000
17.16/16.76	c cleaning 10003 clauses out of 20011 with flag 175000/175000
18.16/17.79	c cleaning 9998 clauses out of 20010 with flag 185002/185002
19.26/18.82	c cleaning 9995 clauses out of 20010 with flag 195000/195000
20.36/19.99	c cleaning 10003 clauses out of 20016 with flag 205001/205001
21.27/20.91	c cleaning 10000 clauses out of 20012 with flag 215000/215000
22.48/22.04	c cleaning 9998 clauses out of 20012 with flag 225000/225000
23.36/22.97	c cleaning 10004 clauses out of 20016 with flag 235002/235002
24.68/24.25	c cleaning 10002 clauses out of 20011 with flag 245001/245001
25.87/25.45	c cleaning 9999 clauses out of 20008 with flag 255000/255000
26.77/26.34	c cleaning 9998 clauses out of 20009 with flag 265000/265000
27.77/27.32	c cleaning 10003 clauses out of 20011 with flag 275000/275000
28.57/28.12	c cleaning 10000 clauses out of 20008 with flag 285000/285000
29.57/29.18	c cleaning 9990 clauses out of 20008 with flag 295000/295000
30.67/30.20	c cleaning 10005 clauses out of 20019 with flag 305001/305001
31.67/31.24	c cleaning 10000 clauses out of 20013 with flag 315000/315000
32.67/32.25	c cleaning 10003 clauses out of 20013 with flag 325000/325000
33.87/33.44	c cleaning 10002 clauses out of 20011 with flag 335001/335001
34.98/34.50	c cleaning 10003 clauses out of 20010 with flag 345002/345002
36.08/35.64	c cleaning 9995 clauses out of 20005 with flag 355000/355000
36.98/36.58	c cleaning 10002 clauses out of 20011 with flag 365001/365001
37.98/37.58	c cleaning 9995 clauses out of 20008 with flag 375000/375000
39.08/38.65	c cleaning 9994 clauses out of 20014 with flag 385001/385001
40.10/39.70	c cleaning 10005 clauses out of 20019 with flag 395000/395000
40.88/40.48	c cleaning 10002 clauses out of 20014 with flag 405000/405000
41.68/41.24	c cleaning 9993 clauses out of 20013 with flag 415001/415001
42.39/41.98	c cleaning 9995 clauses out of 20019 with flag 425000/425000
43.29/42.91	c cleaning 9987 clauses out of 20024 with flag 435000/435000
44.51/44.02	c cleaning 9991 clauses out of 20038 with flag 445001/445001
45.40/44.93	c cleaning 10010 clauses out of 20047 with flag 455001/455001
46.30/45.81	c cleaning 10003 clauses out of 20037 with flag 465001/465001
47.10/46.65	c cleaning 10005 clauses out of 20035 with flag 475002/475002
48.20/47.70	c cleaning 10005 clauses out of 20029 with flag 485001/485001
49.81/49.31	c cleaning 10004 clauses out of 20025 with flag 495002/495002
50.91/50.43	c cleaning 10001 clauses out of 20020 with flag 505001/505001
51.81/51.33	c cleaning 10005 clauses out of 20019 with flag 515001/515001
52.61/52.12	c cleaning 9994 clauses out of 20014 with flag 525001/525001
53.51/53.10	c cleaning 9995 clauses out of 20020 with flag 535001/535001
54.51/54.06	c cleaning 9999 clauses out of 20026 with flag 545002/545002
55.42/54.92	c cleaning 9999 clauses out of 20025 with flag 555000/555000
56.12/55.67	c cleaning 10001 clauses out of 20026 with flag 565000/565000
56.92/56.41	c cleaning 10001 clauses out of 20025 with flag 575000/575000
57.74/57.21	c cleaning 9999 clauses out of 20025 with flag 585001/585001
58.62/58.17	c cleaning 10004 clauses out of 20026 with flag 595001/595001
59.42/58.91	c cleaning 10003 clauses out of 20022 with flag 605001/605001
60.13/59.69	c cleaning 10007 clauses out of 20019 with flag 615001/615001
61.23/60.77	c cleaning 10000 clauses out of 20012 with flag 625001/625001
62.23/61.73	c cleaning 9997 clauses out of 20012 with flag 635001/635001
62.93/62.46	c cleaning 9997 clauses out of 20014 with flag 645000/645000
64.03/63.55	c cleaning 9999 clauses out of 20019 with flag 655002/655002
65.04/64.50	c cleaning 9997 clauses out of 20019 with flag 665001/665001
65.83/65.38	c cleaning 10007 clauses out of 20021 with flag 675000/675000
66.84/66.36	c cleaning 10005 clauses out of 20015 with flag 685001/685001
68.14/67.62	c cleaning 9999 clauses out of 20010 with flag 695001/695001
69.26/68.76	c cleaning 9987 clauses out of 20011 with flag 705001/705001
69.88/69.38	c cleaning 9995 clauses out of 20024 with flag 715001/715001
70.57/70.02	c cleaning 10003 clauses out of 20028 with flag 725000/725000
71.27/70.73	c cleaning 10004 clauses out of 20026 with flag 735001/735001
71.98/71.48	c cleaning 10002 clauses out of 20023 with flag 745002/745002
72.98/72.43	c cleaning 9988 clauses out of 20019 with flag 755000/755000
73.68/73.12	c cleaning 9992 clauses out of 20031 with flag 765000/765000
74.38/73.87	c cleaning 9997 clauses out of 20039 with flag 775000/775000
75.18/74.68	c cleaning 10012 clauses out of 20043 with flag 785001/785001
76.09/75.54	c cleaning 9994 clauses out of 20030 with flag 795000/795000
76.89/76.34	c cleaning 10003 clauses out of 20037 with flag 805001/805001
77.70/77.13	c cleaning 9998 clauses out of 20033 with flag 815000/815000
78.40/77.88	c cleaning 10002 clauses out of 20036 with flag 825001/825001
79.40/78.80	c cleaning 10000 clauses out of 20033 with flag 835000/835000
80.00/79.49	c cleaning 10000 clauses out of 20034 with flag 845001/845001
80.70/80.21	c cleaning 9998 clauses out of 20033 with flag 855000/855000
81.50/80.95	c cleaning 10001 clauses out of 20035 with flag 865000/865000
82.20/81.66	c cleaning 10003 clauses out of 20035 with flag 875001/875001
82.91/82.34	c cleaning 10010 clauses out of 20032 with flag 885001/885001
84.01/83.49	c cleaning 10005 clauses out of 20021 with flag 895000/895000
85.22/84.69	c cleaning 10003 clauses out of 20017 with flag 905001/905001
86.32/85.79	c cleaning 9999 clauses out of 20014 with flag 915001/915001
86.71/86.17	c SATISFIABLE
86.71/86.17	c OPTIMIZING...
86.71/86.17	c Got one! Elapsed wall clock time (in seconds):86.058
86.71/86.17	o 9
87.21/86.60	c cleaning 10490 clauses out of 20997 with flag 5000/925983
87.62/87.08	c cleaning 8239 clauses out of 16510 with flag 11003/931986
88.22/87.64	c cleaning 7627 clauses out of 15269 with flag 18001/938984
88.92/88.32	c cleaning 7811 clauses out of 15642 with flag 26001/946984
89.63/89.08	c cleaning 8408 clauses out of 16830 with flag 35000/955983
90.43/89.88	c cleaning 9209 clauses out of 18422 with flag 45000/965983
91.43/90.81	c cleaning 9602 clauses out of 19214 with flag 55001/975984
92.23/91.61	c cleaning 9797 clauses out of 19611 with flag 65000/985983
92.83/92.30	c cleaning 9896 clauses out of 19814 with flag 75000/995983
93.64/93.08	c cleaning 9941 clauses out of 19919 with flag 85001/1005984
94.34/93.75	c cleaning 9969 clauses out of 19978 with flag 95001/1015984
95.26/94.67	c cleaning 9984 clauses out of 20008 with flag 105000/1025983
96.18/95.55	c cleaning 10004 clauses out of 20024 with flag 115001/1035984
97.64/96.61	c cleaning 10001 clauses out of 20019 with flag 125000/1045983
98.67/97.33	c cleaning 9997 clauses out of 20018 with flag 135000/1055983
99.47/98.12	c cleaning 9997 clauses out of 20022 with flag 145001/1065984
100.17/98.80	c cleaning 9999 clauses out of 20024 with flag 155000/1075983
100.77/99.44	c cleaning 9996 clauses out of 20027 with flag 165002/1085985
101.38/100.06	c cleaning 10003 clauses out of 20031 with flag 175002/1095985
102.48/101.18	c cleaning 10001 clauses out of 20026 with flag 185000/1105983
103.88/102.51	c cleaning 10001 clauses out of 20025 with flag 195000/1115983
105.09/103.76	c cleaning 10000 clauses out of 20025 with flag 205001/1125984
106.29/104.94	c cleaning 9999 clauses out of 20024 with flag 215000/1135983
107.49/106.11	c cleaning 10000 clauses out of 20025 with flag 225000/1145983
108.69/107.35	c cleaning 10002 clauses out of 20025 with flag 235000/1155983
109.99/108.64	c cleaning 10002 clauses out of 20023 with flag 245000/1165983
111.30/109.91	c cleaning 9999 clauses out of 20021 with flag 255000/1175983
112.40/111.08	c cleaning 10003 clauses out of 20022 with flag 265000/1185983
113.90/112.50	c cleaning 10009 clauses out of 20019 with flag 275000/1195983
115.10/113.77	c cleaning 10003 clauses out of 20012 with flag 285002/1205985
116.10/114.73	c cleaning 9999 clauses out of 20007 with flag 295000/1215983
116.81/115.44	c cleaning 9994 clauses out of 20009 with flag 305001/1225984
117.41/116.05	c cleaning 9992 clauses out of 20015 with flag 315001/1235984
118.31/116.96	c cleaning 9998 clauses out of 20022 with flag 325000/1245983
119.42/118.03	c cleaning 9999 clauses out of 20024 with flag 335000/1255983
120.52/119.16	c cleaning 10001 clauses out of 20026 with flag 345001/1265984
121.53/120.18	c cleaning 9998 clauses out of 20024 with flag 355000/1275983
122.53/121.19	c cleaning 10004 clauses out of 20026 with flag 365000/1285983
123.23/121.83	c cleaning 10003 clauses out of 20022 with flag 375000/1295983
123.83/122.45	c cleaning 9998 clauses out of 20020 with flag 385001/1305984
124.43/123.08	c cleaning 10002 clauses out of 20021 with flag 395000/1315983
125.14/123.71	c cleaning 10003 clauses out of 20020 with flag 405001/1325984
125.75/124.38	c cleaning 9999 clauses out of 20016 with flag 415000/1335983
126.43/125.09	c cleaning 10005 clauses out of 20018 with flag 425001/1345984
127.74/126.34	c cleaning 10003 clauses out of 20013 with flag 435001/1355984
129.06/127.65	c cleaning 9998 clauses out of 20010 with flag 445001/1365984
130.16/128.79	c cleaning 10000 clauses out of 20011 with flag 455000/1375983
131.44/130.04	c cleaning 10001 clauses out of 20014 with flag 465003/1385986
132.75/131.33	c cleaning 10000 clauses out of 20011 with flag 475001/1395984
134.05/132.64	c cleaning 10002 clauses out of 20011 with flag 485001/1405984
135.35/133.92	c cleaning 10000 clauses out of 20008 with flag 495000/1415983
136.15/134.74	c cleaning 9990 clauses out of 20008 with flag 505000/1425983
136.96/135.53	c cleaning 9978 clauses out of 20019 with flag 515001/1435984
138.06/136.63	c cleaning 9986 clauses out of 20040 with flag 525000/1445983
139.16/137.74	c cleaning 9996 clauses out of 20056 with flag 535002/1455985
140.36/138.97	c cleaning 9995 clauses out of 20059 with flag 545001/1465984
141.37/140.00	c cleaning 10027 clauses out of 20063 with flag 555000/1475983
142.37/140.92	c cleaning 10008 clauses out of 20038 with flag 565002/1485985
143.27/141.84	c cleaning 10007 clauses out of 20029 with flag 575001/1495984
143.67/142.23	c Got one! Elapsed wall clock time (in seconds):142.115
143.67/142.23	o 5
144.07/142.61	c cleaning 10648 clauses out of 21311 with flag 5000/1507273
144.58/143.15	c cleaning 8327 clauses out of 16663 with flag 11000/1513273
145.19/143.71	c cleaning 7659 clauses out of 15336 with flag 18000/1520273
145.69/144.26	c cleaning 7831 clauses out of 15679 with flag 26002/1528275
146.49/145.08	c cleaning 8417 clauses out of 16846 with flag 35000/1537273
147.39/145.93	c cleaning 9206 clauses out of 18430 with flag 45001/1547274
148.09/146.61	c cleaning 9598 clauses out of 19223 with flag 55000/1557273
148.80/147.37	c cleaning 9797 clauses out of 19626 with flag 65001/1567274
149.70/148.23	c cleaning 9904 clauses out of 19828 with flag 75000/1577273
150.80/149.33	c cleaning 9942 clauses out of 19925 with flag 85001/1587274
152.00/150.54	c cleaning 9973 clauses out of 19982 with flag 95000/1597273
153.10/151.66	c cleaning 9985 clauses out of 20010 with flag 105001/1607274
154.31/152.85	c cleaning 9988 clauses out of 20025 with flag 115001/1617274
155.41/153.99	c cleaning 10008 clauses out of 20035 with flag 125000/1627273
156.11/154.68	c cleaning 9998 clauses out of 20029 with flag 135002/1637275
156.91/155.49	c cleaning 9995 clauses out of 20029 with flag 145000/1647273
157.73/156.28	c cleaning 9996 clauses out of 20034 with flag 155000/1657273
158.41/156.99	c cleaning 9999 clauses out of 20039 with flag 165001/1667274
159.21/157.72	c cleaning 9999 clauses out of 20040 with flag 175001/1677274
159.82/158.39	c cleaning 10000 clauses out of 20041 with flag 185001/1687274
160.51/159.04	c cleaning 10005 clauses out of 20042 with flag 195002/1697275
161.22/159.78	c cleaning 9999 clauses out of 20035 with flag 205000/1707273
161.92/160.45	c cleaning 9999 clauses out of 20037 with flag 215001/1717274
162.62/161.13	c cleaning 10012 clauses out of 20037 with flag 225000/1727273
163.53/162.07	c cleaning 10004 clauses out of 20025 with flag 235000/1737273
164.53/163.08	c cleaning 10002 clauses out of 20022 with flag 245001/1747274
165.73/164.27	c cleaning 10004 clauses out of 20020 with flag 255001/1757274
166.93/165.43	c cleaning 10000 clauses out of 20016 with flag 265001/1767274
168.03/166.58	c cleaning 9998 clauses out of 20015 with flag 275000/1777273
169.24/167.79	c cleaning 10000 clauses out of 20018 with flag 285001/1787274
170.44/168.95	c cleaning 9998 clauses out of 20017 with flag 295000/1797273
171.54/170.01	c cleaning 10002 clauses out of 20019 with flag 305000/1807273
172.54/171.00	c cleaning 10003 clauses out of 20017 with flag 315000/1817273
173.64/172.12	c cleaning 10000 clauses out of 20014 with flag 325000/1827273
174.55/173.05	c cleaning 9999 clauses out of 20014 with flag 335000/1837273
175.55/174.00	c cleaning 10002 clauses out of 20015 with flag 345000/1847273
176.55/175.00	c cleaning 9998 clauses out of 20014 with flag 355001/1857274
177.46/175.96	c cleaning 9995 clauses out of 20016 with flag 365001/1867274
178.25/176.77	c cleaning 9999 clauses out of 20022 with flag 375002/1877275
179.06/177.56	c cleaning 9997 clauses out of 20021 with flag 385000/1887273
179.96/178.50	c cleaning 9999 clauses out of 20026 with flag 395002/1897275
180.96/179.45	c cleaning 10000 clauses out of 20025 with flag 405000/1907273
181.86/180.32	c cleaning 10000 clauses out of 20025 with flag 415000/1917273
182.86/181.31	c cleaning 10000 clauses out of 20026 with flag 425001/1927274
183.86/182.30	c cleaning 10002 clauses out of 20026 with flag 435001/1937274
184.18/182.63	c Got one! Elapsed wall clock time (in seconds):182.523
184.18/182.63	o 3
184.46/182.96	c cleaning 10140 clauses out of 20293 with flag 5000/1947543
184.97/183.43	c cleaning 8068 clauses out of 16154 with flag 11001/1953544
185.57/184.01	c cleaning 7536 clauses out of 15086 with flag 18001/1960544
186.17/184.68	c cleaning 7770 clauses out of 15549 with flag 26000/1968543
187.07/185.50	c cleaning 8385 clauses out of 16781 with flag 35002/1977545
188.08/186.57	c cleaning 9191 clauses out of 18394 with flag 45000/1987543
189.18/187.69	c cleaning 9593 clauses out of 19204 with flag 55001/1997544
189.88/188.33	c cleaning 9787 clauses out of 19610 with flag 65000/2007543
190.58/189.02	c cleaning 9895 clauses out of 19823 with flag 75000/2017543
191.28/189.73	c cleaning 9948 clauses out of 19929 with flag 85001/2027544
191.98/190.46	c cleaning 9973 clauses out of 19981 with flag 95001/2037544
192.78/191.26	c cleaning 9984 clauses out of 20008 with flag 105001/2047544
193.49/191.95	c cleaning 9997 clauses out of 20023 with flag 115000/2057543
194.19/192.68	c cleaning 9993 clauses out of 20026 with flag 125000/2067543
194.99/193.45	c cleaning 9998 clauses out of 20035 with flag 135002/2077545
195.70/194.13	c cleaning 10001 clauses out of 20036 with flag 145001/2087544
196.40/194.88	c cleaning 9995 clauses out of 20034 with flag 155000/2097543
197.10/195.59	c cleaning 10000 clauses out of 20040 with flag 165001/2107544
197.90/196.34	c cleaning 10002 clauses out of 20040 with flag 175001/2117544
198.70/197.12	c cleaning 10000 clauses out of 20038 with flag 185001/2127544
199.40/197.89	c cleaning 10000 clauses out of 20038 with flag 195001/2137544
200.32/198.70	c cleaning 10001 clauses out of 20037 with flag 205000/2147543
201.02/199.49	c cleaning 9998 clauses out of 20036 with flag 215000/2157543
201.73/200.19	c cleaning 10017 clauses out of 20039 with flag 225001/2167544
202.95/201.34	c cleaning 10008 clauses out of 20021 with flag 235000/2177543
203.73/202.12	c cleaning 10004 clauses out of 20013 with flag 245000/2187543
204.73/203.19	c cleaning 9994 clauses out of 20010 with flag 255001/2197544
205.95/204.35	c cleaning 10004 clauses out of 20015 with flag 265000/2207543
206.95/205.39	c cleaning 10000 clauses out of 20012 with flag 275001/2217544
207.85/206.29	c cleaning 10002 clauses out of 20012 with flag 285001/2227544
208.85/207.24	c cleaning 10003 clauses out of 20010 with flag 295001/2237544
209.85/208.26	c cleaning 10000 clauses out of 20006 with flag 305000/2247543
210.56/208.99	c cleaning 9995 clauses out of 20006 with flag 315000/2257543
211.26/209.62	c cleaning 10000 clauses out of 20011 with flag 325000/2267543
211.96/210.38	c cleaning 9994 clauses out of 20012 with flag 335001/2277544
213.06/211.44	c cleaning 9998 clauses out of 20019 with flag 345002/2287545
213.76/212.11	c cleaning 9999 clauses out of 20019 with flag 355000/2297543
214.67/213.00	c cleaning 9999 clauses out of 20020 with flag 365000/2307543
215.87/214.21	c cleaning 10002 clauses out of 20022 with flag 375001/2317544
217.29/215.64	c cleaning 9998 clauses out of 20019 with flag 385000/2327543
218.87/217.27	c cleaning 10003 clauses out of 20021 with flag 395000/2337543
219.97/218.39	c cleaning 10001 clauses out of 20018 with flag 405000/2347543
220.77/219.12	c cleaning 9991 clauses out of 20016 with flag 415000/2357543
221.48/219.84	c cleaning 9994 clauses out of 20025 with flag 425000/2367543
222.18/220.58	c cleaning 9998 clauses out of 20031 with flag 435000/2377543
222.98/221.32	c cleaning 9999 clauses out of 20033 with flag 445000/2387543
223.68/222.01	c cleaning 9998 clauses out of 20035 with flag 455001/2397544
224.38/222.74	c cleaning 9998 clauses out of 20037 with flag 465001/2407544
225.08/223.45	c cleaning 10009 clauses out of 20038 with flag 475000/2417543
225.99/224.37	c cleaning 10004 clauses out of 20029 with flag 485000/2427543
226.80/225.18	c cleaning 10001 clauses out of 20025 with flag 495000/2437543
227.70/226.08	c cleaning 9995 clauses out of 20024 with flag 505000/2447543
229.31/227.63	c cleaning 10000 clauses out of 20029 with flag 515000/2457543
230.61/228.93	c cleaning 10000 clauses out of 20029 with flag 525000/2467543
231.91/230.28	c cleaning 9999 clauses out of 20030 with flag 535001/2477544
233.51/231.86	c cleaning 10002 clauses out of 20030 with flag 545000/2487543
235.21/233.51	c cleaning 10000 clauses out of 20029 with flag 555001/2497544
236.91/235.21	c cleaning 10000 clauses out of 20028 with flag 565000/2507543
238.12/236.44	c cleaning 10009 clauses out of 20029 with flag 575001/2517544
238.82/237.18	c cleaning 10003 clauses out of 20019 with flag 585000/2527543
239.62/237.97	c cleaning 10001 clauses out of 20017 with flag 595001/2537544
240.44/238.72	c cleaning 9998 clauses out of 20016 with flag 605001/2547544
241.12/239.48	c cleaning 9986 clauses out of 20017 with flag 615000/2557543
241.92/240.25	c cleaning 9996 clauses out of 20032 with flag 625001/2567544
242.72/241.02	c cleaning 9997 clauses out of 20035 with flag 635000/2577543
243.42/241.77	c cleaning 9999 clauses out of 20039 with flag 645001/2587544
244.12/242.46	c cleaning 9994 clauses out of 20039 with flag 655000/2597543
244.84/243.19	c cleaning 10001 clauses out of 20046 with flag 665001/2607544
245.62/243.94	c cleaning 9997 clauses out of 20045 with flag 675001/2617544
246.52/244.81	c cleaning 10002 clauses out of 20048 with flag 685001/2627544
247.42/245.73	c cleaning 10016 clauses out of 20046 with flag 695001/2637544
248.33/246.62	c cleaning 10008 clauses out of 20029 with flag 705000/2647543
249.14/247.48	c cleaning 10000 clauses out of 20021 with flag 715000/2657543
249.84/248.16	c cleaning 10004 clauses out of 20021 with flag 725000/2667543
250.74/249.08	c cleaning 9999 clauses out of 20018 with flag 735001/2677544
251.84/250.14	c cleaning 10000 clauses out of 20018 with flag 745000/2687543
253.04/251.32	c cleaning 10005 clauses out of 20019 with flag 755001/2697544
254.05/252.33	c cleaning 9995 clauses out of 20013 with flag 765000/2707543
255.05/253.31	c cleaning 10001 clauses out of 20018 with flag 775000/2717543
256.05/254.36	c cleaning 9998 clauses out of 20018 with flag 785001/2727544
257.05/255.34	c cleaning 9998 clauses out of 20019 with flag 795000/2737543
258.07/256.35	c cleaning 10000 clauses out of 20022 with flag 805001/2747544
259.17/257.44	c cleaning 10004 clauses out of 20023 with flag 815002/2757545
260.27/258.52	c cleaning 10003 clauses out of 20018 with flag 825001/2767544
261.26/259.54	c cleaning 9998 clauses out of 20014 with flag 835000/2777543
262.16/260.48	c cleaning 10002 clauses out of 20017 with flag 845001/2787544
263.58/261.82	c cleaning 9997 clauses out of 20014 with flag 855000/2797543
264.96/263.28	c cleaning 10001 clauses out of 20017 with flag 865000/2807543
265.87/264.13	c cleaning 10004 clauses out of 20017 with flag 875001/2817544
266.77/265.07	c cleaning 9995 clauses out of 20012 with flag 885000/2827543
267.77/266.05	c cleaning 9997 clauses out of 20018 with flag 895001/2837544
268.77/267.00	c cleaning 10000 clauses out of 20021 with flag 905001/2847544
269.77/268.05	c cleaning 9999 clauses out of 20021 with flag 915001/2857544
270.78/269.03	c cleaning 10000 clauses out of 20021 with flag 925000/2867543
271.78/270.08	c cleaning 9996 clauses out of 20022 with flag 935001/2877544
272.68/270.99	c cleaning 10010 clauses out of 20026 with flag 945001/2887544
273.89/272.11	c cleaning 10005 clauses out of 20016 with flag 955001/2897544
274.99/273.26	c cleaning 10000 clauses out of 20010 with flag 965000/2907543
276.09/274.32	c cleaning 9996 clauses out of 20011 with flag 975001/2917544
277.09/275.38	c cleaning 9998 clauses out of 20015 with flag 985001/2927544
278.19/276.49	c cleaning 10001 clauses out of 20017 with flag 995001/2937544
279.20/277.47	c cleaning 10000 clauses out of 20015 with flag 1005000/2947543
280.40/278.63	c cleaning 10003 clauses out of 20017 with flag 1015002/2957545
281.50/279.74	c cleaning 10003 clauses out of 20013 with flag 1025001/2967544
282.61/280.84	c cleaning 9998 clauses out of 20009 with flag 1035000/2977543
283.71/281.92	c cleaning 10006 clauses out of 20012 with flag 1045001/2987544
284.81/283.04	c cleaning 10001 clauses out of 20006 with flag 1055001/2997544
285.51/283.81	c cleaning 9993 clauses out of 20004 with flag 1065001/3007544
286.32/284.51	c cleaning 9997 clauses out of 20010 with flag 1075000/3017543
287.02/285.27	c cleaning 9999 clauses out of 20014 with flag 1085001/3027544
287.62/285.91	c cleaning 9998 clauses out of 20014 with flag 1095000/3037543
288.32/286.57	c cleaning 10001 clauses out of 20017 with flag 1105001/3047544
289.02/287.29	c cleaning 10001 clauses out of 20015 with flag 1115000/3057543
289.72/287.99	c cleaning 9999 clauses out of 20014 with flag 1125000/3067543
290.42/288.67	c cleaning 9997 clauses out of 20015 with flag 1135000/3077543
291.22/289.42	c cleaning 10000 clauses out of 20018 with flag 1145000/3087543
291.92/290.13	c cleaning 10001 clauses out of 20019 with flag 1155001/3097544
292.63/290.86	c cleaning 10001 clauses out of 20017 with flag 1165000/3107543
293.43/291.66	c cleaning 9999 clauses out of 20017 with flag 1175001/3117544
294.33/292.61	c cleaning 10004 clauses out of 20017 with flag 1185000/3127543
295.33/293.50	c cleaning 10000 clauses out of 20013 with flag 1195000/3137543
296.14/294.32	c cleaning 10001 clauses out of 20013 with flag 1205000/3147543
297.04/295.28	c cleaning 10002 clauses out of 20012 with flag 1215000/3157543
297.94/296.19	c cleaning 9998 clauses out of 20011 with flag 1225001/3167544
298.75/296.96	c cleaning 10003 clauses out of 20013 with flag 1235001/3177544
299.64/297.81	c cleaning 9999 clauses out of 20010 with flag 1245001/3187544
300.54/298.70	c cleaning 9998 clauses out of 20011 with flag 1255001/3197544
301.24/299.42	c cleaning 9999 clauses out of 20013 with flag 1265001/3207544
301.94/300.11	c cleaning 10003 clauses out of 20016 with flag 1275003/3217546
302.95/301.16	c cleaning 9998 clauses out of 20012 with flag 1285002/3227545
303.85/302.08	c cleaning 9996 clauses out of 20012 with flag 1295000/3237543
304.85/303.03	c cleaning 10001 clauses out of 20016 with flag 1305000/3247543
305.85/304.02	c cleaning 10000 clauses out of 20018 with flag 1315003/3257546
306.75/304.90	c cleaning 9996 clauses out of 20015 with flag 1325000/3267543
307.56/305.81	c cleaning 10002 clauses out of 20020 with flag 1335001/3277544
308.46/306.67	c cleaning 9998 clauses out of 20018 with flag 1345001/3287544
309.26/307.46	c cleaning 10002 clauses out of 20019 with flag 1355000/3297543
310.26/308.42	c cleaning 9998 clauses out of 20018 with flag 1365001/3307544
311.16/309.34	c cleaning 9998 clauses out of 20019 with flag 1375000/3317543
311.97/310.20	c cleaning 10001 clauses out of 20021 with flag 1385000/3327543
312.77/310.98	c cleaning 10004 clauses out of 20020 with flag 1395000/3337543
313.67/311.81	c cleaning 10003 clauses out of 20018 with flag 1405002/3347545
314.57/312.75	c cleaning 10000 clauses out of 20014 with flag 1415001/3357544
315.48/313.65	c cleaning 10000 clauses out of 20015 with flag 1425002/3367545
316.28/314.51	c cleaning 10003 clauses out of 20014 with flag 1435001/3377544
317.28/315.45	c cleaning 10001 clauses out of 20011 with flag 1445001/3387544
317.98/316.19	c cleaning 9998 clauses out of 20009 with flag 1455000/3397543
318.79/316.92	c cleaning 10001 clauses out of 20013 with flag 1465002/3407545
319.70/317.88	c cleaning 10000 clauses out of 20012 with flag 1475002/3417545
320.70/318.80	c cleaning 9999 clauses out of 20011 with flag 1485001/3427544
321.50/319.68	c cleaning 10001 clauses out of 20012 with flag 1495001/3437544
322.50/320.66	c cleaning 10000 clauses out of 20010 with flag 1505000/3447543
323.41/321.57	c cleaning 10000 clauses out of 20011 with flag 1515001/3457544
324.12/322.28	c cleaning 9993 clauses out of 20010 with flag 1525000/3467543
324.92/323.01	c cleaning 9999 clauses out of 20018 with flag 1535001/3477544
325.72/323.89	c cleaning 10002 clauses out of 20018 with flag 1545000/3487543
326.82/324.95	c cleaning 9999 clauses out of 20017 with flag 1555001/3497544
327.72/325.87	c cleaning 9998 clauses out of 20018 with flag 1565001/3507544
328.73/326.84	c cleaning 10004 clauses out of 20020 with flag 1575001/3517544
329.63/327.77	c cleaning 9996 clauses out of 20016 with flag 1585001/3527544
330.53/328.62	c cleaning 10003 clauses out of 20019 with flag 1595000/3537543
331.34/329.43	c cleaning 9995 clauses out of 20016 with flag 1605000/3547543
332.14/330.21	c cleaning 9996 clauses out of 20021 with flag 1615000/3557543
332.84/330.97	c cleaning 9995 clauses out of 20025 with flag 1625000/3567543
333.64/331.72	c cleaning 9999 clauses out of 20030 with flag 1635000/3577543
334.35/332.41	c cleaning 10008 clauses out of 20032 with flag 1645001/3587544
335.16/333.31	c cleaning 10006 clauses out of 20023 with flag 1655000/3597543
336.15/334.27	c cleaning 10001 clauses out of 20017 with flag 1665000/3607543
337.05/335.16	c cleaning 10002 clauses out of 20016 with flag 1675000/3617543
337.95/336.00	c cleaning 10004 clauses out of 20014 with flag 1685000/3627543
338.96/337.01	c cleaning 10001 clauses out of 20011 with flag 1695001/3637544
339.86/337.98	c cleaning 10000 clauses out of 20010 with flag 1705001/3647544
340.78/338.89	c cleaning 10000 clauses out of 20009 with flag 1715000/3657543
341.76/339.84	c cleaning 10000 clauses out of 20010 with flag 1725001/3667544
342.66/340.78	c cleaning 10001 clauses out of 20009 with flag 1735000/3677543
343.66/341.72	c cleaning 10001 clauses out of 20008 with flag 1745000/3687543
344.66/342.71	c cleaning 10002 clauses out of 20008 with flag 1755001/3697544
345.47/343.59	c cleaning 10000 clauses out of 20006 with flag 1765001/3707544
346.38/344.48	c cleaning 9999 clauses out of 20005 with flag 1775000/3717543
347.28/345.33	c cleaning 9998 clauses out of 20006 with flag 1785001/3727544
348.28/346.35	c cleaning 10003 clauses out of 20009 with flag 1795002/3737545
349.28/347.32	c cleaning 9998 clauses out of 20005 with flag 1805001/3747544
350.18/348.23	c cleaning 9986 clauses out of 20006 with flag 1815000/3757543
351.08/349.15	c cleaning 9997 clauses out of 20022 with flag 1825002/3767545
351.88/349.91	c cleaning 9996 clauses out of 20023 with flag 1835000/3777543
352.69/350.70	c cleaning 10008 clauses out of 20028 with flag 1845001/3787544
353.49/351.55	c cleaning 10003 clauses out of 20020 with flag 1855001/3797544
354.29/352.33	c cleaning 9999 clauses out of 20016 with flag 1865000/3807543
355.00/353.11	c cleaning 10004 clauses out of 20017 with flag 1875000/3817543
355.89/353.95	c cleaning 10000 clauses out of 20014 with flag 1885001/3827544
356.79/354.88	c cleaning 10004 clauses out of 20015 with flag 1895002/3837545
357.70/355.70	c cleaning 10000 clauses out of 20009 with flag 1905000/3847543
358.60/356.67	c cleaning 9997 clauses out of 20009 with flag 1915000/3857543
359.70/357.71	c cleaning 10002 clauses out of 20012 with flag 1925000/3867543
360.80/358.83	c cleaning 9999 clauses out of 20010 with flag 1935000/3877543
361.90/359.92	c cleaning 10003 clauses out of 20011 with flag 1945000/3887543
362.90/360.97	c cleaning 10000 clauses out of 20009 with flag 1955001/3897544
364.10/362.15	c cleaning 10000 clauses out of 20008 with flag 1965000/3907543
365.20/363.28	c cleaning 10001 clauses out of 20009 with flag 1975001/3917544
366.30/364.32	c cleaning 9997 clauses out of 20007 with flag 1985000/3927543
367.30/365.38	c cleaning 9999 clauses out of 20010 with flag 1995000/3937543
368.32/366.37	c cleaning 10003 clauses out of 20011 with flag 2005001/3947544
369.31/367.36	c cleaning 10001 clauses out of 20007 with flag 2015000/3957543
370.31/368.34	c cleaning 9996 clauses out of 20007 with flag 2025001/3967544
371.31/369.34	c cleaning 9998 clauses out of 20011 with flag 2035001/3977544
372.33/370.34	c cleaning 10000 clauses out of 20012 with flag 2045000/3987543
373.33/371.35	c cleaning 10002 clauses out of 20013 with flag 2055001/3997544
374.43/372.41	c cleaning 9999 clauses out of 20010 with flag 2065000/4007543
375.43/373.47	c cleaning 9998 clauses out of 20012 with flag 2075001/4017544
376.43/374.41	c cleaning 10003 clauses out of 20013 with flag 2085000/4027543
377.43/375.43	c cleaning 10000 clauses out of 20011 with flag 2095001/4037544
378.33/376.36	c cleaning 9999 clauses out of 20011 with flag 2105001/4047544
379.43/377.42	c cleaning 10002 clauses out of 20011 with flag 2115000/4057543
380.45/378.47	c cleaning 10002 clauses out of 20010 with flag 2125001/4067544
380.63/378.62	c starts		: 254
380.63/378.62	c conflicts		: 4069107
380.63/378.62	c decisions		: 4176931
380.63/378.62	c propagations		: 87049347
380.63/378.62	c inspects		: 2538843954
380.63/378.62	c shortcuts		: 0
380.63/378.62	c learnt literals	: 12
380.63/378.62	c learnt binary clauses	: 29
380.63/378.62	c learnt ternary clauses	: 154
380.63/378.62	c learnt constraints	: 4069094
380.63/378.62	c ignored constraints	: 0
380.63/378.62	c root simplifications	: 0
380.63/378.62	c removed literals (reason simplification)	: 157995245
380.63/378.62	c reason swapping (by a shorter reason)	: 0
380.63/378.62	c Calls to reduceDB	: 411
380.63/378.62	c number of reductions to clauses (during analyze)	: 0
380.63/378.62	c number of learned constraints concerned by reduction	: 0
380.63/378.62	c number of learning phase by resolution	: 0
380.63/378.62	c number of learning phase by cutting planes	: 0
380.63/378.62	c speed (assignments/second)	: 444156.5146845725
380.63/378.62	c non guided choices	11879
380.63/378.62	c learnt constraints type 
380.63/378.62	c constraints type 
380.63/378.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 567
380.63/378.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 589
380.63/378.62	s OPTIMUM FOUND
380.63/378.62	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 x16 x17 -x18 x19 -x20 -x21 -x22 -x23 x24 x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 x83 -x84 -x85 -x86 x87 x88 -x89 x90 x91 -x92 -x93 x94 -x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 
380.63/378.62	c objective function=3
380.63/378.62	c Total wall clock time (in seconds): 378.512

Verifier Data 

OK	3

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-3458224-1307158390/watcher-3458224-1307158390 -o /tmp/evaluation-result-3458224-1307158390/solver-3458224-1307158390 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458224-1307158390.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 1.97 2/487 12154
/proc/meminfo: memFree=24036108/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/12154/stat : 12154 (java) R 12152 12154 8699 0 -1 4202496 958 0 0 0 0 0 0 0 25 0 1 0 906069497 23580672 703 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252453103505 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12154/statm: 5757 703 519 9 0 124 0
[pid=12154/tid=12155] ppid=12152 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 4514 0 1 0 0 0 0 0 25 0 2 0 906069497 13850947584 5331 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0654679 s]
/proc/loadavg: 2.08 2.05 1.97 2/487 12154
/proc/meminfo: memFree=24036108/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 14106 0 1 0 4 1 0 0 25 0 18 0 906069497 13880070144 13804 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3388689 13805 1721 9 0 3379437 0
[pid=12154/tid=12155] ppid=12152 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 12935 0 1 0 4 1 0 0 25 0 18 0 906069497 13880070144 13806 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554756

[startup+0.100452 s]
/proc/loadavg: 2.08 2.05 1.97 2/487 12154
/proc/meminfo: memFree=24036108/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13622248 CPUtime=0.1 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 15485 0 1 0 9 1 0 0 25 0 18 0 906069497 13949181952 15183 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3405562 15184 2092 9 0 3396296 0
[pid=12154/tid=12155] ppid=12152 vsize=13622248 CPUtime=0.08 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 13580 0 1 0 7 1 0 0 18 0 18 0 906069497 13949181952 15184 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622248

[startup+0.300416 s]
/proc/loadavg: 2.08 2.05 1.97 2/487 12154
/proc/meminfo: memFree=24036108/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13626688 CPUtime=0.51 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 18417 0 1 0 49 2 0 0 25 0 19 0 906069497 13953728512 17419 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3406672 17419 2215 9 0 3397406 0
[pid=12154/tid=12155] ppid=12152 vsize=13626688 CPUtime=0.28 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 14475 0 1 0 27 1 0 0 19 0 19 0 906069497 13953728512 17419 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505357740 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13626688

[startup+0.700348 s]
/proc/loadavg: 2.08 2.05 1.97 2/487 12154
/proc/meminfo: memFree=24036108/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13626824 CPUtime=1.01 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 19183 0 1 0 99 2 0 0 25 0 19 0 906069497 13953867776 18095 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3406706 18095 2218 9 0 3397440 0
[pid=12154/tid=12155] ppid=12152 vsize=13626824 CPUtime=0.68 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 15010 0 1 0 67 1 0 0 19 0 19 0 906069497 13953867776 18095 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505547039 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13626824

[startup+1.5012 s]
/proc/loadavg: 2.08 2.05 1.97 3/506 12173
/proc/meminfo: memFree=23967740/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13626824 CPUtime=1.88 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 21162 0 1 0 186 2 0 0 25 0 19 0 906069497 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3406706 19900 2249 9 0 3397440 0
[pid=12154/tid=12155] ppid=12152 vsize=13626824 CPUtime=1.44 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 15070 0 1 0 143 1 0 0 20 0 19 0 906069497 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505537980 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12154/tid=12157] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12157/stat : 12157 (java) S 12152 12154 8699 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12158] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12158/stat : 12158 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12159] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12159/stat : 12159 (java) S 12152 12154 8699 0 -1 4202560 195 0 0 0 0 0 0 0 16 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12160] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12160/stat : 12160 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12161] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12161/stat : 12161 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12162] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12162/stat : 12162 (java) S 12152 12154 8699 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12163] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12163/stat : 12163 (java) S 12152 12154 8699 0 -1 4202560 153 0 0 0 0 0 0 0 16 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12164] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12164/stat : 12164 (java) S 12152 12154 8699 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12165] ppid=12152 vsize=13626824 CPUtime=0.02 cores=1,3,5,7
/proc/12154/task/12165/stat : 12165 (java) S 12152 12154 8699 0 -1 4202560 818 0 0 0 2 0 0 0 16 0 19 0 906069500 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12166] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12166/stat : 12166 (java) S 12152 12154 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906069501 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12167] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12167/stat : 12167 (java) S 12152 12154 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906069501 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12168] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12168/stat : 12168 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12169] ppid=12152 vsize=13626824 CPUtime=0.16 cores=1,3,5,7
/proc/12154/task/12169/stat : 12169 (java) S 12152 12154 8699 0 -1 4202560 1560 0 0 0 16 0 0 0 16 0 19 0 906069503 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12170] ppid=12152 vsize=13626824 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12170/stat : 12170 (java) S 12152 12154 8699 0 -1 4202560 1576 0 0 0 21 0 0 0 15 0 19 0 906069503 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12171] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12171/stat : 12171 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12172] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12172/stat : 12172 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069503 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12173] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12173/stat : 12173 (java) S 12152 12154 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069517 13953867776 19900 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13626824

[startup+3.10089 s]
/proc/loadavg: 2.08 2.05 1.97 3/506 12173
/proc/meminfo: memFree=23961664/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13626824 CPUtime=3.52 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 21769 0 1 0 350 2 0 0 25 0 19 0 906069497 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3406706 20385 2250 9 0 3397440 0
[pid=12154/tid=12155] ppid=12152 vsize=13626824 CPUtime=3 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 15071 0 1 0 299 1 0 0 25 0 19 0 906069497 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505538645 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12154/tid=12157] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12157/stat : 12157 (java) S 12152 12154 8699 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12158] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12158/stat : 12158 (java) S 12152 12154 8699 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12159] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12159/stat : 12159 (java) S 12152 12154 8699 0 -1 4202560 195 0 0 0 0 0 0 0 16 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12160] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12160/stat : 12160 (java) S 12152 12154 8699 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12161] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12161/stat : 12161 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12162] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12162/stat : 12162 (java) S 12152 12154 8699 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12163] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12163/stat : 12163 (java) S 12152 12154 8699 0 -1 4202560 200 0 0 0 0 0 0 0 16 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12164] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12164/stat : 12164 (java) S 12152 12154 8699 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12165] ppid=12152 vsize=13626824 CPUtime=0.05 cores=1,3,5,7
/proc/12154/task/12165/stat : 12165 (java) S 12152 12154 8699 0 -1 4202560 1110 0 0 0 5 0 0 0 16 0 19 0 906069500 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12166] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12166/stat : 12166 (java) S 12152 12154 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906069501 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12167] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12167/stat : 12167 (java) S 12152 12154 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906069501 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12168] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12168/stat : 12168 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12169] ppid=12152 vsize=13626824 CPUtime=0.2 cores=1,3,5,7
/proc/12154/task/12169/stat : 12169 (java) S 12152 12154 8699 0 -1 4202560 1693 0 0 0 20 0 0 0 15 0 19 0 906069503 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12170] ppid=12152 vsize=13626824 CPUtime=0.22 cores=1,3,5,7
/proc/12154/task/12170/stat : 12170 (java) S 12152 12154 8699 0 -1 4202560 1577 0 0 0 22 0 0 0 15 0 19 0 906069503 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12171] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12171/stat : 12171 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12172] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12172/stat : 12172 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069503 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12173] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12173/stat : 12173 (java) S 12152 12154 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069517 13953867776 20385 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 13626824

[startup+6.3013 s]
/proc/loadavg: 2.07 2.05 1.97 3/506 12173
/proc/meminfo: memFree=23957936/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13626824 CPUtime=6.73 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 22841 0 1 0 670 3 0 0 25 0 19 0 906069497 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3406706 21333 2250 9 0 3397440 0
[pid=12154/tid=12155] ppid=12152 vsize=13626824 CPUtime=6.14 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 15075 0 1 0 613 1 0 0 25 0 19 0 906069497 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505589232 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12154/tid=12157] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12157/stat : 12157 (java) S 12152 12154 8699 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12158] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12158/stat : 12158 (java) S 12152 12154 8699 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12159] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12159/stat : 12159 (java) S 12152 12154 8699 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12160] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12160/stat : 12160 (java) S 12152 12154 8699 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12161] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12161/stat : 12161 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12162] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12162/stat : 12162 (java) S 12152 12154 8699 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12163] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12163/stat : 12163 (java) S 12152 12154 8699 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12164] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12164/stat : 12164 (java) S 12152 12154 8699 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 906069499 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12165] ppid=12152 vsize=13626824 CPUtime=0.1 cores=1,3,5,7
/proc/12154/task/12165/stat : 12165 (java) S 12152 12154 8699 0 -1 4202560 2055 0 0 0 10 0 0 0 16 0 19 0 906069500 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12166] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12166/stat : 12166 (java) S 12152 12154 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906069501 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12167] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12167/stat : 12167 (java) S 12152 12154 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906069501 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12168] ppid=12152 vsize=13626824 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12168/stat : 12168 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12169] ppid=12152 vsize=13626824 CPUtime=0.2 cores=1,3,5,7
/proc/12154/task/12169/stat : 12169 (java) S 12152 12154 8699 0 -1 4202560 1693 0 0 0 20 0 0 0 15 0 19 0 906069503 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12170] ppid=12152 vsize=13626824 CPUtime=0.22 cores=1,3,5,7
/proc/12154/task/12170/stat : 12170 (java) S 12152 12154 8699 0 -1 4202560 1577 0 0 0 22 0 0 0 15 0 19 0 906069503 13953867776 21333 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0

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

/proc/12154/task/12157/stat : 12157 (java) S 12152 12154 8699 0 -1 4202560 345 0 0 0 21 0 0 0 16 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12158] ppid=12152 vsize=13635284 CPUtime=0.25 cores=1,3,5,7
/proc/12154/task/12158/stat : 12158 (java) S 12152 12154 8699 0 -1 4202560 162 0 0 0 25 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12159] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12159/stat : 12159 (java) S 12152 12154 8699 0 -1 4202560 252 0 0 0 20 1 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12160] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12160/stat : 12160 (java) S 12152 12154 8699 0 -1 4202560 104 0 0 0 24 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12161] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12161/stat : 12161 (java) S 12152 12154 8699 0 -1 4202560 52 0 0 0 21 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12162] ppid=12152 vsize=13635284 CPUtime=0.22 cores=1,3,5,7
/proc/12154/task/12162/stat : 12162 (java) S 12152 12154 8699 0 -1 4202560 235 0 0 0 22 0 0 0 16 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12163] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12163/stat : 12163 (java) S 12152 12154 8699 0 -1 4202560 282 0 0 0 21 0 0 0 16 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12164] ppid=12152 vsize=13635284 CPUtime=0.2 cores=1,3,5,7
/proc/12154/task/12164/stat : 12164 (java) S 12152 12154 8699 0 -1 4202560 290 0 0 0 20 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12165] ppid=12152 vsize=13635284 CPUtime=10 cores=1,3,5,7
/proc/12154/task/12165/stat : 12165 (java) S 12152 12154 8699 0 -1 4202560 6244 0 0 0 993 7 0 0 15 0 19 0 906069500 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12166] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12166/stat : 12166 (java) S 12152 12154 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12167] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12167/stat : 12167 (java) S 12152 12154 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12168] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12168/stat : 12168 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12169] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12169/stat : 12169 (java) S 12152 12154 8699 0 -1 4202560 2194 0 0 0 24 0 0 0 15 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12170] ppid=12152 vsize=13635284 CPUtime=0.92 cores=1,3,5,7
/proc/12154/task/12170/stat : 12170 (java) S 12152 12154 8699 0 -1 4202560 8677 0 0 0 91 1 0 0 15 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12171] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12171/stat : 12171 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12172] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12172/stat : 12172 (java) S 12152 12154 8699 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12173] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12173/stat : 12173 (java) S 12152 12154 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069517 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 379.53
Current children cumulated vsize (KiB) 13635284

[startup+378.301 s]
/proc/loadavg: 2.01 2.03 1.99 3/506 12554
/proc/meminfo: memFree=23903240/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13635284 CPUtime=380.34 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 35494 0 1 0 38015 19 0 0 25 0 19 0 906069497 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3408821 28618 2251 9 0 3399555 0
[pid=12154/tid=12155] ppid=12152 vsize=13635284 CPUtime=367.31 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 15486 0 1 0 36728 3 0 0 25 0 19 0 906069497 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505616046 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12154/tid=12157] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12157/stat : 12157 (java) S 12152 12154 8699 0 -1 4202560 345 0 0 0 21 0 0 0 16 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12158] ppid=12152 vsize=13635284 CPUtime=0.25 cores=1,3,5,7
/proc/12154/task/12158/stat : 12158 (java) S 12152 12154 8699 0 -1 4202560 162 0 0 0 25 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12159] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12159/stat : 12159 (java) S 12152 12154 8699 0 -1 4202560 252 0 0 0 20 1 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12160] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12160/stat : 12160 (java) S 12152 12154 8699 0 -1 4202560 104 0 0 0 24 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12161] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12161/stat : 12161 (java) S 12152 12154 8699 0 -1 4202560 52 0 0 0 21 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12162] ppid=12152 vsize=13635284 CPUtime=0.22 cores=1,3,5,7
/proc/12154/task/12162/stat : 12162 (java) S 12152 12154 8699 0 -1 4202560 235 0 0 0 22 0 0 0 16 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12163] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12163/stat : 12163 (java) S 12152 12154 8699 0 -1 4202560 282 0 0 0 21 0 0 0 16 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12164] ppid=12152 vsize=13635284 CPUtime=0.2 cores=1,3,5,7
/proc/12154/task/12164/stat : 12164 (java) S 12152 12154 8699 0 -1 4202560 290 0 0 0 20 0 0 0 15 0 19 0 906069499 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12165] ppid=12152 vsize=13635284 CPUtime=10 cores=1,3,5,7
/proc/12154/task/12165/stat : 12165 (java) S 12152 12154 8699 0 -1 4202560 6244 0 0 0 993 7 0 0 15 0 19 0 906069500 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12166] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12166/stat : 12166 (java) S 12152 12154 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12167] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12167/stat : 12167 (java) S 12152 12154 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12168] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12168/stat : 12168 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12169] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12169/stat : 12169 (java) S 12152 12154 8699 0 -1 4202560 2194 0 0 0 24 0 0 0 15 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12170] ppid=12152 vsize=13635284 CPUtime=0.92 cores=1,3,5,7
/proc/12154/task/12170/stat : 12170 (java) S 12152 12154 8699 0 -1 4202560 8677 0 0 0 91 1 0 0 15 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12171] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12171/stat : 12171 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12172] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12172/stat : 12172 (java) S 12152 12154 8699 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906069503 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12173] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12173/stat : 12173 (java) S 12152 12154 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069517 13962530816 28618 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 380.34
Current children cumulated vsize (KiB) 13635284

[startup+378.501 s]
/proc/loadavg: 2.01 2.03 1.99 3/506 12554
/proc/meminfo: memFree=23903240/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13635284 CPUtime=380.53 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 35494 0 1 0 38034 19 0 0 25 0 19 0 906069497 13962530816 28619 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3408821 28620 2251 9 0 3399555 0
[pid=12154/tid=12155] ppid=12152 vsize=13635284 CPUtime=367.47 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) S 12152 12154 8699 0 -1 4202560 15486 0 1 0 36744 3 0 0 25 0 19 0 906069497 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12157] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12157/stat : 12157 (java) S 12152 12154 8699 0 -1 4202560 345 0 0 0 21 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12158] ppid=12152 vsize=13635284 CPUtime=0.25 cores=1,3,5,7
/proc/12154/task/12158/stat : 12158 (java) S 12152 12154 8699 0 -1 4202560 162 0 0 0 25 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12159] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12159/stat : 12159 (java) S 12152 12154 8699 0 -1 4202560 252 0 0 0 20 1 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12160] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12160/stat : 12160 (java) S 12152 12154 8699 0 -1 4202560 104 0 0 0 24 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12161] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12161/stat : 12161 (java) S 12152 12154 8699 0 -1 4202560 52 0 0 0 21 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12162] ppid=12152 vsize=13635284 CPUtime=0.22 cores=1,3,5,7
/proc/12154/task/12162/stat : 12162 (java) S 12152 12154 8699 0 -1 4202560 235 0 0 0 22 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12163] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12163/stat : 12163 (java) S 12152 12154 8699 0 -1 4202560 282 0 0 0 21 0 0 0 16 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12164] ppid=12152 vsize=13635284 CPUtime=0.2 cores=1,3,5,7
/proc/12154/task/12164/stat : 12164 (java) S 12152 12154 8699 0 -1 4202560 290 0 0 0 20 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12165] ppid=12152 vsize=13635284 CPUtime=10.02 cores=1,3,5,7
/proc/12154/task/12165/stat : 12165 (java) R 12152 12154 8699 0 -1 4202560 6246 0 0 0 995 7 0 0 15 0 19 0 906069500 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252457763434 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=12154/tid=12166] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12166/stat : 12166 (java) S 12152 12154 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12167] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12167/stat : 12167 (java) S 12152 12154 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12168] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12168/stat : 12168 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12169] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12169/stat : 12169 (java) S 12152 12154 8699 0 -1 4202560 2194 0 0 0 24 0 0 0 15 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12170] ppid=12152 vsize=13635284 CPUtime=0.92 cores=1,3,5,7
/proc/12154/task/12170/stat : 12170 (java) S 12152 12154 8699 0 -1 4202560 8677 0 0 0 91 1 0 0 15 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12171] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12171/stat : 12171 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12172] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12172/stat : 12172 (java) S 12152 12154 8699 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12173] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12173/stat : 12173 (java) S 12152 12154 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069517 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 380.53
Current children cumulated vsize (KiB) 13635284

[startup+378.601 s]
/proc/loadavg: 2.01 2.03 1.99 3/506 12554
/proc/meminfo: memFree=23903240/32951124 swapFree=56297244/67111528
[pid=12154] ppid=12152 vsize=13635284 CPUtime=380.63 cores=1,3,5,7
/proc/12154/stat : 12154 (java) S 12152 12154 8699 0 -1 4202496 35497 0 1 0 38044 19 0 0 25 0 19 0 906069497 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12154/statm: 3408821 28620 2251 9 0 3399555 0
[pid=12154/tid=12155] ppid=12152 vsize=13635284 CPUtime=367.56 cores=1,3,5,7
/proc/12154/task/12155/stat : 12155 (java) R 12152 12154 8699 0 -1 4202560 15487 0 1 0 36753 3 0 0 25 0 19 0 906069497 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 46912505536763 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12154/tid=12157] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12157/stat : 12157 (java) S 12152 12154 8699 0 -1 4202560 345 0 0 0 21 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12158] ppid=12152 vsize=13635284 CPUtime=0.25 cores=1,3,5,7
/proc/12154/task/12158/stat : 12158 (java) S 12152 12154 8699 0 -1 4202560 162 0 0 0 25 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12159] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12159/stat : 12159 (java) S 12152 12154 8699 0 -1 4202560 252 0 0 0 20 1 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12160] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12160/stat : 12160 (java) S 12152 12154 8699 0 -1 4202560 104 0 0 0 24 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12161] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12161/stat : 12161 (java) S 12152 12154 8699 0 -1 4202560 52 0 0 0 21 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12162] ppid=12152 vsize=13635284 CPUtime=0.22 cores=1,3,5,7
/proc/12154/task/12162/stat : 12162 (java) S 12152 12154 8699 0 -1 4202560 235 0 0 0 22 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 7 0 0 0
[pid=12154/tid=12163] ppid=12152 vsize=13635284 CPUtime=0.21 cores=1,3,5,7
/proc/12154/task/12163/stat : 12163 (java) S 12152 12154 8699 0 -1 4202560 282 0 0 0 21 0 0 0 16 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12164] ppid=12152 vsize=13635284 CPUtime=0.2 cores=1,3,5,7
/proc/12154/task/12164/stat : 12164 (java) S 12152 12154 8699 0 -1 4202560 290 0 0 0 20 0 0 0 15 0 19 0 906069499 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12165] ppid=12152 vsize=13635284 CPUtime=10.02 cores=1,3,5,7
/proc/12154/task/12165/stat : 12165 (java) S 12152 12154 8699 0 -1 4202560 6246 0 0 0 995 7 0 0 15 0 19 0 906069500 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 0 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12166] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12166/stat : 12166 (java) S 12152 12154 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12167] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12167/stat : 12167 (java) S 12152 12154 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906069501 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12168] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12168/stat : 12168 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469889457 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12169] ppid=12152 vsize=13635284 CPUtime=0.24 cores=1,3,5,7
/proc/12154/task/12169/stat : 12169 (java) S 12152 12154 8699 0 -1 4202560 2194 0 0 0 24 0 0 0 15 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
[pid=12154/tid=12170] ppid=12152 vsize=13635284 CPUtime=0.92 cores=1,3,5,7
/proc/12154/task/12170/stat : 12170 (java) S 12152 12154 8699 0 -1 4202560 8677 0 0 0 91 1 0 0 15 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 1 0 0 0
[pid=12154/tid=12171] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12171/stat : 12171 (java) S 12152 12154 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469881753 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12172] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12172/stat : 12172 (java) S 12152 12154 8699 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906069503 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 3 0 0 0
[pid=12154/tid=12173] ppid=12152 vsize=13635284 CPUtime=0 cores=1,3,5,7
/proc/12154/task/12173/stat : 12173 (java) S 12152 12154 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069517 13962530816 28620 33554432000 1073741824 1073778376 140734853969216 18446744073709551615 252469882368 0 4 0 16800975 18446604467405781184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 380.63
Current children cumulated vsize (KiB) 13635284

Child status: 30
Real time (s): 378.634
CPU time (s): 380.683
CPU user time (s): 380.479
CPU system time (s): 0.203968
CPU usage (%): 100.541
Max. virtual memory (cumulated for all children) (KiB): 13646656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.479
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35523
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= 18254
involuntary context switches= 8916

runsolver used 1.68474 second user time and 4.19136 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-04 05:33:10
IDJOB=3458224
IDBENCH=48044
IDSOLVER=1952
FILE ID=node111/3458224-1307158390
RUNJOBID= node111-1307156522-11741
PBS_JOBID= 13508805
Free space on /tmp= 73868 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458224-1307158390/watcher-3458224-1307158390 -o /tmp/evaluation-result-3458224-1307158390/solver-3458224-1307158390 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458224-1307158390.opb

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

MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7
RANDOM SEED=1011112982

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24036372 kB
Buffers:        312340 kB
Cached:         818708 kB
SwapCached:      11784 kB
Active:        7871120 kB
Inactive:       765240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24036372 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:             492 kB
Writeback:           0 kB
AnonPages:     7502984 kB
Mapped:          36056 kB
Slab:           143420 kB
PageTables:      66724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162546156 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= 73868 MiB
End job on node111 at 2011-06-04 05:39:29