Trace number 3733746

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 1796.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
MD5SUM285c24e978af8153c6a378b9af59f522
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.049991
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2550
Total number of constraints101
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
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 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.05/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.05/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.05/0.09	c no version file found!!!
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version	1.6.0_24
0.05/0.09	c os.name	Linux
0.05/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch	amd64
0.05/0.09	c Free memory 1599470296
0.05/0.09	c Max memory 1607860224
0.05/0.09	c Total memory 1607860224
0.05/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3733746-1338698553.opb
0.08/0.11	c reading problem ... 
0.26/0.24	c ... done. Wall clock time 0.126s.
0.26/0.24	c CPU time (experimental) 0.2s.
0.26/0.24	c #vars     2550
0.26/0.24	c #constraints  101
862.52/860.00	c cleaning 162490 clauses out of 325000 for limit 5.063411163590142E-5
864.93/862.47	c cleaning 81506 clauses out of 163012 for limit 1.6681376728908576E-4
865.53/863.09	c cleaning 41000 clauses out of 82005 for limit 5.463016454544195E-4
866.04/863.55	c cleaning 20741 clauses out of 41504 for limit 0.0017782968630542285
866.33/863.85	c cleaning 10624 clauses out of 21265 for limit 0.005735268312850033
866.63/864.10	c cleaning 5561 clauses out of 11140 for limit 0.018036626486747833
866.73/864.28	c cleaning 3029 clauses out of 6078 for limit 0.054462952602869444
866.93/864.43	c cleaning 1765 clauses out of 3550 for limit 0.15393023186149501
867.04/864.53	c cleaning 1129 clauses out of 2284 for limit 0.3941645406767202
867.14/864.62	c cleaning 813 clauses out of 1656 for limit 0.8974364777770266
867.23/864.70	c cleaning 656 clauses out of 1342 for limit 1.8244539666263926
867.23/864.77	c cleaning 583 clauses out of 1187 for limit 3.405062640124318
867.33/864.86	c cleaning 541 clauses out of 1103 for limit 6.037007111256026
867.43/864.94	c cleaning 520 clauses out of 1064 for limit 10.341427282060275
867.53/865.03	c cleaning 509 clauses out of 1042 for limit 17.37965915452509
867.63/865.11	c cleaning 503 clauses out of 1033 for limit 28.911094907190964
867.73/865.22	c cleaning 504 clauses out of 1031 for limit 47.818571086399494
867.83/865.33	c cleaning 506 clauses out of 1027 for limit 79.16636477069547
867.93/865.42	c cleaning 502 clauses out of 1021 for limit 131.32315004986333
868.03/865.53	c cleaning 497 clauses out of 1018 for limit 216.99045522712996
868.14/865.63	c cleaning 495 clauses out of 1022 for limit 356.8025190921805
868.24/865.74	c cleaning 495 clauses out of 1026 for limit 585.5349491693203
868.33/865.82	c cleaning 503 clauses out of 1032 for limit 960.972333450751
868.43/865.91	c cleaning 506 clauses out of 1029 for limit 1589.392260778558
868.43/866.00	c cleaning 505 clauses out of 1024 for limit 2636.5554583361227
868.53/866.08	c cleaning 503 clauses out of 1020 for limit 4369.453224581659
868.63/866.14	c cleaning 495 clauses out of 1017 for limit 7227.068987587397
868.73/866.22	c cleaning 503 clauses out of 1024 for limit 11860.63953698187
868.83/866.30	c cleaning 495 clauses out of 1016 for limit 19615.423274677323
868.83/866.40	c cleaning 498 clauses out of 1021 for limit 32190.04152563233
868.93/866.49	c cleaning 500 clauses out of 1024 for limit 52983.14345880279
869.03/866.60	c cleaning 500 clauses out of 1023 for limit 87374.24163801725
869.13/866.69	c cleaning 504 clauses out of 1025 for limit 144098.71174537565
869.24/866.80	c cleaning 496 clauses out of 1019 for limit 238559.46000077116
869.34/866.89	c cleaning 494 clauses out of 1023 for limit 391878.1781627666
869.43/866.98	c cleaning 514 clauses out of 1029 for limit 642491.2631121612
869.53/867.07	c cleaning 492 clauses out of 1015 for limit 1074168.582350794
869.73/867.20	c cleaning 494 clauses out of 1023 for limit 1757594.728620225
869.83/867.33	c cleaning 515 clauses out of 1030 for limit 2881691.9225051347
869.93/867.44	c cleaning 507 clauses out of 1014 for limit 4822455.114684941
870.03/867.55	c cleaning 490 clauses out of 1008 for limit 8008220.374449274
870.13/867.65	c cleaning 495 clauses out of 1017 for limit 1.3076664161292285E7
1786.86/1783.50	c cleaning 134011 clauses out of 268022 for limit 8.463442135123163
1789.37/1786.09	c cleaning 67245 clauses out of 134511 for limit 27.810932979626976
1790.77/1787.47	c cleaning 33873 clauses out of 67767 for limit 91.1266696185988
1791.77/1788.49	c cleaning 17189 clauses out of 34394 for limit 296.09901232030927
1792.57/1789.22	c cleaning 8843 clauses out of 17704 for limit 947.6972490853594
1792.97/1789.62	c cleaning 4670 clauses out of 9363 for limit 2961.085230336882
1793.17/1789.88	c cleaning 2584 clauses out of 5192 for limit 8797.36523928273
1793.47/1790.10	c cleaning 1541 clauses out of 3107 for limit 24219.625788168323
1793.57/1790.24	c cleaning 1022 clauses out of 2070 for limit 60191.098668683764
1793.67/1790.34	c cleaning 758 clauses out of 1545 for limit 132594.79736900935
1793.77/1790.43	c cleaning 627 clauses out of 1286 for limit 262443.2301235323
1793.87/1790.55	c cleaning 566 clauses out of 1160 for limit 480295.75973746425
1793.97/1790.67	c cleaning 533 clauses out of 1094 for limit 839856.9235138693
1794.17/1790.81	c cleaning 530 clauses out of 1060 for limit 1428032.6553262498
1794.27/1790.92	c cleaning 517 clauses out of 1034 for limit 2423915.072983343
1794.37/1791.05	c cleaning 507 clauses out of 1014 for limit 4063987.2314500688
1794.47/1791.16	c cleaning 492 clauses out of 1006 for limit 6748599.948630846
1794.67/1791.30	c cleaning 488 clauses out of 1014 for limit 1.1041538650495583E7
1794.77/1791.44	c cleaning 494 clauses out of 1026 for limit 1.799600388510258E7
1794.87/1791.59	c cleaning 516 clauses out of 1032 for limit 2.950527241613674E7
1795.07/1791.74	c cleaning 490 clauses out of 1016 for limit 4.9424411301596515E7
1795.17/1791.88	c cleaning 496 clauses out of 1026 for limit 8.071304636806811E7
1795.37/1792.03	c cleaning 515 clauses out of 1030 for limit 1.3258969218121137E8
1795.47/1792.16	c cleaning 494 clauses out of 1015 for limit 2.2188954102133554E8
1795.57/1792.29	c cleaning 493 clauses out of 1021 for limit 3.6377514206743735E8
1795.77/1792.41	c cleaning 501 clauses out of 1029 for limit 5.958456664594994E8
1795.87/1792.53	c cleaning 513 clauses out of 1027 for limit 9.835582634528037E8
1796.00/1792.67	c cleaning 505 clauses out of 1014 for limit 1.6428142718695686E9
1796.20/1792.82	c cleaning 504 clauses out of 1009 for limit 2.7226457811292133E9
1796.30/1792.94	c cleaning 493 clauses out of 1005 for limit 4.507877797231266E9
1796.40/1793.06	c cleaning 496 clauses out of 1012 for limit 7.382671945099504E9
1800.00/1796.61	c starts		: 20
1800.00/1796.61	c conflicts		: 636366
1800.00/1796.61	c decisions		: 742377
1800.00/1796.61	c propagations		: 38331186
1800.00/1796.61	c inspects		: 4411727516
1800.00/1796.61	c learnt literals	: 0
1800.00/1796.61	c learnt binary clauses	: 0
1800.00/1796.61	c learnt ternary clauses	: 0
1800.00/1796.61	c learnt clauses	: 636366
1800.00/1796.61	c root simplifications	: 0
1800.00/1796.61	c removed literals (reason simplification)	: 0
1800.00/1796.61	c reason swapping (by a shorter reason)	: 0
1800.00/1796.61	c Calls to reduceDB	: 73
1800.00/1796.61	c speed (decisions/second)	: 413.26508458725095
1800.00/1796.61	c non guided choices	1226
1800.00/1796.61	s UNKNOWN
1800.00/1796.61	c Total wall clock time (ms): 1796.499

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-3733746-1338698553/watcher-3733746-1338698553 -o /tmp/evaluation-result-3733746-1338698553/solver-3733746-1338698553 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733746-1338698553.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.94 2.05 2.01 3/194 19664
/proc/meminfo: memFree=27366548/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19664/stat : 19664 (java) D 19662 19664 15565 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 335980184 9515008 182 33554432000 1073741824 1073778376 140735409383328 140735409374360 233220947637 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/19664/statm: 2323 182 140 9 0 71 0

[startup+0.0754231 s]
/proc/loadavg: 1.94 2.05 2.01 3/194 19664
/proc/meminfo: memFree=27366548/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=2956804 CPUtime=0.05 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 4058 0 1 0 4 1 0 0 20 0 18 0 335980184 3027767296 5778 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 739201 5778 1767 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804

[startup+0.10031 s]
/proc/loadavg: 1.94 2.05 2.01 3/194 19664
/proc/meminfo: memFree=27366548/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 4153 0 1 0 6 2 0 0 20 0 18 0 335980184 3028844544 5872 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 739464 5872 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.30017 s]
/proc/loadavg: 1.94 2.05 2.01 3/194 19664
/proc/meminfo: memFree=27366548/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 7117 0 1 0 48 2 0 0 20 0 19 0 335980184 3097006080 9662 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 9662 2255 9 0 746526 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 3024420

[startup+0.700255 s]
/proc/loadavg: 1.94 2.05 2.01 3/194 19664
/proc/meminfo: memFree=27366548/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=1.02 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 7537 0 1 0 99 3 0 0 20 0 19 0 335980184 3097006080 11599 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 11599 2256 9 0 746526 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 1.94 2.05 2.01 3/213 19683
/proc/meminfo: memFree=27322572/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=1.83 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 7549 0 1 0 180 3 0 0 20 0 19 0 335980184 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 15698 2258 9 0 746526 0
[pid=19664/tid=19666] ppid=19662 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/19664/task/19666/stat : 19666 (java) R 19662 19664 15565 0 -1 4202560 3050 0 1 0 144 2 0 0 20 0 19 0 335980186 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092942285384 140092790765400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19667] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19667/stat : 19667 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092925713448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19668] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19668/stat : 19668 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092924660648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19669] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19669/stat : 19669 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092923607848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19670] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19670/stat : 19670 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092922555048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19671] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19671/stat : 19671 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092921502248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19672] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19672/stat : 19672 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092920449448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19673] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19673/stat : 19673 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092919396648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19674] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19674/stat : 19674 (java) S 19662 19664 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092918343848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19675] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19675/stat : 19675 (java) S 19662 19664 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335980188 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092788165608 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19676] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19676/stat : 19676 (java) S 19662 19664 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092787111672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19677] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19677/stat : 19677 (java) S 19662 19664 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092786058760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19678] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19678/stat : 19678 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092785007248 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19679] ppid=19662 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/19664/task/19679/stat : 19679 (java) S 19662 19664 15565 0 -1 4202560 1688 0 0 0 18 0 0 0 20 0 19 0 335980192 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092783954360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19680] ppid=19662 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/19664/task/19680/stat : 19680 (java) S 19662 19664 15565 0 -1 4202560 1612 0 0 0 15 0 0 0 20 0 19 0 335980192 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092782901560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19681] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19681/stat : 19681 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092781848952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19682] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19682/stat : 19682 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092780796360 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19683] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19683/stat : 19683 (java) S 19662 19664 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335980209 3097006080 15698 33554432000 1073741824 1073778376 140735825463760 140092778665640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 3024420

[startup+3.10077 s]
/proc/loadavg: 1.94 2.05 2.01 3/213 19683
/proc/meminfo: memFree=27301720/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=3.48 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 7776 0 1 0 345 3 0 0 20 0 19 0 335980184 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 21876 2263 9 0 746526 0
[pid=19664/tid=19666] ppid=19662 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/19664/task/19666/stat : 19666 (java) R 19662 19664 15565 0 -1 4202560 3062 0 1 0 303 2 0 0 20 0 19 0 335980186 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092942287496 140092790781882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19667] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19667/stat : 19667 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092925713448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19668] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19668/stat : 19668 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092924660648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19669] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19669/stat : 19669 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092923607848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19670] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19670/stat : 19670 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092922555048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19671] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19671/stat : 19671 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092921502248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19672] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19672/stat : 19672 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092920449448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19673] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19673/stat : 19673 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092919396648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19674] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19674/stat : 19674 (java) S 19662 19664 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092918343848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19675] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19675/stat : 19675 (java) S 19662 19664 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335980188 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092788165608 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19676] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19676/stat : 19676 (java) S 19662 19664 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092787111672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19677] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19677/stat : 19677 (java) S 19662 19664 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092786058760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19678] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19678/stat : 19678 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092785007248 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19679] ppid=19662 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/19664/task/19679/stat : 19679 (java) S 19662 19664 15565 0 -1 4202560 1831 0 0 0 20 0 0 0 20 0 19 0 335980192 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092783954360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19680] ppid=19662 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/19664/task/19680/stat : 19680 (java) S 19662 19664 15565 0 -1 4202560 1684 0 0 0 17 0 0 0 20 0 19 0 335980192 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092782901560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19681] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19681/stat : 19681 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092781848952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19682] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19682/stat : 19682 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092780796360 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19683] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19683/stat : 19683 (java) S 19662 19664 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335980209 3097006080 21876 33554432000 1073741824 1073778376 140735825463760 140092778665640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 2.02 2.07 2.02 3/213 19683
/proc/meminfo: memFree=27263552/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=6.7 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 7797 0 1 0 666 4 0 0 20 0 19 0 335980184 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 30061 2264 9 0 746526 0
[pid=19664/tid=19666] ppid=19662 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/19664/task/19666/stat : 19666 (java) R 19662 19664 15565 0 -1 4202560 3082 0 1 0 622 2 0 0 20 0 19 0 335980186 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092942285368 140092790781977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19667] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19667/stat : 19667 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092925713448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19668] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19668/stat : 19668 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092924660648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19669] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19669/stat : 19669 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092923607848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19670] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19670/stat : 19670 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092922555048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19671] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19671/stat : 19671 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092921502248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19672] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19672/stat : 19672 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092920449448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19673] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19673/stat : 19673 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092919396648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19674] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19674/stat : 19674 (java) S 19662 19664 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335980187 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092918343848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19675] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19675/stat : 19675 (java) S 19662 19664 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335980188 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092788165608 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19676] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19676/stat : 19676 (java) S 19662 19664 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092787111672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19677] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19677/stat : 19677 (java) S 19662 19664 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092786058760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19678] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19678/stat : 19678 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092785007248 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19679] ppid=19662 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/19664/task/19679/stat : 19679 (java) S 19662 19664 15565 0 -1 4202560 1831 0 0 0 21 0 0 0 20 0 19 0 335980192 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092783954360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19680] ppid=19662 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/19664/task/19680/stat : 19680 (java) S 19662 19664 15565 0 -1 4202560 1684 0 0 0 18 0 0 0 20 0 19 0 335980192 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092782901560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19681] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19681/stat : 19681 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092781848952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19682] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19682/stat : 19682 (java) S 19662 19664 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092780796360 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19683] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19683/stat : 19683 (java) S 19662 19664 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335980209 3097006080 30061 33554432000 1073741824 1073778376 140735825463760 140092778665640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=19664/tid=19679] ppid=19662 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19664/task/19679/stat : 19679 (java) S 19662 19664 15565 0 -1 4202560 1844 0 0 0 28 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092783954360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19680] ppid=19662 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/19664/task/19680/stat : 19680 (java) S 19662 19664 15565 0 -1 4202560 1688 0 0 0 20 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092782901560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19681] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19681/stat : 19681 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092781848952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19682] ppid=19662 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/19664/task/19682/stat : 19682 (java) S 19662 19664 15565 0 -1 4202560 96 0 0 0 42 34 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092780796360 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19683] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19683/stat : 19683 (java) S 19662 19664 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335980209 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092778665640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.66
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 19780
/proc/meminfo: memFree=27062756/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=1725.66 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 10192 0 1 0 172399 167 0 0 20 0 19 0 335980184 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 417411 2294 9 0 746526 0
[pid=19664/tid=19666] ppid=19662 vsize=3024420 CPUtime=1715.95 cores=0,2,4,6
/proc/19664/task/19666/stat : 19666 (java) R 19662 19664 15565 0 -1 4202560 3251 0 1 0 171560 35 0 0 20 0 19 0 335980186 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092942286128 140092790781965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19667] ppid=19662 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/19664/task/19667/stat : 19667 (java) S 19662 19664 15565 0 -1 4202560 188 0 0 0 15 10 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092925713448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19668] ppid=19662 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/19664/task/19668/stat : 19668 (java) S 19662 19664 15565 0 -1 4202560 290 0 0 0 25 18 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092924660648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19669] ppid=19662 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/19664/task/19669/stat : 19669 (java) S 19662 19664 15565 0 -1 4202560 229 0 0 0 18 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092923607848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19670] ppid=19662 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19664/task/19670/stat : 19670 (java) S 19662 19664 15565 0 -1 4202560 352 0 0 0 28 21 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092922555048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19671] ppid=19662 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19664/task/19671/stat : 19671 (java) S 19662 19664 15565 0 -1 4202560 201 0 0 0 17 11 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092921502248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19672] ppid=19662 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/19664/task/19672/stat : 19672 (java) S 19662 19664 15565 0 -1 4202560 248 0 0 0 26 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092920449448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19673] ppid=19662 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/19664/task/19673/stat : 19673 (java) S 19662 19664 15565 0 -1 4202560 241 0 0 0 27 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092919396648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19674] ppid=19662 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/19664/task/19674/stat : 19674 (java) S 19662 19664 15565 0 -1 4202560 173 0 0 0 17 10 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092918343848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19675] ppid=19662 vsize=3024420 CPUtime=1.09 cores=0,2,4,6
/proc/19664/task/19675/stat : 19675 (java) S 19662 19664 15565 0 -1 4202560 202 0 0 0 102 7 0 0 20 0 19 0 335980188 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092788165608 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19676] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19676/stat : 19676 (java) S 19662 19664 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092787111672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19677] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19677/stat : 19677 (java) S 19662 19664 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092786058760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19678] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19678/stat : 19678 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092785007248 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19679] ppid=19662 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19664/task/19679/stat : 19679 (java) S 19662 19664 15565 0 -1 4202560 1844 0 0 0 28 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092783954360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19680] ppid=19662 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/19664/task/19680/stat : 19680 (java) S 19662 19664 15565 0 -1 4202560 1688 0 0 0 20 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092782901560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19681] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19681/stat : 19681 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092781848952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19682] ppid=19662 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/19664/task/19682/stat : 19682 (java) S 19662 19664 15565 0 -1 4202560 100 0 0 0 44 35 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092780796360 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19683] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19683/stat : 19683 (java) S 19662 19664 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335980209 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092778665640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.66
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 19780
/proc/meminfo: memFree=27054564/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=1785.66 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 10196 0 1 0 178398 168 0 0 20 0 19 0 335980184 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 417411 2294 9 0 746526 0
[pid=19664/tid=19666] ppid=19662 vsize=3024420 CPUtime=1775.79 cores=0,2,4,6
/proc/19664/task/19666/stat : 19666 (java) R 19662 19664 15565 0 -1 4202560 3251 0 1 0 177544 35 0 0 20 0 19 0 335980186 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092942286128 140092790962781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19667] ppid=19662 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/19664/task/19667/stat : 19667 (java) S 19662 19664 15565 0 -1 4202560 188 0 0 0 15 10 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092925713448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19668] ppid=19662 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/19664/task/19668/stat : 19668 (java) S 19662 19664 15565 0 -1 4202560 290 0 0 0 25 18 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092924660648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19669] ppid=19662 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/19664/task/19669/stat : 19669 (java) S 19662 19664 15565 0 -1 4202560 229 0 0 0 18 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092923607848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19670] ppid=19662 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19664/task/19670/stat : 19670 (java) S 19662 19664 15565 0 -1 4202560 352 0 0 0 28 21 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092922555048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19671] ppid=19662 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19664/task/19671/stat : 19671 (java) S 19662 19664 15565 0 -1 4202560 201 0 0 0 17 11 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092921502248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19672] ppid=19662 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/19664/task/19672/stat : 19672 (java) S 19662 19664 15565 0 -1 4202560 248 0 0 0 26 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092920449448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19673] ppid=19662 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/19664/task/19673/stat : 19673 (java) S 19662 19664 15565 0 -1 4202560 241 0 0 0 27 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092919396648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19674] ppid=19662 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/19664/task/19674/stat : 19674 (java) S 19662 19664 15565 0 -1 4202560 173 0 0 0 17 10 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092918343848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19675] ppid=19662 vsize=3024420 CPUtime=1.09 cores=0,2,4,6
/proc/19664/task/19675/stat : 19675 (java) S 19662 19664 15565 0 -1 4202560 202 0 0 0 102 7 0 0 20 0 19 0 335980188 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092788165608 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19676] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19676/stat : 19676 (java) S 19662 19664 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092787111672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19677] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19677/stat : 19677 (java) S 19662 19664 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092786058760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19678] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19678/stat : 19678 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092785007248 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19679] ppid=19662 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19664/task/19679/stat : 19679 (java) S 19662 19664 15565 0 -1 4202560 1844 0 0 0 28 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092783954360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19680] ppid=19662 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/19664/task/19680/stat : 19680 (java) S 19662 19664 15565 0 -1 4202560 1688 0 0 0 20 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092782901560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19681] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19681/stat : 19681 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092781848952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19682] ppid=19662 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/19664/task/19682/stat : 19682 (java) S 19662 19664 15565 0 -1 4202560 104 0 0 0 45 36 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092780796360 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19683] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19683/stat : 19683 (java) S 19662 19664 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335980209 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092778665640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 19780
/proc/meminfo: memFree=27050592/32873844 swapFree=7120/7120
[pid=19664] ppid=19662 vsize=3024420 CPUtime=1800 cores=0,2,4,6
/proc/19664/stat : 19664 (java) S 19662 19664 15565 0 -1 4202496 10645 0 1 0 179831 169 0 0 20 0 19 0 335980184 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140735825454896 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19664/statm: 756105 417411 2294 9 0 746526 0
[pid=19664/tid=19666] ppid=19662 vsize=3024420 CPUtime=1789.98 cores=0,2,4,6
/proc/19664/task/19666/stat : 19666 (java) R 19662 19664 15565 0 -1 4202560 3252 0 1 0 178962 36 0 0 20 0 19 0 335980186 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092942286128 140092790781843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19667] ppid=19662 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/19664/task/19667/stat : 19667 (java) S 19662 19664 15565 0 -1 4202560 188 0 0 0 15 10 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092925713448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19668] ppid=19662 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/19664/task/19668/stat : 19668 (java) S 19662 19664 15565 0 -1 4202560 290 0 0 0 25 18 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092924660648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19669] ppid=19662 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/19664/task/19669/stat : 19669 (java) S 19662 19664 15565 0 -1 4202560 229 0 0 0 18 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092923607848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19670] ppid=19662 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/19664/task/19670/stat : 19670 (java) S 19662 19664 15565 0 -1 4202560 352 0 0 0 28 21 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092922555048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19664/tid=19671] ppid=19662 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19664/task/19671/stat : 19671 (java) S 19662 19664 15565 0 -1 4202560 201 0 0 0 17 11 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092921502248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19672] ppid=19662 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/19664/task/19672/stat : 19672 (java) S 19662 19664 15565 0 -1 4202560 248 0 0 0 26 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092920449448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19673] ppid=19662 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/19664/task/19673/stat : 19673 (java) S 19662 19664 15565 0 -1 4202560 241 0 0 0 27 14 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092919396648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19674] ppid=19662 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/19664/task/19674/stat : 19674 (java) S 19662 19664 15565 0 -1 4202560 173 0 0 0 17 10 0 0 20 0 19 0 335980187 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092918343848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19675] ppid=19662 vsize=3024420 CPUtime=1.16 cores=0,2,4,6
/proc/19664/task/19675/stat : 19675 (java) S 19662 19664 15565 0 -1 4202560 203 0 0 0 109 7 0 0 20 0 19 0 335980188 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092788165608 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19676] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19676/stat : 19676 (java) S 19662 19664 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092787111672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19677] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19677/stat : 19677 (java) S 19662 19664 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335980189 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092786058760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19678] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19678/stat : 19678 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092785007248 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19679] ppid=19662 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/19664/task/19679/stat : 19679 (java) S 19662 19664 15565 0 -1 4202560 2291 0 0 0 30 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092783954360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19664/tid=19680] ppid=19662 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/19664/task/19680/stat : 19680 (java) S 19662 19664 15565 0 -1 4202560 1688 0 0 0 20 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092782901560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19681] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19681/stat : 19681 (java) S 19662 19664 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092781848952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19664/tid=19682] ppid=19662 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/19664/task/19682/stat : 19682 (java) S 19662 19664 15565 0 -1 4202560 104 0 0 0 46 37 0 0 20 0 19 0 335980192 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092780796360 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19664/tid=19683] ppid=19662 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19664/task/19683/stat : 19683 (java) S 19662 19664 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335980209 3097006080 417411 33554432000 1073741824 1073778376 140735825463760 140092778665640 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19664 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=548339
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=53687
# CPU time returned by wait4() is 1795.6
# 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): 1796.62
CPU time (s): 1800
CPU user time (s): 1798.31
CPU system time (s): 1.69
CPU usage (%): 100.188
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 2.05369
maximum resident set size= 1671424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10675
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38037
involuntary context switches= 2761

runsolver used 7.8818 second user time and 13.7219 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 06:42:33
IDJOB=3733746
IDBENCH=2597
IDSOLVER=2319
FILE ID=node142/3733746-1338698553
RUNJOBID= node142-1338678627-15585
PBS_JOBID= 14636671
Free space on /tmp= 71188 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733746-1338698553/watcher-3733746-1338698553 -o /tmp/evaluation-result-3733746-1338698553/solver-3733746-1338698553 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733746-1338698553.opb           

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

MD5SUM BENCH= 285c24e978af8153c6a378b9af59f522
RANDOM SEED=871915533

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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.776
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:        27367160 kB
Buffers:          250556 kB
Cached:          2752624 kB
SwapCached:            0 kB
Active:          2809348 kB
Inactive:        1881148 kB
Active(anon):    1678540 kB
Inactive(anon):    11220 kB
Active(file):    1130808 kB
Inactive(file):  1869928 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3628 kB
Writeback:             0 kB
AnonPages:       1693896 kB
Mapped:            18612 kB
Shmem:               200 kB
Slab:             674704 kB
SReclaimable:     116620 kB
SUnreclaim:       558084 kB
KernelStack:        1608 kB
PageTables:         7492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825040 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= 71184 MiB
End job on node142 at 2012-06-03 07:12:32