Trace number 3687657

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 Resolution 2.3.2 SnapshotSAT (TO)64 1800.73 1797.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.2.v20120418
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		501472288
0.08/0.09	c Max memory 		7480803328
0.08/0.09	c Total memory 		504102912
0.08/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687657-1337874023.opb
0.09/0.11	c reading problem ... 
0.49/0.35	c ... done. Wall clock time 0.244s.
0.49/0.35	c declared #vars     540
0.49/0.35	c #constraints  4626
0.49/0.35	c constraints type 
0.49/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2052
0.49/0.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 264
0.49/0.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 630
0.49/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.49/0.35	c 4626 constraints processed.
0.49/0.35	c objective function length is 180 literals
0.74/0.46	c SATISFIABLE
0.74/0.46	c OPTIMIZING...
0.74/0.46	c Got one! Elapsed wall clock time (in seconds):0.347
0.74/0.46	o 78
1.67/1.03	c cleaning 2608 clauses out of 5220 with flag 5000/5220
1.67/1.08	c Got one! Elapsed wall clock time (in seconds):0.972
1.67/1.08	o 76
1.81/1.15	c Got one! Elapsed wall clock time (in seconds):1.038
1.81/1.15	o 72
1.90/1.26	c Got one! Elapsed wall clock time (in seconds):1.152
1.90/1.26	o 70
2.33/1.68	c cleaning 4560 clauses out of 9141 with flag 4000/11749
3.14/2.41	c cleaning 5279 clauses out of 10581 with flag 10000/17749
4.05/3.33	c cleaning 6129 clauses out of 12302 with flag 17000/24749
5.10/4.31	c cleaning 7083 clauses out of 14173 with flag 25000/32749
6.20/5.48	c cleaning 8039 clauses out of 16090 with flag 34000/41749
7.60/6.85	c cleaning 9009 clauses out of 18051 with flag 44000/51749
9.21/8.44	c cleaning 10014 clauses out of 20042 with flag 55000/62749
10.92/10.11	c cleaning 10957 clauses out of 22029 with flag 67001/74750
12.94/12.13	c cleaning 12013 clauses out of 24071 with flag 80000/87749
15.23/14.45	c cleaning 12995 clauses out of 26058 with flag 94000/101749
17.55/16.72	c cleaning 13995 clauses out of 28063 with flag 109000/116749
20.36/19.51	c cleaning 14987 clauses out of 30068 with flag 125000/132749
23.47/22.64	c cleaning 16012 clauses out of 32081 with flag 142000/149749
26.57/25.75	c cleaning 16990 clauses out of 34070 with flag 160001/167750
29.89/29.04	c cleaning 18007 clauses out of 36080 with flag 179001/186750
34.11/33.25	c cleaning 18996 clauses out of 38072 with flag 199000/206749
38.32/37.44	c cleaning 20010 clauses out of 40076 with flag 220000/227749
42.82/41.95	c cleaning 21000 clauses out of 42069 with flag 242003/249752
47.44/46.59	c cleaning 22012 clauses out of 44066 with flag 265000/272749
52.58/51.65	c cleaning 22976 clauses out of 46055 with flag 289001/296750
53.10/52.14	c Got one! Elapsed wall clock time (in seconds):52.036
53.10/52.14	o 68
53.51/52.53	c Got one! Elapsed wall clock time (in seconds):52.421
53.51/52.53	o 64
53.72/52.76	c cleaning 14455 clauses out of 28940 with flag 1002/302611
54.82/53.82	c cleaning 10229 clauses out of 20484 with flag 7001/308610
55.92/54.93	c cleaning 8617 clauses out of 17255 with flag 14001/315610
57.12/56.18	c cleaning 8293 clauses out of 16637 with flag 22000/323609
58.62/57.68	c cleaning 8656 clauses out of 17345 with flag 31001/332610
60.32/59.37	c cleaning 9335 clauses out of 18689 with flag 41001/342610
62.02/61.03	c cleaning 10155 clauses out of 20353 with flag 52000/353609
64.13/63.16	c cleaning 11073 clauses out of 22200 with flag 64002/365611
66.44/65.43	c cleaning 12039 clauses out of 24125 with flag 77000/378609
68.84/67.83	c cleaning 13032 clauses out of 26086 with flag 91000/392609
71.24/70.24	c cleaning 14010 clauses out of 28059 with flag 106005/407614
73.84/72.86	c cleaning 14963 clauses out of 30044 with flag 122000/423609
76.95/75.94	c cleaning 16028 clauses out of 32081 with flag 139000/440609
80.55/79.51	c cleaning 17022 clauses out of 34057 with flag 157004/458613
84.45/83.43	c cleaning 18004 clauses out of 36031 with flag 176000/477609
87.99/86.99	c cleaning 18982 clauses out of 38027 with flag 196000/497609
91.90/90.84	c cleaning 19994 clauses out of 40045 with flag 217000/518609
96.51/95.46	c cleaning 20991 clauses out of 42051 with flag 239000/540609
101.32/100.23	c cleaning 22010 clauses out of 44060 with flag 262000/563609
106.75/105.65	c cleaning 23021 clauses out of 46050 with flag 286000/587609
111.85/110.75	c cleaning 23998 clauses out of 48029 with flag 311000/612609
118.26/117.10	c cleaning 25002 clauses out of 50034 with flag 337003/638612
124.59/123.47	c cleaning 25997 clauses out of 52029 with flag 364000/665609
130.90/129.75	c cleaning 26960 clauses out of 54033 with flag 392001/693610
137.60/136.45	c cleaning 28013 clauses out of 56075 with flag 421003/722612
144.50/143.31	c cleaning 29003 clauses out of 58059 with flag 451000/752609
152.02/150.89	c cleaning 30018 clauses out of 60056 with flag 482000/783609
159.65/158.49	c cleaning 30985 clauses out of 62041 with flag 514003/815612
168.25/167.05	c cleaning 32015 clauses out of 64055 with flag 547002/848611
178.90/177.61	c cleaning 32993 clauses out of 66039 with flag 581001/882610
187.54/186.21	c cleaning 33984 clauses out of 68045 with flag 616000/917609
197.16/195.83	c cleaning 34981 clauses out of 70061 with flag 652000/953609
206.19/204.84	c cleaning 36020 clauses out of 72080 with flag 689000/990609
215.60/214.25	c cleaning 37012 clauses out of 74060 with flag 727000/1028609
227.61/226.24	c cleaning 38002 clauses out of 76048 with flag 766000/1067609
239.25/237.83	c cleaning 38960 clauses out of 78046 with flag 806000/1107609
251.38/249.92	c cleaning 40007 clauses out of 80087 with flag 847001/1148610
263.42/261.96	c cleaning 41009 clauses out of 82079 with flag 889000/1190609
277.23/275.78	c cleaning 41973 clauses out of 84072 with flag 932002/1233611
291.36/289.80	c cleaning 43027 clauses out of 86097 with flag 976000/1277609
306.47/304.95	c cleaning 44010 clauses out of 88070 with flag 1021000/1322609
320.79/319.29	c cleaning 45012 clauses out of 90060 with flag 1067000/1368609
336.99/335.42	c cleaning 45984 clauses out of 92048 with flag 1114000/1415609
353.21/351.68	c cleaning 46998 clauses out of 94067 with flag 1162003/1463612
369.94/368.37	c cleaning 47978 clauses out of 96066 with flag 1211000/1512609
388.77/387.15	c cleaning 49002 clauses out of 98088 with flag 1261000/1562609
410.37/408.73	c cleaning 50011 clauses out of 100086 with flag 1312000/1613609
432.93/431.30	c cleaning 51018 clauses out of 102075 with flag 1364000/1665609
456.85/455.14	c cleaning 51990 clauses out of 104058 with flag 1417001/1718610
479.08/477.38	c cleaning 52988 clauses out of 106067 with flag 1471000/1772609
500.20/498.43	c cleaning 54016 clauses out of 108080 with flag 1526001/1827610
522.22/520.40	c cleaning 54987 clauses out of 110063 with flag 1582000/1883609
543.26/541.45	c cleaning 56015 clauses out of 112076 with flag 1639000/1940609
569.18/567.30	c cleaning 56984 clauses out of 114061 with flag 1697000/1998609
592.91/591.02	c cleaning 58030 clauses out of 116078 with flag 1756001/2057610
620.82/618.93	c cleaning 58975 clauses out of 118049 with flag 1816002/2117611
645.85/643.99	c cleaning 60011 clauses out of 120073 with flag 1877001/2178610
674.36/672.42	c cleaning 61014 clauses out of 122061 with flag 1939000/2240609
702.78/700.84	c cleaning 61968 clauses out of 124049 with flag 2002002/2303611
732.60/730.62	c cleaning 62986 clauses out of 126081 with flag 2066002/2367611
762.63/760.67	c cleaning 64010 clauses out of 128094 with flag 2131001/2432610
792.64/790.60	c cleaning 65017 clauses out of 130085 with flag 2197002/2498611
822.07/820.09	c cleaning 65994 clauses out of 132066 with flag 2264000/2565609
851.49/849.41	c cleaning 67004 clauses out of 134074 with flag 2332002/2633611
881.12/879.02	c cleaning 67993 clauses out of 136069 with flag 2401001/2702610
914.74/912.63	c cleaning 68991 clauses out of 138075 with flag 2471000/2772609
951.78/949.61	c cleaning 70009 clauses out of 140085 with flag 2542001/2843610
988.71/986.53	c cleaning 70980 clauses out of 142077 with flag 2614002/2915611
1025.33/1023.17	c cleaning 72043 clauses out of 144095 with flag 2687000/2988609
1061.86/1059.68	c cleaning 72989 clauses out of 146052 with flag 2761000/3062609
1101.36/1099.14	c cleaning 74027 clauses out of 148064 with flag 2836001/3137610
1145.57/1143.32	c cleaning 75001 clauses out of 150036 with flag 2912000/3213609
1186.01/1183.77	c cleaning 75980 clauses out of 152036 with flag 2989001/3290610
1231.44/1229.14	c cleaning 76956 clauses out of 154055 with flag 3067000/3368609
1276.36/1274.05	c cleaning 77987 clauses out of 156099 with flag 3146000/3447609
1318.88/1316.57	c cleaning 78996 clauses out of 158112 with flag 3226000/3527609
1359.98/1357.69	c cleaning 79999 clauses out of 160116 with flag 3307000/3608609
1404.11/1401.73	c cleaning 80966 clauses out of 162117 with flag 3389000/3690609
1450.93/1448.53	c cleaning 82029 clauses out of 164153 with flag 3472002/3773611
1501.04/1498.68	c cleaning 83002 clauses out of 166122 with flag 3556000/3857609
1549.37/1546.99	c cleaning 84012 clauses out of 168121 with flag 3641001/3942610
1601.48/1599.09	c cleaning 85036 clauses out of 170110 with flag 3727002/4028611
1656.21/1653.73	c cleaning 85963 clauses out of 172073 with flag 3814001/4115610
1711.34/1708.85	c cleaning 87001 clauses out of 174110 with flag 3902001/4203610
1768.48/1765.96	c cleaning 88018 clauses out of 176109 with flag 3991001/4292610
1800.01/1797.42	c starts		: 259
1800.01/1797.42	c conflicts		: 4348603
1800.01/1797.42	c decisions		: 5766476
1800.01/1797.42	c propagations		: 279405777
1800.01/1797.42	c inspects		: 26423019012
1800.01/1797.42	c shortcuts		: 0
1800.01/1797.42	c learnt literals	: 0
1800.01/1797.42	c learnt binary clauses	: 0
1800.01/1797.42	c learnt ternary clauses	: 34
1800.01/1797.42	c learnt constraints	: 4348603
1800.01/1797.42	c ignored constraints	: 0
1800.01/1797.42	c root simplifications	: 0
1800.01/1797.42	c removed literals (reason simplification)	: 0
1800.01/1797.42	c reason swapping (by a shorter reason)	: 0
1800.01/1797.42	c Calls to reduceDB	: 106
1800.01/1797.42	c number of reductions to clauses (during analyze)	: 0
1800.01/1797.42	c number of learned constraints concerned by reduction	: 0
1800.01/1797.42	c number of learning phase by resolution	: 0
1800.01/1797.42	c number of learning phase by cutting planes	: 0
1800.01/1797.42	c speed (assignments/second)	: 155479.56215102685
1800.01/1797.42	c non guided choices	57
1800.01/1797.45	c learnt constraints type 
1800.01/1797.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144116
1800.01/1797.45	c constraints type 
1800.01/1797.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2052
1800.01/1797.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 264
1800.01/1797.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 630
1800.01/1797.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1681
1800.01/1797.45	c 4627 constraints processed.
1800.01/1797.45	s SATISFIABLE
1800.01/1797.45	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 
1800.01/1797.45	c objective function=64
1800.01/1797.45	c Total wall clock time (in seconds): 1797.338

Verifier Data

OK	64

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-3687657-1337874023/watcher-3687657-1337874023 -o /tmp/evaluation-result-3687657-1337874023/solver-3687657-1337874023 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687657-1337874023.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: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17843/stat : 17843 (java) D 17841 17843 16961 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253526359 9515008 183 33554432000 1073741824 1073778376 140734692445616 140734692436648 251053031093 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17843/statm: 2323 183 140 9 0 71 0

[startup+0.0901 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 4229 0 1 0 7 1 0 0 20 0 18 0 253526359 9787813888 4909 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2389603 4910 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100285 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 253526359 9787813888 5073 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2389603 5074 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300276 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 6141 0 1 0 48 1 0 0 20 0 18 0 253526359 9787813888 8732 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2389603 8732 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700265 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 8568 0 1 0 131 2 0 0 20 0 19 0 253526359 9855975424 11778 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 11778 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 1.98 1.98 1.76 3/214 17862
/proc/meminfo: memFree=28486712/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=2.22 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 9073 0 1 0 219 3 0 0 20 0 19 0 253526359 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 14401 2278 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2522 0 1 0 145 0 0 0 20 0 19 0 253526360 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560254734472 140560195040669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253526362 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) R 17841 17843 16961 0 -1 4202560 3200 0 0 0 39 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560074577544 140560257321104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) R 17841 17843 16961 0 -1 4202560 2112 0 0 0 32 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560073537600 140560258821600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.98 1.98 1.76 3/214 17862
/proc/meminfo: memFree=28473804/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 9098 0 1 0 382 3 0 0 20 0 19 0 253526359 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 15443 2278 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2523 0 1 0 303 0 0 0 20 0 19 0 253526360 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560254734744 140560195048666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253526362 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2115 0 0 0 33 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9624976

[startup+6.3006 s]
/proc/loadavg: 2.14 2.02 1.77 3/214 17862
/proc/meminfo: memFree=28471796/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=7.1 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 9580 0 1 0 706 4 0 0 20 0 19 0 253526359 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 15876 2278 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2526 0 1 0 617 0 0 0 20 0 19 0 253526360 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195040630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 253526362 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2587 0 0 0 37 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 56 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.62 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 129 0 0 0 260 2 0 0 20 0 19 0 253526362 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 95 0 0 0 24 32 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.85
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/213 17955
/proc/meminfo: memFree=28902412/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1724.87 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 11021 0 1 0 172437 50 0 0 20 0 19 0 253526359 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 44754 2279 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1718.35 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2648 0 1 0 171801 34 0 0 20 0 19 0 253526360 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195040630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 146 0 0 0 34 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 59 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 66 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 173 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 62 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.66 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 131 0 0 0 264 2 0 0 20 0 19 0 253526362 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 99 0 0 0 25 34 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.87
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.15 2.03 1.92 3/214 17958
/proc/meminfo: memFree=28871348/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1784.9 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 11037 0 1 0 178439 51 0 0 20 0 19 0 253526359 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 44763 2279 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1778.3 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2649 0 1 0 177795 35 0 0 20 0 19 0 253526360 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195005095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 146 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 66 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 174 0 0 0 37 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 62 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.7 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 133 0 0 0 267 3 0 0 20 0 19 0 253526362 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 103 0 0 0 26 35 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.41 s]
/proc/loadavg: 2.12 2.03 1.92 3/214 17958
/proc/meminfo: memFree=28869956/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 11037 0 1 0 179950 51 0 0 20 0 19 0 253526359 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 44763 2279 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1793.42 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2649 0 1 0 179307 35 0 0 20 0 19 0 253526360 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195040630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 146 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 66 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 174 0 0 0 37 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 62 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.7 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 133 0 0 0 267 3 0 0 20 0 19 0 253526362 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 103 0 0 0 27 35 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143
Real time (s): 1797.45
CPU time (s): 1800.73
CPU user time (s): 1799.82
CPU system time (s): 0.913861
CPU usage (%): 100.182
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.913861
maximum resident set size= 179176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11073
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40871
involuntary context switches= 35214

runsolver used 6.01109 second user time and 15.1417 second system time

The end

Launcher Data

Begin job on node149 at 2012-05-24 17:40:23
IDJOB=3687657
IDBENCH=2007
IDSOLVER=2269
FILE ID=node149/3687657-1337874023
RUNJOBID= node149-1337871880-16978
PBS_JOBID= 14620055
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687657-1337874023/watcher-3687657-1337874023 -o /tmp/evaluation-result-3687657-1337874023/solver-3687657-1337874023 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687657-1337874023.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=66427364

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.91
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        28527572 kB
Buffers:          215408 kB
Cached:          2727052 kB
SwapCached:            0 kB
Active:          1227508 kB
Inactive:        2349192 kB
Active(anon):     635536 kB
Inactive(anon):        0 kB
Active(file):     591972 kB
Inactive(file):  2349192 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               220 kB
Writeback:             0 kB
AnonPages:        642264 kB
Mapped:            22620 kB
Shmem:               200 kB
Slab:             627820 kB
SReclaimable:      71984 kB
SUnreclaim:       555836 kB
KernelStack:        1600 kB
PageTables:         4984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1082900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node149 at 2012-05-24 18:10:22