Trace number 3458741

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)-37 1800.22 1793.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1797.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458741-1307148535.opb
0.10/0.11	c reading problem ... 
0.80/0.58	c ... done. Wall clock time 0.464s.
0.80/0.58	c #vars     945
0.80/0.58	c #constraints  58245
0.80/0.58	c constraints type 
0.80/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58245
0.92/0.60	c SATISFIABLE
0.92/0.60	c OPTIMIZING...
0.92/0.60	c Got one! Elapsed wall clock time (in seconds):0.485
0.92/0.60	o -29
0.92/0.70	c Got one! Elapsed wall clock time (in seconds):0.537
0.92/0.70	o -30
0.92/0.70	c Got one! Elapsed wall clock time (in seconds):0.576
0.92/0.70	o -31
1.21/0.73	c Got one! Elapsed wall clock time (in seconds):0.617
1.21/0.73	o -32
1.34/0.81	c Got one! Elapsed wall clock time (in seconds):0.694
1.34/0.81	o -34
1.34/0.85	c Got one! Elapsed wall clock time (in seconds):0.735
1.34/0.85	o -35
2.47/1.87	c cleaning 2843 clauses out of 5686 with flag 5002/5686
3.64/2.98	c cleaning 4421 clauses out of 8842 with flag 11001/11685
4.85/4.18	c Got one! Elapsed wall clock time (in seconds):4.07
4.85/4.18	o -36
5.86/5.17	c cleaning 7831 clauses out of 15671 with flag 5000/22935
7.14/6.36	c cleaning 6917 clauses out of 13840 with flag 11000/28935
8.71/7.85	c cleaning 6958 clauses out of 13923 with flag 18000/35935
10.42/9.54	c cleaning 7478 clauses out of 14965 with flag 26000/43935
12.54/11.67	c cleaning 8240 clauses out of 16489 with flag 35002/52937
14.65/13.79	c cleaning 9121 clauses out of 18247 with flag 45000/62935
17.37/16.49	c cleaning 10052 clauses out of 20126 with flag 56000/73935
19.87/18.96	c cleaning 11035 clauses out of 22074 with flag 68000/85935
22.90/21.97	c cleaning 12019 clauses out of 24039 with flag 81000/98935
26.51/25.51	c cleaning 13007 clauses out of 26020 with flag 95000/112935
29.82/28.85	c cleaning 14005 clauses out of 28013 with flag 110000/127935
33.74/32.71	c cleaning 14997 clauses out of 30008 with flag 126000/143935
37.94/36.97	c cleaning 16006 clauses out of 32011 with flag 143000/160935
43.05/42.07	c cleaning 16999 clauses out of 34006 with flag 161001/178936
47.67/46.67	c cleaning 17992 clauses out of 36006 with flag 180000/197935
52.71/51.70	c cleaning 19007 clauses out of 38015 with flag 200001/217936
58.35/57.28	c cleaning 20003 clauses out of 40008 with flag 221001/238936
64.85/63.80	c cleaning 21002 clauses out of 42005 with flag 243001/260936
70.17/69.06	c cleaning 21989 clauses out of 44002 with flag 266000/283935
76.39/75.27	c cleaning 22996 clauses out of 46013 with flag 290000/307935
83.02/81.83	c cleaning 24005 clauses out of 48017 with flag 315000/332935
90.46/89.20	c cleaning 25007 clauses out of 50014 with flag 341002/358937
99.79/98.58	c cleaning 25999 clauses out of 52005 with flag 368000/385935
107.23/105.93	c cleaning 27001 clauses out of 54006 with flag 396000/413935
115.16/113.80	c cleaning 27999 clauses out of 56005 with flag 425000/442935
123.99/122.61	c cleaning 28994 clauses out of 58006 with flag 455000/472935
132.91/131.55	c cleaning 30006 clauses out of 60013 with flag 486001/503936
143.14/141.74	c cleaning 31003 clauses out of 62007 with flag 518001/535936
154.08/152.67	c cleaning 31996 clauses out of 64004 with flag 551001/568936
164.00/162.57	c cleaning 32983 clauses out of 66007 with flag 585000/602935
173.18/171.64	c cleaning 34005 clauses out of 68025 with flag 620001/637936
183.67/182.11	c cleaning 35011 clauses out of 70022 with flag 656003/673938
184.53/182.91	c Got one! Elapsed wall clock time (in seconds):182.802
184.53/182.91	o -37
185.03/183.43	c cleaning 20156 clauses out of 40314 with flag 2000/679241
186.45/184.88	c cleaning 13072 clauses out of 26158 with flag 8000/685241
188.34/186.70	c cleaning 10034 clauses out of 20086 with flag 15000/692241
190.14/188.57	c cleaning 9020 clauses out of 18052 with flag 23000/700241
192.54/190.95	c cleaning 9004 clauses out of 18032 with flag 32000/709241
195.16/193.52	c cleaning 9511 clauses out of 19029 with flag 42001/719242
197.76/196.18	c cleaning 10254 clauses out of 20518 with flag 53001/730242
201.17/199.50	c cleaning 11123 clauses out of 22263 with flag 65000/742241
204.68/203.04	c cleaning 12068 clauses out of 24140 with flag 78000/755241
208.59/206.99	c cleaning 13030 clauses out of 26072 with flag 92000/769241
213.31/211.62	c cleaning 14011 clauses out of 28042 with flag 107000/784241
217.61/215.92	c cleaning 15013 clauses out of 30031 with flag 123000/800241
222.33/220.63	c cleaning 16009 clauses out of 32018 with flag 140000/817241
227.74/226.06	c cleaning 17000 clauses out of 34009 with flag 158000/835241
234.16/232.50	c cleaning 18005 clauses out of 36009 with flag 177000/854241
240.39/238.62	c cleaning 18999 clauses out of 38004 with flag 197000/874241
245.69/243.90	c cleaning 20003 clauses out of 40007 with flag 218002/895243
250.71/248.96	c cleaning 21001 clauses out of 42002 with flag 240000/917241
257.14/255.38	c cleaning 21997 clauses out of 44001 with flag 263000/940241
264.17/262.38	c cleaning 23002 clauses out of 46004 with flag 287000/964241
271.50/269.65	c cleaning 23997 clauses out of 48002 with flag 312000/989241
279.53/277.62	c cleaning 24997 clauses out of 50005 with flag 338000/1015241
287.25/285.35	c cleaning 25996 clauses out of 52008 with flag 365000/1042241
295.38/293.41	c cleaning 26994 clauses out of 54012 with flag 393000/1070241
303.50/301.55	c cleaning 28003 clauses out of 56018 with flag 422000/1099241
313.36/311.35	c cleaning 29003 clauses out of 58015 with flag 452000/1129241
323.57/321.53	c cleaning 30003 clauses out of 60012 with flag 483000/1160241
333.40/331.33	c cleaning 30995 clauses out of 62009 with flag 515000/1192241
344.03/342.00	c cleaning 32005 clauses out of 64014 with flag 548000/1225241
356.00/353.83	c cleaning 33001 clauses out of 66009 with flag 582000/1259241
368.74/366.58	c cleaning 33998 clauses out of 68008 with flag 617000/1294241
382.91/380.68	c cleaning 35003 clauses out of 70012 with flag 653002/1330243
392.15/389.84	c cleaning 35999 clauses out of 72007 with flag 690000/1367241
402.87/400.55	c cleaning 37005 clauses out of 74009 with flag 728001/1405242
415.02/412.65	c cleaning 37989 clauses out of 76003 with flag 767000/1444241
427.45/425.03	c cleaning 38996 clauses out of 78014 with flag 807000/1484241
442.90/440.44	c cleaning 40002 clauses out of 80019 with flag 848001/1525242
457.34/454.87	c cleaning 41001 clauses out of 82016 with flag 890000/1567241
472.61/470.06	c cleaning 42004 clauses out of 84016 with flag 933001/1610242
486.56/483.93	c cleaning 42991 clauses out of 86011 with flag 977000/1654241
502.58/499.92	c cleaning 44008 clauses out of 88020 with flag 1022000/1699241
518.44/515.79	c cleaning 45006 clauses out of 90012 with flag 1068000/1745241
533.81/531.07	c cleaning 45991 clauses out of 92007 with flag 1115001/1792242
552.78/550.01	c cleaning 47004 clauses out of 94016 with flag 1163001/1840242
573.34/570.47	c cleaning 47991 clauses out of 96011 with flag 1212000/1889241
593.90/590.94	c cleaning 48995 clauses out of 98021 with flag 1262001/1939242
614.49/611.51	c cleaning 49996 clauses out of 100025 with flag 1313000/1990241
627.76/624.60	c cleaning 51010 clauses out of 102029 with flag 1365000/2042241
643.09/639.95	c cleaning 52004 clauses out of 104019 with flag 1418000/2095241
660.97/657.80	c cleaning 53006 clauses out of 106015 with flag 1472000/2149241
681.33/678.01	c cleaning 53997 clauses out of 108010 with flag 1527001/2204242
701.70/698.35	c cleaning 55001 clauses out of 110012 with flag 1583000/2260241
720.98/717.56	c cleaning 55993 clauses out of 112011 with flag 1640000/2317241
746.45/742.95	c cleaning 57004 clauses out of 114019 with flag 1698001/2375242
773.53/769.99	c cleaning 58005 clauses out of 116014 with flag 1757000/2434241
796.20/792.52	c cleaning 58498 clauses out of 117009 with flag 1816000/2493241
821.68/817.96	c cleaning 58749 clauses out of 117511 with flag 1875000/2552241
849.58/845.79	c cleaning 58877 clauses out of 117762 with flag 1934000/2611241
873.76/869.83	c cleaning 58927 clauses out of 117885 with flag 1993000/2670241
896.94/892.97	c cleaning 58968 clauses out of 117958 with flag 2052000/2729241
920.12/916.05	c cleaning 58986 clauses out of 117990 with flag 2111000/2788241
946.73/942.55	c cleaning 59002 clauses out of 118004 with flag 2170000/2847241
969.08/964.81	c cleaning 58995 clauses out of 118003 with flag 2229001/2906242
993.63/989.39	c cleaning 59001 clauses out of 118007 with flag 2288000/2965241
1011.48/1007.14	c cleaning 59000 clauses out of 118006 with flag 2347000/3024241
1030.94/1026.53	c cleaning 58989 clauses out of 118006 with flag 2406000/3083241
1051.49/1047.02	c cleaning 58995 clauses out of 118018 with flag 2465001/3142242
1072.34/1067.88	c cleaning 59002 clauses out of 118022 with flag 2524000/3201241
1096.32/1091.72	c cleaning 58997 clauses out of 118021 with flag 2583001/3260242
1115.00/1110.35	c cleaning 58995 clauses out of 118023 with flag 2642000/3319241
1137.55/1132.89	c cleaning 59003 clauses out of 118028 with flag 2701000/3378241
1163.83/1159.02	c cleaning 59006 clauses out of 118025 with flag 2760000/3437241
1186.02/1181.19	c cleaning 58998 clauses out of 118020 with flag 2819001/3496242
1211.37/1206.48	c cleaning 58995 clauses out of 118021 with flag 2878000/3555241
1235.17/1230.17	c cleaning 59004 clauses out of 118026 with flag 2937000/3614241
1259.54/1254.48	c cleaning 59003 clauses out of 118022 with flag 2996000/3673241
1283.21/1278.07	c cleaning 58994 clauses out of 118020 with flag 3055001/3732242
1305.88/1300.64	c cleaning 59003 clauses out of 118025 with flag 3114000/3791241
1329.54/1324.23	c cleaning 58995 clauses out of 118022 with flag 3173000/3850241
1353.69/1348.33	c cleaning 59004 clauses out of 118027 with flag 3232000/3909241
1375.92/1370.52	c cleaning 58998 clauses out of 118023 with flag 3291000/3968241
1395.96/1390.55	c cleaning 59005 clauses out of 118025 with flag 3350000/4027241
1422.93/1417.46	c cleaning 58987 clauses out of 118020 with flag 3409000/4086241
1450.00/1444.41	c cleaning 58999 clauses out of 118034 with flag 3468001/4145242
1474.64/1469.05	c cleaning 59001 clauses out of 118034 with flag 3527000/4204241
1502.88/1497.20	c cleaning 59006 clauses out of 118033 with flag 3586000/4263241
1529.44/1523.72	c cleaning 58993 clauses out of 118028 with flag 3645001/4322242
1554.96/1549.23	c cleaning 58998 clauses out of 118034 with flag 3704000/4381241
1581.90/1576.13	c cleaning 59005 clauses out of 118036 with flag 3763000/4440241
1608.15/1602.35	c cleaning 59002 clauses out of 118031 with flag 3822000/4499241
1625.25/1619.38	c cleaning 59007 clauses out of 118029 with flag 3881000/4558241
1646.50/1640.54	c cleaning 59004 clauses out of 118022 with flag 3940000/4617241
1668.94/1662.96	c cleaning 58999 clauses out of 118018 with flag 3999000/4676241
1690.02/1683.98	c cleaning 58998 clauses out of 118019 with flag 4058000/4735241
1712.39/1706.21	c cleaning 58997 clauses out of 118021 with flag 4117000/4794241
1739.97/1733.79	c cleaning 59008 clauses out of 118024 with flag 4176000/4853241
1764.45/1758.16	c cleaning 58995 clauses out of 118016 with flag 4235000/4912241
1784.22/1777.87	c cleaning 59008 clauses out of 118021 with flag 4294000/4971241
1800.06/1793.63	c starts		: 281
1800.06/1793.63	c conflicts		: 5015265
1800.06/1793.63	c decisions		: 5405530
1800.06/1793.63	c propagations		: 30072613
1800.06/1793.63	c inspects		: 7445502153
1800.06/1793.63	c shortcuts		: 0
1800.06/1793.63	c learnt literals	: 0
1800.06/1793.63	c learnt binary clauses	: 0
1800.06/1793.63	c learnt ternary clauses	: 0
1800.06/1793.63	c learnt constraints	: 5015265
1800.06/1793.63	c ignored constraints	: 0
1800.06/1793.63	c root simplifications	: 0
1800.06/1793.63	c removed literals (reason simplification)	: 72833883
1800.06/1793.63	c reason swapping (by a shorter reason)	: 0
1800.06/1793.63	c Calls to reduceDB	: 132
1800.06/1793.63	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.63	c number of learned constraints concerned by reduction	: 0
1800.06/1793.63	c number of learning phase by resolution	: 0
1800.06/1793.63	c number of learning phase by cutting planes	: 0
1800.06/1793.63	c speed (assignments/second)	: 18670.387381480985
1800.06/1793.63	c non guided choices	0
1800.06/1793.65	c learnt constraints type 
1800.06/1793.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 103107
1800.06/1793.65	c constraints type 
1800.06/1793.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1793.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58245
1800.06/1793.65	s SATISFIABLE
1800.06/1793.66	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 
1800.06/1793.66	c objective function=-37
1800.06/1793.66	c Total wall clock time (in seconds): 1793.546

Verifier Data 

OK	-37

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.06 2.00 3/576 5570
/proc/meminfo: memFree=28570732/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 1168 0 0 0 0 0 0 0 25 0 2 0 905084194 26714112 897 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 6522 897 682 9 0 381 0
[pid=5570/tid=5571] ppid=5568 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 7485 0 1 0 0 0 0 0 25 0 2 0 905084195 13850947584 8301 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.04429 s]
/proc/loadavg: 2.05 2.06 2.00 3/576 5570
/proc/meminfo: memFree=28570732/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 13662 0 1 0 2 1 0 0 25 0 13 0 905084194 13874667520 13359 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3387370 13361 1655 9 0 3378118 0
[pid=5570/tid=5571] ppid=5568 vsize=13549480 CPUtime=0.02 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 12517 0 1 0 2 0 0 0 25 0 13 0 905084195 13874667520 13361 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 47098687481368 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.105036 s]
/proc/loadavg: 2.05 2.06 2.00 3/576 5570
/proc/meminfo: memFree=28570732/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13621408 CPUtime=0.1 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 15477 0 1 0 9 1 0 0 25 0 18 0 905084194 13948321792 15174 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3405352 15174 2092 9 0 3396086 0
[pid=5570/tid=5571] ppid=5568 vsize=13621408 CPUtime=0.08 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 13688 0 1 0 7 1 0 0 18 0 18 0 905084195 13948321792 15174 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 47098688916307 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621408

[startup+0.320515 s]
/proc/loadavg: 2.05 2.06 2.00 3/576 5570
/proc/meminfo: memFree=28570732/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13623772 CPUtime=0.53 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 18852 0 1 0 51 2 0 0 25 0 18 0 905084194 13950742528 18125 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3405943 18125 2201 9 0 3396677 0
[pid=5570/tid=5571] ppid=5568 vsize=13623772 CPUtime=0.31 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 15776 0 1 0 29 2 0 0 18 0 18 0 905084195 13950742528 18126 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 46912505564445 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13623772

[startup+0.709205 s]
/proc/loadavg: 2.05 2.06 2.00 3/576 5570
/proc/meminfo: memFree=28570732/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13629128 CPUtime=1.21 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 43535 0 1 0 117 4 0 0 25 0 19 0 905084194 13956227072 41675 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3407282 41675 2230 9 0 3398016 0
[pid=5570/tid=5571] ppid=5568 vsize=13629128 CPUtime=0.69 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 38061 0 1 0 65 4 0 0 19 0 19 0 905084195 13956227072 41676 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 47098688916307 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 13629128

[startup+1.50108 s]
/proc/loadavg: 2.05 2.06 2.00 3/595 5589
/proc/meminfo: memFree=28405048/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13629128 CPUtime=2.13 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 47486 0 1 0 208 5 0 0 25 0 19 0 905084194 13956227072 45625 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3407282 45625 2234 9 0 3398016 0
[pid=5570/tid=5571] ppid=5568 vsize=13629128 CPUtime=1.48 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 41987 0 1 0 143 5 0 0 20 0 19 0 905084195 13956227072 45625 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 47098688916307 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5570/tid=5573] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5573/stat : 5573 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45625 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5574] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5574/stat : 5574 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45625 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5575] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5575/stat : 5575 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45626 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5576] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5576/stat : 5576 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45626 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5577] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5577/stat : 5577 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45626 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5578] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5578/stat : 5578 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45626 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5579] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5579/stat : 5579 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45626 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5580] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5580/stat : 5580 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084197 13956227072 45626 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5581] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5581/stat : 5581 (java) S 5568 5570 3728 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905084198 13956227072 45626 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 0 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5582] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5582/stat : 5582 (java) S 5568 5570 3728 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905084198 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5583] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5583/stat : 5583 (java) S 5568 5570 3728 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905084198 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5584] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5584/stat : 5584 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296749489 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5585] ppid=5568 vsize=13629128 CPUtime=0.34 cores=0,2,4,6
/proc/5570/task/5585/stat : 5585 (java) S 5568 5570 3728 0 -1 4202560 2646 0 0 0 34 0 0 0 17 0 19 0 905084200 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5586] ppid=5568 vsize=13629128 CPUtime=0.29 cores=0,2,4,6
/proc/5570/task/5586/stat : 5586 (java) S 5568 5570 3728 0 -1 4202560 1693 0 0 0 29 0 0 0 15 0 19 0 905084200 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5587] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5587/stat : 5587 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5588] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5588/stat : 5588 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905084200 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5589] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5589/stat : 5589 (java) S 5568 5570 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905084253 13956227072 45627 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 13629128

[startup+3.10078 s]
/proc/loadavg: 2.05 2.06 2.00 3/595 5589
/proc/meminfo: memFree=28358796/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13629128 CPUtime=3.85 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 64670 0 1 0 377 8 0 0 25 0 19 0 905084194 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3407282 62662 2262 9 0 3398016 0
[pid=5570/tid=5571] ppid=5568 vsize=13629128 CPUtime=3.01 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 43617 0 1 0 296 5 0 0 19 0 19 0 905084195 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 46912505709723 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5570/tid=5573] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5573/stat : 5573 (java) S 5568 5570 3728 0 -1 4202560 1974 0 0 0 0 0 0 0 16 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5574] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5574/stat : 5574 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5575] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5575/stat : 5575 (java) S 5568 5570 3728 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5576] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5576/stat : 5576 (java) S 5568 5570 3728 0 -1 4202560 1073 0 0 0 0 0 0 0 16 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5577] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5577/stat : 5577 (java) S 5568 5570 3728 0 -1 4202560 316 0 0 0 0 0 0 0 15 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5578] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5578/stat : 5578 (java) S 5568 5570 3728 0 -1 4202560 1763 0 0 0 0 0 0 0 18 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5579] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5579/stat : 5579 (java) S 5568 5570 3728 0 -1 4202560 1280 0 0 0 0 0 0 0 18 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5580] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5580/stat : 5580 (java) S 5568 5570 3728 0 -1 4202560 2753 0 0 0 0 0 0 0 18 0 19 0 905084197 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5581] ppid=5568 vsize=13629128 CPUtime=0.04 cores=0,2,4,6
/proc/5570/task/5581/stat : 5581 (java) S 5568 5570 3728 0 -1 4202560 6190 0 0 0 4 0 0 0 16 0 19 0 905084198 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 0 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5582] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5582/stat : 5582 (java) S 5568 5570 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905084198 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5583] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5583/stat : 5583 (java) S 5568 5570 3728 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905084198 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5584] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5584/stat : 5584 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296749489 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5585] ppid=5568 vsize=13629128 CPUtime=0.37 cores=0,2,4,6
/proc/5570/task/5585/stat : 5585 (java) S 5568 5570 3728 0 -1 4202560 2650 0 0 0 37 0 0 0 15 0 19 0 905084200 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5586] ppid=5568 vsize=13629128 CPUtime=0.35 cores=0,2,4,6
/proc/5570/task/5586/stat : 5586 (java) S 5568 5570 3728 0 -1 4202560 1850 0 0 0 35 0 0 0 15 0 19 0 905084200 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5587] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5587/stat : 5587 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5588] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5588/stat : 5588 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905084200 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5589] ppid=5568 vsize=13629128 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5589/stat : 5589 (java) S 5568 5570 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905084253 13956227072 62662 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 13629128

[startup+6.30127 s]
/proc/loadavg: 2.05 2.06 2.00 3/595 5589
/proc/meminfo: memFree=28282160/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13629668 CPUtime=7.14 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 75622 0 1 0 705 9 0 0 25 0 19 0 905084194 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3407417 73609 2262 9 0 3398151 0
[pid=5570/tid=5571] ppid=5568 vsize=13629668 CPUtime=6.16 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 43619 0 1 0 611 5 0 0 25 0 19 0 905084195 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 46912505719675 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5570/tid=5573] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5573/stat : 5573 (java) S 5568 5570 3728 0 -1 4202560 1974 0 0 0 0 0 0 0 15 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5574] ppid=5568 vsize=13629668 CPUtime=0.01 cores=0,2,4,6
/proc/5570/task/5574/stat : 5574 (java) S 5568 5570 3728 0 -1 4202560 2191 0 0 0 1 0 0 0 16 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5575] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5575/stat : 5575 (java) S 5568 5570 3728 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5576] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5576/stat : 5576 (java) S 5568 5570 3728 0 -1 4202560 3475 0 0 0 0 0 0 0 16 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5577] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5577/stat : 5577 (java) S 5568 5570 3728 0 -1 4202560 316 0 0 0 0 0 0 0 15 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5578] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5578/stat : 5578 (java) S 5568 5570 3728 0 -1 4202560 1763 0 0 0 0 0 0 0 18 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5579] ppid=5568 vsize=13629668 CPUtime=0.01 cores=0,2,4,6
/proc/5570/task/5579/stat : 5579 (java) S 5568 5570 3728 0 -1 4202560 3555 0 0 0 1 0 0 0 18 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5580] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5580/stat : 5580 (java) S 5568 5570 3728 0 -1 4202560 2753 0 0 0 0 0 0 0 18 0 19 0 905084197 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5581] ppid=5568 vsize=13629668 CPUtime=0.08 cores=0,2,4,6
/proc/5570/task/5581/stat : 5581 (java) S 5568 5570 3728 0 -1 4202560 10144 0 0 0 7 1 0 0 15 0 19 0 905084198 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 0 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5582] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5582/stat : 5582 (java) S 5568 5570 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905084198 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5583] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5583/stat : 5583 (java) S 5568 5570 3728 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905084198 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5584] ppid=5568 vsize=13629668 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5584/stat : 5584 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296749489 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5585] ppid=5568 vsize=13629668 CPUtime=0.44 cores=0,2,4,6
/proc/5570/task/5585/stat : 5585 (java) S 5568 5570 3728 0 -1 4202560 2777 0 0 0 44 0 0 0 15 0 19 0 905084200 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5586] ppid=5568 vsize=13629668 CPUtime=0.36 cores=0,2,4,6
/proc/5570/task/5586/stat : 5586 (java) S 5568 5570 3728 0 -1 4202560 1852 0 0 0 36 0 0 0 15 0 19 0 905084200 13956780032 73609 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0

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

[pid=5570/tid=5578] ppid=5568 vsize=13628952 CPUtime=1.02 cores=0,2,4,6
/proc/5570/task/5578/stat : 5578 (java) S 5568 5570 3728 0 -1 4202560 12855 0 0 0 101 1 0 0 15 0 19 0 905084197 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5579] ppid=5568 vsize=13628952 CPUtime=1.07 cores=0,2,4,6
/proc/5570/task/5579/stat : 5579 (java) S 5568 5570 3728 0 -1 4202560 14047 0 0 0 106 1 0 0 16 0 19 0 905084197 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5580] ppid=5568 vsize=13628952 CPUtime=1.14 cores=0,2,4,6
/proc/5570/task/5580/stat : 5580 (java) S 5568 5570 3728 0 -1 4202560 15639 0 0 0 112 2 0 0 16 0 19 0 905084197 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5581] ppid=5568 vsize=13628952 CPUtime=8.58 cores=0,2,4,6
/proc/5570/task/5581/stat : 5581 (java) S 5568 5570 3728 0 -1 4202560 76773 0 0 0 848 10 0 0 15 0 19 0 905084198 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 0 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5582] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5582/stat : 5582 (java) S 5568 5570 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5583] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5583/stat : 5583 (java) S 5568 5570 3728 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5584] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5584/stat : 5584 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296749489 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5585] ppid=5568 vsize=13628952 CPUtime=0.52 cores=0,2,4,6
/proc/5570/task/5585/stat : 5585 (java) S 5568 5570 3728 0 -1 4202560 2920 0 0 0 52 0 0 0 15 0 19 0 905084200 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5586] ppid=5568 vsize=13628952 CPUtime=0.36 cores=0,2,4,6
/proc/5570/task/5586/stat : 5586 (java) S 5568 5570 3728 0 -1 4202560 1852 0 0 0 36 0 0 0 15 0 19 0 905084200 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5587] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5587/stat : 5587 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5588] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5588/stat : 5588 (java) S 5568 5570 3728 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905084200 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5589] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5589/stat : 5589 (java) S 5568 5570 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905084253 13956046848 239556 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.34
Current children cumulated vsize (KiB) 13628952

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 4/595 5692
/proc/meminfo: memFree=26550668/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13628952 CPUtime=1728.57 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 242316 0 1 0 172823 34 0 0 25 0 19 0 905084194 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3407238 239566 2263 9 0 3397972 0
[pid=5570/tid=5571] ppid=5568 vsize=13628952 CPUtime=1710.34 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 67054 0 1 0 171025 9 0 0 25 0 19 0 905084195 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 46912505709126 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5570/tid=5573] ppid=5568 vsize=13628952 CPUtime=0.86 cores=0,2,4,6
/proc/5570/task/5573/stat : 5573 (java) S 5568 5570 3728 0 -1 4202560 8577 0 0 0 85 1 0 0 16 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5574] ppid=5568 vsize=13628952 CPUtime=1.09 cores=0,2,4,6
/proc/5570/task/5574/stat : 5574 (java) S 5568 5570 3728 0 -1 4202560 10995 0 0 0 108 1 0 0 15 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5575] ppid=5568 vsize=13628952 CPUtime=1.1 cores=0,2,4,6
/proc/5570/task/5575/stat : 5575 (java) S 5568 5570 3728 0 -1 4202560 11127 0 0 0 109 1 0 0 15 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5576] ppid=5568 vsize=13628952 CPUtime=1.03 cores=0,2,4,6
/proc/5570/task/5576/stat : 5576 (java) S 5568 5570 3728 0 -1 4202560 10594 0 0 0 102 1 0 0 15 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5577] ppid=5568 vsize=13628952 CPUtime=0.9 cores=0,2,4,6
/proc/5570/task/5577/stat : 5577 (java) S 5568 5570 3728 0 -1 4202560 8631 0 0 0 89 1 0 0 16 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5578] ppid=5568 vsize=13628952 CPUtime=1.04 cores=0,2,4,6
/proc/5570/task/5578/stat : 5578 (java) S 5568 5570 3728 0 -1 4202560 12855 0 0 0 103 1 0 0 15 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5579] ppid=5568 vsize=13628952 CPUtime=1.15 cores=0,2,4,6
/proc/5570/task/5579/stat : 5579 (java) S 5568 5570 3728 0 -1 4202560 14047 0 0 0 113 2 0 0 16 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5580] ppid=5568 vsize=13628952 CPUtime=1.15 cores=0,2,4,6
/proc/5570/task/5580/stat : 5580 (java) S 5568 5570 3728 0 -1 4202560 15639 0 0 0 113 2 0 0 15 0 19 0 905084197 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5581] ppid=5568 vsize=13628952 CPUtime=8.9 cores=0,2,4,6
/proc/5570/task/5581/stat : 5581 (java) S 5568 5570 3728 0 -1 4202560 76777 0 0 0 880 10 0 0 15 0 19 0 905084198 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 0 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5582] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5582/stat : 5582 (java) S 5568 5570 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5583] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5583/stat : 5583 (java) S 5568 5570 3728 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5584] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5584/stat : 5584 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296749489 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5585] ppid=5568 vsize=13628952 CPUtime=0.52 cores=0,2,4,6
/proc/5570/task/5585/stat : 5585 (java) S 5568 5570 3728 0 -1 4202560 2920 0 0 0 52 0 0 0 15 0 19 0 905084200 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5586] ppid=5568 vsize=13628952 CPUtime=0.36 cores=0,2,4,6
/proc/5570/task/5586/stat : 5586 (java) S 5568 5570 3728 0 -1 4202560 1852 0 0 0 36 0 0 0 15 0 19 0 905084200 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5587] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5587/stat : 5587 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5588] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5588/stat : 5588 (java) S 5568 5570 3728 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 905084200 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5589] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5589/stat : 5589 (java) S 5568 5570 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905084253 13956046848 239566 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.57
Current children cumulated vsize (KiB) 13628952

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 4/595 5694
/proc/meminfo: memFree=26542452/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13628952 CPUtime=1788.75 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 242624 0 1 0 178841 34 0 0 25 0 19 0 905084194 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3407238 239862 2263 9 0 3397972 0
[pid=5570/tid=5571] ppid=5568 vsize=13628952 CPUtime=1769.89 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 67057 0 1 0 176980 9 0 0 25 0 19 0 905084195 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 46912505723981 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5570/tid=5573] ppid=5568 vsize=13628952 CPUtime=0.87 cores=0,2,4,6
/proc/5570/task/5573/stat : 5573 (java) S 5568 5570 3728 0 -1 4202560 8577 0 0 0 86 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5574] ppid=5568 vsize=13628952 CPUtime=1.1 cores=0,2,4,6
/proc/5570/task/5574/stat : 5574 (java) S 5568 5570 3728 0 -1 4202560 10995 0 0 0 109 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5575] ppid=5568 vsize=13628952 CPUtime=1.1 cores=0,2,4,6
/proc/5570/task/5575/stat : 5575 (java) S 5568 5570 3728 0 -1 4202560 11127 0 0 0 109 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5576] ppid=5568 vsize=13628952 CPUtime=1.07 cores=0,2,4,6
/proc/5570/task/5576/stat : 5576 (java) S 5568 5570 3728 0 -1 4202560 10611 0 0 0 106 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5577] ppid=5568 vsize=13628952 CPUtime=0.94 cores=0,2,4,6
/proc/5570/task/5577/stat : 5577 (java) S 5568 5570 3728 0 -1 4202560 8648 0 0 0 93 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5578] ppid=5568 vsize=13628952 CPUtime=1.1 cores=0,2,4,6
/proc/5570/task/5578/stat : 5578 (java) S 5568 5570 3728 0 -1 4202560 13048 0 0 0 109 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5579] ppid=5568 vsize=13628952 CPUtime=1.23 cores=0,2,4,6
/proc/5570/task/5579/stat : 5579 (java) S 5568 5570 3728 0 -1 4202560 14117 0 0 0 121 2 0 0 16 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5580] ppid=5568 vsize=13628952 CPUtime=1.22 cores=0,2,4,6
/proc/5570/task/5580/stat : 5580 (java) S 5568 5570 3728 0 -1 4202560 15639 0 0 0 120 2 0 0 16 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5581] ppid=5568 vsize=13628952 CPUtime=9.23 cores=0,2,4,6
/proc/5570/task/5581/stat : 5581 (java) S 5568 5570 3728 0 -1 4202560 76781 0 0 0 913 10 0 0 15 0 19 0 905084198 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 0 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5582] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5582/stat : 5582 (java) S 5568 5570 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5583] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5583/stat : 5583 (java) S 5568 5570 3728 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5584] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5584/stat : 5584 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296749489 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5585] ppid=5568 vsize=13628952 CPUtime=0.52 cores=0,2,4,6
/proc/5570/task/5585/stat : 5585 (java) S 5568 5570 3728 0 -1 4202560 2920 0 0 0 52 0 0 0 15 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5586] ppid=5568 vsize=13628952 CPUtime=0.36 cores=0,2,4,6
/proc/5570/task/5586/stat : 5586 (java) S 5568 5570 3728 0 -1 4202560 1852 0 0 0 36 0 0 0 15 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5587] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5587/stat : 5587 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5588] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5588/stat : 5588 (java) S 5568 5570 3728 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5589] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5589/stat : 5589 (java) S 5568 5570 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905084253 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 13628952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.6 s]
/proc/loadavg: 2.00 2.04 2.00 4/595 5694
/proc/meminfo: memFree=26542564/32951124 swapFree=34426104/67111528
[pid=5570] ppid=5568 vsize=13628952 CPUtime=1800.06 cores=0,2,4,6
/proc/5570/stat : 5570 (java) S 5568 5570 3728 0 -1 4202496 242624 0 1 0 179972 34 0 0 25 0 19 0 905084194 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5570/statm: 3407238 239862 2263 9 0 3397972 0
[pid=5570/tid=5571] ppid=5568 vsize=13628952 CPUtime=1781.22 cores=0,2,4,6
/proc/5570/task/5571/stat : 5571 (java) R 5568 5570 3728 0 -1 4202560 67057 0 1 0 178113 9 0 0 25 0 19 0 905084195 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 46912505696197 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5570/tid=5573] ppid=5568 vsize=13628952 CPUtime=0.87 cores=0,2,4,6
/proc/5570/task/5573/stat : 5573 (java) S 5568 5570 3728 0 -1 4202560 8577 0 0 0 86 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5574] ppid=5568 vsize=13628952 CPUtime=1.1 cores=0,2,4,6
/proc/5570/task/5574/stat : 5574 (java) S 5568 5570 3728 0 -1 4202560 10995 0 0 0 109 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5575] ppid=5568 vsize=13628952 CPUtime=1.1 cores=0,2,4,6
/proc/5570/task/5575/stat : 5575 (java) S 5568 5570 3728 0 -1 4202560 11127 0 0 0 109 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5576] ppid=5568 vsize=13628952 CPUtime=1.07 cores=0,2,4,6
/proc/5570/task/5576/stat : 5576 (java) S 5568 5570 3728 0 -1 4202560 10611 0 0 0 106 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5577] ppid=5568 vsize=13628952 CPUtime=0.94 cores=0,2,4,6
/proc/5570/task/5577/stat : 5577 (java) S 5568 5570 3728 0 -1 4202560 8648 0 0 0 93 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5578] ppid=5568 vsize=13628952 CPUtime=1.1 cores=0,2,4,6
/proc/5570/task/5578/stat : 5578 (java) S 5568 5570 3728 0 -1 4202560 13048 0 0 0 109 1 0 0 15 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5579] ppid=5568 vsize=13628952 CPUtime=1.23 cores=0,2,4,6
/proc/5570/task/5579/stat : 5579 (java) S 5568 5570 3728 0 -1 4202560 14117 0 0 0 121 2 0 0 16 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5580] ppid=5568 vsize=13628952 CPUtime=1.22 cores=0,2,4,6
/proc/5570/task/5580/stat : 5580 (java) S 5568 5570 3728 0 -1 4202560 15639 0 0 0 120 2 0 0 16 0 19 0 905084197 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5581] ppid=5568 vsize=13628952 CPUtime=9.23 cores=0,2,4,6
/proc/5570/task/5581/stat : 5581 (java) S 5568 5570 3728 0 -1 4202560 76781 0 0 0 913 10 0 0 15 0 19 0 905084198 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 0 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5582] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5582/stat : 5582 (java) S 5568 5570 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5583] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5583/stat : 5583 (java) S 5568 5570 3728 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905084198 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
[pid=5570/tid=5584] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5584/stat : 5584 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296749489 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5585] ppid=5568 vsize=13628952 CPUtime=0.52 cores=0,2,4,6
/proc/5570/task/5585/stat : 5585 (java) S 5568 5570 3728 0 -1 4202560 2920 0 0 0 52 0 0 0 15 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5586] ppid=5568 vsize=13628952 CPUtime=0.36 cores=0,2,4,6
/proc/5570/task/5586/stat : 5586 (java) S 5568 5570 3728 0 -1 4202560 1852 0 0 0 36 0 0 0 15 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 4 0 0 0
[pid=5570/tid=5587] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5587/stat : 5587 (java) S 5568 5570 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296741785 0 4 0 16800975 18446604440321914944 0 0 -1 2 0 0 0
[pid=5570/tid=5588] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5588/stat : 5588 (java) S 5568 5570 3728 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905084200 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 0 0 0 0
[pid=5570/tid=5589] ppid=5568 vsize=13628952 CPUtime=0 cores=0,2,4,6
/proc/5570/task/5589/stat : 5589 (java) S 5568 5570 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905084253 13956046848 239862 33554432000 1073741824 1073778376 140736389188800 18446744073709551615 224296742400 0 4 0 16800975 18446604440321914944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13628952

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 143
Real time (s): 1793.71
CPU time (s): 1800.22
CPU user time (s): 1799.83
CPU system time (s): 0.39194
CPU usage (%): 100.363
Max. virtual memory (cumulated for all children) (KiB): 13629668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.39194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242851
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= 39956
involuntary context switches= 11583

runsolver used 10.9803 second user time and 23.1495 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-04 02:48:55
IDJOB=3458741
IDBENCH=2250
IDSOLVER=1952
FILE ID=node118/3458741-1307148535
RUNJOBID= node118-1307146634-5293
PBS_JOBID= 13508798
Free space on /tmp= 73748 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458741-1307148535/watcher-3458741-1307148535 -o /tmp/evaluation-result-3458741-1307148535/solver-3458741-1307148535 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458741-1307148535.opb

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

MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3
RANDOM SEED=943139672

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28571020 kB
Buffers:        319824 kB
Cached:        2015732 kB
SwapCached:      56168 kB
Active:        1011548 kB
Inactive:      3030284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28571020 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:            1664 kB
Writeback:           0 kB
AnonPages:     1663220 kB
Mapped:          23008 kB
Slab:           150872 kB
PageTables:     115884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 197221800 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= 73748 MiB
End job on node118 at 2011-06-04 03:18:51