Trace number 3453847

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 Res//CP 2.3.0OPT3 275.394 148.071

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb
MD5SUM773aedb43187ca11a13e2d0d2a59ebe9
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.166973
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 variables135
Total number of constraints11
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 constraints11
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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3453847-1307194308.opb
0.10/0.11	c reading problem ... 
0.25/0.20	c ... done. Wall clock time 0.088s.
0.25/0.20	c #vars     540
0.25/0.20	c #constraints  826
0.25/0.20	c constraints type 
0.25/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
0.25/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
0.25/0.20	c constraints type 
0.25/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 405
0.25/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPb => 421
0.25/0.98	c cleaning 2500 clauses out of 5000 with flag 5000/5000
4.81/1.64	c cleaning 4250 clauses out of 8500 with flag 11000/11000
6.39/2.41	c cleaning 5626 clauses out of 11251 with flag 18001/18001
8.37/3.39	c cleaning 6811 clauses out of 13625 with flag 26001/26001
10.77/4.56	c cleaning 7907 clauses out of 15814 with flag 35001/35001
12.75/5.51	c cleaning 8950 clauses out of 17907 with flag 45001/45001
15.71/7.00	c cleaning 9474 clauses out of 18957 with flag 55001/55001
17.87/8.10	c cleaning 9735 clauses out of 19482 with flag 65000/65000
20.01/9.26	c cleaning 9872 clauses out of 19749 with flag 75002/75002
22.80/10.60	c cleaning 9936 clauses out of 19876 with flag 85001/85001
24.65/11.62	c cleaning 9966 clauses out of 19939 with flag 95000/95000
26.81/12.69	c cleaning 9981 clauses out of 19973 with flag 105000/105000
29.51/14.08	c cleaning 9991 clauses out of 19993 with flag 115001/115001
32.06/15.39	c cleaning 10000 clauses out of 20001 with flag 125000/125000
34.20/16.45	c cleaning 0 clauses out of 5001 with flag 0/5001
35.45/16.96	c cleaning 9993 clauses out of 20001 with flag 135000/135000
37.62/18.02	c cleaning 10004 clauses out of 20009 with flag 145001/145001
39.37/18.95	c cleaning 9979 clauses out of 20003 with flag 155000/155000
40.90/19.72	c cleaning 10005 clauses out of 20025 with flag 165001/165001
42.83/20.71	c cleaning 10002 clauses out of 20020 with flag 175001/175001
44.73/21.76	c cleaning 10007 clauses out of 20018 with flag 185001/185001
47.47/23.11	c cleaning 10002 clauses out of 20010 with flag 195000/195000
49.59/24.27	c cleaning 9998 clauses out of 20008 with flag 205000/205000
52.11/25.50	c cleaning 10002 clauses out of 20011 with flag 215001/215001
54.40/26.77	c cleaning 10001 clauses out of 20009 with flag 225001/225001
56.52/27.88	c cleaning 9999 clauses out of 20009 with flag 235002/235002
58.04/28.63	c cleaning 9994 clauses out of 20008 with flag 245000/245000
58.56/28.91	c  And the winner is Resolution
58.62/29.37	c SATISFIABLE
58.62/29.37	c OPTIMIZING...
58.62/29.37	c Got one! Elapsed wall clock time (in seconds):29.261
58.62/29.37	o 293
58.87/29.51	c cleaning 7796 clauses out of 15631 with flag 2001/250617
59.95/30.18	c cleaning 6898 clauses out of 13834 with flag 8000/256616
61.67/31.01	c cleaning 6951 clauses out of 13936 with flag 15000/263616
63.38/31.91	c cleaning 7479 clauses out of 14985 with flag 23000/271616
65.10/32.83	c cleaning 8251 clauses out of 16507 with flag 32001/280617
67.37/34.08	c cleaning 9124 clauses out of 18255 with flag 42000/290616
68.88/34.89	c cleaning 9557 clauses out of 19132 with flag 52001/300617
70.84/35.84	c cleaning 9781 clauses out of 19574 with flag 62000/310616
72.72/36.85	c cleaning 9890 clauses out of 19793 with flag 72000/320616
75.01/38.07	c cleaning 9952 clauses out of 19903 with flag 82000/330616
76.89/39.10	c cleaning 9970 clauses out of 19951 with flag 92000/340616
78.57/39.94	c cleaning 9986 clauses out of 19981 with flag 102000/350616
80.07/40.79	c cleaning 9987 clauses out of 19996 with flag 112001/360617
81.93/41.74	c cleaning 10002 clauses out of 20008 with flag 122000/370616
84.23/42.92	c cleaning 10003 clauses out of 20007 with flag 132001/380617
86.13/43.97	c cleaning 9999 clauses out of 20003 with flag 142000/390616
88.22/45.06	c cleaning 10001 clauses out of 20004 with flag 152000/400616
90.27/46.15	c cleaning 9998 clauses out of 20003 with flag 162000/410616
91.97/47.10	c cleaning 9999 clauses out of 20005 with flag 172000/420616
93.87/48.03	c cleaning 10001 clauses out of 20007 with flag 182001/430617
95.16/48.75	c cleaning 9991 clauses out of 20005 with flag 192000/440616
97.00/49.76	c cleaning 9993 clauses out of 20015 with flag 202001/450617
99.10/50.86	c cleaning 10002 clauses out of 20021 with flag 212000/460616
100.99/51.81	c cleaning 9997 clauses out of 20019 with flag 222000/470616
102.49/52.68	c cleaning 10000 clauses out of 20022 with flag 232000/480616
104.12/53.51	c cleaning 9997 clauses out of 20022 with flag 242000/490616
104.41/53.78	c  And the winner is Resolution
104.63/53.99	c Got one! Elapsed wall clock time (in seconds):53.883
104.63/53.99	o 71
104.84/54.18	c cleaning 7930 clauses out of 15886 with flag 3000/496477
105.75/54.69	c cleaning 6968 clauses out of 13956 with flag 9000/502477
106.83/55.28	c cleaning 6987 clauses out of 13989 with flag 16001/509478
108.27/56.05	c cleaning 7495 clauses out of 15002 with flag 24001/517478
109.75/56.87	c cleaning 8248 clauses out of 16507 with flag 33001/526478
112.04/58.00	c cleaning 9127 clauses out of 18259 with flag 43001/536478
113.55/58.90	c cleaning 9559 clauses out of 19130 with flag 53000/546477
115.15/59.70	c cleaning 9781 clauses out of 19571 with flag 63000/556477
116.44/60.42	c cleaning 9891 clauses out of 19791 with flag 73001/566478
117.76/61.12	c cleaning 9941 clauses out of 19899 with flag 83000/576477
118.99/61.83	c cleaning 9973 clauses out of 19961 with flag 93003/586480
119.82/62.33	c  And the winner is Resolution
119.92/62.76	c Got one! Elapsed wall clock time (in seconds):62.646
119.92/62.76	o 45
120.82/63.29	c cleaning 10335 clauses out of 20692 with flag 5001/597184
122.28/64.09	c cleaning 8159 clauses out of 16358 with flag 11002/603185
124.15/65.08	c cleaning 7580 clauses out of 15198 with flag 18001/610184
126.23/66.11	c cleaning 7795 clauses out of 15617 with flag 26000/618183
128.48/67.31	c cleaning 8399 clauses out of 16823 with flag 35001/627184
130.76/68.56	c cleaning 9199 clauses out of 18425 with flag 45002/637185
133.25/69.90	c cleaning 9597 clauses out of 19224 with flag 55000/647183
135.70/71.13	c cleaning 9802 clauses out of 19628 with flag 65001/657184
137.57/72.18	c cleaning 9908 clauses out of 19826 with flag 75001/667184
139.00/72.91	c  And the winner is Resolution
139.06/73.33	c Got one! Elapsed wall clock time (in seconds):73.221
139.06/73.33	o 13
140.41/74.02	c cleaning 10907 clauses out of 21848 with flag 5000/679114
141.47/74.68	c cleaning 8467 clauses out of 16941 with flag 11000/685114
142.98/75.42	c cleaning 7732 clauses out of 15474 with flag 18000/692114
144.55/76.35	c cleaning 7868 clauses out of 15743 with flag 26001/700115
144.86/76.59	c  And the winner is Resolution
145.06/76.85	c Got one! Elapsed wall clock time (in seconds):76.739
145.06/76.85	o 3
145.35/77.03	c cleaning 6431 clauses out of 12892 with flag 3000/705132
146.25/77.55	c cleaning 6216 clauses out of 12462 with flag 9001/711133
147.30/78.16	c cleaning 6618 clauses out of 13249 with flag 16004/718136
148.70/78.92	c cleaning 7309 clauses out of 14627 with flag 24000/726132
150.19/79.79	c cleaning 8159 clauses out of 16319 with flag 33001/735133
152.04/80.80	c cleaning 9073 clauses out of 18159 with flag 43000/745132
154.33/81.96	c cleaning 9539 clauses out of 19087 with flag 53001/755133
156.33/83.05	c cleaning 9770 clauses out of 19547 with flag 63000/765132
158.18/84.07	c cleaning 9882 clauses out of 19777 with flag 73000/775132
160.04/85.08	c cleaning 9943 clauses out of 19895 with flag 83000/785132
161.71/85.99	c cleaning 9973 clauses out of 19952 with flag 93000/795132
164.12/87.21	c cleaning 9989 clauses out of 19980 with flag 103001/805133
166.18/88.30	c cleaning 9994 clauses out of 19991 with flag 113001/815133
168.24/89.42	c cleaning 9998 clauses out of 19996 with flag 123000/825132
170.31/90.54	c cleaning 9996 clauses out of 19999 with flag 133001/835133
172.50/91.81	c cleaning 10000 clauses out of 20004 with flag 143002/845134
174.79/93.00	c cleaning 10000 clauses out of 20004 with flag 153002/855134
176.85/94.06	c cleaning 9995 clauses out of 20003 with flag 163001/865133
177.10/94.27	c cleaning 0 clauses out of 12123 with flag 0/12125
178.72/95.17	c cleaning 10001 clauses out of 20007 with flag 173000/875132
180.57/96.11	c cleaning 9998 clauses out of 20006 with flag 183001/885133
182.02/96.96	c cleaning 9998 clauses out of 20008 with flag 193001/895133
183.68/97.84	c cleaning 9995 clauses out of 20009 with flag 203000/905132
185.47/98.81	c cleaning 9998 clauses out of 20014 with flag 213000/915132
187.12/99.71	c cleaning 9997 clauses out of 20016 with flag 223000/925132
188.58/100.55	c cleaning 10000 clauses out of 20020 with flag 233001/935133
190.44/101.55	c cleaning 9998 clauses out of 20019 with flag 243000/945132
192.46/102.69	c cleaning 10001 clauses out of 20022 with flag 253001/955133
194.52/103.73	c cleaning 9998 clauses out of 20020 with flag 263000/965132
196.37/104.77	c cleaning 10004 clauses out of 20023 with flag 273001/975133
198.22/105.73	c cleaning 10005 clauses out of 20018 with flag 283000/985132
200.41/106.99	c cleaning 10001 clauses out of 20013 with flag 293000/995132
202.47/108.09	c cleaning 10003 clauses out of 20013 with flag 303001/1005133
204.72/109.25	c cleaning 9999 clauses out of 20010 with flag 313001/1015133
206.78/110.38	c cleaning 9989 clauses out of 20011 with flag 323001/1025133
208.56/111.37	c cleaning 9997 clauses out of 20021 with flag 333000/1035132
210.41/112.34	c cleaning 10007 clauses out of 20025 with flag 343001/1045133
212.46/113.40	c cleaning 10007 clauses out of 20018 with flag 353001/1055133
214.51/114.55	c cleaning 9997 clauses out of 20010 with flag 363000/1065132
216.51/115.67	c cleaning 10006 clauses out of 20014 with flag 373001/1075133
218.36/116.66	c cleaning 10001 clauses out of 20008 with flag 383001/1085133
220.61/117.87	c cleaning 9999 clauses out of 20007 with flag 393001/1095133
222.45/118.89	c cleaning 9999 clauses out of 20007 with flag 403000/1105132
224.47/119.92	c cleaning 10000 clauses out of 20009 with flag 413001/1115133
226.51/121.02	c cleaning 9998 clauses out of 20008 with flag 423000/1125132
228.18/121.99	c cleaning 9999 clauses out of 20009 with flag 433000/1135132
230.42/123.12	c cleaning 10001 clauses out of 20011 with flag 443001/1145133
232.60/124.30	c cleaning 10000 clauses out of 20009 with flag 453000/1155132
234.25/125.22	c cleaning 9998 clauses out of 20010 with flag 463001/1165133
236.09/126.24	c cleaning 9998 clauses out of 20012 with flag 473001/1175133
237.93/127.29	c cleaning 10001 clauses out of 20013 with flag 483000/1185132
240.31/128.54	c cleaning 10002 clauses out of 20013 with flag 493001/1195133
242.75/129.84	c cleaning 10000 clauses out of 20010 with flag 503000/1205132
244.99/131.08	c cleaning 10001 clauses out of 20010 with flag 513000/1215132
247.22/132.26	c cleaning 10001 clauses out of 20009 with flag 523000/1225132
249.40/133.47	c cleaning 10001 clauses out of 20008 with flag 533001/1235133
251.44/134.60	c cleaning 10001 clauses out of 20006 with flag 543000/1245132
253.68/135.78	c cleaning 10000 clauses out of 20005 with flag 553000/1255132
255.93/136.96	c cleaning 10001 clauses out of 20007 with flag 563002/1265134
258.11/138.13	c cleaning 10000 clauses out of 20004 with flag 573000/1275132
260.31/139.30	c cleaning 9999 clauses out of 20005 with flag 583001/1285133
262.54/140.53	c cleaning 9998 clauses out of 20006 with flag 593001/1295133
264.77/141.74	c cleaning 10001 clauses out of 20009 with flag 603002/1305134
266.93/142.93	c cleaning 9996 clauses out of 20005 with flag 613000/1315132
268.96/144.09	c cleaning 10004 clauses out of 20011 with flag 623002/1325134
271.19/145.21	c cleaning 10000 clauses out of 20005 with flag 633000/1335132
273.41/146.41	c cleaning 9998 clauses out of 20004 with flag 643000/1345132
274.56/147.14	c  And the winner is Resolution
275.33/148.03	c starts		: 194
275.33/148.03	c conflicts		: 1350635
275.33/148.03	c decisions		: 1381868
275.33/148.03	c propagations		: 30527802
275.33/148.03	c inspects		: 939344940
275.33/148.03	c shortcuts		: 0
275.33/148.03	c learnt literals	: 20
275.33/148.03	c learnt binary clauses	: 108
275.33/148.03	c learnt ternary clauses	: 348
275.33/148.03	c learnt constraints	: 1350614
275.33/148.03	c ignored constraints	: 0
275.33/148.03	c root simplifications	: 0
275.33/148.03	c removed literals (reason simplification)	: 56174521
275.33/148.03	c reason swapping (by a shorter reason)	: 0
275.33/148.03	c Calls to reduceDB	: 142
275.33/148.03	c number of reductions to clauses (during analyze)	: 0
275.33/148.03	c number of learned constraints concerned by reduction	: 0
275.33/148.03	c number of learning phase by resolution	: 0
275.33/148.03	c number of learning phase by cutting planes	: 0
275.33/148.03	c speed (assignments/second)	: 428893.78740622103
275.33/148.03	c non guided choices	4751
275.33/148.03	c learnt constraints type 
275.33/148.03	c constraints type 
275.33/148.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
275.33/148.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
275.33/148.03	c constraints type 
275.33/148.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 405
275.33/148.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 421
275.33/148.03	s OPTIMUM FOUND
275.33/148.03	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 
275.33/148.03	c objective function=3
275.33/148.03	c Total wall clock time (in seconds): 147.918

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-3453847-1307194308/watcher-3453847-1307194308 -o /tmp/evaluation-result-3453847-1307194308/solver-3453847-1307194308 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453847-1307194308.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: 3.09 3.70 3.73 3/550 10473
/proc/meminfo: memFree=12561856/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 3674 0 1 0 0 0 0 0 25 0 2 0 831029480 10694979584 3375 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2611079 3387 917 9 0 2602235 0
[pid=10473/tid=10474] ppid=10471 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) R 10471 10473 4029 0 -1 4202560 7368 0 1 0 0 0 0 0 25 0 2 0 831029481 10694979584 8184 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0642031 s]
/proc/loadavg: 3.09 3.70 3.73 3/550 10473
/proc/meminfo: memFree=12561856/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 11719 0 1 0 4 1 0 0 25 0 18 0 831029480 10724302848 11415 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2618238 11416 1740 9 0 2608972 0
[pid=10473/tid=10474] ppid=10471 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) R 10471 10473 4029 0 -1 4202560 10545 0 1 0 4 1 0 0 25 0 18 0 831029481 10724302848 11417 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 47452188700579 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) 10472952

[startup+0.101197 s]
/proc/loadavg: 3.09 3.70 3.73 3/550 10473
/proc/meminfo: memFree=12561856/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10540488 CPUtime=0.1 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 13153 0 1 0 9 1 0 0 25 0 18 0 831029480 10793459712 12814 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2635122 12815 2093 9 0 2625856 0
[pid=10473/tid=10474] ppid=10471 vsize=10540488 CPUtime=0.08 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) R 10471 10473 4029 0 -1 4202560 11193 0 1 0 7 1 0 0 25 0 18 0 831029481 10793459712 12815 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 47452188667909 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) 10540488

[startup+0.582212 s]
/proc/loadavg: 3.09 3.70 3.73 3/550 10473
/proc/meminfo: memFree=12561856/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10636224 CPUtime=3.36 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 64614 0 1 0 328 8 0 0 25 0 22 0 831029480 10891493376 55648 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2659056 55648 2235 9 0 2649790 0
[pid=10473/tid=10474] ppid=10471 vsize=10636224 CPUtime=0.18 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) S 10471 10473 4029 0 -1 4202560 11971 0 1 0 17 1 0 0 20 0 22 0 831029481 10891493376 55650 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 10636224

[startup+1.00003 s]
/proc/loadavg: 3.09 3.70 3.73 3/550 10473
/proc/meminfo: memFree=12561856/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10636224 CPUtime=3.4 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 65445 0 1 0 332 8 0 0 25 0 22 0 831029480 10891493376 56476 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2659056 56476 2252 9 0 2649790 0
[pid=10473/tid=10474] ppid=10471 vsize=10636224 CPUtime=0.18 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) S 10471 10473 4029 0 -1 4202560 11971 0 1 0 17 1 0 0 20 0 22 0 831029481 10891493376 56476 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 10636224

[startup+1.50664 s]
/proc/loadavg: 3.09 3.70 3.73 3/550 10473
/proc/meminfo: memFree=12561856/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10625604 CPUtime=4.59 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 88846 0 1 0 449 10 0 0 25 0 22 0 831029480 10880618496 77377 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2656401 77380 2256 9 0 2647135 0
[pid=10473/tid=10474] ppid=10471 vsize=10625604 CPUtime=0.18 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) S 10471 10473 4029 0 -1 4202560 11971 0 1 0 17 1 0 0 15 0 22 0 831029481 10880618496 77381 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10625604

[startup+3.10167 s]
/proc/loadavg: 3.09 3.70 3.73 4/572 10495
/proc/meminfo: memFree=12115556/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10625604 CPUtime=7.77 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 124484 0 1 0 763 14 0 0 25 0 22 0 831029480 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2656401 113012 2256 9 0 2647135 0
[pid=10473/tid=10474] ppid=10471 vsize=10625604 CPUtime=0.18 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) S 10471 10473 4029 0 -1 4202560 11971 0 1 0 17 1 0 0 15 0 22 0 831029481 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10476] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (java) S 10471 10473 4029 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10477] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10477/stat : 10477 (java) S 10471 10473 4029 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10478] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10478/stat : 10478 (java) S 10471 10473 4029 0 -1 4202560 185 0 0 0 0 0 0 0 16 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10479] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10479/stat : 10479 (java) S 10471 10473 4029 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10480] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10480/stat : 10480 (java) S 10471 10473 4029 0 -1 4202560 241 0 0 0 0 0 0 0 16 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10481] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10481/stat : 10481 (java) S 10471 10473 4029 0 -1 4202560 404 0 0 0 0 0 0 0 15 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10482] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10482/stat : 10482 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10483] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10483/stat : 10483 (java) S 10471 10473 4029 0 -1 4202560 595 0 0 0 0 0 0 0 15 0 22 0 831029482 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10484] ppid=10471 vsize=10625604 CPUtime=0.06 cores=1,3,5,7
/proc/10473/task/10484/stat : 10484 (java) S 10471 10473 4029 0 -1 4202560 2442 0 0 0 6 0 0 0 16 0 22 0 831029483 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 0 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10485] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10485/stat : 10485 (java) S 10471 10473 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831029484 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10486] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10486/stat : 10486 (java) S 10471 10473 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831029484 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10487] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10487/stat : 10487 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831029486 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982373809 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10488] ppid=10471 vsize=10625604 CPUtime=0.86 cores=1,3,5,7
/proc/10473/task/10488/stat : 10488 (java) S 10471 10473 4029 0 -1 4202560 7549 0 0 0 86 0 0 0 15 0 22 0 831029486 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10489] ppid=10471 vsize=10625604 CPUtime=0.97 cores=1,3,5,7
/proc/10473/task/10489/stat : 10489 (java) S 10471 10473 4029 0 -1 4202560 11759 0 0 0 96 1 0 0 15 0 22 0 831029486 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10490] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10490/stat : 10490 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831029486 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10491] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10491/stat : 10491 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831029486 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10492] ppid=10471 vsize=10625604 CPUtime=2.81 cores=1,3,5,7
/proc/10473/task/10492/stat : 10492 (java) R 10471 10473 4029 0 -1 4202560 628 0 0 0 281 0 0 0 25 0 22 0 831029500 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912505616642 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10473/tid=10493] ppid=10471 vsize=10625604 CPUtime=2.81 cores=1,3,5,7
/proc/10473/task/10493/stat : 10493 (java) R 10471 10473 4029 0 -1 4202560 87120 0 0 0 271 10 0 0 25 0 22 0 831029500 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912506032487 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10473/tid=10494] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10494/stat : 10494 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831029501 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10495] ppid=10471 vsize=10625604 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10495/stat : 10495 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831029501 10880618496 113012 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 10625604

[startup+6.30112 s]
/proc/loadavg: 3.09 3.69 3.72 4/572 10495
/proc/meminfo: memFree=11932656/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10624460 CPUtime=14.31 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 171825 0 1 0 1411 20 0 0 25 0 22 0 831029480 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2656115 158499 2258 9 0 2646849 0
[pid=10473/tid=10474] ppid=10471 vsize=10624460 CPUtime=0.18 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) S 10471 10473 4029 0 -1 4202560 11971 0 1 0 17 1 0 0 15 0 22 0 831029481 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10476] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (java) S 10471 10473 4029 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10477] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10477/stat : 10477 (java) S 10471 10473 4029 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10478] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10478/stat : 10478 (java) S 10471 10473 4029 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10479] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10479/stat : 10479 (java) S 10471 10473 4029 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10480] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10480/stat : 10480 (java) S 10471 10473 4029 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10481] ppid=10471 vsize=10624460 CPUtime=0.01 cores=1,3,5,7
/proc/10473/task/10481/stat : 10481 (java) S 10471 10473 4029 0 -1 4202560 448 0 0 0 1 0 0 0 16 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10482] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10482/stat : 10482 (java) S 10471 10473 4029 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10483] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10483/stat : 10483 (java) S 10471 10473 4029 0 -1 4202560 596 0 0 0 0 0 0 0 16 0 22 0 831029482 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10484] ppid=10471 vsize=10624460 CPUtime=0.18 cores=1,3,5,7
/proc/10473/task/10484/stat : 10484 (java) S 10471 10473 4029 0 -1 4202560 4503 0 0 0 18 0 0 0 16 0 22 0 831029483 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 0 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10485] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10485/stat : 10485 (java) S 10471 10473 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831029484 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10486] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10486/stat : 10486 (java) S 10471 10473 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831029484 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10487] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10487/stat : 10487 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831029486 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982373809 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10488] ppid=10471 vsize=10624460 CPUtime=0.97 cores=1,3,5,7
/proc/10473/task/10488/stat : 10488 (java) S 10471 10473 4029 0 -1 4202560 7565 0 0 0 97 0 0 0 15 0 22 0 831029486 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10489] ppid=10471 vsize=10624460 CPUtime=1.1 cores=1,3,5,7
/proc/10473/task/10489/stat : 10489 (java) S 10471 10473 4029 0 -1 4202560 13142 0 0 0 109 1 0 0 15 0 22 0 831029486 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10490] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10490/stat : 10490 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831029486 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10491] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10491/stat : 10491 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831029486 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10492] ppid=10471 vsize=10624460 CPUtime=5.88 cores=1,3,5,7
/proc/10473/task/10492/stat : 10492 (java) R 10471 10473 4029 0 -1 4202560 1010 0 0 0 588 0 0 0 25 0 22 0 831029500 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912505677842 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10473/tid=10493] ppid=10471 vsize=10624460 CPUtime=5.87 cores=1,3,5,7
/proc/10473/task/10493/stat : 10493 (java) R 10471 10473 4029 0 -1 4202560 130239 0 0 0 572 15 0 0 25 0 22 0 831029500 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912505552383 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10473/tid=10494] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10494/stat : 10494 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831029501 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10495] ppid=10471 vsize=10624460 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10495/stat : 10495 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831029501 10879447040 158499 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.31
Current children cumulated vsize (KiB) 10624460

[startup+12.722 s]
/proc/loadavg: 3.08 3.68 3.72 4/572 10495
/proc/meminfo: memFree=11816732/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10624460 CPUtime=27.01 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 199799 0 1 0 2678 23 0 0 25 0 22 0 831029480 10879447040 186465 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2656115 186465 2258 9 0 2646849 0
[pid=10473/tid=10474] ppid=10471 vsize=10624460 CPUtime=0.18 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) S 10471 10473 4029 0 -1 4202560 11971 0 1 0 17 1 0 0 15 0 22 0 831029481 10879447040 186465 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10476] ppid=10471 vsize=10624460 CPUtime=0.02 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (java) S 10471 10473 4029 0 -1 4202560 410 0 0 0 2 0 0 0 16 0 22 0 831029482 10879447040 186465 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10477] ppid=10471 vsize=10624460 CPUtime=0.01 cores=1,3,5,7
/proc/10473/task/10477/stat : 10477 (java) S 10471 10473 4029 0 -1 4202560 71 0 0 0 1 0 0 0 16 0 22 0 831029482 10879447040 186465 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10478] ppid=10471 vsize=10624460 CPUtime=0.01 cores=1,3,5,7

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

/proc/10473/task/10479/stat : 10479 (java) S 10471 10473 4029 0 -1 4202560 235 0 0 0 26 0 0 0 16 0 22 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10480] ppid=10471 vsize=10626556 CPUtime=0.27 cores=1,3,5,7
/proc/10473/task/10480/stat : 10480 (java) S 10471 10473 4029 0 -1 4202560 368 0 0 0 27 0 0 0 16 0 22 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10481] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10481/stat : 10481 (java) S 10471 10473 4029 0 -1 4202560 494 0 0 0 26 0 0 0 16 0 22 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10482] ppid=10471 vsize=10626556 CPUtime=0.24 cores=1,3,5,7
/proc/10473/task/10482/stat : 10482 (java) S 10471 10473 4029 0 -1 4202560 88 0 0 0 24 0 0 0 15 0 22 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10483] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10483/stat : 10483 (java) S 10471 10473 4029 0 -1 4202560 668 0 0 0 26 0 0 0 16 0 22 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10484] ppid=10471 vsize=10626556 CPUtime=19.5 cores=1,3,5,7
/proc/10473/task/10484/stat : 10484 (java) S 10471 10473 4029 0 -1 4202560 26683 0 0 0 1945 5 0 0 16 0 22 0 831029483 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 0 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10485] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10485/stat : 10485 (java) S 10471 10473 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10486] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10486/stat : 10486 (java) S 10471 10473 4029 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10487] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10487/stat : 10487 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982373809 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10488] ppid=10471 vsize=10626556 CPUtime=1.11 cores=1,3,5,7
/proc/10473/task/10488/stat : 10488 (java) S 10471 10473 4029 0 -1 4202560 7571 0 0 0 111 0 0 0 15 0 22 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10489] ppid=10471 vsize=10626556 CPUtime=1.65 cores=1,3,5,7
/proc/10473/task/10489/stat : 10489 (java) S 10471 10473 4029 0 -1 4202560 13700 0 0 0 164 1 0 0 15 0 22 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10490] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10490/stat : 10490 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10491] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10491/stat : 10491 (java) S 10471 10473 4029 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10495] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10495/stat : 10495 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831029501 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10571] ppid=10471 vsize=10626556 CPUtime=58.3 cores=1,3,5,7
/proc/10473/task/10571/stat : 10571 (java) R 10471 10473 4029 0 -1 4202560 18 0 0 0 5830 0 0 0 16 0 22 0 831037165 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912505556525 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10473/tid=10572] ppid=10471 vsize=10626556 CPUtime=58.3 cores=1,3,5,7
/proc/10473/task/10572/stat : 10572 (java) R 10471 10473 4029 0 -1 4202560 30 0 0 0 5830 0 0 0 16 0 22 0 831037165 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912505503798 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10473/tid=10574] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10574/stat : 10574 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831037170 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 274.2
Current children cumulated vsize (KiB) 10626556

[startup+147.701 s]
/proc/loadavg: 3.73 3.65 3.69 5/573 10749
/proc/meminfo: memFree=13782984/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10626556 CPUtime=275.01 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 235575 0 1 0 27469 32 0 0 25 0 19 0 831029480 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2656639 222072 2260 9 0 2647373 0
[pid=10473/tid=10474] ppid=10471 vsize=10626556 CPUtime=0.48 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) R 10471 10473 4029 0 -1 4202560 12002 0 1 0 47 1 0 0 16 0 19 0 831029481 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10473/tid=10476] ppid=10471 vsize=10626556 CPUtime=0.27 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (java) S 10471 10473 4029 0 -1 4202560 452 0 0 0 27 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10477] ppid=10471 vsize=10626556 CPUtime=0.21 cores=1,3,5,7
/proc/10473/task/10477/stat : 10477 (java) S 10471 10473 4029 0 -1 4202560 111 0 0 0 21 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10478] ppid=10471 vsize=10626556 CPUtime=0.22 cores=1,3,5,7
/proc/10473/task/10478/stat : 10478 (java) S 10471 10473 4029 0 -1 4202560 296 0 0 0 22 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10479] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10479/stat : 10479 (java) S 10471 10473 4029 0 -1 4202560 235 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10480] ppid=10471 vsize=10626556 CPUtime=0.27 cores=1,3,5,7
/proc/10473/task/10480/stat : 10480 (java) S 10471 10473 4029 0 -1 4202560 368 0 0 0 27 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10481] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10481/stat : 10481 (java) S 10471 10473 4029 0 -1 4202560 494 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10482] ppid=10471 vsize=10626556 CPUtime=0.24 cores=1,3,5,7
/proc/10473/task/10482/stat : 10482 (java) S 10471 10473 4029 0 -1 4202560 88 0 0 0 24 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10483] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10483/stat : 10483 (java) S 10471 10473 4029 0 -1 4202560 668 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10484] ppid=10471 vsize=10626556 CPUtime=19.5 cores=1,3,5,7
/proc/10473/task/10484/stat : 10484 (java) S 10471 10473 4029 0 -1 4202560 26683 0 0 0 1945 5 0 0 15 0 19 0 831029483 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 0 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10485] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10485/stat : 10485 (java) S 10471 10473 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10486] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10486/stat : 10486 (java) S 10471 10473 4029 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10487] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10487/stat : 10487 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982373809 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10488] ppid=10471 vsize=10626556 CPUtime=1.12 cores=1,3,5,7
/proc/10473/task/10488/stat : 10488 (java) S 10471 10473 4029 0 -1 4202560 7571 0 0 0 112 0 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10489] ppid=10471 vsize=10626556 CPUtime=1.65 cores=1,3,5,7
/proc/10473/task/10489/stat : 10489 (java) S 10471 10473 4029 0 -1 4202560 13701 0 0 0 164 1 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10490] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10490/stat : 10490 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10491] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10491/stat : 10491 (java) S 10471 10473 4029 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10495] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10495/stat : 10495 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831029501 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 275.01
Current children cumulated vsize (KiB) 10626556

[startup+147.901 s]
/proc/loadavg: 3.73 3.65 3.69 4/570 10749
/proc/meminfo: memFree=13782884/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10626556 CPUtime=275.22 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 235575 0 1 0 27490 32 0 0 25 0 19 0 831029480 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2656639 222072 2260 9 0 2647373 0
[pid=10473/tid=10474] ppid=10471 vsize=10626556 CPUtime=0.7 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) R 10471 10473 4029 0 -1 4202560 12002 0 1 0 69 1 0 0 16 0 19 0 831029481 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912506147755 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10473/tid=10476] ppid=10471 vsize=10626556 CPUtime=0.27 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (java) S 10471 10473 4029 0 -1 4202560 452 0 0 0 27 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10477] ppid=10471 vsize=10626556 CPUtime=0.21 cores=1,3,5,7
/proc/10473/task/10477/stat : 10477 (java) S 10471 10473 4029 0 -1 4202560 111 0 0 0 21 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10478] ppid=10471 vsize=10626556 CPUtime=0.22 cores=1,3,5,7
/proc/10473/task/10478/stat : 10478 (java) S 10471 10473 4029 0 -1 4202560 296 0 0 0 22 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10479] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10479/stat : 10479 (java) S 10471 10473 4029 0 -1 4202560 235 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10480] ppid=10471 vsize=10626556 CPUtime=0.27 cores=1,3,5,7
/proc/10473/task/10480/stat : 10480 (java) S 10471 10473 4029 0 -1 4202560 368 0 0 0 27 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10481] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10481/stat : 10481 (java) S 10471 10473 4029 0 -1 4202560 494 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10482] ppid=10471 vsize=10626556 CPUtime=0.24 cores=1,3,5,7
/proc/10473/task/10482/stat : 10482 (java) S 10471 10473 4029 0 -1 4202560 88 0 0 0 24 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10483] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10483/stat : 10483 (java) S 10471 10473 4029 0 -1 4202560 668 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10484] ppid=10471 vsize=10626556 CPUtime=19.5 cores=1,3,5,7
/proc/10473/task/10484/stat : 10484 (java) S 10471 10473 4029 0 -1 4202560 26683 0 0 0 1945 5 0 0 15 0 19 0 831029483 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 0 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10485] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10485/stat : 10485 (java) S 10471 10473 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10486] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10486/stat : 10486 (java) S 10471 10473 4029 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10487] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10487/stat : 10487 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982373809 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10488] ppid=10471 vsize=10626556 CPUtime=1.12 cores=1,3,5,7
/proc/10473/task/10488/stat : 10488 (java) S 10471 10473 4029 0 -1 4202560 7571 0 0 0 112 0 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10489] ppid=10471 vsize=10626556 CPUtime=1.65 cores=1,3,5,7
/proc/10473/task/10489/stat : 10489 (java) S 10471 10473 4029 0 -1 4202560 13701 0 0 0 164 1 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10490] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10490/stat : 10490 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10491] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10491/stat : 10491 (java) S 10471 10473 4029 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10495] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10495/stat : 10495 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831029501 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 275.22
Current children cumulated vsize (KiB) 10626556

[startup+148.021 s]
/proc/loadavg: 3.73 3.65 3.69 4/570 10749
/proc/meminfo: memFree=13782884/32951132 swapFree=46579808/67111528
[pid=10473] ppid=10471 vsize=10626556 CPUtime=275.33 cores=1,3,5,7
/proc/10473/stat : 10473 (java) S 10471 10473 4029 0 -1 4202496 235575 0 1 0 27501 32 0 0 25 0 19 0 831029480 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10473/statm: 2656639 222072 2260 9 0 2647373 0
[pid=10473/tid=10474] ppid=10471 vsize=10626556 CPUtime=0.8 cores=1,3,5,7
/proc/10473/task/10474/stat : 10474 (java) R 10471 10473 4029 0 -1 4202560 12002 0 1 0 79 1 0 0 16 0 19 0 831029481 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 46912506147506 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10473/tid=10476] ppid=10471 vsize=10626556 CPUtime=0.27 cores=1,3,5,7
/proc/10473/task/10476/stat : 10476 (java) S 10471 10473 4029 0 -1 4202560 452 0 0 0 27 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10477] ppid=10471 vsize=10626556 CPUtime=0.21 cores=1,3,5,7
/proc/10473/task/10477/stat : 10477 (java) S 10471 10473 4029 0 -1 4202560 111 0 0 0 21 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10478] ppid=10471 vsize=10626556 CPUtime=0.22 cores=1,3,5,7
/proc/10473/task/10478/stat : 10478 (java) S 10471 10473 4029 0 -1 4202560 296 0 0 0 22 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10479] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10479/stat : 10479 (java) S 10471 10473 4029 0 -1 4202560 235 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10480] ppid=10471 vsize=10626556 CPUtime=0.27 cores=1,3,5,7
/proc/10473/task/10480/stat : 10480 (java) S 10471 10473 4029 0 -1 4202560 368 0 0 0 27 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10481] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10481/stat : 10481 (java) S 10471 10473 4029 0 -1 4202560 494 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10482] ppid=10471 vsize=10626556 CPUtime=0.24 cores=1,3,5,7
/proc/10473/task/10482/stat : 10482 (java) S 10471 10473 4029 0 -1 4202560 88 0 0 0 24 0 0 0 15 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10483] ppid=10471 vsize=10626556 CPUtime=0.26 cores=1,3,5,7
/proc/10473/task/10483/stat : 10483 (java) S 10471 10473 4029 0 -1 4202560 668 0 0 0 26 0 0 0 16 0 19 0 831029482 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10484] ppid=10471 vsize=10626556 CPUtime=19.5 cores=1,3,5,7
/proc/10473/task/10484/stat : 10484 (java) S 10471 10473 4029 0 -1 4202560 26683 0 0 0 1945 5 0 0 15 0 19 0 831029483 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 0 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10485] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10485/stat : 10485 (java) S 10471 10473 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10486] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10486/stat : 10486 (java) S 10471 10473 4029 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 831029484 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10487] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10487/stat : 10487 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982373809 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10488] ppid=10471 vsize=10626556 CPUtime=1.12 cores=1,3,5,7
/proc/10473/task/10488/stat : 10488 (java) S 10471 10473 4029 0 -1 4202560 7571 0 0 0 112 0 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 1 0 0 0
[pid=10473/tid=10489] ppid=10471 vsize=10626556 CPUtime=1.65 cores=1,3,5,7
/proc/10473/task/10489/stat : 10489 (java) S 10471 10473 4029 0 -1 4202560 13701 0 0 0 164 1 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 5 0 0 0
[pid=10473/tid=10490] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10490/stat : 10490 (java) S 10471 10473 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366105 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
[pid=10473/tid=10491] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10491/stat : 10491 (java) S 10471 10473 4029 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 831029486 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 7 0 0 0
[pid=10473/tid=10495] ppid=10471 vsize=10626556 CPUtime=0 cores=1,3,5,7
/proc/10473/task/10495/stat : 10495 (java) S 10471 10473 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831029501 10881593344 222072 33554432000 1073741824 1073778376 140735866416080 18446744073709551615 242982366720 0 4 0 16800975 18446604467602942720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 275.33
Current children cumulated vsize (KiB) 10626556

Child status: 30
Real time (s): 148.071
CPU time (s): 275.394
CPU user time (s): 275.025
CPU system time (s): 0.368943
CPU usage (%): 185.987
Max. virtual memory (cumulated for all children) (KiB): 10636224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.025
system time used= 0.368943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235580
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= 7984
involuntary context switches= 3032

runsolver used 0.78888 second user time and 1.9727 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-04 15:31:48
IDJOB=3453847
IDBENCH=48051
IDSOLVER=1950
FILE ID=node128/3453847-1307194308
RUNJOBID= node128-1307194276-10140
PBS_JOBID= 13508827
Free space on /tmp= 73920 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453847-1307194308/watcher-3453847-1307194308 -o /tmp/evaluation-result-3453847-1307194308/solver-3453847-1307194308 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453847-1307194308.opb

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

MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9
RANDOM SEED=1463711936

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12562012 kB
Buffers:        333240 kB
Cached:        3487164 kB
SwapCached:      35620 kB
Active:       11689144 kB
Inactive:      8378676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12562012 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:             784 kB
Writeback:           0 kB
AnonPages:    16221324 kB
Mapped:          26012 kB
Slab:           135056 kB
PageTables:     117448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 185169432 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node128 at 2011-06-04 15:34:16