Trace number 3687656

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)68 1800.92 909.354

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.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.2.v20120418
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c c --- End Solver configuration ---
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3687656-1337872951.opb
0.09/0.13	c reading problem ... 
0.69/0.43	c ... done. Wall clock time 0.297s.
0.69/0.43	c declared #vars     540
0.69/0.43	c #constraints  4626
0.69/0.43	c constraints type 
0.69/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2052
0.69/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 264
0.69/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 630
0.69/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.69/0.43	c 4626 constraints processed.
0.69/0.43	c constraints type 
0.69/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.69/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.69/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.69/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1680
0.69/0.43	c 4626 constraints processed.
0.69/0.43	c objective function length is 180 literals
1.04/0.53	c  And the winner is solver0
1.45/0.93	c SATISFIABLE
1.45/0.93	c OPTIMIZING...
1.45/0.93	c Got one! Elapsed wall clock time (in seconds):0.8
1.45/0.93	o 80
1.73/1.03	c  And the winner is solver0
1.86/1.43	c Got one! Elapsed wall clock time (in seconds):1.302
1.86/1.43	o 74
3.72/2.03	c cleaning 2660 clauses out of 5320 with flag 5000/5320
5.52/2.82	c cleaning 4328 clauses out of 8661 with flag 11001/11321
7.52/3.85	c cleaning 5664 clauses out of 11334 with flag 18002/18322
9.69/4.97	c cleaning 6818 clauses out of 13668 with flag 26000/26320
12.66/6.40	c cleaning 7925 clauses out of 15857 with flag 35007/35327
13.39/6.88	c  And the winner is solver0
13.58/6.99	c Got one! Elapsed wall clock time (in seconds):6.861
13.58/6.99	o 72
13.82/7.10	c  And the winner is solver0
13.85/7.49	c Got one! Elapsed wall clock time (in seconds):7.363
13.85/7.49	o 70
14.46/7.83	c cleaning 6886 clauses out of 13804 with flag 2002/41199
16.20/8.76	c cleaning 6441 clauses out of 12916 with flag 8000/47197
18.12/9.73	c cleaning 6722 clauses out of 13475 with flag 15000/54197
20.43/10.94	c cleaning 7359 clauses out of 14753 with flag 23000/62197
23.13/12.37	c cleaning 8170 clauses out of 16394 with flag 32000/71197
26.25/13.95	c cleaning 9083 clauses out of 18224 with flag 42000/81197
29.98/15.87	c cleaning 10067 clauses out of 20142 with flag 53001/92198
34.66/18.29	c cleaning 10999 clauses out of 22074 with flag 65000/104197
39.57/20.70	c cleaning 12034 clauses out of 24075 with flag 78000/117197
45.45/23.75	c cleaning 12978 clauses out of 26041 with flag 92000/131197
51.56/26.85	c cleaning 13995 clauses out of 28063 with flag 107000/146197
59.02/30.61	c cleaning 15026 clauses out of 30068 with flag 123000/162197
67.29/34.83	c cleaning 15984 clauses out of 32045 with flag 140003/179200
76.37/39.46	c cleaning 17007 clauses out of 34058 with flag 158000/197197
87.22/44.95	c cleaning 17991 clauses out of 36051 with flag 177000/216197
98.40/50.65	c cleaning 19023 clauses out of 38060 with flag 197000/236197
112.25/57.64	c cleaning 20013 clauses out of 40038 with flag 218001/257198
124.33/63.72	c cleaning 21005 clauses out of 42025 with flag 240001/279198
137.34/70.32	c cleaning 22001 clauses out of 44022 with flag 263003/302200
150.01/76.80	c cleaning 22962 clauses out of 46020 with flag 287002/326199
165.36/84.57	c cleaning 23998 clauses out of 48056 with flag 312000/351197
184.17/94.07	c cleaning 0 clauses out of 5647 with flag 0/5650
186.41/95.00	c cleaning 25009 clauses out of 50058 with flag 338000/377197
203.14/103.57	c cleaning 25999 clauses out of 52050 with flag 365001/404198
221.95/113.07	c cleaning 27012 clauses out of 54053 with flag 393003/432200
242.16/123.25	c cleaning 27949 clauses out of 56039 with flag 422001/461198
250.31/127.41	c  And the winner is solver0
250.46/127.56	c Got one! Elapsed wall clock time (in seconds):127.434
250.46/127.56	o 68
253.83/129.29	c cleaning 23682 clauses out of 47403 with flag 5000/480511
257.64/131.37	c cleaning 14844 clauses out of 29721 with flag 11000/486511
261.01/133.12	c cleaning 10917 clauses out of 21877 with flag 18000/493511
264.35/134.90	c cleaning 9432 clauses out of 18960 with flag 26000/501511
268.12/136.93	c cleaning 9252 clauses out of 18528 with flag 35000/510511
272.32/139.22	c cleaning 9634 clauses out of 19278 with flag 45002/520513
276.07/141.28	c cleaning 10291 clauses out of 20643 with flag 56001/531512
280.81/143.73	c cleaning 11144 clauses out of 22353 with flag 68002/543513
286.16/146.52	c cleaning 12053 clauses out of 24207 with flag 81000/556511
292.19/149.75	c cleaning 13058 clauses out of 26155 with flag 95001/570512
298.75/153.18	c cleaning 13982 clauses out of 28097 with flag 110001/585512
305.10/156.45	c cleaning 15039 clauses out of 30115 with flag 126001/601512
313.25/160.66	c cleaning 16027 clauses out of 32075 with flag 143000/618511
322.44/165.43	c cleaning 16994 clauses out of 34048 with flag 161000/636511
331.96/170.39	c cleaning 18001 clauses out of 36054 with flag 180000/655511
342.89/175.92	c cleaning 19014 clauses out of 38053 with flag 200000/675511
354.63/181.94	c cleaning 20003 clauses out of 40039 with flag 221000/696511
368.05/188.88	c cleaning 20994 clauses out of 42037 with flag 243001/718512
383.20/196.51	c cleaning 22000 clauses out of 44043 with flag 266001/741512
396.97/203.56	c cleaning 22992 clauses out of 46043 with flag 290001/765512
412.11/211.22	c cleaning 23967 clauses out of 48051 with flag 315001/790512
427.85/219.38	c cleaning 24999 clauses out of 50084 with flag 341001/816512
446.99/229.00	c cleaning 26015 clauses out of 52086 with flag 368002/843513
469.38/240.34	c cleaning 26977 clauses out of 54069 with flag 396000/871511
487.93/249.71	c cleaning 28021 clauses out of 56092 with flag 425000/900511
507.87/259.92	c cleaning 29016 clauses out of 58072 with flag 455001/930512
530.42/271.37	c cleaning 29964 clauses out of 60055 with flag 486000/961511
559.01/285.74	c cleaning 31022 clauses out of 62091 with flag 518000/993511
586.02/299.30	c cleaning 32011 clauses out of 64069 with flag 551000/1026511
613.65/313.37	c cleaning 33002 clauses out of 66058 with flag 585000/1060511
641.47/327.32	c cleaning 34011 clauses out of 68057 with flag 620001/1095512
670.44/341.90	c cleaning 34989 clauses out of 70045 with flag 656000/1131511
698.88/356.25	c cleaning 35979 clauses out of 72056 with flag 693000/1168511
731.46/372.75	c cleaning 36991 clauses out of 74078 with flag 731001/1206512
767.95/391.04	c cleaning 38032 clauses out of 76090 with flag 770004/1245515
807.20/410.75	c cleaning 38980 clauses out of 78054 with flag 810000/1285511
847.41/430.96	c cleaning 40028 clauses out of 80075 with flag 851001/1326512
883.70/449.33	c cleaning 40978 clauses out of 82047 with flag 893001/1368512
926.97/471.03	c cleaning 42012 clauses out of 84070 with flag 936002/1411513
971.38/493.38	c cleaning 42974 clauses out of 86058 with flag 980002/1455513
1005.51/510.51	c cleaning 0 clauses out of 11358 with flag 0/11362
1011.21/513.72	c cleaning 44010 clauses out of 88082 with flag 1025000/1500511
1054.80/535.52	c cleaning 45018 clauses out of 90074 with flag 1071002/1546513
1107.06/561.72	c cleaning 45980 clauses out of 92055 with flag 1118001/1593512
1153.95/585.22	c cleaning 46980 clauses out of 94074 with flag 1166000/1641511
1199.91/608.40	c cleaning 47984 clauses out of 96094 with flag 1215000/1690511
1256.79/636.91	c cleaning 48983 clauses out of 98110 with flag 1265000/1740511
1316.51/666.90	c cleaning 50042 clauses out of 100130 with flag 1316003/1791514
1390.85/704.03	c cleaning 50990 clauses out of 102086 with flag 1368001/1843512
1466.08/741.81	c cleaning 52020 clauses out of 104095 with flag 1421000/1896511
1540.67/779.12	c cleaning 53023 clauses out of 106075 with flag 1475000/1950511
1616.60/817.19	c cleaning 53998 clauses out of 108052 with flag 1530000/2005511
1678.31/848.07	c cleaning 54995 clauses out of 110055 with flag 1586001/2061512
1745.46/881.87	c cleaning 56012 clauses out of 112061 with flag 1643002/2118513
1800.19/909.31	c starts		: 232
1800.19/909.31	c conflicts		: 2162288
1800.19/909.31	c decisions		: 2890497
1800.19/909.31	c propagations		: 146753319
1800.19/909.31	c inspects		: 9064293806
1800.19/909.31	c shortcuts		: 0
1800.19/909.31	c learnt literals	: 0
1800.19/909.31	c learnt binary clauses	: 0
1800.19/909.31	c learnt ternary clauses	: 11
1800.19/909.31	c learnt constraints	: 2162288
1800.19/909.31	c ignored constraints	: 0
1800.19/909.31	c root simplifications	: 0
1800.19/909.31	c removed literals (reason simplification)	: 19491865
1800.19/909.31	c reason swapping (by a shorter reason)	: 0
1800.19/909.31	c Calls to reduceDB	: 83
1800.19/909.31	c number of reductions to clauses (during analyze)	: 0
1800.19/909.31	c number of learned constraints concerned by reduction	: 0
1800.19/909.31	c number of learning phase by resolution	: 0
1800.19/909.31	c number of learning phase by cutting planes	: 0
1800.19/909.31	c speed (assignments/second)	: 161467.71434009887
1800.19/909.31	c non guided choices	67
1800.19/909.34	c learnt constraints type 
1800.19/909.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 99860
1800.19/909.34	c constraints type 
1800.19/909.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2052
1800.19/909.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 264
1800.19/909.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 630
1800.19/909.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1681
1800.19/909.34	c 4627 constraints processed.
1800.19/909.34	c constraints type 
1800.19/909.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
1800.19/909.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
1800.19/909.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
1800.19/909.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1681
1800.19/909.34	c 4627 constraints processed.
1800.19/909.34	s SATISFIABLE
1800.19/909.34	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.19/909.34	c objective function=68
1800.19/909.34	c Total wall clock time (in seconds): 909.213

Verifier Data

OK	68

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-3687656-1337872951/watcher-3687656-1337872951 -o /tmp/evaluation-result-3687656-1337872951/solver-3687656-1337872951 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687656-1337872951.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22977/stat : 22977 (java) D 22975 22977 22059 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253422051 9515008 183 33554432000 1073741824 1073778376 140733623698864 140733623689896 233411788469 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/22977/statm: 2323 183 140 9 0 71 0

[startup+0.0387169 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 2918 0 1 0 1 0 0 0 20 0 11 0 253422051 9310650368 3617 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2273108 3617 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.1003 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 4145 0 1 0 8 1 0 0 20 0 18 0 253422051 9787813888 5346 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2389603 5347 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300229 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9558412 CPUtime=0.45 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 5345 0 1 0 44 1 0 0 20 0 18 0 253422051 9787813888 8196 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2389603 8196 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412

[startup+0.700326 s]
/proc/loadavg: 3.78 3.74 2.57 4/197 22977
/proc/meminfo: memFree=27823396/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1.45 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 11442 0 1 0 140 5 0 0 20 0 19 0 253422051 10060460032 17662 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 17662 2254 9 0 2446860 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9824668

[startup+1.5006 s]
/proc/loadavg: 3.78 3.74 2.57 7/219 23002
/proc/meminfo: memFree=27753364/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 11987 0 1 0 203 7 0 0 20 0 22 0 253422051 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 23491 2255 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2468 0 1 0 38 2 0 0 20 0 22 0 253422052 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23491 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23503 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23518 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23528 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23545 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 23558 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253422054 10060460032 23568 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 23578 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 23589 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=0.54 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) R 22975 22977 22059 0 -1 4202560 4291 0 0 0 54 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204890710056 233411415883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) R 22975 22977 22059 0 -1 4202560 4005 0 0 0 59 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204889657520 233411415883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 23600 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 23608 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 23624 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9824668

[startup+3.10071 s]
/proc/loadavg: 3.64 3.71 2.57 5/219 23005
/proc/meminfo: memFree=27626140/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=6.08 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 18109 0 1 0 596 12 0 0 20 0 22 0 253422051 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 52736 2286 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2468 0 1 0 38 2 0 0 20 0 22 0 253422052 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253422053 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 98 0 0 0 6 0 0 0 20 0 22 0 253422054 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 8149 0 0 0 90 2 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 5961 0 0 0 103 2 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23003] ppid=22975 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/22977/task/23003/stat : 23003 (java) R 22975 22977 22059 0 -1 4202560 5 0 0 0 151 0 0 0 20 0 22 0 253422194 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204886520032 140204997143479 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23004] ppid=22975 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/22977/task/23004/stat : 23004 (java) R 22975 22977 22059 0 -1 4202560 50 0 0 0 152 2 0 0 20 0 22 0 253422195 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204885468136 140204997171684 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23005] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23005/stat : 23005 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253422195 10060460032 52736 33554432000 1073741824 1073778376 140736151350832 140204884416168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 9824668

[startup+6.30082 s]
/proc/loadavg: 3.64 3.71 2.57 5/219 23005
/proc/meminfo: memFree=27310128/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=12.45 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 18448 0 1 0 1225 20 0 0 20 0 22 0 253422051 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 142804 2286 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2468 0 1 0 39 2 0 0 20 0 22 0 253422052 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253422053 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 218 0 0 0 22 0 0 0 20 0 22 0 253422054 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 8151 0 0 0 95 2 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 5961 0 0 0 104 2 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 142804 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=666.43 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) R 22975 22977 22059 0 -1 4202560 54 0 0 0 66631 12 0 0 20 0 22 0 253434808 10060460032 320170 33554432000 1073741824 1073778376 140736151350832 140204885467056 140204996994128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=666.43 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) R 22975 22977 22059 0 -1 4202560 279 0 0 0 66631 12 0 0 20 0 22 0 253434808 10060460032 320170 33554432000 1073741824 1073778376 140736151350832 140204886520944 140204996911031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 320170 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1626.5
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.91 3.89 3.35 3/219 23091
/proc/meminfo: memFree=27044824/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1746.08 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 28703 0 1 0 174460 148 0 0 20 0 22 0 253422051 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 305828 2287 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2494 0 1 0 42 3 0 0 20 0 22 0 253422052 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140205138694872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=3.09 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 264 0 0 0 304 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=3.19 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 308 0 0 0 313 6 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=3.05 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 311 0 0 0 300 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 281 0 0 0 287 4 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=3.03 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 301 0 0 0 296 7 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 298 0 0 0 292 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=3.24 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 321 0 0 0 318 6 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=3.19 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 260 0 0 0 314 5 0 0 20 0 22 0 253422053 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=28.75 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) R 22975 22977 22059 0 -1 4202560 2818 0 0 0 2838 37 0 0 20 0 22 0 253422054 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204894942952 140205145550080 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 12095 0 0 0 164 3 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 6210 0 0 0 125 2 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 51 0 0 0 17 15 0 0 20 0 22 0 253422058 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=724.43 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) S 22975 22977 22059 0 -1 4202560 62 0 0 0 72430 13 0 0 20 0 22 0 253434808 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204885467800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=724.44 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) S 22975 22977 22059 0 -1 4202560 302 0 0 0 72431 13 0 0 20 0 22 0 253434808 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204886521112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 305828 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1746.08
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+909.301 s]
/proc/loadavg: 3.94 3.89 3.37 5/219 23091
/proc/meminfo: memFree=26881476/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1800.19 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 29330 0 1 0 179868 151 0 0 20 0 22 0 253422051 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 313419 2287 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2494 0 1 0 42 3 0 0 20 0 22 0 253422052 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 281 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 321 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 318 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 288 0 0 0 292 4 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 309 0 0 0 303 7 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 308 0 0 0 297 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 325 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 266 0 0 0 323 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=28.93 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 2903 0 0 0 2855 38 0 0 20 0 22 0 253422054 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 12095 0 0 0 164 3 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 6210 0 0 0 125 2 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=751.09 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) R 22975 22977 22059 0 -1 4202560 89 0 0 0 75096 13 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204885466224 140204996994083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=751.11 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) R 22975 22977 22059 0 -1 4202560 727 0 0 0 75097 14 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204886519728 140204997049130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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

[startup+909.301 s]
/proc/loadavg: 3.94 3.89 3.37 5/219 23091
/proc/meminfo: memFree=26881476/32873844 swapFree=7100/7100
[pid=22977] ppid=22975 vsize=9824668 CPUtime=1800.19 cores=0,2,4,6
/proc/22977/stat : 22977 (java) S 22975 22977 22059 0 -1 4202496 29330 0 1 0 179868 151 0 0 20 0 22 0 253422051 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140736151341968 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22977/statm: 2456167 313419 2287 9 0 2446860 0
[pid=22977/tid=22979] ppid=22975 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/22977/task/22979/stat : 22979 (java) S 22975 22977 22059 0 -1 4202560 2494 0 1 0 42 3 0 0 20 0 22 0 253422052 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205138695160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22980] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22980/stat : 22980 (java) S 22975 22977 22059 0 -1 4202560 281 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205116795816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22981] ppid=22975 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/22977/task/22981/stat : 22981 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 321 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140205115743272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22982] ppid=22975 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/22977/task/22982/stat : 22982 (java) S 22975 22977 22059 0 -1 4202560 318 0 0 0 311 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204912405160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22983] ppid=22975 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/22977/task/22983/stat : 22983 (java) S 22975 22977 22059 0 -1 4202560 288 0 0 0 292 4 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204911352616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22984] ppid=22975 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/22977/task/22984/stat : 22984 (java) S 22975 22977 22059 0 -1 4202560 309 0 0 0 303 7 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204910299560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22985] ppid=22975 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/22977/task/22985/stat : 22985 (java) S 22975 22977 22059 0 -1 4202560 308 0 0 0 297 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204909247016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=22986] ppid=22975 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/22977/task/22986/stat : 22986 (java) S 22975 22977 22059 0 -1 4202560 331 0 0 0 325 6 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204908193960 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22987] ppid=22975 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/22977/task/22987/stat : 22987 (java) S 22975 22977 22059 0 -1 4202560 266 0 0 0 323 5 0 0 20 0 22 0 253422053 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204907141416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22988] ppid=22975 vsize=9824668 CPUtime=28.93 cores=0,2,4,6
/proc/22977/task/22988/stat : 22988 (java) S 22975 22977 22059 0 -1 4202560 2903 0 0 0 2855 38 0 0 20 0 22 0 253422054 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204894944104 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22989] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22989/stat : 22989 (java) S 22975 22977 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204893890424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22990] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22990/stat : 22990 (java) S 22975 22977 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422055 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204892837256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22991] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22991/stat : 22991 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204891786000 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22992] ppid=22975 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/22977/task/22992/stat : 22992 (java) S 22975 22977 22059 0 -1 4202560 12095 0 0 0 164 3 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204890732856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22993] ppid=22975 vsize=9824668 CPUtime=1.27 cores=0,2,4,6
/proc/22977/task/22993/stat : 22993 (java) S 22975 22977 22059 0 -1 4202560 6210 0 0 0 125 2 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204889680312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22977/tid=22994] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22994/stat : 22994 (java) S 22975 22977 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204888627448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=22995] ppid=22975 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/22977/task/22995/stat : 22995 (java) S 22975 22977 22059 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 253422058 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204887575112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=22999] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/22999/stat : 22999 (java) S 22975 22977 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422095 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204883363240 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22977/tid=23012] ppid=22975 vsize=9824668 CPUtime=751.09 cores=0,2,4,6
/proc/22977/task/23012/stat : 23012 (java) R 22975 22977 22059 0 -1 4202560 89 0 0 0 75096 13 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204885466224 140204996994083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22977/tid=23013] ppid=22975 vsize=9824668 CPUtime=751.11 cores=0,2,4,6
/proc/22977/task/23013/stat : 23013 (java) R 22975 22977 22059 0 -1 4202560 727 0 0 0 75097 14 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204886519728 140204997049130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22977/tid=23014] ppid=22975 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22977/task/23014/stat : 23014 (java) S 22975 22977 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253434808 10060460032 313419 33554432000 1073741824 1073778376 140736151350832 140204884415784 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 909.354
CPU time (s): 1800.92
CPU user time (s): 1799
CPU system time (s): 1.92371
CPU usage (%): 198.044
Max. virtual memory (cumulated for all children) (KiB): 9825692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.92371
maximum resident set size= 2223360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29363
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34488
involuntary context switches= 53698

runsolver used 3.08953 second user time and 8.5357 second system time

The end

Launcher Data

Begin job on node111 at 2012-05-24 17:22:31
IDJOB=3687656
IDBENCH=2007
IDSOLVER=2268
FILE ID=node111/3687656-1337872951
RUNJOBID= node111-1337871880-22075
PBS_JOBID= 14620093
Free space on /tmp= 71608 MiB

SOLVER NAME= SAT 4j PB RES // CP 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 Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687656-1337872951/watcher-3687656-1337872951 -o /tmp/evaluation-result-3687656-1337872951/solver-3687656-1337872951 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687656-1337872951.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=1723270997

node111.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.152
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.30
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.152
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.152
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.92
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.152
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.152
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.152
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	: 5331.91
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.152
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27823552 kB
Buffers:          198596 kB
Cached:          3067128 kB
SwapCached:            0 kB
Active:          1766552 kB
Inactive:        2502072 kB
Active(anon):    1005476 kB
Inactive(anon):        0 kB
Active(file):     761076 kB
Inactive(file):  2502072 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               464 kB
Writeback:             0 kB
AnonPages:       1022120 kB
Mapped:            22544 kB
Shmem:               200 kB
Slab:             629436 kB
SReclaimable:      72020 kB
SUnreclaim:       557416 kB
KernelStack:        1624 kB
PageTables:         6228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1648348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    956416 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= 71624 MiB
End job on node111 at 2012-05-24 17:37:42