Trace number 3454643

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.0OPT2 186.762 104.035

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark84.7671
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		9996466904
0.07/0.09	c Max memory 		10048897024
0.07/0.09	c Total memory 		10048897024
0.07/0.09	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-3454643-1307192557.opb
0.10/0.11	c reading problem ... 
0.10/0.14	c ... done. Wall clock time 0.027s.
0.10/0.14	c #vars     94
0.10/0.14	c #constraints  8
0.10/0.14	c constraints type 
0.10/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
0.10/0.14	c constraints type 
0.10/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8
0.10/0.18	c  And the winner is Resolution
0.44/0.64	c SATISFIABLE
0.44/0.64	c OPTIMIZING...
0.44/0.64	c Got one! Elapsed wall clock time (in seconds):0.53
0.44/0.64	o 66
0.44/0.66	c  And the winner is Resolution
0.55/1.15	c Got one! Elapsed wall clock time (in seconds):1.037
0.55/1.15	o 61
0.55/1.16	c  And the winner is Resolution
0.61/1.65	c Got one! Elapsed wall clock time (in seconds):1.541
0.61/1.65	o 56
0.61/1.66	c  And the winner is Resolution
0.63/2.16	c Got one! Elapsed wall clock time (in seconds):2.045
0.63/2.16	o 50
0.63/2.18	c  And the winner is Resolution
0.72/2.66	c Got one! Elapsed wall clock time (in seconds):2.548
0.72/2.66	o 46
0.72/2.68	c  And the winner is Resolution
0.76/3.16	c Got one! Elapsed wall clock time (in seconds):3.051
0.76/3.16	o 44
0.76/3.18	c  And the winner is Resolution
0.80/3.67	c Got one! Elapsed wall clock time (in seconds):3.555
0.80/3.67	o 34
0.80/3.68	c  And the winner is Resolution
0.84/4.18	c Got one! Elapsed wall clock time (in seconds):4.063
0.84/4.18	o 16
0.84/4.19	c  And the winner is Resolution
1.09/4.68	c Got one! Elapsed wall clock time (in seconds):4.566
1.09/4.68	o 14
1.16/4.70	c  And the winner is Resolution
1.21/5.18	c Got one! Elapsed wall clock time (in seconds):5.07
1.21/5.18	o 13
1.24/5.23	c  And the winner is Resolution
1.46/5.69	c Got one! Elapsed wall clock time (in seconds):5.574
1.46/5.69	o 11
1.48/5.77	c  And the winner is Resolution
1.79/6.19	c Got one! Elapsed wall clock time (in seconds):6.078
1.79/6.19	o 9
1.81/6.27	c  And the winner is Resolution
2.00/6.69	c Got one! Elapsed wall clock time (in seconds):6.581
2.00/6.69	o 8
2.44/6.94	c cleaning 4922 clauses out of 9843 with flag 3000/9843
2.44/6.99	c  And the winner is Resolution
2.82/7.20	c Got one! Elapsed wall clock time (in seconds):7.085
2.82/7.20	o 7
3.22/7.49	c cleaning 5294 clauses out of 10590 with flag 5000/15512
3.62/7.61	c  And the winner is Resolution
3.62/7.70	c Got one! Elapsed wall clock time (in seconds):7.588
3.62/7.70	o 6
4.03/7.92	c cleaning 5293 clauses out of 10586 with flag 3000/20802
4.85/8.31	c cleaning 5645 clauses out of 11293 with flag 9000/26802
5.03/8.46	c  And the winner is Resolution
5.15/8.71	c Got one! Elapsed wall clock time (in seconds):8.599
5.15/8.71	o 3
5.51/8.90	c cleaning 5570 clauses out of 11141 with flag 3000/32295
6.10/9.29	c cleaning 5786 clauses out of 11572 with flag 9001/38296
7.08/9.73	c cleaning 6390 clauses out of 12785 with flag 16000/45295
8.06/10.24	c cleaning 7197 clauses out of 14395 with flag 24000/53295
9.23/10.88	c cleaning 8097 clauses out of 16198 with flag 33000/62295
10.80/11.67	c cleaning 9050 clauses out of 18102 with flag 43001/72296
12.37/12.47	c cleaning 9522 clauses out of 19051 with flag 53000/82295
14.54/13.56	c cleaning 9765 clauses out of 19529 with flag 63000/92295
16.70/14.60	c cleaning 9880 clauses out of 19764 with flag 73000/102295
18.67/15.62	c cleaning 9940 clauses out of 19884 with flag 83000/112295
20.83/16.70	c cleaning 9971 clauses out of 19944 with flag 93000/122295
22.99/17.82	c cleaning 9984 clauses out of 19973 with flag 103000/132295
24.56/18.69	c cleaning 9995 clauses out of 19990 with flag 113001/142296
26.30/19.59	c cleaning 9994 clauses out of 19994 with flag 123000/152295
28.06/20.50	c cleaning 9996 clauses out of 20000 with flag 133000/162295
29.62/21.24	c cleaning 9999 clauses out of 20004 with flag 143000/172295
31.36/22.12	c cleaning 10000 clauses out of 20005 with flag 153000/182295
33.52/23.21	c cleaning 10002 clauses out of 20005 with flag 163000/192295
35.87/24.48	c cleaning 9999 clauses out of 20003 with flag 173000/202295
38.02/25.53	c cleaning 10000 clauses out of 20004 with flag 183000/212295
39.57/26.36	c cleaning 10002 clauses out of 20005 with flag 193001/222296
41.30/27.28	c cleaning 10001 clauses out of 20003 with flag 203001/232296
43.05/28.15	c cleaning 9999 clauses out of 20001 with flag 213000/242295
45.01/29.12	c cleaning 10000 clauses out of 20004 with flag 223002/252297
45.54/29.49	c  And the winner is Resolution
45.75/29.84	c Got one! Elapsed wall clock time (in seconds):29.732
45.75/29.84	o 2
46.45/30.23	c cleaning 7770 clauses out of 15555 with flag 2000/257848
47.62/30.84	c cleaning 6891 clauses out of 13785 with flag 8000/263848
48.74/31.42	c cleaning 6937 clauses out of 13894 with flag 15000/270848
49.72/31.97	c cleaning 7472 clauses out of 14958 with flag 23001/278849
51.02/32.62	c cleaning 8243 clauses out of 16485 with flag 32000/287848
52.56/33.46	c cleaning 9121 clauses out of 18242 with flag 42000/297848
54.13/34.25	c cleaning 9560 clauses out of 19121 with flag 52000/307848
55.67/35.07	c cleaning 9776 clauses out of 19561 with flag 62000/317848
57.19/35.89	c cleaning 9893 clauses out of 19786 with flag 72001/327849
58.74/36.60	c cleaning 9941 clauses out of 19893 with flag 82001/337849
60.31/37.48	c cleaning 9974 clauses out of 19951 with flag 92000/347848
62.02/38.37	c cleaning 9987 clauses out of 19977 with flag 102000/357848
63.34/39.07	c cleaning 9993 clauses out of 19990 with flag 112000/367848
65.08/39.96	c cleaning 9999 clauses out of 19997 with flag 122000/377848
66.65/40.76	c cleaning 9995 clauses out of 19998 with flag 132000/387848
68.36/41.63	c cleaning 9998 clauses out of 20004 with flag 142001/397849
69.67/42.33	c cleaning 10001 clauses out of 20007 with flag 152002/407850
71.41/43.23	c cleaning 10001 clauses out of 20005 with flag 162001/417849
73.55/44.32	c cleaning 9997 clauses out of 20003 with flag 172000/427848
75.29/45.29	c cleaning 9997 clauses out of 20007 with flag 182001/437849
77.23/46.26	c cleaning 10001 clauses out of 20009 with flag 192000/447848
78.93/47.12	c cleaning 10003 clauses out of 20010 with flag 202002/457850
80.46/47.98	c cleaning 10000 clauses out of 20005 with flag 212000/467848
82.20/48.89	c cleaning 9999 clauses out of 20005 with flag 222000/477848
84.11/49.86	c cleaning 9999 clauses out of 20006 with flag 232000/487848
85.67/50.66	c cleaning 10003 clauses out of 20009 with flag 242002/497850
87.18/51.47	c cleaning 9998 clauses out of 20004 with flag 252000/507848
88.91/52.32	c cleaning 10003 clauses out of 20007 with flag 262001/517849
90.41/53.17	c cleaning 10001 clauses out of 20003 with flag 272000/527848
92.14/54.05	c cleaning 10001 clauses out of 20004 with flag 282002/537850
93.89/54.93	c cleaning 9997 clauses out of 20002 with flag 292001/547849
95.40/55.75	c cleaning 10001 clauses out of 20005 with flag 302001/557849
96.90/56.56	c cleaning 9998 clauses out of 20003 with flag 312000/567848
98.27/57.25	c cleaning 10000 clauses out of 20005 with flag 322000/577848
99.57/57.98	c cleaning 10003 clauses out of 20007 with flag 332002/587850
101.10/58.74	c cleaning 10000 clauses out of 20002 with flag 342000/597848
102.43/59.45	c cleaning 9997 clauses out of 20003 with flag 352001/607849
103.92/60.28	c cleaning 9999 clauses out of 20005 with flag 362000/617848
105.85/61.23	c cleaning 10001 clauses out of 20006 with flag 372000/627848
107.18/61.98	c cleaning 9999 clauses out of 20007 with flag 382002/637850
108.70/62.78	c cleaning 10004 clauses out of 20007 with flag 392001/647849
109.99/63.49	c cleaning 10002 clauses out of 20005 with flag 402003/657851
111.52/64.29	c cleaning 10000 clauses out of 20001 with flag 412001/667849
113.04/65.08	c cleaning 9999 clauses out of 20001 with flag 422001/677849
114.53/65.91	c cleaning 10000 clauses out of 20003 with flag 432002/687850
116.25/66.72	c cleaning 10000 clauses out of 20002 with flag 442001/697849
117.98/67.61	c cleaning 9995 clauses out of 20002 with flag 452001/707849
119.70/68.53	c cleaning 9997 clauses out of 20006 with flag 462000/717848
121.23/69.36	c cleaning 10000 clauses out of 20010 with flag 472001/727849
122.72/70.17	c cleaning 10003 clauses out of 20009 with flag 482000/737848
124.44/71.02	c cleaning 9999 clauses out of 20007 with flag 492001/747849
125.76/71.79	c cleaning 10000 clauses out of 20009 with flag 502002/757850
127.48/72.67	c cleaning 10000 clauses out of 20007 with flag 512000/767848
128.97/73.40	c cleaning 9999 clauses out of 20008 with flag 522001/777849
130.29/74.14	c cleaning 10004 clauses out of 20009 with flag 532001/787849
131.64/74.87	c cleaning 10000 clauses out of 20006 with flag 542002/797850
133.35/75.78	c cleaning 10001 clauses out of 20005 with flag 552001/807849
135.24/76.53	c cleaning 9998 clauses out of 20003 with flag 562000/817848
136.75/77.30	c cleaning 9996 clauses out of 20005 with flag 572000/827848
138.08/78.09	c cleaning 10002 clauses out of 20011 with flag 582002/837850
139.55/78.89	c cleaning 10001 clauses out of 20007 with flag 592000/847848
140.50/79.31	c cleaning 0 clauses out of 6719 with flag 0/6730
141.49/79.75	c cleaning 10004 clauses out of 20007 with flag 602001/857849
142.90/80.48	c cleaning 10000 clauses out of 20005 with flag 612003/867851
144.38/81.27	c cleaning 9999 clauses out of 20002 with flag 622000/877848
146.09/82.18	c cleaning 10001 clauses out of 20004 with flag 632001/887849
147.61/82.97	c cleaning 9999 clauses out of 20004 with flag 642002/897850
149.12/83.73	c cleaning 10002 clauses out of 20003 with flag 652000/907848
150.82/84.68	c cleaning 9994 clauses out of 20002 with flag 662001/917849
152.32/85.43	c cleaning 10002 clauses out of 20008 with flag 672001/927849
153.83/86.26	c cleaning 10000 clauses out of 20006 with flag 682001/937849
155.35/87.07	c cleaning 10000 clauses out of 20006 with flag 692001/947849
156.83/87.91	c cleaning 10000 clauses out of 20005 with flag 702000/957848
158.35/88.65	c cleaning 9998 clauses out of 20005 with flag 712000/967848
160.06/89.51	c cleaning 9999 clauses out of 20008 with flag 722001/977849
161.41/90.26	c cleaning 10003 clauses out of 20009 with flag 732001/987849
162.85/91.04	c cleaning 9996 clauses out of 20005 with flag 742000/997848
164.36/91.85	c cleaning 10002 clauses out of 20009 with flag 752000/1007848
165.67/92.54	c cleaning 10004 clauses out of 20009 with flag 762002/1017850
167.18/93.35	c cleaning 9999 clauses out of 20003 with flag 772000/1027848
168.66/94.15	c cleaning 9997 clauses out of 20004 with flag 782000/1037848
170.17/94.97	c cleaning 10004 clauses out of 20007 with flag 792000/1047848
171.71/95.75	c cleaning 10000 clauses out of 20004 with flag 802001/1057849
173.20/96.50	c cleaning 9999 clauses out of 20004 with flag 812001/1067849
174.70/97.30	c cleaning 10002 clauses out of 20006 with flag 822002/1077850
176.01/98.08	c cleaning 9998 clauses out of 20002 with flag 832001/1087849
177.53/98.82	c cleaning 10000 clauses out of 20004 with flag 842001/1097849
178.84/99.59	c cleaning 10002 clauses out of 20003 with flag 852000/1107848
180.30/100.32	c cleaning 9997 clauses out of 20000 with flag 862000/1117848
181.61/101.08	c cleaning 10000 clauses out of 20004 with flag 872001/1127849
183.12/101.81	c cleaning 10001 clauses out of 20004 with flag 882002/1137850
184.44/102.51	c cleaning 10000 clauses out of 20002 with flag 892001/1147849
185.73/103.28	c cleaning 10000 clauses out of 19999 with flag 902000/1157848
186.24/103.58	c  And the winner is Resolution
186.62/103.99	c starts		: 205
186.62/103.99	c conflicts		: 1161998
186.62/103.99	c decisions		: 1165778
186.62/103.99	c propagations		: 8086008
186.62/103.99	c inspects		: 1266589287
186.62/103.99	c shortcuts		: 0
186.62/103.99	c learnt literals	: 12
186.62/103.99	c learnt binary clauses	: 72
186.62/103.99	c learnt ternary clauses	: 332
186.62/103.99	c learnt constraints	: 1161985
186.62/103.99	c ignored constraints	: 0
186.62/103.99	c root simplifications	: 0
186.62/103.99	c removed literals (reason simplification)	: 11254610
186.62/103.99	c reason swapping (by a shorter reason)	: 0
186.62/103.99	c Calls to reduceDB	: 120
186.62/103.99	c number of reductions to clauses (during analyze)	: 0
186.62/103.99	c number of learned constraints concerned by reduction	: 0
186.62/103.99	c number of learning phase by resolution	: 0
186.62/103.99	c number of learning phase by cutting planes	: 0
186.62/103.99	c speed (assignments/second)	: 109053.74458845265
186.62/103.99	c non guided choices	230
186.62/103.99	c learnt constraints type 
186.62/103.99	c constraints type 
186.62/103.99	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
186.62/103.99	c constraints type 
186.62/103.99	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8
186.62/103.99	s OPTIMUM FOUND
186.62/103.99	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 
186.62/103.99	c objective function=2
186.62/103.99	c Total wall clock time (in seconds): 103.881

Verifier Data 

OK	2

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-3454643-1307192557/watcher-3454643-1307192557 -o /tmp/evaluation-result-3454643-1307192557/solver-3454643-1307192557 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454643-1307192557.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.55 3.66 3.42 3/450 4754
/proc/meminfo: memFree=28659332/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 1240 0 0 0 0 0 0 0 22 0 2 0 830856165 31272960 960 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 7635 960 732 9 0 386 0
[pid=4754/tid=4755] ppid=4752 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) R 4752 4754 585 0 -1 4202560 3253 0 1 0 0 0 0 0 23 0 2 0 830856165 10694979584 4069 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.08208 s]
/proc/loadavg: 3.55 3.66 3.42 3/450 4754
/proc/meminfo: memFree=28659332/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 11978 0 1 0 5 2 0 0 22 0 18 0 830856165 10724442112 11675 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2618272 11675 1755 9 0 2609006 0
[pid=4754/tid=4755] ppid=4752 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) R 4752 4754 585 0 -1 4202560 10802 0 1 0 5 1 0 0 25 0 18 0 830856165 10724442112 11675 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458771915 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088

[startup+0.101076 s]
/proc/loadavg: 3.55 3.66 3.42 3/450 4754
/proc/meminfo: memFree=28659332/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10539900 CPUtime=0.1 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 13025 0 1 0 8 2 0 0 22 0 18 0 830856165 10792857600 12687 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2634975 12687 2093 9 0 2625709 0
[pid=4754/tid=4755] ppid=4752 vsize=10539900 CPUtime=0.08 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) R 4752 4754 585 0 -1 4202560 11087 0 1 0 7 1 0 0 18 0 18 0 830856165 10792857600 12687 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 47427927603416 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539900

[startup+0.301046 s]
/proc/loadavg: 3.55 3.66 3.42 3/450 4754
/proc/meminfo: memFree=28659332/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10548032 CPUtime=0.44 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 17346 0 1 0 42 2 0 0 22 0 19 0 830856165 10801184768 15667 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2637008 15667 2194 9 0 2627742 0
[pid=4754/tid=4755] ppid=4752 vsize=10548032 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) S 4752 4754 585 0 -1 4202560 11503 0 1 0 11 2 0 0 19 0 19 0 830856165 10801184768 15667 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10548032

[startup+0.700969 s]
/proc/loadavg: 3.55 3.66 3.42 3/450 4754
/proc/meminfo: memFree=28659332/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10547552 CPUtime=0.55 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 17653 0 1 0 53 2 0 0 22 0 19 0 830856165 10800693248 15760 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2636888 15760 2197 9 0 2627622 0
[pid=4754/tid=4755] ppid=4752 vsize=10547552 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) S 4752 4754 585 0 -1 4202560 11513 0 1 0 11 2 0 0 16 0 19 0 830856165 10800693248 15760 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10547552

[startup+1.50083 s]
/proc/loadavg: 3.55 3.66 3.42 3/469 4780
/proc/meminfo: memFree=28603160/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10547552 CPUtime=0.61 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 17812 0 1 0 59 2 0 0 22 0 19 0 830856165 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2636888 15918 2198 9 0 2627622 0
[pid=4754/tid=4755] ppid=4752 vsize=10547552 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) S 4752 4754 585 0 -1 4202560 11522 0 1 0 11 2 0 0 17 0 19 0 830856165 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4757] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4757/stat : 4757 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4758] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4758/stat : 4758 (java) S 4752 4754 585 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4759] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4759/stat : 4759 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4760] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4760/stat : 4760 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4761] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4761/stat : 4761 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4762] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4762/stat : 4762 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4763] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4763/stat : 4763 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4764] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4764/stat : 4764 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4765] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4765/stat : 4765 (java) S 4752 4754 585 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830856168 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 0 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4766] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4766/stat : 4766 (java) S 4752 4754 585 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830856169 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4767] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4767/stat : 4767 (java) S 4752 4754 585 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 830856169 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4768] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4768/stat : 4768 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856171 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458768817 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4769] ppid=4752 vsize=10547552 CPUtime=0.16 cores=1,3,5,7
/proc/4754/task/4769/stat : 4769 (java) S 4752 4754 585 0 -1 4202560 1628 0 0 0 16 0 0 0 17 0 19 0 830856171 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4770] ppid=4752 vsize=10547552 CPUtime=0.17 cores=1,3,5,7
/proc/4754/task/4770/stat : 4770 (java) S 4752 4754 585 0 -1 4202560 2911 0 0 0 17 0 0 0 16 0 19 0 830856171 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4771] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4771/stat : 4771 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856171 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4772] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4772/stat : 4772 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830856171 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4775] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4775/stat : 4775 (java) S 4752 4754 585 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830856179 10800693248 15918 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10547552

[startup+3.10152 s]
/proc/loadavg: 3.55 3.66 3.42 3/469 4786
/proc/meminfo: memFree=28601048/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10547552 CPUtime=0.76 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 19040 0 1 0 73 3 0 0 22 0 19 0 830856165 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2636888 17145 2202 9 0 2627622 0
[pid=4754/tid=4755] ppid=4752 vsize=10547552 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) S 4752 4754 585 0 -1 4202560 11550 0 1 0 11 2 0 0 16 0 19 0 830856165 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4757] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4757/stat : 4757 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4758] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4758/stat : 4758 (java) S 4752 4754 585 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4759] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4759/stat : 4759 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4760] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4760/stat : 4760 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4761] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4761/stat : 4761 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4762] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4762/stat : 4762 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4763] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4763/stat : 4763 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4764] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4764/stat : 4764 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4765] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4765/stat : 4765 (java) S 4752 4754 585 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830856168 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 0 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4766] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4766/stat : 4766 (java) S 4752 4754 585 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830856169 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4767] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4767/stat : 4767 (java) S 4752 4754 585 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 830856169 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4768] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4768/stat : 4768 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856171 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458768817 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4769] ppid=4752 vsize=10547552 CPUtime=0.18 cores=1,3,5,7
/proc/4754/task/4769/stat : 4769 (java) S 4752 4754 585 0 -1 4202560 1635 0 0 0 18 0 0 0 15 0 19 0 830856171 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4770] ppid=4752 vsize=10547552 CPUtime=0.21 cores=1,3,5,7
/proc/4754/task/4770/stat : 4770 (java) S 4752 4754 585 0 -1 4202560 2920 0 0 0 21 0 0 0 15 0 19 0 830856171 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4771] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4771/stat : 4771 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856171 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4772] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4772/stat : 4772 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830856171 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4775] ppid=4752 vsize=10547552 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4775/stat : 4775 (java) S 4752 4754 585 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830856179 10800693248 17145 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 10547552
heavy processes:

[startup+6.30095 s]
/proc/loadavg: 3.43 3.64 3.42 3/469 4807
/proc/meminfo: memFree=28568048/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10551392 CPUtime=2 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 40907 0 1 0 193 7 0 0 22 0 19 0 830856165 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2637848 37383 2227 9 0 2628582 0
[pid=4754/tid=4755] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) S 4752 4754 585 0 -1 4202560 11615 0 1 0 11 2 0 0 16 0 19 0 830856165 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4757] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4757/stat : 4757 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4758] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4758/stat : 4758 (java) S 4752 4754 585 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4759] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4759/stat : 4759 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4760] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4760/stat : 4760 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4761] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4761/stat : 4761 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4762] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4762/stat : 4762 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4763] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4763/stat : 4763 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4764] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4764/stat : 4764 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856167 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4765] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4765/stat : 4765 (java) S 4752 4754 585 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 830856168 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 0 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4766] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4766/stat : 4766 (java) S 4752 4754 585 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830856169 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4767] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4767/stat : 4767 (java) S 4752 4754 585 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 830856169 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4768] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4768/stat : 4768 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856171 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458768817 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4769] ppid=4752 vsize=10551392 CPUtime=0.5 cores=1,3,5,7
/proc/4754/task/4769/stat : 4769 (java) S 4752 4754 585 0 -1 4202560 2605 0 0 0 50 0 0 0 15 0 19 0 830856171 10804625408 37383 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4770] ppid=4752 vsize=10551392 CPUtime=0.59 cores=1,3,5,7

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

[pid=4754/tid=4772] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4772/stat : 4772 (java) S 4752 4754 585 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 830856171 10804625408 232867 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4775] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4775/stat : 4775 (java) S 4752 4754 585 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830856179 10804625408 232867 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4826] ppid=4752 vsize=10551392 CPUtime=64.27 cores=1,3,5,7
/proc/4754/task/4826/stat : 4826 (java) R 4752 4754 585 0 -1 4202560 84 0 0 0 6427 0 0 0 25 0 22 0 830859150 10804625408 232867 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 46912505551889 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4754/tid=4827] ppid=4752 vsize=10551392 CPUtime=64.29 cores=1,3,5,7
/proc/4754/task/4827/stat : 4827 (java) R 4752 4754 585 0 -1 4202560 15 0 0 0 6429 0 0 0 16 0 22 0 830859150 10804625408 232867 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 46912505637201 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4754/tid=4828] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4828/stat : 4828 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830859151 10804625408 232867 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 184.07
Current children cumulated vsize (KiB) 10551392

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

[startup+103.101 s]
/proc/loadavg: 3.83 3.73 3.47 5/472 4833
/proc/meminfo: memFree=27703196/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10551392 CPUtime=185.53 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 246232 0 1 0 18519 34 0 0 22 0 22 0 830856165 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2637848 232869 2260 9 0 2628582 0
[pid=4754/tid=4755] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) S 4752 4754 585 0 -1 4202560 11649 0 1 0 11 2 0 0 15 0 22 0 830856165 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4757] ppid=4752 vsize=10551392 CPUtime=0.17 cores=1,3,5,7
/proc/4754/task/4757/stat : 4757 (java) S 4752 4754 585 0 -1 4202560 372 0 0 0 17 0 0 0 15 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4758] ppid=4752 vsize=10551392 CPUtime=0.14 cores=1,3,5,7
/proc/4754/task/4758/stat : 4758 (java) S 4752 4754 585 0 -1 4202560 329 0 0 0 14 0 0 0 16 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4759] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4759/stat : 4759 (java) S 4752 4754 585 0 -1 4202560 34 0 0 0 13 0 0 0 16 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4760] ppid=4752 vsize=10551392 CPUtime=0.14 cores=1,3,5,7
/proc/4754/task/4760/stat : 4760 (java) S 4752 4754 585 0 -1 4202560 263 0 0 0 14 0 0 0 15 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4761] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4761/stat : 4761 (java) S 4752 4754 585 0 -1 4202560 223 0 0 0 13 0 0 0 15 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4762] ppid=4752 vsize=10551392 CPUtime=0.15 cores=1,3,5,7
/proc/4754/task/4762/stat : 4762 (java) S 4752 4754 585 0 -1 4202560 158 0 0 0 15 0 0 0 15 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4763] ppid=4752 vsize=10551392 CPUtime=0.16 cores=1,3,5,7
/proc/4754/task/4763/stat : 4763 (java) S 4752 4754 585 0 -1 4202560 32 0 0 0 16 0 0 0 15 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4764] ppid=4752 vsize=10551392 CPUtime=0.17 cores=1,3,5,7
/proc/4754/task/4764/stat : 4764 (java) S 4752 4754 585 0 -1 4202560 326 0 0 0 17 0 0 0 15 0 22 0 830856167 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4765] ppid=4752 vsize=10551392 CPUtime=9.07 cores=1,3,5,7
/proc/4754/task/4765/stat : 4765 (java) S 4752 4754 585 0 -1 4202560 18365 0 0 0 904 3 0 0 16 0 22 0 830856168 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 0 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4766] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4766/stat : 4766 (java) S 4752 4754 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830856169 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4767] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4767/stat : 4767 (java) S 4752 4754 585 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830856169 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4768] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4768/stat : 4768 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830856171 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458768817 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4769] ppid=4752 vsize=10551392 CPUtime=1.49 cores=1,3,5,7
/proc/4754/task/4769/stat : 4769 (java) S 4752 4754 585 0 -1 4202560 10420 0 0 0 148 1 0 0 15 0 22 0 830856171 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4770] ppid=4752 vsize=10551392 CPUtime=0.83 cores=1,3,5,7
/proc/4754/task/4770/stat : 4770 (java) S 4752 4754 585 0 -1 4202560 8602 0 0 0 82 1 0 0 15 0 22 0 830856171 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4771] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4771/stat : 4771 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830856171 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4772] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4772/stat : 4772 (java) S 4752 4754 585 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 830856171 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4775] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4775/stat : 4775 (java) S 4752 4754 585 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830856179 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4826] ppid=4752 vsize=10551392 CPUtime=64.92 cores=1,3,5,7
/proc/4754/task/4826/stat : 4826 (java) R 4752 4754 585 0 -1 4202560 85 0 0 0 6492 0 0 0 25 0 22 0 830859150 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 46912505603439 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4754/tid=4827] ppid=4752 vsize=10551392 CPUtime=64.94 cores=1,3,5,7
/proc/4754/task/4827/stat : 4827 (java) R 4752 4754 585 0 -1 4202560 15 0 0 0 6494 0 0 0 16 0 22 0 830859150 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 46912505658284 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4754/tid=4828] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4828/stat : 4828 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830859151 10804625408 232869 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 185.53
Current children cumulated vsize (KiB) 10551392

[startup+103.501 s]
/proc/loadavg: 3.84 3.73 3.47 4/472 4833
/proc/meminfo: memFree=27646764/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10551392 CPUtime=186.24 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 246234 0 1 0 18590 34 0 0 22 0 22 0 830856165 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2637848 232870 2260 9 0 2628582 0
[pid=4754/tid=4755] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) S 4752 4754 585 0 -1 4202560 11649 0 1 0 11 2 0 0 15 0 22 0 830856165 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4757] ppid=4752 vsize=10551392 CPUtime=0.17 cores=1,3,5,7
/proc/4754/task/4757/stat : 4757 (java) S 4752 4754 585 0 -1 4202560 372 0 0 0 17 0 0 0 15 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4758] ppid=4752 vsize=10551392 CPUtime=0.14 cores=1,3,5,7
/proc/4754/task/4758/stat : 4758 (java) S 4752 4754 585 0 -1 4202560 329 0 0 0 14 0 0 0 16 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4759] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4759/stat : 4759 (java) S 4752 4754 585 0 -1 4202560 35 0 0 0 13 0 0 0 16 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4760] ppid=4752 vsize=10551392 CPUtime=0.14 cores=1,3,5,7
/proc/4754/task/4760/stat : 4760 (java) S 4752 4754 585 0 -1 4202560 263 0 0 0 14 0 0 0 15 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4761] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4761/stat : 4761 (java) S 4752 4754 585 0 -1 4202560 223 0 0 0 13 0 0 0 15 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4762] ppid=4752 vsize=10551392 CPUtime=0.15 cores=1,3,5,7
/proc/4754/task/4762/stat : 4762 (java) S 4752 4754 585 0 -1 4202560 158 0 0 0 15 0 0 0 15 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4763] ppid=4752 vsize=10551392 CPUtime=0.16 cores=1,3,5,7
/proc/4754/task/4763/stat : 4763 (java) S 4752 4754 585 0 -1 4202560 32 0 0 0 16 0 0 0 15 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4764] ppid=4752 vsize=10551392 CPUtime=0.18 cores=1,3,5,7
/proc/4754/task/4764/stat : 4764 (java) S 4752 4754 585 0 -1 4202560 326 0 0 0 18 0 0 0 16 0 22 0 830856167 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4765] ppid=4752 vsize=10551392 CPUtime=9.17 cores=1,3,5,7
/proc/4754/task/4765/stat : 4765 (java) S 4752 4754 585 0 -1 4202560 18365 0 0 0 914 3 0 0 16 0 22 0 830856168 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 0 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4766] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4766/stat : 4766 (java) S 4752 4754 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830856169 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4767] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4767/stat : 4767 (java) S 4752 4754 585 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830856169 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4768] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4768/stat : 4768 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830856171 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458768817 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4769] ppid=4752 vsize=10551392 CPUtime=1.49 cores=1,3,5,7
/proc/4754/task/4769/stat : 4769 (java) S 4752 4754 585 0 -1 4202560 10420 0 0 0 148 1 0 0 15 0 22 0 830856171 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4770] ppid=4752 vsize=10551392 CPUtime=0.83 cores=1,3,5,7
/proc/4754/task/4770/stat : 4770 (java) S 4752 4754 585 0 -1 4202560 8602 0 0 0 82 1 0 0 15 0 22 0 830856171 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4771] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4771/stat : 4771 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830856171 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4772] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4772/stat : 4772 (java) S 4752 4754 585 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 830856171 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4775] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4775/stat : 4775 (java) S 4752 4754 585 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830856179 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4826] ppid=4752 vsize=10551392 CPUtime=65.22 cores=1,3,5,7
/proc/4754/task/4826/stat : 4826 (java) R 4752 4754 585 0 -1 4202560 86 0 0 0 6522 0 0 0 25 0 22 0 830859150 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 46912505613699 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4754/tid=4827] ppid=4752 vsize=10551392 CPUtime=65.24 cores=1,3,5,7
/proc/4754/task/4827/stat : 4827 (java) R 4752 4754 585 0 -1 4202560 15 0 0 0 6524 0 0 0 15 0 22 0 830859150 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 46912505607760 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4754/tid=4828] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4828/stat : 4828 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830859151 10804625408 232870 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 186.24
Current children cumulated vsize (KiB) 10551392

[startup+103.901 s]
/proc/loadavg: 3.84 3.73 3.47 4/472 4833
/proc/meminfo: memFree=27646764/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=10551392 CPUtime=186.62 cores=1,3,5,7
/proc/4754/stat : 4754 (java) S 4752 4754 585 0 -1 4202496 246234 0 1 0 18628 34 0 0 22 0 19 0 830856165 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 2637848 232810 2260 9 0 2628582 0
[pid=4754/tid=4755] ppid=4752 vsize=10551392 CPUtime=0.28 cores=1,3,5,7
/proc/4754/task/4755/stat : 4755 (java) R 4752 4754 585 0 -1 4202560 11649 0 1 0 26 2 0 0 16 0 19 0 830856165 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 46912505786867 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4754/tid=4757] ppid=4752 vsize=10551392 CPUtime=0.17 cores=1,3,5,7
/proc/4754/task/4757/stat : 4757 (java) S 4752 4754 585 0 -1 4202560 372 0 0 0 17 0 0 0 15 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4758] ppid=4752 vsize=10551392 CPUtime=0.14 cores=1,3,5,7
/proc/4754/task/4758/stat : 4758 (java) S 4752 4754 585 0 -1 4202560 329 0 0 0 14 0 0 0 16 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4759] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4759/stat : 4759 (java) S 4752 4754 585 0 -1 4202560 35 0 0 0 13 0 0 0 16 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4760] ppid=4752 vsize=10551392 CPUtime=0.14 cores=1,3,5,7
/proc/4754/task/4760/stat : 4760 (java) S 4752 4754 585 0 -1 4202560 263 0 0 0 14 0 0 0 15 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4761] ppid=4752 vsize=10551392 CPUtime=0.13 cores=1,3,5,7
/proc/4754/task/4761/stat : 4761 (java) S 4752 4754 585 0 -1 4202560 223 0 0 0 13 0 0 0 15 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4762] ppid=4752 vsize=10551392 CPUtime=0.15 cores=1,3,5,7
/proc/4754/task/4762/stat : 4762 (java) S 4752 4754 585 0 -1 4202560 158 0 0 0 15 0 0 0 15 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4763] ppid=4752 vsize=10551392 CPUtime=0.16 cores=1,3,5,7
/proc/4754/task/4763/stat : 4763 (java) S 4752 4754 585 0 -1 4202560 32 0 0 0 16 0 0 0 15 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4764] ppid=4752 vsize=10551392 CPUtime=0.18 cores=1,3,5,7
/proc/4754/task/4764/stat : 4764 (java) S 4752 4754 585 0 -1 4202560 326 0 0 0 18 0 0 0 16 0 19 0 830856167 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4765] ppid=4752 vsize=10551392 CPUtime=9.17 cores=1,3,5,7
/proc/4754/task/4765/stat : 4765 (java) S 4752 4754 585 0 -1 4202560 18365 0 0 0 914 3 0 0 16 0 19 0 830856168 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 0 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4766] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4766/stat : 4766 (java) S 4752 4754 585 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 830856169 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4767] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4767/stat : 4767 (java) S 4752 4754 585 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 830856169 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4768] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4768/stat : 4768 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856171 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458768817 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4769] ppid=4752 vsize=10551392 CPUtime=1.5 cores=1,3,5,7
/proc/4754/task/4769/stat : 4769 (java) S 4752 4754 585 0 -1 4202560 10420 0 0 0 149 1 0 0 15 0 19 0 830856171 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
[pid=4754/tid=4770] ppid=4752 vsize=10551392 CPUtime=0.85 cores=1,3,5,7
/proc/4754/task/4770/stat : 4770 (java) S 4752 4754 585 0 -1 4202560 8602 0 0 0 84 1 0 0 15 0 19 0 830856171 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 3 0 0 0
[pid=4754/tid=4771] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4771/stat : 4771 (java) S 4752 4754 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830856171 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761113 0 4 0 16800975 18446604466593630976 0 0 -1 5 0 0 0
[pid=4754/tid=4772] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4772/stat : 4772 (java) S 4752 4754 585 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 830856171 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 7 0 0 0
[pid=4754/tid=4775] ppid=4752 vsize=10551392 CPUtime=0 cores=1,3,5,7
/proc/4754/task/4775/stat : 4775 (java) S 4752 4754 585 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830856179 10804625408 232810 33554432000 1073741824 1073778376 140734946573712 18446744073709551615 244458761728 0 4 0 16800975 18446604466593630976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 186.62
Current children cumulated vsize (KiB) 10551392

[startup+104.001 s]
/proc/loadavg: 3.84 3.73 3.47 4/472 4833
/proc/meminfo: memFree=27646764/32951124 swapFree=43324008/67111528
[pid=4754] ppid=4752 vsize=0 CPUtime=186.72 cores=1,3,5,7
/proc/4754/stat : 4754 (java) R 4752 4754 585 0 -1 4203524 246239 0 1 0 18638 34 0 0 18 0 1 0 830856165 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4754/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 186.72
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 104.035
CPU time (s): 186.762
CPU user time (s): 186.383
CPU system time (s): 0.378942
CPU usage (%): 179.518
Max. virtual memory (cumulated for all children) (KiB): 10551392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.383
system time used= 0.378942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246239
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= 6730
involuntary context switches= 3698

runsolver used 0.506922 second user time and 1.05084 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-04 15:02:37
IDJOB=3454643
IDBENCH=2927
IDSOLVER=1950
FILE ID=node105/3454643-1307192557
RUNJOBID= node105-1307191502-4527
PBS_JOBID= 13508836
Free space on /tmp= 73768 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454643-1307192557/watcher-3454643-1307192557 -o /tmp/evaluation-result-3454643-1307192557/solver-3454643-1307192557 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454643-1307192557.opb

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=603005584

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28659612 kB
Buffers:        341088 kB
Cached:         855824 kB
SwapCached:      20984 kB
Active:        3269268 kB
Inactive:       707088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28659612 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:             468 kB
Writeback:           0 kB
AnonPages:     2776444 kB
Mapped:          27532 kB
Slab:           165544 kB
PageTables:      82228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 125260344 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= 73768 MiB
End job on node105 at 2011-06-04 15:04:21