Trace number 3741880

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 NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.04 1796.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K80.opb
MD5SUMa3fcbcd7997dcbab652ff1a098fe5a93
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5440
Total number of constraints5602
Number of constraints which are clauses5522
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.12	--- Begin Solver configuration ---
0.06/0.12	c Stops conflict analysis at the first Unique Implication Point
0.06/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.12	c Learn all clauses as in MiniSAT
0.06/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.12	c No reason simplification
0.06/0.12	c --- End Solver configuration ---
0.06/0.12	c solving HOME/instance-3741880-1338756940.opb
0.06/0.12	c reading problem ... 
0.78/0.43	c ... done. Wall clock time 0.307s.
0.78/0.43	c CPU time (experimental) 0.38s.
0.78/0.43	c #vars     5440
0.78/0.43	c #constraints  5600
981.46/978.89	c cleaning 299464 clauses out of 599468 for limit 5.1579488409292954E-6
983.17/980.55	c cleaning 150166 clauses out of 300503 for limit 1.6951791363710758E-5
983.88/981.23	c cleaning 75284 clauses out of 150838 for limit 5.5749893755582914E-5
984.27/981.65	c cleaning 37574 clauses out of 76054 for limit 1.8234280699383249E-4
984.57/981.94	c cleaning 19009 clauses out of 38979 for limit 5.861400249796248E-4
984.77/982.13	c cleaning 9660 clauses out of 20472 for limit 0.0018441519805622144
984.88/982.25	c cleaning 5116 clauses out of 11312 for limit 0.005503937235836061
984.98/982.34	c cleaning 2833 clauses out of 6694 for limit 0.015307843891641052
985.07/982.40	c cleaning 1617 clauses out of 4363 for limit 0.0388096235606898
985.07/982.47	c cleaning 1038 clauses out of 3246 for limit 0.08602645262584803
985.17/982.54	c cleaning 794 clauses out of 2710 for limit 0.17026922133283715
985.27/982.63	c cleaning 632 clauses out of 2412 for limit 0.31422879302139023
985.37/982.73	c cleaning 559 clauses out of 2281 for limit 0.5485148556364964
985.47/982.81	c cleaning 541 clauses out of 2221 for limit 0.9280823130970328
985.47/982.86	c cleaning 487 clauses out of 2180 for limit 1.5593171237386256
985.57/982.95	c cleaning 528 clauses out of 2193 for limit 2.55627867509893
985.67/983.02	c cleaning 522 clauses out of 2165 for limit 4.270166558532084
985.67/983.07	c cleaning 496 clauses out of 2143 for limit 7.1143697340786
985.78/983.14	c cleaning 468 clauses out of 2147 for limit 11.710688939397421
985.88/983.22	c cleaning 530 clauses out of 2180 for limit 19.039186802992354
985.88/983.28	c cleaning 488 clauses out of 2149 for limit 31.81924336800835
985.99/983.34	c cleaning 503 clauses out of 2162 for limit 52.21087516541993
985.99/983.40	c cleaning 490 clauses out of 2158 for limit 86.17605273128017
986.09/983.46	c cleaning 484 clauses out of 2168 for limit 141.46032351566504
986.18/983.53	c cleaning 480 clauses out of 2185 for limit 231.70365377525349
986.28/983.61	c cleaning 515 clauses out of 2204 for limit 378.43745106972085
986.28/983.68	c cleaning 492 clauses out of 2189 for limit 628.370552365478
986.38/983.75	c cleaning 501 clauses out of 2197 for limit 1032.4937132180157
986.48/983.81	c cleaning 500 clauses out of 2196 for limit 1703.4956311578344
986.48/983.87	c cleaning 498 clauses out of 2196 for limit 2809.292185347696
986.58/983.93	c cleaning 496 clauses out of 2199 for limit 4631.209381420972
986.58/983.99	c cleaning 491 clauses out of 2203 for limit 7623.616397971828
986.68/984.08	c cleaning 516 clauses out of 2211 for limit 12514.34620274172
986.78/984.14	c cleaning 509 clauses out of 2195 for limit 20788.266242384318
986.88/984.20	c cleaning 502 clauses out of 2186 for limit 34423.777366806484
986.88/984.26	c cleaning 474 clauses out of 2186 for limit 56883.12337203168
986.98/984.33	c cleaning 504 clauses out of 2210 for limit 92603.66650370331
986.98/984.38	c cleaning 482 clauses out of 2206 for limit 152992.74430592137
987.09/984.44	c cleaning 487 clauses out of 2224 for limit 250263.46142723158
987.09/984.49	c cleaning 499 clauses out of 2237 for limit 410319.4773580012
987.19/984.56	c cleaning 507 clauses out of 2238 for limit 676369.3541759717
987.28/984.65	c cleaning 493 clauses out of 2231 for limit 1118923.3082336278
987.38/984.75	c cleaning 581 clauses out of 2239 for limit 1840501.5867308485
987.48/984.86	c cleaning 434 clauses out of 2158 for limit 3149160.0721771964
987.58/984.93	c cleaning 488 clauses out of 2224 for limit 5039265.970828078
987.68/985.00	c cleaning 494 clauses out of 2237 for limit 8270399.3078835355
987.68/985.08	c cleaning 720 clauses out of 2241 for limit 1.3587434686949182E7
987.78/985.13	c cleaning 563 clauses out of 2021 for limit 2.484671048115886E7
987.78/985.18	c cleaning 524 clauses out of 1958 for limit 4.229396607438094E7
987.88/985.22	c cleaning 486 clauses out of 1934 for limit 7.06139518855469E7
987.88/985.27	c cleaning 517 clauses out of 1949 for limit 1.1567128140796292E8
987.98/985.31	c cleaning 578 clauses out of 1931 for limit 1.923430450807113E8
987.98/985.37	c cleaning 442 clauses out of 1853 for limit 3.3055157344632375E8
988.08/985.43	c cleaning 944 clauses out of 1911 for limit 5.285789306991258E8
988.08/985.49	c cleaning 550 clauses out of 1468 for limit 1.1358863438886724E9
988.19/985.53	c cleaning 275 clauses out of 1417 for limit 1.9387082520531943E9
988.19/985.57	c cleaning 573 clauses out of 1642 for limit 2.759084766271268E9
988.29/985.61	c cleaning 513 clauses out of 1569 for limit 4.761799877909942E9
988.29/985.66	c cleaning 515 clauses out of 1556 for limit 7.918453623223779E9
988.38/985.71	c cleaning 487 clauses out of 1541 for limit 1.3185700848505602E10
988.38/985.75	c cleaning 487 clauses out of 1554 for limit 2.1563076799683727E10
988.38/985.79	c cleaning 589 clauses out of 1567 for limit 3.526538542271755E10
988.48/985.84	c cleaning 448 clauses out of 1480 for limit 6.169938374797805E10
988.48/985.88	c cleaning 449 clauses out of 1530 for limit 9.822860453427998E10
988.58/985.92	c cleaning 457 clauses out of 1581 for limit 1.5676655773997836E11
988.58/985.96	c cleaning 477 clauses out of 1624 for limit 2.5168373732955267E11
988.68/986.00	c cleaning 737 clauses out of 1647 for limit 4.092639269381958E11
988.68/986.06	c cleaning 692 clauses out of 1410 for limit 7.88376809069085E11
988.80/986.11	c cleaning 466 clauses out of 1218 for limit 1.505086817485843E12
988.80/986.16	c cleaning 420 clauses out of 1252 for limit 2.414684522281685E12
988.90/986.21	c cleaning 392 clauses out of 1332 for limit 3.742970372045202E12
988.90/986.27	c cleaning 349 clauses out of 1440 for limit 5.709709453936532E12
989.00/986.33	c cleaning 441 clauses out of 1591 for limit 8.522405781245452E12
989.00/986.39	c cleaning 450 clauses out of 1650 for limit 1.3552029272334566E13
989.10/986.46	c cleaning 551 clauses out of 1700 for limit 2.169178248611709E13
989.20/986.51	c cleaning 498 clauses out of 1649 for limit 3.6879021849846805E13
989.20/986.56	c cleaning 606 clauses out of 1654 for limit 6.0816856194882555E13
989.31/986.61	c cleaning 404 clauses out of 1547 for limit 1.0712492556384083E14
989.31/986.66	c cleaning 554 clauses out of 1643 for limit 1.6634094730092594E14
989.31/986.70	c cleaning 485 clauses out of 1588 for limit 2.83535610095013E14
989.41/986.74	c cleaning 501 clauses out of 1602 for limit 4.6303836143135994E14
989.41/986.78	c cleaning 795 clauses out of 1601 for limit 7.640891616907286E14
989.50/986.82	c cleaning 450 clauses out of 1306 for limit 1.5447139956212425E15
989.50/986.87	c cleaning 641 clauses out of 1356 for limit 2.4535078725356998E-5
989.60/986.90	c cleaning 574 clauses out of 1216 for limit 4.516520327595326E-5
989.60/986.94	c cleaning 545 clauses out of 1145 for limit 7.933986913484888E-5
989.60/986.97	c cleaning 519 clauses out of 1097 for limit 1.3615785173100797E-4
989.70/987.00	c cleaning 448 clauses out of 1077 for limit 2.284835774747921E-4
989.70/987.04	c cleaning 509 clauses out of 1129 for limit 3.594451586410278E-4
989.70/987.08	c cleaning 280 clauses out of 1120 for limit 5.975365080003129E-4
989.80/987.13	c cleaning 388 clauses out of 1340 for limit 8.236326532388022E-4
989.80/987.17	c cleaning 445 clauses out of 1452 for limit 0.0012535094866297986
989.90/987.22	c cleaning 469 clauses out of 1510 for limit 0.001993777618649073
989.90/987.27	c cleaning 480 clauses out of 1538 for limit 0.0032184715907249877
990.00/987.33	c cleaning 484 clauses out of 1559 for limit 0.0052414361422834345
990.00/987.37	c cleaning 494 clauses out of 1576 for limit 0.008559149258300631
990.10/987.41	c cleaning 497 clauses out of 1581 for limit 0.014056471562587172
990.10/987.47	c cleaning 492 clauses out of 1583 for limit 0.023128562901693447
990.20/987.51	c cleaning 484 clauses out of 1595 for limit 0.03800693168078667
990.20/987.58	c cleaning 523 clauses out of 1607 for limit 0.06196200475651869
990.30/987.64	c cleaning 499 clauses out of 1584 for limit 0.1036673619951523
990.30/987.69	c cleaning 496 clauses out of 1588 for limit 0.1710433322201383
990.41/987.73	c cleaning 487 clauses out of 1589 for limit 0.2810509782835104
990.41/987.78	c cleaning 490 clauses out of 1602 for limit 0.45972950134211715
990.51/987.82	c cleaning 484 clauses out of 1612 for limit 0.7534522516496936
990.51/987.87	c cleaning 503 clauses out of 1628 for limit 1.2303318277094297
990.60/987.92	c cleaning 473 clauses out of 1625 for limit 2.0327275872473254
990.60/987.97	c cleaning 492 clauses out of 1652 for limit 3.2974513031500434
990.70/988.02	c cleaning 501 clauses out of 1660 for limit 5.411731392355604
990.70/988.07	c cleaning 476 clauses out of 1662 for limit 8.940724721470378
990.80/988.13	c cleaning 488 clauses out of 1683 for limit 14.516836270613878
990.80/988.19	c cleaning 497 clauses out of 1695 for limit 23.770716860595144
990.90/988.25	c cleaning 488 clauses out of 1699 for limit 39.147947887368616
991.00/988.31	c cleaning 524 clauses out of 1711 for limit 64.10741391665049
991.00/988.36	c cleaning 520 clauses out of 1691 for limit 107.40106648831923
991.10/988.41	c cleaning 502 clauses out of 1667 for limit 178.9511285477119
991.10/988.47	c cleaning 509 clauses out of 1664 for limit 295.3507613436328
991.20/988.53	c cleaning 487 clauses out of 1655 for limit 489.7216516684594
991.30/988.60	c cleaning 545 clauses out of 1668 for limit 801.3221440547765
991.30/988.64	c cleaning 505 clauses out of 1623 for limit 1358.1275461455086
991.30/988.68	c cleaning 508 clauses out of 1618 for limit 2246.655314758571
991.40/988.73	c cleaning 506 clauses out of 1611 for limit 3724.8588743456176
991.40/988.76	c cleaning 487 clauses out of 1604 for limit 6163.428677817009
991.51/988.82	c cleaning 510 clauses out of 1618 for limit 10086.456507932917
991.51/988.87	c cleaning 496 clauses out of 1607 for limit 16731.028383126548
991.61/988.91	c cleaning 515 clauses out of 1611 for limit 27523.19577493455
991.61/988.95	c cleaning 507 clauses out of 1596 for limit 45816.02422444896
991.61/988.99	c cleaning 488 clauses out of 1591 for limit 75946.01971016653
991.70/989.04	c cleaning 492 clauses out of 1601 for limit 124214.051903775
991.70/989.08	c cleaning 501 clauses out of 1612 for limit 204059.3249496208
991.80/989.12	c cleaning 482 clauses out of 1608 for limit 336347.1796468707
991.80/989.17	c cleaning 716 clauses out of 1626 for limit 548541.1094053331
991.90/989.21	c cleaning 601 clauses out of 1410 for limit 1043197.4003914275
991.90/989.25	c cleaning 533 clauses out of 1309 for limit 1853112.7717896586
991.90/989.29	c cleaning 554 clauses out of 1276 for limit 3144490.186916016
992.00/989.36	c cleaning 544 clauses out of 1215 for limit 5429714.466929753
992.10/989.40	c cleaning 478 clauses out of 1171 for limit 9290781.826780897
992.10/989.44	c cleaning 480 clauses out of 1193 for limit 1.5039195335544992E7
992.10/989.48	c cleaning 454 clauses out of 1214 for limit 2.4397018520938035E7
992.20/989.53	c cleaning 619 clauses out of 1259 for limit 3.8757083422801726E7
992.20/989.58	c cleaning 546 clauses out of 1140 for limit 7.05875085799312E7
992.30/989.62	c cleaning 517 clauses out of 1094 for limit 1.2130292406849952E8
1800.04/1796.41	c starts		: 22
1800.04/1796.41	c conflicts		: 1224126
1800.04/1796.41	c decisions		: 3303291
1800.04/1796.41	c propagations		: 396684673
1800.04/1796.41	c inspects		: 11549785341
1800.04/1796.41	c learnt literals	: 44
1800.04/1796.41	c learnt binary clauses	: 45055
1800.04/1796.41	c learnt ternary clauses	: 32040
1800.04/1796.41	c learnt clauses	: 1224082
1800.04/1796.41	c root simplifications	: 0
1800.04/1796.41	c removed literals (reason simplification)	: 0
1800.04/1796.41	c reason swapping (by a shorter reason)	: 0
1800.04/1796.41	c Calls to reduceDB	: 142
1800.04/1796.41	c speed (decisions/second)	: 1839.2734646788151
1800.04/1796.41	c non guided choices	562
1800.04/1796.41	s UNKNOWN
1800.04/1796.41	c Total wall clock time (ms): 1796.289

Verifier Data 

ERROR: no interpretation found !

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-3741880-1338756940/watcher-3741880-1338756940 -o /tmp/evaluation-result-3741880-1338756940/solver-3741880-1338756940 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741880-1338756940.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: 1.92 1.98 1.97 3/194 17525
/proc/meminfo: memFree=23875192/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/17525/stat : 17525 (java) D 17523 17525 16961 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341818364 2560000 46 33554432000 1073741824 1073778376 140737307007296 140737307004424 251035479335 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/17525/statm: 625 46 37 9 0 29 0

[startup+0.020104 s]
/proc/loadavg: 1.92 1.98 1.97 3/194 17525
/proc/meminfo: memFree=23875192/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 1278 0 0 0 0 0 0 0 20 0 2 0 341818364 98570240 979 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 24068 984 750 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260

[startup+0.100246 s]
/proc/loadavg: 1.92 1.98 1.97 3/194 17525
/proc/meminfo: memFree=23875192/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 4128 0 1 0 5 1 0 0 20 0 18 0 341818364 3028844544 5846 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300174 s]
/proc/loadavg: 1.92 1.98 1.97 3/194 17525
/proc/meminfo: memFree=23875192/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 8265 0 1 0 47 3 0 0 20 0 18 0 341818364 3028844544 10928 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 739464 10928 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700282 s]
/proc/loadavg: 1.92 1.98 1.97 3/194 17525
/proc/meminfo: memFree=23875192/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 13624 0 1 0 141 4 0 0 20 0 19 0 341818364 3097006080 18710 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 756105 18710 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420

[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.97 3/213 17544
/proc/meminfo: memFree=23807032/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=3024420 CPUtime=2.31 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 13935 0 1 0 227 4 0 0 20 0 19 0 341818364 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 756105 20252 2272 9 0 746526 0
[pid=17525/tid=17527] ppid=17523 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/17525/task/17527/stat : 17527 (java) R 17523 17525 16961 0 -1 4202560 3068 0 1 0 143 2 0 0 20 0 19 0 341818365 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467394681392 140467258476517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467378108840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467377056296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467257731240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467256678696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467255626664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467254574120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467253521064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140467252468520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341818368 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466770139496 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466769085816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466768032648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466766981392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 16961 0 -1 4202560 3405 0 0 0 43 0 0 0 20 0 19 0 341818372 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466765929272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 16961 0 -1 4202560 6267 0 0 0 38 1 0 0 20 0 19 0 341818372 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466764876728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466763823864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466762771528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818408 3097006080 20252 33554432000 1073741824 1073778376 140733814071104 140466760639528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 1.92 1.98 1.97 3/213 17544
/proc/meminfo: memFree=23800144/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=3024420 CPUtime=3.94 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 13940 0 1 0 390 4 0 0 20 0 19 0 341818364 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 756105 22300 2272 9 0 746526 0
[pid=17525/tid=17527] ppid=17523 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/17525/task/17527/stat : 17527 (java) R 17523 17525 16961 0 -1 4202560 3073 0 1 0 302 2 0 0 20 0 19 0 341818365 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467394683288 140467258476398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467378108840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467377056296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467257731240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467256678696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467255626664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467254574120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467253521064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140467252468520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341818368 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466770139496 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466769085816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466768032648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466766981392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 16961 0 -1 4202560 3405 0 0 0 44 0 0 0 20 0 19 0 341818372 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466765929272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 16961 0 -1 4202560 6267 0 0 0 39 2 0 0 20 0 19 0 341818372 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466764876728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466763823864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466762771528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818408 3097006080 22300 33554432000 1073741824 1073778376 140733814071104 140466760639528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 1.93 1.98 1.97 3/213 17544
/proc/meminfo: memFree=23784332/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=3024420 CPUtime=7.14 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 13950 0 1 0 710 4 0 0 20 0 19 0 341818364 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 756105 25461 2273 9 0 746526 0
[pid=17525/tid=17527] ppid=17523 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/17525/task/17527/stat : 17527 (java) R 17523 17525 16961 0 -1 4202560 3082 0 1 0 621 2 0 0 20 0 19 0 341818365 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467394683376 140467258459041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467378108840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467377056296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467257731240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467256678696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467255626664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467254574120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467253521064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341818367 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140467252468520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341818368 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466770139496 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466769085816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466768032648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466766981392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 16961 0 -1 4202560 3405 0 0 0 44 0 0 0 20 0 19 0 341818372 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466765929272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 16961 0 -1 4202560 6267 0 0 0 39 2 0 0 20 0 19 0 341818372 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466764876728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466763823864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466762771528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818408 3097006080 25461 33554432000 1073741824 1073778376 140733814071104 140466760639528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=17525/tid=17540] ppid=17523 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 16961 0 -1 4202560 3414 0 0 0 48 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466765929272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 16961 0 -1 4202560 6275 0 0 0 45 2 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466764876728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466763823864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 16961 0 -1 4202560 96 0 0 0 41 33 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466762771528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818408 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466760639528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1665.93
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 17640
/proc/meminfo: memFree=22199184/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=3024420 CPUtime=1725.94 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 16395 0 1 0 172449 145 0 0 20 0 19 0 341818364 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 756105 419933 2302 9 0 746526 0
[pid=17525/tid=17527] ppid=17523 vsize=3024420 CPUtime=1715.51 cores=0,2,4,6
/proc/17525/task/17527/stat : 17527 (java) R 17523 17525 16961 0 -1 4202560 3263 0 1 0 171517 34 0 0 20 0 19 0 341818365 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467394682144 140467258380240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 16961 0 -1 4202560 170 0 0 0 28 9 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467378108840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 16961 0 -1 4202560 228 0 0 0 29 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467377056296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 16961 0 -1 4202560 206 0 0 0 20 11 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467257731240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 16961 0 -1 4202560 272 0 0 0 22 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467256678696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 16961 0 -1 4202560 195 0 0 0 27 11 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467255626664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 16961 0 -1 4202560 315 0 0 0 25 18 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467254574120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 16961 0 -1 4202560 311 0 0 0 30 18 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467253521064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 16961 0 -1 4202560 260 0 0 0 32 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467252468520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=3024420 CPUtime=1.51 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 16961 0 -1 4202560 204 0 0 0 144 7 0 0 20 0 19 0 341818368 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466770139496 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466769085816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466768032648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466766981392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 16961 0 -1 4202560 3414 0 0 0 48 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466765929272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 16961 0 -1 4202560 6275 0 0 0 45 2 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466764876728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466763823864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 16961 0 -1 4202560 100 0 0 0 43 34 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466762771528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818408 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466760639528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1725.94
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17641
/proc/meminfo: memFree=22198936/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=3024420 CPUtime=1785.93 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 16399 0 1 0 178448 145 0 0 20 0 19 0 341818364 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 756105 419933 2302 9 0 746526 0
[pid=17525/tid=17527] ppid=17523 vsize=3024420 CPUtime=1775.35 cores=0,2,4,6
/proc/17525/task/17527/stat : 17527 (java) R 17523 17525 16961 0 -1 4202560 3263 0 1 0 177501 34 0 0 20 0 19 0 341818365 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467394682144 140467258380554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 16961 0 -1 4202560 170 0 0 0 28 9 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467378108840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 16961 0 -1 4202560 228 0 0 0 29 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467377056296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 16961 0 -1 4202560 206 0 0 0 20 11 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467257731240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 16961 0 -1 4202560 272 0 0 0 22 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467256678696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 16961 0 -1 4202560 195 0 0 0 27 11 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467255626664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 16961 0 -1 4202560 315 0 0 0 25 18 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467254574120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 16961 0 -1 4202560 311 0 0 0 30 18 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467253521064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 16961 0 -1 4202560 260 0 0 0 32 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467252468520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=3024420 CPUtime=1.51 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 16961 0 -1 4202560 204 0 0 0 144 7 0 0 20 0 19 0 341818368 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466770139496 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466769085816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466768032648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466766981392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 16961 0 -1 4202560 3414 0 0 0 48 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466765929272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 16961 0 -1 4202560 6275 0 0 0 45 2 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466764876728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466763823864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 16961 0 -1 4202560 104 0 0 0 45 35 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466762771528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818408 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466760639528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1785.93
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17641
/proc/meminfo: memFree=22198936/32873844 swapFree=7628/7628
[pid=17525] ppid=17523 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 16961 0 -1 4202496 16399 0 1 0 179859 145 0 0 20 0 19 0 341818364 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140733814062240 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17525/statm: 756105 419933 2302 9 0 746526 0
[pid=17525/tid=17527] ppid=17523 vsize=3024420 CPUtime=1789.42 cores=0,2,4,6
/proc/17525/task/17527/stat : 17527 (java) R 17523 17525 16961 0 -1 4202560 3263 0 1 0 178907 35 0 0 20 0 19 0 341818365 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467394682144 140467258380515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 16961 0 -1 4202560 170 0 0 0 28 9 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467378108840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 16961 0 -1 4202560 228 0 0 0 29 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467377056296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 16961 0 -1 4202560 206 0 0 0 20 11 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467257731240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 16961 0 -1 4202560 272 0 0 0 22 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467256678696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 16961 0 -1 4202560 195 0 0 0 27 11 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467255626664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 16961 0 -1 4202560 315 0 0 0 25 18 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467254574120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 16961 0 -1 4202560 311 0 0 0 30 18 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467253521064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 16961 0 -1 4202560 260 0 0 0 32 15 0 0 20 0 19 0 341818367 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140467252468520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=3024420 CPUtime=1.52 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 16961 0 -1 4202560 204 0 0 0 145 7 0 0 20 0 19 0 341818368 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466770139496 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466769085816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341818369 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466768032648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466766981392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 16961 0 -1 4202560 3414 0 0 0 48 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466765929272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 16961 0 -1 4202560 6275 0 0 0 45 2 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466764876728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466763823864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 16961 0 -1 4202560 104 0 0 0 45 35 0 0 20 0 19 0 341818372 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466762771528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341818408 3097006080 419933 33554432000 1073741824 1073778376 140733814071104 140466760639528 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17525 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=171244
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=41689
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.42
CPU time (s): 1800.04
CPU user time (s): 1798.59
CPU system time (s): 1.45
CPU usage (%): 100.201
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 2.04169
maximum resident set size= 1679852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16432
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38062
involuntary context switches= 3163

runsolver used 5.9021 second user time and 15.4527 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 22:55:40
IDJOB=3741880
IDBENCH=90115
IDSOLVER=2319
FILE ID=node143/3741880-1338756940
RUNJOBID= node143-1338750755-16977
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K80.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741880-1338756940/watcher-3741880-1338756940 -o /tmp/evaluation-result-3741880-1338756940/solver-3741880-1338756940 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741880-1338756940.opb           

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

MD5SUM BENCH= a3fcbcd7997dcbab652ff1a098fe5a93
RANDOM SEED=767331291

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23874828 kB
Buffers:         2376244 kB
Cached:          3974632 kB
SwapCached:          188 kB
Active:          5843036 kB
Inactive:        2189700 kB
Active(anon):    1669428 kB
Inactive(anon):    10988 kB
Active(file):    4173608 kB
Inactive(file):  2178712 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3976 kB
Writeback:             0 kB
AnonPages:       1685560 kB
Mapped:            18728 kB
Shmem:               160 kB
Slab:             822204 kB
SReclaimable:     263684 kB
SUnreclaim:       558520 kB
KernelStack:        1600 kB
PageTables:         7488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 68460 MiB
End job on node143 at 2012-06-03 23:25:38