Trace number 3730993

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 1794.13

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark17.8783
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
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.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3730993-1338682850.opb
0.07/0.12	c reading problem ... 
0.99/0.58	c ... done. Wall clock time 0.465s.
0.99/0.58	c CPU time (experimental) 0.54s.
0.99/0.58	c #vars     4602
0.99/0.58	c #constraints  30353
1347.69/1342.41	c cleaning 930244 clauses out of 1860500 for limit 137.88781369824338
1352.20/1347.00	c cleaning 465369 clauses out of 930758 for limit 455.4531318868557
1354.00/1348.77	c cleaning 232928 clauses out of 465888 for limit 1499.0645064062794
1356.01/1350.79	c cleaning 116720 clauses out of 233459 for limit 4928.475478573032
1356.80/1351.50	c cleaning 58610 clauses out of 117241 for limit 16216.929081698067
1356.90/1351.69	c cleaning 29545 clauses out of 59129 for limit 52921.782166013036
1357.11/1351.86	c cleaning 15026 clauses out of 30087 for limit 172034.49277630015
1357.21/1351.96	c cleaning 7768 clauses out of 15559 for limit 547519.5110469982
1357.30/1352.01	c cleaning 4126 clauses out of 8291 for limit 1694455.8310857008
1357.30/1352.07	c cleaning 2335 clauses out of 4670 for limit 4985959.346771167
1357.30/1352.09	c cleaning 1402 clauses out of 2830 for limit 1.350089334207675E7
1357.40/1352.12	c cleaning 947 clauses out of 1929 for limit 3.269694019802137E7
1357.40/1352.14	c cleaning 729 clauses out of 1480 for limit 7.013979443113522E7
1357.40/1352.16	c cleaning 624 clauses out of 1251 for limit 1.3684369156126297E8
1357.40/1352.18	c cleaning 564 clauses out of 1129 for limit 2.505607611844442E8
1357.50/1352.20	c cleaning 514 clauses out of 1063 for limit 4.379863750334278E8
1357.50/1352.22	c cleaning 502 clauses out of 1049 for limit 7.319379476517166E8
1357.50/1352.25	c cleaning 496 clauses out of 1047 for limit 1.2093693492083626E9
1357.50/1352.28	c cleaning 526 clauses out of 1053 for limit 1.9870197257656958E9
1357.60/1352.30	c cleaning 506 clauses out of 1029 for limit 3.3600062520089393E9
1357.60/1352.33	c cleaning 508 clauses out of 1019 for limit 5.573129262618109E9
1357.60/1352.35	c cleaning 500 clauses out of 1012 for limit 9.263672360618021E9
1357.60/1352.37	c cleaning 493 clauses out of 1011 for limit 1.527685366478383E10
1357.60/1352.40	c cleaning 504 clauses out of 1018 for limit 2.5020338628177055E10
1357.70/1352.42	c cleaning 482 clauses out of 1015 for limit 4.142526713801736E10
1357.70/1352.44	c cleaning 496 clauses out of 1033 for limit 6.7125405995098976E10
1357.70/1352.46	c cleaning 514 clauses out of 1036 for limit 1.1026783984759496E11
1357.70/1352.48	c cleaning 486 clauses out of 1023 for limit 1.843416147039866E11
1357.80/1352.50	c cleaning 517 clauses out of 1036 for limit 2.998890723655045E11
1357.80/1352.52	c cleaning 496 clauses out of 1019 for limit 5.028079076829252E11
1357.80/1352.55	c cleaning 510 clauses out of 1024 for limit 8.25974662932043E11
1357.80/1352.57	c cleaning 507 clauses out of 1014 for limit 1.3755760762076912E12
1357.80/1352.59	c cleaning 492 clauses out of 1006 for limit 2.2842622549088813E12
1357.90/1352.61	c cleaning 486 clauses out of 1014 for limit 3.7373336940147896E12
1357.90/1352.64	c cleaning 511 clauses out of 1029 for limit 6.079597885785626E12
1357.90/1352.66	c cleaning 501 clauses out of 1017 for limit 1.0134227569374918E13
1357.90/1352.68	c cleaning 505 clauses out of 1017 for limit 1.6729426421029477E13
1358.00/1352.70	c cleaning 492 clauses out of 1012 for limit 2.7725371786709242E13
1358.00/1352.72	c cleaning 510 clauses out of 1021 for limit 4.536517053339911E13
1358.00/1352.74	c cleaning 500 clauses out of 1009 for limit 7.555165584536236E13
1358.00/1352.76	c cleaning 504 clauses out of 1009 for limit 1.2459478760869786E14
1358.00/1352.79	c cleaning 502 clauses out of 1006 for limit 2.0629250922300022E14
1358.10/1352.82	c cleaning 485 clauses out of 1005 for limit 3.408833397547165E14
1358.10/1352.84	c cleaning 508 clauses out of 1018 for limit 5.538739291287217E14
1358.10/1352.87	c cleaning 492 clauses out of 1011 for limit 9.206571801801642E14
1358.10/1352.90	c cleaning 506 clauses out of 1019 for limit 1.5063670351510498E15
1358.20/1352.92	c cleaning 494 clauses out of 1015 for limit 2.4989861862576686E-5
1358.20/1352.94	c cleaning 504 clauses out of 1018 for limit 4.096702919771443E-5
1358.20/1352.96	c cleaning 492 clauses out of 1015 for limit 6.782762430141892E-5
1358.20/1352.99	c cleaning 506 clauses out of 1022 for limit 1.1097959296081358E-4
1358.30/1353.01	c cleaning 496 clauses out of 1019 for limit 1.8411079857422855E-4
1358.30/1353.03	c cleaning 504 clauses out of 1021 for limit 3.02422825838431E-4
1358.30/1353.05	c cleaning 502 clauses out of 1016 for limit 5.006889150629406E-4
1358.30/1353.07	c cleaning 496 clauses out of 1016 for limit 8.273568883232689E-4
1358.30/1353.10	c cleaning 496 clauses out of 1021 for limit 0.0013590994968721145
1358.40/1353.12	c cleaning 494 clauses out of 1023 for limit 0.002232483324082737
1358.40/1353.14	c cleaning 508 clauses out of 1028 for limit 0.003660092976549977
1358.40/1353.16	c cleaning 499 clauses out of 1020 for limit 0.0060833239996078425
1358.40/1353.18	c cleaning 502 clauses out of 1023 for limit 0.010022830740934484
1358.50/1353.20	c cleaning 500 clauses out of 1021 for limit 0.016561366760741995
1358.50/1353.22	c cleaning 496 clauses out of 1019 for limit 0.027310810982315775
1358.50/1353.24	c cleaning 495 clauses out of 1023 for limit 0.044863074605647583
1358.50/1353.26	c cleaning 485 clauses out of 1029 for limit 0.07362743848663733
1358.50/1353.29	c cleaning 507 clauses out of 1046 for limit 0.11968736129163642
1358.60/1353.31	c cleaning 505 clauses out of 1036 for limit 0.19868842774935008
1358.60/1353.33	c cleaning 502 clauses out of 1032 for limit 0.3292630752149072
1358.60/1353.36	c cleaning 507 clauses out of 1030 for limit 0.5440532257721459
1358.60/1353.38	c cleaning 503 clauses out of 1022 for limit 0.9033355332013786
1358.71/1353.40	c cleaning 486 clauses out of 1019 for limit 1.4941069729161993
1358.71/1353.42	c cleaning 506 clauses out of 1033 for limit 2.4305885185335576
1358.71/1353.45	c cleaning 488 clauses out of 1027 for limit 4.031783535554001
1358.71/1353.47	c cleaning 496 clauses out of 1039 for limit 6.572157914934854
1358.71/1353.50	c cleaning 514 clauses out of 1043 for limit 10.796801482306645
1358.81/1353.52	c cleaning 503 clauses out of 1029 for limit 18.04761994675638
1358.81/1353.54	c cleaning 509 clauses out of 1028 for limit 29.851565214400043
1358.81/1353.57	c cleaning 501 clauses out of 1018 for limit 49.66309936440481
1358.81/1353.59	c cleaning 499 clauses out of 1018 for limit 81.98307774021423
1358.91/1353.61	c cleaning 499 clauses out of 1017 for limit 135.06347108461995
1358.91/1353.64	c cleaning 500 clauses out of 1022 for limit 222.53683034385222
1358.91/1353.66	c cleaning 499 clauses out of 1021 for limit 366.98509589891574
1358.91/1353.68	c cleaning 484 clauses out of 1019 for limit 604.5779959761193
1359.01/1353.70	c cleaning 509 clauses out of 1037 for limit 981.6861749016364
1359.01/1353.73	c cleaning 504 clauses out of 1026 for limit 1633.0178576686235
1359.01/1353.75	c cleaning 500 clauses out of 1024 for limit 2703.7295562986224
1359.01/1353.77	c cleaning 500 clauses out of 1024 for limit 4458.811736805421
1359.01/1353.79	c cleaning 505 clauses out of 1024 for limit 7353.177043154685
1359.11/1353.82	c cleaning 487 clauses out of 1017 for limit 12185.430859457254
1359.11/1353.84	c cleaning 498 clauses out of 1030 for limit 19841.77429188973
1359.11/1353.87	c cleaning 507 clauses out of 1032 for limit 32658.325967223
1359.11/1353.89	c cleaning 501 clauses out of 1025 for limit 54225.75885244806
1359.21/1353.92	c cleaning 497 clauses out of 1026 for limit 89517.31626865343
1359.21/1353.95	c cleaning 503 clauses out of 1028 for limit 147191.48094458773
1359.21/1353.97	c cleaning 504 clauses out of 1024 for limit 243442.9534045918
1359.21/1354.00	c cleaning 501 clauses out of 1021 for limit 403052.6876699848
1359.32/1354.02	c cleaning 492 clauses out of 1020 for limit 665339.4560989501
1359.32/1354.05	c cleaning 503 clauses out of 1031 for limit 1088790.2111126403
1359.32/1354.07	c cleaning 499 clauses out of 1025 for limit 1800658.5156423699
1359.32/1354.09	c cleaning 513 clauses out of 1026 for limit 2966632.504466722
1359.42/1354.11	c cleaning 503 clauses out of 1012 for limit 4955094.875358458
1359.42/1354.14	c cleaning 506 clauses out of 1014 for limit 8196396.849897774
1359.42/1354.16	c cleaning 490 clauses out of 1004 for limit 1.3597061435957605E7
1359.42/1354.18	c cleaning 492 clauses out of 1013 for limit 2.2201928644232664E7
1359.51/1354.20	c cleaning 512 clauses out of 1024 for limit 3.632951613048305E7
1359.51/1354.23	c cleaning 486 clauses out of 1010 for limit 6.0621274104666404E7
1359.51/1354.25	c cleaning 506 clauses out of 1024 for limit 9.860577800315478E7
1359.51/1354.27	c cleaning 489 clauses out of 1018 for limit 1.635725520946119E8
1359.51/1354.29	c cleaning 493 clauses out of 1029 for limit 2.668693635782477E8
1359.61/1354.31	c cleaning 508 clauses out of 1036 for limit 4.37129610863073E8
1359.61/1354.34	c cleaning 512 clauses out of 1030 for limit 7.265368849992481E8
1359.61/1354.36	c cleaning 508 clauses out of 1016 for limit 1.2122384300550492E9
1359.61/1354.38	c cleaning 501 clauses out of 1007 for limit 2.0149935504924438E9
1359.71/1354.40	c cleaning 491 clauses out of 1006 for limit 3.3262971006531067E9
1359.71/1354.42	c cleaning 509 clauses out of 1018 for limit 5.437141835096764E9
1359.71/1354.44	c cleaning 491 clauses out of 1006 for limit 9.046338019368446E9
1359.71/1354.46	c cleaning 498 clauses out of 1017 for limit 1.4786818753279585E10
1359.71/1354.48	c cleaning 506 clauses out of 1018 for limit 2.4337126515886E10
1359.81/1354.50	c cleaning 507 clauses out of 1014 for limit 4.0374209603383385E10
1359.81/1354.53	c cleaning 488 clauses out of 1006 for limit 6.704484373052135E10
1359.81/1354.55	c cleaning 498 clauses out of 1019 for limit 1.0926462469223157E11
1359.81/1354.57	c cleaning 493 clauses out of 1022 for limit 1.7984288687879834E11
1359.81/1354.59	c cleaning 513 clauses out of 1027 for limit 2.945510539173815E11
1359.91/1354.61	c cleaning 505 clauses out of 1012 for limit 4.9196858962388763E11
1359.91/1354.64	c cleaning 503 clauses out of 1007 for limit 8.153504298850916E11
1359.91/1354.66	c cleaning 477 clauses out of 1004 for limit 1.3486397291346147E12
1359.91/1354.68	c cleaning 512 clauses out of 1028 for limit 2.174337450741296E12
1360.01/1354.70	c cleaning 492 clauses out of 1016 for limit 3.628124987482933E12
1360.01/1354.72	c cleaning 510 clauses out of 1023 for limit 5.93637994722855E12
1360.01/1354.74	c cleaning 504 clauses out of 1013 for limit 9.88652718213021E12
1360.01/1354.77	c cleaning 504 clauses out of 1010 for limit 1.6369003256947602E13
1360.01/1354.79	c cleaning 484 clauses out of 1005 for limit 2.7101849070263105E13
1360.11/1354.81	c cleaning 509 clauses out of 1022 for limit 4.399511802512325E13
1360.11/1354.84	c cleaning 490 clauses out of 1012 for limit 7.319749954499222E13
1360.11/1354.86	c cleaning 511 clauses out of 1024 for limit 1.1953682380142761E14
1360.11/1354.88	c cleaning 500 clauses out of 1011 for limit 1.992679149549385E14
1360.21/1354.91	c cleaning 490 clauses out of 1012 for limit 3.286233499193191E14
1360.21/1354.93	c cleaning 494 clauses out of 1021 for limit 5.3662952562867456E14
1360.21/1354.95	c cleaning 500 clauses out of 1027 for limit 8.798036301728809E14
1360.21/1354.97	c cleaning 491 clauses out of 1027 for limit 1.4509138841790245E15
1360.21/1354.99	c cleaning 504 clauses out of 1036 for limit 2.3719646470633218E-5
1360.31/1355.01	c cleaning 510 clauses out of 1033 for limit 3.926974168201397E-5
1360.31/1355.03	c cleaning 501 clauses out of 1022 for limit 6.539263617325089E-5
1360.31/1355.05	c cleaning 497 clauses out of 1024 for limit 1.0795411636098669E-4
1360.31/1355.07	c cleaning 507 clauses out of 1028 for limit 1.7751556852175221E-4
1360.31/1355.09	c cleaning 504 clauses out of 1020 for limit 2.947479314011856E-4
1360.42/1355.11	c cleaning 497 clauses out of 1013 for limit 4.879708102811872E-4
1360.42/1355.14	c cleaning 493 clauses out of 1016 for limit 8.023529769834143E-4
1360.42/1355.16	c cleaning 497 clauses out of 1023 for limit 0.0013141333277038921
1360.42/1355.19	c cleaning 494 clauses out of 1028 for limit 0.0021609606525155567
1360.52/1355.22	c cleaning 490 clauses out of 1033 for limit 0.00354291740240501
1360.52/1355.25	c cleaning 489 clauses out of 1042 for limit 0.005786487314113039
1360.52/1355.28	c cleaning 498 clauses out of 1053 for limit 0.009443005445487818
1360.61/1355.31	c cleaning 518 clauses out of 1055 for limit 0.015543257385893778
1360.61/1355.33	c cleaning 502 clauses out of 1037 for limit 0.02607784075353148
1360.61/1355.35	c cleaning 509 clauses out of 1036 for limit 0.043090449919941175
1360.61/1355.37	c cleaning 490 clauses out of 1026 for limit 0.0716827731990085
1360.61/1355.39	c cleaning 489 clauses out of 1037 for limit 0.1170775974638375
1800.00/1794.12	c starts		: 24
1800.00/1794.12	c conflicts		: 2505498
1800.00/1794.12	c decisions		: 2933446
1800.00/1794.12	c propagations		: 96592759
1800.00/1794.12	c inspects		: 12600642054
1800.00/1794.12	c learnt literals	: 0
1800.00/1794.12	c learnt binary clauses	: 0
1800.00/1794.12	c learnt ternary clauses	: 0
1800.00/1794.12	c learnt clauses	: 2505498
1800.00/1794.12	c root simplifications	: 0
1800.00/1794.12	c removed literals (reason simplification)	: 0
1800.00/1794.12	c reason swapping (by a shorter reason)	: 0
1800.00/1794.12	c Calls to reduceDB	: 156
1800.00/1794.12	c speed (decisions/second)	: 1635.5702800787944
1800.00/1794.12	c non guided choices	20004
1800.00/1794.12	s UNKNOWN
1800.00/1794.12	c Total wall clock time (ms): 1794.001

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-3730993-1338682850/watcher-3730993-1338682850 -o /tmp/evaluation-result-3730993-1338682850/solver-3730993-1338682850 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730993-1338682850.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.06 2.01 1.93 3/195 17423
/proc/meminfo: memFree=28624664/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17423/stat : 17423 (java) D 17421 17423 7849 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 334410619 9515008 176 33554432000 1073741824 1073778376 140735633462368 140735633445096 214369649552 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17423/statm: 2323 176 133 9 0 71 0

[startup+0.016792 s]
/proc/loadavg: 2.06 2.01 1.93 3/195 17423
/proc/meminfo: memFree=28624664/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 1291 0 0 0 0 0 0 0 20 0 2 0 334410619 98578432 990 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 24067 990 756 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268

[startup+0.100328 s]
/proc/loadavg: 2.06 2.01 1.93 3/195 17423
/proc/meminfo: memFree=28624664/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 4133 0 1 0 7 0 0 0 20 0 18 0 334410619 3028844544 5850 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 739464 5853 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300314 s]
/proc/loadavg: 2.06 2.01 1.93 3/195 17423
/proc/meminfo: memFree=28624664/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 7589 0 1 0 46 1 0 0 20 0 18 0 334410619 3028844544 10420 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 739464 10420 2245 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.700279 s]
/proc/loadavg: 2.06 2.01 1.93 3/195 17423
/proc/meminfo: memFree=28624664/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 9614 0 1 0 141 3 0 0 20 0 19 0 334410619 3097006080 31558 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 756105 31558 2275 9 0 746526 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 3024420

[startup+1.50071 s]
/proc/loadavg: 2.06 2.01 1.93 3/214 17442
/proc/meminfo: memFree=28498672/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=3024420 CPUtime=2.44 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 10656 0 1 0 241 3 0 0 20 0 19 0 334410619 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 756105 36023 2276 9 0 746526 0
[pid=17423/tid=17425] ppid=17421 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17423/task/17425/stat : 17425 (java) R 17421 17423 7849 0 -1 4202560 3093 0 1 0 144 2 0 0 20 0 19 0 334410620 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979274408376 139979108643568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17426/stat : 17426 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979257833640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17427] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17427/stat : 17427 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979256781096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17428] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17428/stat : 17428 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979255728552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17429] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17429/stat : 17429 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979254676008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17430] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17430/stat : 17430 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979253623464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17431] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17431/stat : 17431 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979252570920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17432] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17432/stat : 17432 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979251518376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17433] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17433/stat : 17433 (java) S 17421 17423 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979250465832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17434] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17434/stat : 17434 (java) S 17421 17423 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334410623 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979238053992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17435] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17435/stat : 17435 (java) S 17421 17423 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979237000312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17436] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17436/stat : 17436 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979235947656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17437] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17437/stat : 17437 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979234896400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17438] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17438/stat : 17438 (java) S 17421 17423 7849 0 -1 4202560 3380 0 0 0 48 0 0 0 20 0 19 0 334410626 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979233843768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17439] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17439/stat : 17439 (java) S 17421 17423 7849 0 -1 4202560 2987 0 0 0 48 0 0 0 20 0 19 0 334410626 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979232791224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17440] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17440/stat : 17440 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979231738872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17441] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17441/stat : 17441 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979230686536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17442] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17442/stat : 17442 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410678 3097006080 36023 33554432000 1073741824 1073778376 140733963836880 139979228484392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 3024420

[startup+3.10083 s]
/proc/loadavg: 2.06 2.01 1.93 3/214 17442
/proc/meminfo: memFree=28477944/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=3024420 CPUtime=4.05 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 10670 0 1 0 401 4 0 0 20 0 19 0 334410619 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 756105 42168 2276 9 0 746526 0
[pid=17423/tid=17425] ppid=17421 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/17423/task/17425/stat : 17425 (java) R 17421 17423 7849 0 -1 4202560 3106 0 1 0 303 2 0 0 20 0 19 0 334410620 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979274408296 139979108630873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17426/stat : 17426 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979257833640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17427] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17427/stat : 17427 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979256781096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17428] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17428/stat : 17428 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979255728552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17429] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17429/stat : 17429 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979254676008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17430] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17430/stat : 17430 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979253623464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17431] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17431/stat : 17431 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979252570920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17432] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17432/stat : 17432 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979251518376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17433] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17433/stat : 17433 (java) S 17421 17423 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979250465832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17434] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17434/stat : 17434 (java) S 17421 17423 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334410623 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979238053992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17435] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17435/stat : 17435 (java) S 17421 17423 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979237000312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17436] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17436/stat : 17436 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979235947656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17437] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17437/stat : 17437 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979234896400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17438] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17438/stat : 17438 (java) S 17421 17423 7849 0 -1 4202560 3380 0 0 0 48 0 0 0 20 0 19 0 334410626 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979233843768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17439] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17439/stat : 17439 (java) S 17421 17423 7849 0 -1 4202560 2987 0 0 0 48 0 0 0 20 0 19 0 334410626 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979232791224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17440] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17440/stat : 17440 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979231738872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17441] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17441/stat : 17441 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979230686536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17442] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17442/stat : 17442 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410678 3097006080 42168 33554432000 1073741824 1073778376 140733963836880 139979228484392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 3024420

[startup+6.30069 s]
/proc/loadavg: 2.05 2.01 1.93 3/214 17442
/proc/meminfo: memFree=28436496/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=3024420 CPUtime=7.25 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 10690 0 1 0 721 4 0 0 20 0 19 0 334410619 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 756105 51896 2276 9 0 746526 0
[pid=17423/tid=17425] ppid=17421 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/17423/task/17425/stat : 17425 (java) R 17421 17423 7849 0 -1 4202560 3126 0 1 0 622 2 0 0 20 0 19 0 334410620 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979274408312 139979108665424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17426/stat : 17426 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979257833640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17427] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17427/stat : 17427 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979256781096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17428] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17428/stat : 17428 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979255728552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17429] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17429/stat : 17429 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979254676008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17430] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17430/stat : 17430 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979253623464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17431] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17431/stat : 17431 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979252570920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17432] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17432/stat : 17432 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979251518376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17433] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17433/stat : 17433 (java) S 17421 17423 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334410622 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979250465832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17434] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17434/stat : 17434 (java) S 17421 17423 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334410623 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979238053992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17435] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17435/stat : 17435 (java) S 17421 17423 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979237000312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17436] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17436/stat : 17436 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979235947656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17437] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17437/stat : 17437 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979234896400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17438] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17438/stat : 17438 (java) S 17421 17423 7849 0 -1 4202560 3380 0 0 0 48 0 0 0 20 0 19 0 334410626 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979233843768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17439] ppid=17421 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17423/task/17439/stat : 17439 (java) S 17421 17423 7849 0 -1 4202560 2987 0 0 0 49 0 0 0 20 0 19 0 334410626 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979232791224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17440] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17440/stat : 17440 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979231738872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17441] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17441/stat : 17441 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979230686536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17442] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17442/stat : 17442 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410678 3097006080 51896 33554432000 1073741824 1073778376 140733963836880 139979228484392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=17423/tid=17438] ppid=17421 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/17423/task/17438/stat : 17438 (java) S 17421 17423 7849 0 -1 4202560 3442 0 0 0 54 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979233843768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17439] ppid=17421 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17423/task/17439/stat : 17439 (java) S 17421 17423 7849 0 -1 4202560 2992 0 0 0 55 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979232791224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17440] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17440/stat : 17440 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979231738872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17441] ppid=17421 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/17423/task/17441/stat : 17441 (java) S 17421 17423 7849 0 -1 4202560 99 0 0 0 51 39 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979230686536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17442] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17442/stat : 17442 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410678 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979228484392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.19
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 17587
/proc/meminfo: memFree=26664016/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=3024420 CPUtime=1788.19 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 13267 0 1 0 178600 219 0 0 20 0 19 0 334410619 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 756105 418232 2304 9 0 746526 0
[pid=17423/tid=17425] ppid=17421 vsize=3024420 CPUtime=1773.56 cores=1,3,5,7
/proc/17423/task/17425/stat : 17425 (java) R 17421 17423 7849 0 -1 4202560 3256 0 1 0 177322 34 0 0 20 0 19 0 334410620 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979274407136 139979108672656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/17423/task/17426/stat : 17426 (java) S 17421 17423 7849 0 -1 4202560 280 0 0 0 54 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979257833640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17427] ppid=17421 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/17423/task/17427/stat : 17427 (java) S 17421 17423 7849 0 -1 4202560 277 0 0 0 49 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979256781096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17428] ppid=17421 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/17423/task/17428/stat : 17428 (java) S 17421 17423 7849 0 -1 4202560 384 0 0 0 67 26 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979255728552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17429] ppid=17421 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/17423/task/17429/stat : 17429 (java) S 17421 17423 7849 0 -1 4202560 316 0 0 0 54 23 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979254676008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17430] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17430/stat : 17430 (java) S 17421 17423 7849 0 -1 4202560 195 0 0 0 33 15 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979253623464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17431] ppid=17421 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17423/task/17431/stat : 17431 (java) S 17421 17423 7849 0 -1 4202560 244 0 0 0 42 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979252570920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17432] ppid=17421 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/17423/task/17432/stat : 17432 (java) S 17421 17423 7849 0 -1 4202560 194 0 0 0 42 14 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979251518376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17433] ppid=17421 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17423/task/17433/stat : 17433 (java) S 17421 17423 7849 0 -1 4202560 254 0 0 0 44 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979250465832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17434] ppid=17421 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/17423/task/17434/stat : 17434 (java) S 17421 17423 7849 0 -1 4202560 148 0 0 0 239 6 0 0 20 0 19 0 334410623 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979238053992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17435] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17435/stat : 17435 (java) S 17421 17423 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979237000312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17436] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17436/stat : 17436 (java) S 17421 17423 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979235947656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17437] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17437/stat : 17437 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979234896400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17438] ppid=17421 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/17423/task/17438/stat : 17438 (java) S 17421 17423 7849 0 -1 4202560 3442 0 0 0 54 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979233843768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17439] ppid=17421 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17423/task/17439/stat : 17439 (java) S 17421 17423 7849 0 -1 4202560 2992 0 0 0 55 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979232791224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17440] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17440/stat : 17440 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979231738872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17441] ppid=17421 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/17423/task/17441/stat : 17441 (java) S 17421 17423 7849 0 -1 4202560 103 0 0 0 52 40 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979230686536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17442] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17442/stat : 17442 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410678 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979228484392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.19
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.11 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 17587
/proc/meminfo: memFree=26653776/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=3024420 CPUtime=1800 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 13267 0 1 0 179781 219 0 0 20 0 19 0 334410619 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 756105 418232 2304 9 0 746526 0
[pid=17423/tid=17425] ppid=17421 vsize=3024420 CPUtime=1785.34 cores=1,3,5,7
/proc/17423/task/17425/stat : 17425 (java) R 17421 17423 7849 0 -1 4202560 3256 0 1 0 178499 35 0 0 20 0 19 0 334410620 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979274407136 139979108653927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/17423/task/17426/stat : 17426 (java) S 17421 17423 7849 0 -1 4202560 280 0 0 0 54 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979257833640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17427] ppid=17421 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/17423/task/17427/stat : 17427 (java) S 17421 17423 7849 0 -1 4202560 277 0 0 0 49 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979256781096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17428] ppid=17421 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/17423/task/17428/stat : 17428 (java) S 17421 17423 7849 0 -1 4202560 384 0 0 0 67 26 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979255728552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17429] ppid=17421 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/17423/task/17429/stat : 17429 (java) S 17421 17423 7849 0 -1 4202560 316 0 0 0 54 23 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979254676008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17430] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17430/stat : 17430 (java) S 17421 17423 7849 0 -1 4202560 195 0 0 0 33 15 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979253623464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17431] ppid=17421 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17423/task/17431/stat : 17431 (java) S 17421 17423 7849 0 -1 4202560 244 0 0 0 42 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979252570920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17432] ppid=17421 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/17423/task/17432/stat : 17432 (java) S 17421 17423 7849 0 -1 4202560 194 0 0 0 42 14 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979251518376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17433] ppid=17421 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17423/task/17433/stat : 17433 (java) S 17421 17423 7849 0 -1 4202560 254 0 0 0 44 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979250465832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17434] ppid=17421 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/17423/task/17434/stat : 17434 (java) S 17421 17423 7849 0 -1 4202560 148 0 0 0 239 6 0 0 20 0 19 0 334410623 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979238053992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17435] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17435/stat : 17435 (java) S 17421 17423 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979237000312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17436] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17436/stat : 17436 (java) S 17421 17423 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979235947656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17437] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17437/stat : 17437 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979234896400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17438] ppid=17421 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/17423/task/17438/stat : 17438 (java) S 17421 17423 7849 0 -1 4202560 3442 0 0 0 54 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979233843768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17439] ppid=17421 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17423/task/17439/stat : 17439 (java) S 17421 17423 7849 0 -1 4202560 2992 0 0 0 55 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979232791224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17440] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17440/stat : 17440 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979231738872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17441] ppid=17421 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/17423/task/17441/stat : 17441 (java) S 17421 17423 7849 0 -1 4202560 103 0 0 0 53 40 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979230686536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17442] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17442/stat : 17442 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410678 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979228484392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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

[startup+1794.11 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 17587
/proc/meminfo: memFree=26653776/32873844 swapFree=7632/7632
[pid=17423] ppid=17421 vsize=3024420 CPUtime=1800 cores=1,3,5,7
/proc/17423/stat : 17423 (java) S 17421 17423 7849 0 -1 4202496 13267 0 1 0 179781 219 0 0 20 0 19 0 334410619 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 140733963828016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17423/statm: 756105 418232 2304 9 0 746526 0
[pid=17423/tid=17425] ppid=17421 vsize=3024420 CPUtime=1785.34 cores=1,3,5,7
/proc/17423/task/17425/stat : 17425 (java) R 17421 17423 7849 0 -1 4202560 3256 0 1 0 178499 35 0 0 20 0 19 0 334410620 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979274407136 139979108653927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/17423/task/17426/stat : 17426 (java) S 17421 17423 7849 0 -1 4202560 280 0 0 0 54 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979257833640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17427] ppid=17421 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/17423/task/17427/stat : 17427 (java) S 17421 17423 7849 0 -1 4202560 277 0 0 0 49 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979256781096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17428] ppid=17421 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/17423/task/17428/stat : 17428 (java) S 17421 17423 7849 0 -1 4202560 384 0 0 0 67 26 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979255728552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17429] ppid=17421 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/17423/task/17429/stat : 17429 (java) S 17421 17423 7849 0 -1 4202560 316 0 0 0 54 23 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979254676008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17430] ppid=17421 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17423/task/17430/stat : 17430 (java) S 17421 17423 7849 0 -1 4202560 195 0 0 0 33 15 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979253623464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17431] ppid=17421 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17423/task/17431/stat : 17431 (java) S 17421 17423 7849 0 -1 4202560 244 0 0 0 42 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979252570920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17432] ppid=17421 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/17423/task/17432/stat : 17432 (java) S 17421 17423 7849 0 -1 4202560 194 0 0 0 42 14 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979251518376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17423/tid=17433] ppid=17421 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17423/task/17433/stat : 17433 (java) S 17421 17423 7849 0 -1 4202560 254 0 0 0 44 18 0 0 20 0 19 0 334410622 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979250465832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17434] ppid=17421 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/17423/task/17434/stat : 17434 (java) S 17421 17423 7849 0 -1 4202560 148 0 0 0 239 6 0 0 20 0 19 0 334410623 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979238053992 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17423/tid=17435] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17435/stat : 17435 (java) S 17421 17423 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979237000312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17436] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17436/stat : 17436 (java) S 17421 17423 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334410624 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979235947656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17437] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17437/stat : 17437 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979234896400 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17438] ppid=17421 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/17423/task/17438/stat : 17438 (java) S 17421 17423 7849 0 -1 4202560 3442 0 0 0 54 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979233843768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17439] ppid=17421 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17423/task/17439/stat : 17439 (java) S 17421 17423 7849 0 -1 4202560 2992 0 0 0 55 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979232791224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17440] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17440/stat : 17440 (java) S 17421 17423 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979231738872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17423/tid=17441] ppid=17421 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/17423/task/17441/stat : 17441 (java) S 17421 17423 7849 0 -1 4202560 103 0 0 0 53 40 0 0 20 0 19 0 334410626 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979230686536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17423/tid=17442] ppid=17421 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17423/task/17442/stat : 17442 (java) S 17421 17423 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334410678 3097006080 418232 33554432000 1073741824 1073778376 140733963836880 139979228484392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17423 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=987424
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=443628
# CPU time returned by wait4() is 1795.43
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.13
CPU time (s): 1800
CPU user time (s): 1797.81
CPU system time (s): 2.19
CPU usage (%): 100.327
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.99
system time used= 2.44363
maximum resident set size= 1673044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13297
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38128
involuntary context switches= 17984

runsolver used 8.92364 second user time and 13.7309 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 02:20:50
IDJOB=3730993
IDBENCH=1500
IDSOLVER=2319
FILE ID=node130/3730993-1338682850
RUNJOBID= node130-1338679215-16920
PBS_JOBID= 14636683
Free space on /tmp= 70976 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730993-1338682850/watcher-3730993-1338682850 -o /tmp/evaluation-result-3730993-1338682850/solver-3730993-1338682850 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730993-1338682850.opb           

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

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=1112035642

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28625200 kB
Buffers:          403408 kB
Cached:          2379448 kB
SwapCached:         4252 kB
Active:          1677964 kB
Inactive:        1703512 kB
Active(anon):     590800 kB
Inactive(anon):     8136 kB
Active(file):    1087164 kB
Inactive(file):  1695376 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              4732 kB
Writeback:             0 kB
AnonPages:        605300 kB
Mapped:            17584 kB
Shmem:                 4 kB
Slab:             721828 kB
SReclaimable:     163452 kB
SUnreclaim:       558376 kB
KernelStack:        1616 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    571392 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= 70976 MiB
End job on node130 at 2012-06-03 02:50:46