Trace number 3688400

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)24 1800.02 953.453

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1.09583
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
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 constraint1
Maximum length of a constraint63
Number of terms in the objective function 2136
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 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2136
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688400-1337877272.opb
0.08/0.13	c reading problem ... 
1.05/0.55	c ... done. Wall clock time 0.416s.
1.05/0.55	c declared #vars     4427
1.05/0.55	c #constraints  12656
1.05/0.55	c constraints type 
1.05/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296
1.05/0.55	c ignored satisfied constraints => 5
1.05/0.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 167
1.05/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193
1.05/0.55	c 12661 constraints processed.
1.05/0.55	c constraints type 
1.05/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10193
1.05/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2296
1.05/0.55	c ignored satisfied constraints => 5
1.05/0.55	c org.sat4j.pb.constraints.pb.UnitClausePB => 167
1.05/0.55	c 12661 constraints processed.
1.05/0.55	c objective function length is 2136 literals
1.42/0.66	c  And the winner is solver0
2.29/1.05	c SATISFIABLE
2.29/1.05	c OPTIMIZING...
2.29/1.05	c Got one! Elapsed wall clock time (in seconds):0.922
2.29/1.05	o 35
2.47/1.11	c  And the winner is solver0
2.71/1.56	c Got one! Elapsed wall clock time (in seconds):1.435
2.71/1.56	o 34
2.71/1.58	c  And the winner is solver0
2.84/2.07	c Got one! Elapsed wall clock time (in seconds):1.943
2.84/2.07	o 33
5.24/2.87	c  And the winner is solver1
5.39/3.08	c Got one! Elapsed wall clock time (in seconds):2.95
5.39/3.08	o 27
8.49/4.63	c cleaning 2958 clauses out of 5916 with flag 4000/5916
12.61/6.70	c cleaning 4461 clauses out of 8958 with flag 10000/11916
17.38/9.00	c cleaning 5742 clauses out of 11497 with flag 17000/18916
22.53/11.62	c cleaning 6877 clauses out of 13758 with flag 25003/26919
28.21/14.59	c cleaning 7936 clauses out of 15878 with flag 34000/35916
34.88/17.97	c cleaning 8963 clauses out of 17942 with flag 44000/45916
42.40/21.76	c cleaning 9970 clauses out of 19979 with flag 55000/56916
51.04/26.14	c cleaning 10992 clauses out of 22009 with flag 67000/68916
52.56/27.00	c  And the winner is solver1
52.47/27.50	c Got one! Elapsed wall clock time (in seconds):27.368
52.47/27.50	o 26
55.07/28.84	c cleaning 8234 clauses out of 16477 with flag 4000/74376
59.26/31.00	c cleaning 7117 clauses out of 14243 with flag 10000/80376
63.62/33.36	c cleaning 7061 clauses out of 14126 with flag 17000/87376
69.23/36.25	c cleaning 7526 clauses out of 15065 with flag 25000/95376
75.67/39.64	c cleaning 8270 clauses out of 16539 with flag 34000/104376
83.04/43.41	c cleaning 9133 clauses out of 18269 with flag 44000/114376
91.18/47.65	c cleaning 10053 clauses out of 20137 with flag 55001/125377
99.68/52.06	c cleaning 11032 clauses out of 22085 with flag 67002/137378
108.64/56.80	c cleaning 12009 clauses out of 24051 with flag 80000/150376
118.17/61.66	c cleaning 12994 clauses out of 26042 with flag 94000/164376
128.47/66.98	c cleaning 14013 clauses out of 28048 with flag 109000/179376
139.38/72.59	c cleaning 15007 clauses out of 30035 with flag 125000/195376
151.63/78.99	c cleaning 16010 clauses out of 32028 with flag 142000/212376
165.15/85.83	c cleaning 16977 clauses out of 34019 with flag 160001/230377
178.22/92.57	c cleaning 18002 clauses out of 36041 with flag 179000/249376
192.49/99.87	c cleaning 19011 clauses out of 38039 with flag 199000/269376
208.17/108.08	c cleaning 19992 clauses out of 40028 with flag 220000/290376
223.62/115.95	c cleaning 21011 clauses out of 42037 with flag 242001/312377
240.40/124.53	c cleaning 21994 clauses out of 44028 with flag 265003/335379
257.41/133.28	c cleaning 23001 clauses out of 46031 with flag 289000/359376
275.33/142.70	c cleaning 24005 clauses out of 48030 with flag 314000/384376
292.99/151.78	c cleaning 24981 clauses out of 50025 with flag 340000/410376
296.80/153.91	c  And the winner is solver1
296.80/153.99	c Got one! Elapsed wall clock time (in seconds):153.863
296.80/153.99	o 25
296.87/154.33	c cleaning 15279 clauses out of 30557 with flag 1000/415889
301.16/156.83	c cleaning 10636 clauses out of 21278 with flag 7000/421889
306.26/159.99	c cleaning 8821 clauses out of 17642 with flag 14000/428889
311.77/163.02	c cleaning 8408 clauses out of 16821 with flag 22000/436889
318.05/166.56	c cleaning 8705 clauses out of 17413 with flag 31000/445889
325.12/170.45	c cleaning 9340 clauses out of 18708 with flag 41000/455889
332.53/174.76	c cleaning 10180 clauses out of 20370 with flag 52002/466891
341.36/179.97	c cleaning 11085 clauses out of 22188 with flag 64000/478889
350.85/184.92	c cleaning 12039 clauses out of 24103 with flag 77000/491889
361.31/190.78	c cleaning 13017 clauses out of 26065 with flag 91001/505890
372.43/196.65	c cleaning 14006 clauses out of 28047 with flag 106000/520889
384.56/203.03	c cleaning 15017 clauses out of 30041 with flag 122000/536889
397.12/209.63	c cleaning 15998 clauses out of 32024 with flag 139000/553889
410.88/217.19	c cleaning 17013 clauses out of 34026 with flag 157000/571889
424.30/224.29	c cleaning 17994 clauses out of 36013 with flag 176000/590889
439.11/232.09	c cleaning 18995 clauses out of 38020 with flag 196001/610890
454.08/239.96	c cleaning 19996 clauses out of 40024 with flag 217000/631889
471.12/249.11	c cleaning 21007 clauses out of 42028 with flag 239000/653889
488.07/258.02	c cleaning 21995 clauses out of 44021 with flag 262000/676889
489.75/259.39	c  And the winner is solver1
489.52/259.50	c Got one! Elapsed wall clock time (in seconds):259.374
489.52/259.50	o 24
491.91/260.76	c cleaning 13579 clauses out of 27179 with flag 4000/682042
496.33/263.49	c cleaning 9787 clauses out of 19600 with flag 10000/688042
502.23/267.12	c cleaning 8369 clauses out of 16813 with flag 17000/695042
508.29/270.67	c cleaning 8185 clauses out of 16444 with flag 25000/703042
515.30/274.65	c cleaning 8630 clauses out of 17259 with flag 34000/712042
522.51/278.75	c cleaning 9309 clauses out of 18629 with flag 44000/722042
530.78/283.64	c cleaning 10142 clauses out of 20323 with flag 55003/733045
538.68/288.10	c cleaning 11072 clauses out of 22178 with flag 67000/745042
547.58/292.91	c cleaning 12029 clauses out of 24106 with flag 80000/758042
557.05/298.18	c cleaning 13013 clauses out of 26077 with flag 94000/772042
568.77/304.73	c cleaning 14006 clauses out of 28064 with flag 109000/787042
580.01/310.84	c cleaning 15020 clauses out of 30058 with flag 125000/803042
591.72/317.15	c cleaning 16018 clauses out of 32038 with flag 142000/820042
605.28/324.47	c cleaning 16991 clauses out of 34023 with flag 160003/838045
619.68/332.46	c cleaning 17997 clauses out of 36029 with flag 179000/857042
632.28/339.26	c cleaning 18984 clauses out of 38032 with flag 199000/877042
646.49/346.88	c cleaning 19985 clauses out of 40048 with flag 220000/898042
662.50/355.31	c cleaning 21022 clauses out of 42065 with flag 242002/920044
678.20/364.09	c cleaning 22012 clauses out of 44041 with flag 265000/943042
694.74/372.83	c cleaning 23007 clauses out of 46029 with flag 289000/967042
711.86/381.90	c cleaning 24004 clauses out of 48022 with flag 314000/992042
730.12/392.68	c cleaning 24995 clauses out of 50018 with flag 340000/1018042
748.66/402.32	c cleaning 25983 clauses out of 52023 with flag 367000/1045042
767.58/412.37	c cleaning 27013 clauses out of 54040 with flag 395000/1073042
789.94/424.07	c cleaning 27976 clauses out of 56027 with flag 424000/1102042
812.91/436.43	c cleaning 28957 clauses out of 58052 with flag 454001/1132043
837.06/449.02	c cleaning 30012 clauses out of 60094 with flag 485000/1163042
862.52/462.35	c cleaning 31017 clauses out of 62082 with flag 517000/1195042
886.99/475.17	c cleaning 31988 clauses out of 64065 with flag 550000/1228042
913.55/489.45	c cleaning 33015 clauses out of 66077 with flag 584000/1262042
939.92/503.28	c cleaning 34031 clauses out of 68062 with flag 619000/1297042
967.16/517.42	c cleaning 35002 clauses out of 70031 with flag 655000/1333042
995.96/532.41	c cleaning 35969 clauses out of 72030 with flag 692001/1370043
1025.57/548.37	c cleaning 36995 clauses out of 74061 with flag 730001/1408043
1055.81/564.12	c cleaning 38026 clauses out of 76066 with flag 769001/1447043
1087.35/580.52	c cleaning 38999 clauses out of 78039 with flag 809000/1487042
1119.00/597.06	c cleaning 39995 clauses out of 80041 with flag 850001/1528043
1152.31/614.82	c cleaning 41005 clauses out of 82047 with flag 892002/1570044
1186.13/632.44	c cleaning 41997 clauses out of 84040 with flag 935000/1613042
1222.18/651.01	c cleaning 43003 clauses out of 86044 with flag 979001/1657043
1258.81/670.09	c cleaning 44010 clauses out of 88040 with flag 1024000/1702042
1295.76/689.74	c cleaning 44994 clauses out of 90030 with flag 1070000/1748042
1333.88/709.56	c cleaning 45987 clauses out of 92036 with flag 1117000/1795042
1371.56/729.18	c cleaning 46996 clauses out of 94049 with flag 1165000/1843042
1413.13/750.65	c cleaning 47977 clauses out of 96053 with flag 1214000/1892042
1456.97/773.81	c cleaning 49022 clauses out of 98081 with flag 1264005/1942047
1502.13/797.05	c cleaning 49982 clauses out of 100054 with flag 1315000/1993042
1548.37/820.87	c cleaning 51008 clauses out of 102072 with flag 1367000/2045042
1593.46/844.13	c cleaning 52010 clauses out of 104065 with flag 1420001/2098043
1640.44/869.10	c cleaning 53011 clauses out of 106054 with flag 1474000/2152042
1687.74/893.56	c cleaning 53988 clauses out of 108043 with flag 1529000/2207042
1742.25/922.42	c cleaning 55009 clauses out of 110055 with flag 1585000/2263042
1792.26/948.95	c cleaning 55976 clauses out of 112047 with flag 1642001/2320043
1799.18/953.41	c starts		: 28
1799.18/953.41	c conflicts		: 4813
1799.18/953.41	c decisions		: 435354
1799.18/953.41	c propagations		: 2146807
1799.18/953.41	c inspects		: 129196840
1799.18/953.41	c shortcuts		: 0
1799.18/953.41	c learnt literals	: 0
1799.18/953.41	c learnt binary clauses	: 0
1799.18/953.41	c learnt ternary clauses	: 0
1799.18/953.41	c learnt constraints	: 4812
1799.18/953.41	c ignored constraints	: 0
1799.18/953.41	c root simplifications	: 0
1799.18/953.41	c removed literals (reason simplification)	: 0
1799.18/953.41	c reason swapping (by a shorter reason)	: 0
1799.18/953.41	c Calls to reduceDB	: 0
1799.18/953.41	c number of reductions to clauses (during analyze)	: 0
1799.18/953.41	c number of learned constraints concerned by reduction	: 0
1799.18/953.41	c number of learning phase by resolution	: 0
1799.18/953.41	c number of learning phase by cutting planes	: 0
1799.18/953.41	c speed (assignments/second)	: 2256.6304332972786
1799.18/953.41	c non guided choices	0
1799.18/953.41	c learnt constraints type 
1799.18/953.41	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 138
1799.18/953.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 64
1799.18/953.41	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4610
1799.18/953.41	c constraints type 
1799.18/953.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296
1799.18/953.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.18/953.41	c ignored satisfied constraints => 5
1799.18/953.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 167
1799.18/953.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193
1799.18/953.41	c 12662 constraints processed.
1799.18/953.41	c constraints type 
1799.18/953.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10193
1799.18/953.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2296
1799.18/953.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.18/953.41	c ignored satisfied constraints => 5
1799.18/953.41	c org.sat4j.pb.constraints.pb.UnitClausePB => 167
1799.18/953.41	c 12662 constraints processed.
1799.18/953.41	s SATISFIABLE
1799.18/953.43	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 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 x4307 x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 x4413 -x4414 -x4415 -x4416 -x4417 x4418 x4419 -x4420 -x4421 x4422 x4423 -x4424 -x4425 x4426 x4427 
1799.18/953.43	c objective function=24
1799.18/953.43	c Total wall clock time (in seconds): 953.3

Verifier Data 

OK	24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688400-1337877272/watcher-3688400-1337877272 -o /tmp/evaluation-result-3688400-1337877272/solver-3688400-1337877272 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688400-1337877272.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.93 3.92 3.83 4/197 27223
/proc/meminfo: memFree=26848220/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27223/stat : 27223 (java) D 27221 27223 25404 0 -1 4202496 239 0 0 0 0 0 0 0 20 0 1 0 253851568 9515008 175 33554432000 1073741824 1073778376 140734521874336 140734521857064 251044643728 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27223/statm: 2323 175 133 9 0 71 0

[startup+0.0583339 s]
/proc/loadavg: 3.93 3.92 3.83 4/197 27223
/proc/meminfo: memFree=26848220/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 3059 0 1 0 3 1 0 0 20 0 13 0 253851568 9446973440 3758 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2306390 3758 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.100347 s]
/proc/loadavg: 3.93 3.92 3.83 4/197 27223
/proc/meminfo: memFree=26848220/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 4018 0 1 0 7 1 0 0 20 0 18 0 253851568 9787813888 5216 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2389603 5218 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300305 s]
/proc/loadavg: 3.93 3.92 3.83 4/197 27223
/proc/meminfo: memFree=26848220/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 5667 0 1 0 46 2 0 0 20 0 18 0 253851568 9787813888 8169 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2389603 8169 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700342 s]
/proc/loadavg: 3.93 3.92 3.83 4/197 27223
/proc/meminfo: memFree=26848220/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9825268 CPUtime=1.73 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 23436 0 1 0 165 8 0 0 20 0 19 0 253851568 10061074432 28741 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2456317 28741 2243 9 0 2447010 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 9825268

[startup+1.5007 s]
/proc/loadavg: 3.93 3.92 3.83 3/216 27245
/proc/meminfo: memFree=26743436/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9824668 CPUtime=2.71 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 24321 0 1 0 260 11 0 0 20 0 19 0 253851568 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2456167 30426 2255 9 0 2446860 0
[pid=27223/tid=27225] ppid=27221 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/27223/task/27225/stat : 27225 (java) S 27221 27223 25404 0 -1 4202560 2481 0 1 0 51 2 0 0 20 0 19 0 253851569 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139711136035832 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27226] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27226/stat : 27226 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710979586216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27227] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27227/stat : 27227 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710978533672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27228] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27228/stat : 27228 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710977481128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27229] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27229/stat : 27229 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710976428584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27230] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27230/stat : 27230 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710975376040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27231] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27231/stat : 27231 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710974323496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27232] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27232/stat : 27232 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710973270952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27233] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27233/stat : 27233 (java) S 27221 27223 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253851570 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710972218408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27234] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27234/stat : 27234 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253851571 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710960019560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27235] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27235/stat : 27235 (java) S 27221 27223 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253851572 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710958965880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27236] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27236/stat : 27236 (java) S 27221 27223 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851572 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710957913224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27237] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27237/stat : 27237 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851574 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710956861968 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27238] ppid=27221 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/27223/task/27238/stat : 27238 (java) S 27221 27223 25404 0 -1 4202560 12358 0 0 0 83 3 0 0 20 0 19 0 253851574 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710955809336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27239] ppid=27221 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/27223/task/27239/stat : 27239 (java) S 27221 27223 25404 0 -1 4202560 8172 0 0 0 84 2 0 0 20 0 19 0 253851574 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710954756792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27240] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27240/stat : 27240 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851575 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710953704440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27241] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27241/stat : 27241 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851575 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710952652104 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27245] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27245/stat : 27245 (java) S 27221 27223 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851627 10060460032 30426 33554432000 1073741824 1073778376 140736597845376 139710947824808 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9824668

[startup+3.10061 s]
/proc/loadavg: 3.77 3.89 3.82 8/219 27254
/proc/meminfo: memFree=26722196/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9824668 CPUtime=5.44 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 28275 0 1 0 528 16 0 0 20 0 22 0 253851568 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2456167 38257 2261 9 0 2446860 0
[pid=27223/tid=27225] ppid=27221 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/27223/task/27225/stat : 27225 (java) S 27221 27223 25404 0 -1 4202560 2484 0 1 0 53 2 0 0 20 0 22 0 253851569 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139711136035832 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27226] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27226/stat : 27226 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710979586216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27227] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27227/stat : 27227 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710978533672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27228] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27228/stat : 27228 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710977481128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27229] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27229/stat : 27229 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710976428584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27230] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27230/stat : 27230 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710975376040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27231] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27231/stat : 27231 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710974323496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27232] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27232/stat : 27232 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710973270952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27233] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27233/stat : 27233 (java) S 27221 27223 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710972218408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27234] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27234/stat : 27234 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253851571 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710960019560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27235] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27235/stat : 27235 (java) S 27221 27223 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710958965880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27236] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27236/stat : 27236 (java) S 27221 27223 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710957913224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27237] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27237/stat : 27237 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851574 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710956861968 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27238] ppid=27221 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/27223/task/27238/stat : 27238 (java) S 27221 27223 25404 0 -1 4202560 12410 0 0 0 131 3 0 0 20 0 22 0 253851574 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710955809336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27239] ppid=27221 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/27223/task/27239/stat : 27239 (java) S 27221 27223 25404 0 -1 4202560 12005 0 0 0 142 3 0 0 20 0 22 0 253851574 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710954756792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27240] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27240/stat : 27240 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851575 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710953704440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27241] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27241/stat : 27241 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851575 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710952652104 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27254] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27254/stat : 27254 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253851776 10060460032 38257 33554432000 1073741824 1073778376 140736597845376 139710950982952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 9824668

[startup+6.30081 s]
/proc/loadavg: 3.77 3.89 3.82 5/219 27257
/proc/meminfo: memFree=26593040/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9824668 CPUtime=12 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 28444 0 1 0 1176 24 0 0 20 0 22 0 253851568 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2456167 65560 2286 9 0 2446860 0
[pid=27223/tid=27225] ppid=27221 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/27223/task/27225/stat : 27225 (java) S 27221 27223 25404 0 -1 4202560 2484 0 1 0 53 2 0 0 20 0 22 0 253851569 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139711136035832 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27226] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27226/stat : 27226 (java) S 27221 27223 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710979586216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27227] ppid=27221 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/27223/task/27227/stat : 27227 (java) S 27221 27223 25404 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710978533672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27228] ppid=27221 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27223/task/27228/stat : 27228 (java) S 27221 27223 25404 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710977481128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27229] ppid=27221 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27223/task/27229/stat : 27229 (java) S 27221 27223 25404 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710976428584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27230] ppid=27221 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27223/task/27230/stat : 27230 (java) S 27221 27223 25404 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710975376040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27231] ppid=27221 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27223/task/27231/stat : 27231 (java) S 27221 27223 25404 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710974323496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27232] ppid=27221 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/27223/task/27232/stat : 27232 (java) S 27221 27223 25404 0 -1 4202560 15 0 0 0 2 1 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710973270952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27233] ppid=27221 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27223/task/27233/stat : 27233 (java) S 27221 27223 25404 0 -1 4202560 15 0 0 0 1 1 0 0 20 0 22 0 253851570 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710972218408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27234] ppid=27221 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/27223/task/27234/stat : 27234 (java) S 27221 27223 25404 0 -1 4202560 36 0 0 0 7 0 0 0 20 0 22 0 253851571 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710960019560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27235] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27235/stat : 27235 (java) S 27221 27223 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710958965880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27236] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27236/stat : 27236 (java) S 27221 27223 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710957913224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27237] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27237/stat : 27237 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851574 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710956861968 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27238] ppid=27221 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/27223/task/27238/stat : 27238 (java) S 27221 27223 25404 0 -1 4202560 12414 0 0 0 138 3 0 0 20 0 22 0 253851574 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710955809336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27239] ppid=27221 vsize=9824668 CPUtime=1.56 cores=1,3,5,7
/proc/27223/task/27239/stat : 27239 (java) S 27221 27223 25404 0 -1 4202560 12007 0 0 0 153 3 0 0 20 0 22 0 253851574 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710954756792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27240] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27240/stat : 27240 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851575 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710953704440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27241] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27241/stat : 27241 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253851575 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710952652104 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27254] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27254/stat : 27254 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253851776 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710950982952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27255] ppid=27221 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/27223/task/27255/stat : 27255 (java) R 27221 27223 25404 0 -1 4202560 6 0 0 0 301 0 0 0 20 0 22 0 253851876 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710949929880 139711008947369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27256] ppid=27221 vsize=9824668 CPUtime=3.02 cores=1,3,5,7
/proc/27223/task/27256/stat : 27256 (java) R 27221 27223 25404 0 -1 4202560 30 0 0 0 301 1 0 0 20 0 22 0 253851876 10060460032 65560 33554432000 1073741824 1073778376 140736597845376 139710948877416 139711008966808 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0

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

[pid=27223/tid=27229] ppid=27221 vsize=9824668 CPUtime=4.16 cores=1,3,5,7
/proc/27223/task/27229/stat : 27229 (java) S 27221 27223 25404 0 -1 4202560 1038 0 0 0 407 9 0 0 20 0 22 0 253851570 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710976428584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27230] ppid=27221 vsize=9824668 CPUtime=4.11 cores=1,3,5,7
/proc/27223/task/27230/stat : 27230 (java) S 27221 27223 25404 0 -1 4202560 1242 0 0 0 404 7 0 0 20 0 22 0 253851570 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710975376040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27231] ppid=27221 vsize=9824668 CPUtime=4.11 cores=1,3,5,7
/proc/27223/task/27231/stat : 27231 (java) S 27221 27223 25404 0 -1 4202560 642 0 0 0 402 9 0 0 20 0 22 0 253851570 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710974323496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27232] ppid=27221 vsize=9824668 CPUtime=4.13 cores=1,3,5,7
/proc/27223/task/27232/stat : 27232 (java) S 27221 27223 25404 0 -1 4202560 392 0 0 0 406 7 0 0 20 0 22 0 253851570 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710973270952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27233] ppid=27221 vsize=9824668 CPUtime=4.24 cores=1,3,5,7
/proc/27223/task/27233/stat : 27233 (java) S 27221 27223 25404 0 -1 4202560 527 0 0 0 414 10 0 0 20 0 22 0 253851570 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710972218408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27234] ppid=27221 vsize=9824668 CPUtime=111.72 cores=1,3,5,7
/proc/27223/task/27234/stat : 27234 (java) S 27221 27223 25404 0 -1 4202560 2122 0 0 0 11138 34 0 0 20 0 22 0 253851571 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710960019560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27235] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27235/stat : 27235 (java) S 27221 27223 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710958965880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27236] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27236/stat : 27236 (java) S 27221 27223 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710957913224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27237] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27237/stat : 27237 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851574 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710956861968 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27238] ppid=27221 vsize=9824668 CPUtime=1.58 cores=1,3,5,7
/proc/27223/task/27238/stat : 27238 (java) S 27221 27223 25404 0 -1 4202560 12443 0 0 0 155 3 0 0 20 0 22 0 253851574 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710955809336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27239] ppid=27221 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/27223/task/27239/stat : 27239 (java) S 27221 27223 25404 0 -1 4202560 12024 0 0 0 179 3 0 0 20 0 22 0 253851574 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710954756792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27240] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27240/stat : 27240 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851575 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710953704440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27241] ppid=27221 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/27223/task/27241/stat : 27241 (java) S 27221 27223 25404 0 -1 4202560 52 0 0 0 20 12 0 0 20 0 22 0 253851575 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710952652104 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27254] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27254/stat : 27254 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253851776 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710950982952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27266] ppid=27221 vsize=9824668 CPUtime=532.25 cores=1,3,5,7
/proc/27223/task/27266/stat : 27266 (java) R 27221 27223 25404 0 -1 4202560 79 0 0 0 53216 9 0 0 20 0 22 0 253877519 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710949928880 139711008423551 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27267] ppid=27221 vsize=9824668 CPUtime=532.21 cores=1,3,5,7
/proc/27223/task/27267/stat : 27267 (java) R 27221 27223 25404 0 -1 4202560 82 0 0 0 53213 8 0 0 20 0 22 0 253877519 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710948877440 139711009237081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27268] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27268/stat : 27268 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253877519 10060460032 380947 33554432000 1073741824 1073778376 140736597845376 139710947824424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.1
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 4.00 3.98 3.88 5/220 27359
/proc/meminfo: memFree=25953424/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9824668 CPUtime=1778.97 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 38819 0 1 0 177747 150 0 0 20 0 22 0 253851568 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2456167 401887 2288 9 0 2446860 0
[pid=27223/tid=27225] ppid=27221 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/27223/task/27225/stat : 27225 (java) S 27221 27223 25404 0 -1 4202560 2558 0 1 0 58 2 0 0 20 0 22 0 253851569 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139711136035832 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27226] ppid=27221 vsize=9824668 CPUtime=4.65 cores=1,3,5,7
/proc/27223/task/27226/stat : 27226 (java) S 27221 27223 25404 0 -1 4202560 855 0 0 0 457 8 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710979586216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27227] ppid=27221 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/27223/task/27227/stat : 27227 (java) S 27221 27223 25404 0 -1 4202560 432 0 0 0 451 10 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710978533672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27228] ppid=27221 vsize=9824668 CPUtime=4.92 cores=1,3,5,7
/proc/27223/task/27228/stat : 27228 (java) S 27221 27223 25404 0 -1 4202560 840 0 0 0 483 9 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710977481128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27229] ppid=27221 vsize=9824668 CPUtime=4.58 cores=1,3,5,7
/proc/27223/task/27229/stat : 27229 (java) S 27221 27223 25404 0 -1 4202560 1046 0 0 0 449 9 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710976428584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27230] ppid=27221 vsize=9824668 CPUtime=4.52 cores=1,3,5,7
/proc/27223/task/27230/stat : 27230 (java) S 27221 27223 25404 0 -1 4202560 1255 0 0 0 444 8 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710975376040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27231] ppid=27221 vsize=9824668 CPUtime=4.6 cores=1,3,5,7
/proc/27223/task/27231/stat : 27231 (java) S 27221 27223 25404 0 -1 4202560 664 0 0 0 451 9 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710974323496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27232] ppid=27221 vsize=9824668 CPUtime=4.54 cores=1,3,5,7
/proc/27223/task/27232/stat : 27232 (java) S 27221 27223 25404 0 -1 4202560 418 0 0 0 446 8 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710973270952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27233] ppid=27221 vsize=9824668 CPUtime=4.59 cores=1,3,5,7
/proc/27223/task/27233/stat : 27233 (java) S 27221 27223 25404 0 -1 4202560 541 0 0 0 448 11 0 0 20 0 22 0 253851570 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710972218408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27234] ppid=27221 vsize=9824668 CPUtime=119.51 cores=1,3,5,7
/proc/27223/task/27234/stat : 27234 (java) S 27221 27223 25404 0 -1 4202560 3451 0 0 0 11914 37 0 0 20 0 22 0 253851571 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710960019560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27235] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27235/stat : 27235 (java) S 27221 27223 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710958965880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27236] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27236/stat : 27236 (java) S 27221 27223 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710957913224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27237] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27237/stat : 27237 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851574 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710956861968 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27238] ppid=27221 vsize=9824668 CPUtime=1.58 cores=1,3,5,7
/proc/27223/task/27238/stat : 27238 (java) S 27221 27223 25404 0 -1 4202560 12443 0 0 0 155 3 0 0 20 0 22 0 253851574 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710955809336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27239] ppid=27221 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/27223/task/27239/stat : 27239 (java) S 27221 27223 25404 0 -1 4202560 12024 0 0 0 179 3 0 0 20 0 22 0 253851574 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710954756792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27240] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27240/stat : 27240 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851575 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710953704440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27241] ppid=27221 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/27223/task/27241/stat : 27241 (java) S 27221 27223 25404 0 -1 4202560 56 0 0 0 22 13 0 0 20 0 22 0 253851575 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710952652104 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27254] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27254/stat : 27254 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253851776 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710950982952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27266] ppid=27221 vsize=9824668 CPUtime=583.42 cores=1,3,5,7
/proc/27223/task/27266/stat : 27266 (java) R 27221 27223 25404 0 -1 4202560 84 0 0 0 58333 9 0 0 20 0 22 0 253877519 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710949928880 139711009081668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27267] ppid=27221 vsize=9824668 CPUtime=583.38 cores=1,3,5,7
/proc/27223/task/27267/stat : 27267 (java) R 27221 27223 25404 0 -1 4202560 88 0 0 0 58330 8 0 0 20 0 22 0 253877519 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710948875296 139711008842243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27268] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27268/stat : 27268 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253877519 10060460032 401887 33554432000 1073741824 1073778376 140736597845376 139710947824424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1778.97
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+953.401 s]
/proc/loadavg: 4.00 3.98 3.88 5/220 27359
/proc/meminfo: memFree=25920408/32873844 swapFree=7612/7612
[pid=27223] ppid=27221 vsize=9824668 CPUtime=1799.18 cores=1,3,5,7
/proc/27223/stat : 27223 (java) S 27221 27223 25404 0 -1 4202496 38860 0 1 0 179768 150 0 0 20 0 22 0 253851568 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 140736597836512 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27223/statm: 2456167 404989 2288 9 0 2446860 0
[pid=27223/tid=27225] ppid=27221 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/27223/task/27225/stat : 27225 (java) S 27221 27223 25404 0 -1 4202560 2558 0 1 0 58 2 0 0 20 0 22 0 253851569 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139711136035832 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27226] ppid=27221 vsize=9824668 CPUtime=4.71 cores=1,3,5,7
/proc/27223/task/27226/stat : 27226 (java) S 27221 27223 25404 0 -1 4202560 855 0 0 0 463 8 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710979586216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27227] ppid=27221 vsize=9824668 CPUtime=4.66 cores=1,3,5,7
/proc/27223/task/27227/stat : 27227 (java) S 27221 27223 25404 0 -1 4202560 432 0 0 0 456 10 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710978533672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27228] ppid=27221 vsize=9824668 CPUtime=4.96 cores=1,3,5,7
/proc/27223/task/27228/stat : 27228 (java) S 27221 27223 25404 0 -1 4202560 840 0 0 0 487 9 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710977481128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27229] ppid=27221 vsize=9824668 CPUtime=4.62 cores=1,3,5,7
/proc/27223/task/27229/stat : 27229 (java) S 27221 27223 25404 0 -1 4202560 1055 0 0 0 452 10 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710976428584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27230] ppid=27221 vsize=9824668 CPUtime=4.55 cores=1,3,5,7
/proc/27223/task/27230/stat : 27230 (java) S 27221 27223 25404 0 -1 4202560 1255 0 0 0 447 8 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710975376040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27231] ppid=27221 vsize=9824668 CPUtime=4.65 cores=1,3,5,7
/proc/27223/task/27231/stat : 27231 (java) S 27221 27223 25404 0 -1 4202560 664 0 0 0 456 9 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710974323496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27232] ppid=27221 vsize=9824668 CPUtime=4.57 cores=1,3,5,7
/proc/27223/task/27232/stat : 27232 (java) S 27221 27223 25404 0 -1 4202560 418 0 0 0 449 8 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710973270952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27233] ppid=27221 vsize=9824668 CPUtime=4.67 cores=1,3,5,7
/proc/27223/task/27233/stat : 27233 (java) S 27221 27223 25404 0 -1 4202560 565 0 0 0 456 11 0 0 20 0 22 0 253851570 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710972218408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27234] ppid=27221 vsize=9824668 CPUtime=121.68 cores=1,3,5,7
/proc/27223/task/27234/stat : 27234 (java) S 27221 27223 25404 0 -1 4202560 3457 0 0 0 12130 38 0 0 20 0 22 0 253851571 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710960019560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27235] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27235/stat : 27235 (java) S 27221 27223 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710958965880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27223/tid=27236] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27236/stat : 27236 (java) S 27221 27223 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253851572 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710957913224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27237] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27237/stat : 27237 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851574 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710956861968 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27238] ppid=27221 vsize=9824668 CPUtime=1.58 cores=1,3,5,7
/proc/27223/task/27238/stat : 27238 (java) S 27221 27223 25404 0 -1 4202560 12443 0 0 0 155 3 0 0 20 0 22 0 253851574 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710955809336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27239] ppid=27221 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/27223/task/27239/stat : 27239 (java) S 27221 27223 25404 0 -1 4202560 12024 0 0 0 179 3 0 0 20 0 22 0 253851574 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710954756792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27240] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27240/stat : 27240 (java) S 27221 27223 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253851575 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710953704440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27223/tid=27241] ppid=27221 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/27223/task/27241/stat : 27241 (java) S 27221 27223 25404 0 -1 4202560 56 0 0 0 22 13 0 0 20 0 22 0 253851575 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710952652104 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27254] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27254/stat : 27254 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253851776 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710950982952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27266] ppid=27221 vsize=9824668 CPUtime=592.23 cores=1,3,5,7
/proc/27223/task/27266/stat : 27266 (java) R 27221 27223 25404 0 -1 4202560 85 0 0 0 59213 10 0 0 20 0 22 0 253877519 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710949929824 139711008946996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27223/tid=27267] ppid=27221 vsize=9824668 CPUtime=592.18 cores=1,3,5,7
/proc/27223/task/27267/stat : 27267 (java) R 27221 27223 25404 0 -1 4202560 89 0 0 0 59209 9 0 0 20 0 22 0 253877519 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710948875184 139711009375681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27223/tid=27268] ppid=27221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27223/task/27268/stat : 27268 (java) S 27221 27223 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253877519 10060460032 404989 33554432000 1073741824 1073778376 140736597845376 139710947824424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27223 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=399209
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=873715
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1799.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.83997
#  lost CPU user time (s): 0.930008
#  lost CPU system time (s): -0.09

Real time (s): 953.453
CPU time (s): 1800.02
CPU user time (s): 1798.61
CPU system time (s): 1.41
CPU usage (%): 188.79
Max. virtual memory (cumulated for all children) (KiB): 9825268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 1.87371
maximum resident set size= 1620076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38895
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31022
involuntary context switches= 64973

runsolver used 3.52046 second user time and 9.40457 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-24 18:34:32
IDJOB=3688400
IDBENCH=24983
IDSOLVER=2268
FILE ID=node143/3688400-1337877272
RUNJOBID= node143-1337871881-25422
PBS_JOBID= 14620061
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688400-1337877272/watcher-3688400-1337877272 -o /tmp/evaluation-result-3688400-1337877272/solver-3688400-1337877272 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688400-1337877272.opb

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

MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=1171761471

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26848484 kB
Buffers:          222124 kB
Cached:          2576652 kB
SwapCached:            0 kB
Active:          3054264 kB
Inactive:        2187728 kB
Active(anon):    2445524 kB
Inactive(anon):        0 kB
Active(file):     608740 kB
Inactive(file):  2187728 kB
Unevictable:        7612 kB
Mlocked:            7612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       2450452 kB
Mapped:            22372 kB
Shmem:               200 kB
Slab:             639312 kB
SReclaimable:      81892 kB
SUnreclaim:       557420 kB
KernelStack:        1632 kB
PageTables:         8892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3272840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2390016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71516 MiB
End job on node143 at 2012-05-24 18:50:27