Trace number 366367

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, and are wall clock time (not CPU 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
SAT4JPseudoResolution 2007-03-23SAT (TO)139 1800.25 1788.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max512.r.opb
MD5SUMabda325d00dae29cc1f423bbedcd64ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark113
Best CPU time to get the best result obtained on this benchmark0.072987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 113
Optimality of the best value was proved YES
Number of variables515
Total number of constraints559
Number of constraints which are clauses559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint22
Number of terms in the objective function 515
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 515
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 515
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.19/0.21	--- Begin Solver configuration ---
0.19/0.21	c Stops conflict analysis at the first Unique Implication Point
0.19/0.21	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.21	c Learn all clauses as in MiniSAT
0.19/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.21	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.21	c No reason simplification
0.19/0.21	c --- End Solver configuration ---
0.19/0.21	c solving /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb
0.19/0.21	c reading problem ... 
0.59/0.51	c ... done. Wall clock time 0.306s.
0.59/0.51	c CPU time (experimental) 0.4s.
0.59/0.51	c #vars     515
0.59/0.51	c #constraints  559
0.59/0.54	c SATISFIABLE
0.59/0.54	c OPTIMIZING...
0.59/0.54	c Got one! Elapsed wall clock time (in seconds):0.333
0.59/0.54	o 139
725.79/719.26	c cleaning 1086239 clauses out of 2172500 for limit 0.004363844517399651
838.88/832.32	c cleaning 543376 clauses out of 1086762 for limit 0.01440074658235557
859.98/853.42	c cleaning 271936 clauses out of 543885 for limit 0.04740604736718939
872.87/866.31	c cleaning 136216 clauses out of 272450 for limit 0.15622279878654513
877.37/870.84	c cleaning 68361 clauses out of 136733 for limit 0.5128368913611457
878.37/871.88	c cleaning 34432 clauses out of 68872 for limit 1.679058369000418
878.67/872.18	c cleaning 17460 clauses out of 34941 for limit 5.4634070300531965
878.87/872.37	c cleaning 8982 clauses out of 17980 for limit 17.491641802174087
878.97/872.48	c cleaning 4739 clauses out of 9498 for limit 54.60645511110426
879.07/872.54	c cleaning 2619 clauses out of 5259 for limit 162.64056179731472
879.07/872.59	c cleaning 1560 clauses out of 3140 for limit 449.2191642541984
879.17/872.64	c cleaning 1028 clauses out of 2080 for limit 1118.3570392231854
879.17/872.68	c cleaning 767 clauses out of 1553 for limit 2472.6506075417014
879.27/872.72	c cleaning 638 clauses out of 1287 for limit 4925.451661795455
879.27/872.76	c cleaning 564 clauses out of 1147 for limit 9095.949776948226
1037.75/1029.93	c cleaning 293033 clauses out of 586083 for limit 4.540420069411378E-5
1057.02/1049.25	c cleaning 146771 clauses out of 293550 for limit 1.4949578958501535E-4
1060.82/1053.07	c cleaning 73633 clauses out of 147280 for limit 4.918783067206395E-4
1063.82/1056.01	c cleaning 37065 clauses out of 74147 for limit 0.0016112530324748492
1064.72/1056.98	c cleaning 18784 clauses out of 37582 for limit 0.0052424383338804705
1065.02/1057.23	c cleaning 9642 clauses out of 19298 for limit 0.01683669341580826
1065.12/1057.35	c cleaning 5067 clauses out of 10155 for limit 0.052712128510244434
1065.22/1057.42	c cleaning 2783 clauses out of 5589 for limit 0.15810542438274708
1065.22/1057.48	c cleaning 1642 clauses out of 3305 for limit 0.44048466272395564
1065.32/1057.53	c cleaning 1069 clauses out of 2163 for limit 1.1099454178784156
1065.32/1057.59	c cleaning 784 clauses out of 1594 for limit 2.4838519837349007
1065.42/1057.64	c cleaning 649 clauses out of 1310 for limit 4.98423626159861
1065.42/1057.69	c cleaning 571 clauses out of 1162 for limit 9.275860034468176
1065.52/1057.74	c cleaning 533 clauses out of 1091 for limit 16.292639618022054
1065.52/1057.78	c cleaning 519 clauses out of 1058 for limit 27.706803281297894
1065.62/1057.83	c cleaning 508 clauses out of 1038 for limit 46.52604224064583
1065.62/1057.88	c cleaning 506 clauses out of 1030 for limit 77.32361084825516
1065.72/1057.93	c cleaning 502 clauses out of 1025 for limit 128.26727977739554
1065.72/1057.98	c cleaning 502 clauses out of 1022 for limit 211.93868207676488
1065.82/1058.03	c cleaning 499 clauses out of 1021 for limit 350.2077735530799
1065.82/1058.08	c cleaning 498 clauses out of 1021 for limit 576.9619290782487
1065.92/1058.12	c cleaning 499 clauses out of 1023 for limit 949.6272152046672
1065.92/1058.17	c cleaning 503 clauses out of 1024 for limit 1564.53295899735
1066.02/1058.22	c cleaning 500 clauses out of 1021 for limit 2587.70531678163
1066.02/1058.27	c cleaning 499 clauses out of 1021 for limit 4267.472244396831
1066.12/1058.32	c cleaning 497 clauses out of 1023 for limit 7030.904715391312
1268.29/1258.83	c cleaning 327507 clauses out of 655026 for limit 268277.59338797146
1303.37/1293.93	c cleaning 164004 clauses out of 328018 for limit 882605.5205632242
1312.47/1303.09	c cleaning 82253 clauses out of 164516 for limit 2907910.8290661825
1314.37/1304.94	c cleaning 41372 clauses out of 82761 for limit 9513719.886134334
1314.77/1305.36	c cleaning 20939 clauses out of 41890 for limit 3.102816757552319E7
1315.27/1305.82	c cleaning 10714 clauses out of 21450 for limit 9.98298842065277E7
1315.37/1305.96	c cleaning 5612 clauses out of 11237 for limit 3.145776630574862E8
1315.47/1306.04	c cleaning 3056 clauses out of 6124 for limit 9.509648308233964E8
1315.47/1306.09	c cleaning 1777 clauses out of 3568 for limit 2.691724944707262E9
1315.57/1306.14	c cleaning 1139 clauses out of 2292 for limit 6.917215570715596E9
1315.57/1306.18	c cleaning 817 clauses out of 1652 for limit 1.5810924176400728E10
1315.67/1306.23	c cleaning 668 clauses out of 1336 for limit 3.2273884436172974E10
1315.67/1306.27	c cleaning 583 clauses out of 1167 for limit 6.087068890410498E10
1315.78/1306.31	c cleaning 536 clauses out of 1086 for limit 1.0808717303973601E11
1315.78/1306.35	c cleaning 524 clauses out of 1048 for limit 1.8434423664179703E11
1315.78/1306.39	c cleaning 498 clauses out of 1024 for limit 3.1113350205668384E11
1315.88/1306.43	c cleaning 513 clauses out of 1026 for limit 5.1210057115867346E11
1315.88/1306.47	c cleaning 495 clauses out of 1013 for limit 8.553602472996823E11
1315.98/1306.51	c cleaning 497 clauses out of 1018 for limit 1.4036751680057266E12
1315.98/1306.55	c cleaning 510 clauses out of 1021 for limit 2.3080464238277393E12
1315.98/1306.59	c cleaning 505 clauses out of 1011 for limit 3.843925955976936E12
1316.08/1306.63	c cleaning 503 clauses out of 1006 for limit 6.370654833080733E12
1316.08/1306.67	c cleaning 493 clauses out of 1003 for limit 1.0537485985175035E13
1316.18/1306.71	c cleaning 491 clauses out of 1010 for limit 1.7257284397441762E13
1316.18/1306.74	c cleaning 499 clauses out of 1020 for limit 2.820876397542714E13
1316.18/1306.78	c cleaning 499 clauses out of 1021 for limit 4.6474462298078266E13
1316.28/1306.82	c cleaning 510 clauses out of 1021 for limit 7.656596296629461E13
1316.28/1306.85	c cleaning 505 clauses out of 1011 for limit 1.2751645259474875E14
1316.28/1306.89	c cleaning 495 clauses out of 1006 for limit 2.1133687649651525E14
1316.38/1306.94	c cleaning 498 clauses out of 1011 for limit 3.4679912776774244E14
1316.38/1306.98	c cleaning 506 clauses out of 1013 for limit 5.707889983794759E14
1316.48/1307.02	c cleaning 504 clauses out of 1008 for limit 9.469235242547362E14
1316.48/1307.06	c cleaning 495 clauses out of 1004 for limit 1.567825096820775E15
1316.48/1307.09	c cleaning 498 clauses out of 1008 for limit 2.572717899113939E15
1316.58/1307.13	c cleaning 497 clauses out of 1011 for limit 4.234400607910975E15
1316.58/1307.17	c cleaning 498 clauses out of 1013 for limit 6.962336808592758E15
1316.70/1307.21	c cleaning 507 clauses out of 1015 for limit 1.1459200516799812E16
1316.70/1307.25	c cleaning 504 clauses out of 1008 for limit 1.902898904382066E16
1316.70/1307.29	c cleaning 502 clauses out of 1005 for limit 3.1506530784075612E16
1316.80/1307.33	c cleaning 501 clauses out of 1003 for limit 5.2062090281035E16
1316.80/1307.36	c cleaning 495 clauses out of 1001 for limit 8.594286588055553E-4
1316.90/1307.40	c cleaning 495 clauses out of 1006 for limit 0.0014102685323161797
1316.90/1307.44	c cleaning 496 clauses out of 1011 for limit 0.002314219387706393
1316.90/1307.48	c cleaning 503 clauses out of 1016 for limit 0.003801477059766832
1317.00/1307.52	c cleaning 495 clauses out of 1012 for limit 0.006287629526790007
1317.00/1307.55	c cleaning 501 clauses out of 1017 for limit 0.010318163166677103
1317.00/1307.59	c cleaning 496 clauses out of 1016 for limit 0.017032779463426323
1317.10/1307.63	c cleaning 500 clauses out of 1020 for limit 0.027979177696760102
1317.10/1307.67	c cleaning 503 clauses out of 1020 for limit 0.04614140700938485
1317.20/1307.71	c cleaning 503 clauses out of 1017 for limit 0.07631781701315739
1317.20/1307.75	c cleaning 497 clauses out of 1014 for limit 0.12623065167394726
1317.20/1307.79	c cleaning 500 clauses out of 1017 for limit 0.20755715701576113
1317.30/1307.83	c cleaning 502 clauses out of 1018 for limit 0.3422955767474853
1317.30/1307.87	c cleaning 500 clauses out of 1016 for limit 0.5656024006843807
1317.40/1307.91	c cleaning 501 clauses out of 1017 for limit 0.9327696310298809
1317.40/1307.95	c cleaning 501 clauses out of 1014 for limit 1.539728892843665
1317.40/1307.99	c cleaning 497 clauses out of 1013 for limit 2.5417255582457785
1317.50/1308.03	c cleaning 496 clauses out of 1017 for limit 4.179338495465747
1317.50/1308.08	c cleaning 502 clauses out of 1020 for limit 6.865144827959045
1317.60/1308.12	c cleaning 498 clauses out of 1018 for limit 11.343784939516343
1317.60/1308.16	c cleaning 501 clauses out of 1020 for limit 18.67073769611337
1317.70/1308.20	c cleaning 500 clauses out of 1019 for limit 30.8207606194737
1317.70/1308.24	c cleaning 501 clauses out of 1019 for limit 50.82755738910218
1317.70/1308.28	c cleaning 504 clauses out of 1018 for limit 83.90378105732427
1317.80/1308.32	c cleaning 499 clauses out of 1014 for limit 138.9143919920456
1317.80/1308.37	c cleaning 501 clauses out of 1015 for limit 228.8627131568335
1317.90/1308.41	c cleaning 497 clauses out of 1014 for limit 377.79744493309056
1317.90/1308.45	c cleaning 501 clauses out of 1018 for limit 621.2116506664762
1317.90/1308.49	c cleaning 501 clauses out of 1016 for limit 1025.4512941254216
1318.00/1308.53	c cleaning 501 clauses out of 1016 for limit 1692.7991655982564
1318.00/1308.57	c cleaning 498 clauses out of 1014 for limit 2794.361341712286
1318.10/1308.61	c cleaning 501 clauses out of 1017 for limit 4599.281223123103
1318.10/1308.65	c cleaning 495 clauses out of 1016 for limit 7592.295401639962
1800.06/1788.81	c starts		: 26
1800.06/1788.81	c conflicts		: 4196500
1800.06/1788.81	c decisions		: 6379638
1800.06/1788.81	c propagations		: 102156772
1800.06/1788.81	c inspects		: 905411097
1800.06/1788.81	c learnt literals	: 0
1800.06/1788.81	c learnt binary clauses	: 0
1800.06/1788.81	c learnt ternary clauses	: 0
1800.06/1788.81	c learnt clauses	: 4196500
1800.06/1788.81	c root simplifications	: 0
1800.06/1788.81	c removed literals (reason simplification)	: 0
1800.06/1788.81	c reason swapping (by a shorter reason)	: 0
1800.06/1788.81	c Calls to reduceDB	: 115
1800.06/1788.81	c speed (decisions/second)	: 3567.5373703968185
1800.06/1788.81	c non guided choices	1551
1800.06/1788.81	s SATISFIABLE
1800.06/1788.82	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
1800.06/1788.82	v -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
1800.06/1788.82	v 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
1800.06/1788.82	v -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
1800.06/1788.82	v x112 -x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133
1800.06/1788.82	v x134 -x135 -x136 -x137 x138 x139 x140 x141 x142 -x143 x144 -x145 x146 -x147 x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156
1800.06/1788.82	v -x157 -x158 -x159 x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1800.06/1788.82	v -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 x186 -x187 x188 x189 -x190 -x191 x192 x193 -x194 x195 -x196 -x197 -x198 -x199
1800.06/1788.82	v x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 x211 -x212 x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221
1800.06/1788.82	v -x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 x240 -x241 x242 x243
1800.06/1788.82	v -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 x262 -x263 -x264 x265
1800.06/1788.82	v x266 -x267 x268 -x269 -x270 x271 x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 x283 -x284 x285 x286 -x287
1800.06/1788.82	v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 x301 -x302 x303 -x304 -x305 -x306 -x307 -x308
1800.06/1788.82	v x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 x321 x322 -x323 x324 x325 -x326 -x327 -x328 -x329 x330
1800.06/1788.82	v -x331 -x332 -x333 x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351
1800.06/1788.82	v -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372
1800.06/1788.82	v -x373 -x374 x375 -x376 -x377 x378 -x379 -x380 x381 -x382 x383 x384 x385 x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394
1800.06/1788.82	v x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 x413 -x414 -x415 -x416
1800.06/1788.82	v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 x434 -x435 x436 -x437
1800.06/1788.82	v -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 -x453 x454 -x455 -x456 -x457 -x458
1800.06/1788.82	v -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 x477 -x478 x479 -x480
1800.06/1788.82	v -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.06/1788.82	v -x502 -x503 x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515
1800.06/1788.82	c objective function=139
1800.06/1788.82	c Total wall clock time (ms): 1788.612

Verifier Data (download as text)

OK	139

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node15/watcher-366367-1177060515 -o ROOT/results/node15/solver-366367-1177060515 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366367-1177060515/sat4jPseudoResolution.jar /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.00 0.99 2/77 2020
/proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=18568 CPUtime=0
/proc/2020/stat : 2020 (runsolver) R 2017 2020 1180 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 153969136 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2020/statm: 4642 292 257 24 0 2626 0

[startup+0.0841661 s]
/proc/loadavg: 1.04 1.00 0.99 2/77 2020
/proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1777844 CPUtime=0.06
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 3788 0 1 0 5 1 0 0 20 0 7 0 153969136 1820512256 3531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 444461 3531 1086 9 0 442097 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777844

[startup+0.101166 s]
/proc/loadavg: 1.04 1.00 0.99 2/77 2020
/proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1780108 CPUtime=0.08
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 3936 0 1 0 6 2 0 0 20 0 12 0 153969136 1822830592 3678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 445027 3678 1119 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301185 s]
/proc/loadavg: 1.04 1.00 0.99 2/77 2020
/proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1782120 CPUtime=0.3
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 5093 0 1 0 27 3 0 0 20 0 12 0 153969136 1824890880 4832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 445530 4833 1264 9 0 443142 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1782120

[startup+0.701224 s]
/proc/loadavg: 1.04 1.00 0.99 2/77 2020
/proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1785004 CPUtime=0.91
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 6876 0 1 0 87 4 0 0 20 0 13 0 153969136 1827844096 6250 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 446251 6250 1310 9 0 443863 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1785004

[startup+1.5023 s]
/proc/loadavg: 1.04 1.00 0.99 2/90 2035
/proc/meminfo: memFree=1740352/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1785004 CPUtime=1.85
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 8238 0 1 0 181 4 0 0 20 0 13 0 153969136 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 446251 7526 1313 9 0 443863 0
[pid=2020/tid=2022] ppid=2017 vsize=1785004 CPUtime=1.23
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 5963 0 1 0 120 3 0 0 20 0 13 0 153969138 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109590446 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1785004 CPUtime=0.29
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 769 0 0 0 29 0 0 0 16 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1785004 CPUtime=0.3
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 781 0 0 0 30 0 0 0 16 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 1785004

[startup+3.10244 s]
/proc/loadavg: 1.04 1.00 0.99 2/90 2035
/proc/meminfo: memFree=1732160/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1785004 CPUtime=3.47
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 11138 0 1 0 342 5 0 0 20 0 13 0 153969136 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 446251 10425 1313 9 0 443863 0
[pid=2020/tid=2022] ppid=2017 vsize=1785004 CPUtime=2.8
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 8858 0 1 0 276 4 0 0 25 0 13 0 153969138 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553295 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1785004 CPUtime=0.32
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 773 0 0 0 32 0 0 0 16 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1785004 CPUtime=0.32
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 782 0 0 0 32 0 0 0 16 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1785004 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 1785004

[startup+6.30173 s]
/proc/loadavg: 1.04 1.00 0.99 2/90 2035
/proc/meminfo: memFree=1709448/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1784972 CPUtime=6.68
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 16275 0 1 0 660 8 0 0 20 0 13 0 153969136 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 446243 15530 1313 9 0 443855 0
[pid=2020/tid=2022] ppid=2017 vsize=1784972 CPUtime=5.99
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 13994 0 1 0 593 6 0 0 25 0 13 0 153969138 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109609779 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1784972 CPUtime=0.32
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 773 0 0 0 32 0 0 0 17 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1784972 CPUtime=0.33
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 783 0 0 0 33 0 0 0 16 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827811328 15531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827811328 15531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 1784972

[startup+12.7013 s]
/proc/loadavg: 1.04 1.00 0.99 2/90 2035
/proc/meminfo: memFree=1669840/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1784972 CPUtime=13.08
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 25800 0 1 0 1296 12 0 0 20 0 13 0 153969136 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 446243 25055 1313 9 0 443855 0
[pid=2020/tid=2022] ppid=2017 vsize=1784972 CPUtime=12.39
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 23519 0 1 0 1228 11 0 0 25 0 13 0 153969138 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109616799 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1784972 CPUtime=0.33
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 773 0 0 0 33 0 0 0 17 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1784972 CPUtime=0.34
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 783 0 0 0 34 0 0 0 16 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1784972 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.08
Current children cumulated vsize (KiB) 1784972

[startup+25.5025 s]
/proc/loadavg: 1.03 1.00 0.99 2/90 2035
/proc/meminfo: memFree=1471184/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1786256 CPUtime=26.17
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 89649 0 1 0 2576 41 0 0 20 0 13 0 153969136 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 446564 73696 1322 9 0 444176 0
[pid=2020/tid=2022] ppid=2017 vsize=1786256 CPUtime=24.9
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37710 0 1 0 2472 18 0 0 25 0 13 0 153969138 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109336898 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1786256 CPUtime=0.28
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 26198 0 0 0 18 10 0 0 16 0 13 0 153969139 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1786256 CPUtime=0.28
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 23456 0 0 0 17 11 0 0 16 0 13 0 153969139 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1613.6
Current children cumulated vsize (KiB) 1795220

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2038
/proc/meminfo: memFree=1018000/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1795220 CPUtime=1673.58
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 167071 287 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 448805 186198 1331 9 0 446417 0
[pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1641.54
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 164125 29 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109706931 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1673.58
Current children cumulated vsize (KiB) 1795220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2038
/proc/meminfo: memFree=1017936/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1795220 CPUtime=1733.57
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 173069 288 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 448805 186198 1331 9 0 446417 0
[pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1701.53
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 170123 30 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109706926 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1733.57
Current children cumulated vsize (KiB) 1795220

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2038
/proc/meminfo: memFree=1018000/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1795220 CPUtime=1793.55
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 179067 288 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 448805 186198 1331 9 0 446417 0
[pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1761.51
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 176121 30 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1793.55
Current children cumulated vsize (KiB) 1795220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2038
/proc/meminfo: memFree=1017936/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=1795220 CPUtime=1800.06
/proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 179718 288 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 448805 186198 1331 9 0 446417 0
[pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1768.01
/proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 176771 30 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65
/proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44
/proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05
/proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43
/proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42
/proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0
/proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1795220

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

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

[startup+1788.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 2038
/proc/meminfo: memFree=1017936/2055920 swapFree=4169120/4192956
[pid=2020] ppid=2017 vsize=0 CPUtime=1800.17
/proc/2020/stat : 2020 (java) Z 2017 2020 1180 0 -1 1036 566456 0 3 0 179725 292 0 0 15 0 2 0 153969136 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2020/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1788.98
CPU time (s): 1800.25
CPU user time (s): 1797.25
CPU system time (s): 2.99454
CPU usage (%): 100.63
Max. virtual memory (cumulated for all children) (KiB): 1819228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.25
system time used= 2.99454
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566456
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37197
involuntary context switches= 32620

runsolver used 1.75273 second user time and 4.80027 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Fri Apr 20 09:15:15 UTC 2007

IDJOB= 366367
IDBENCH= 2855
IDSOLVER= 159
FILE ID= node15/366367-1177060515

PBS_JOBID= 4640201

Free space on /tmp= 66481 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366367-1177060515/sat4jPseudoResolution.jar /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-366367-1177060515 -o ROOT/results/node15/solver-366367-1177060515 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366367-1177060515/sat4jPseudoResolution.jar /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  abda325d00dae29cc1f423bbedcd64ad

RANDOM SEED= 756581661

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1762496 kB
Buffers:         53192 kB
Cached:         166764 kB
SwapCached:       2268 kB
Active:         134468 kB
Inactive:       109820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762496 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            3728 kB
Writeback:           0 kB
Mapped:          30368 kB
Slab:            34648 kB
Committed_AS:  6983700 kB
PageTables:       1868 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66481 MiB

End job on node15 on Fri Apr 20 09:45:06 UTC 2007