Trace number 3739611

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.37 1785.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_3-sat.opb
MD5SUM56cc40b9ea431027514a5b56e02d7edb
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables37752
Total number of constraints125892
Number of constraints which are clauses125272
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint120
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 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version	1.6.0_24
0.01/0.08	c os.name	Linux
0.01/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch	amd64
0.01/0.08	c Free memory 1599470296
0.01/0.08	c Max memory 1607860224
0.01/0.08	c Total memory 1607860224
0.01/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3739611-1338732742.opb
0.08/0.10	c reading problem ... 
1.92/1.16	c ... done. Wall clock time 1.061s.
1.92/1.16	c CPU time (experimental) 1.13s.
1.92/1.16	c #vars     37752
1.92/1.16	c #constraints  105812
610.63/603.96	c cleaning 598714 clauses out of 1197500 for limit 1.776535393031908E-6
619.30/612.60	c cleaning 309380 clauses out of 618786 for limit 1684.7846124303971
628.39/621.52	c cleaning 164934 clauses out of 329907 for limit 2.556343528951531E12
636.70/629.71	c cleaning 92700 clauses out of 185473 for limit 36.74695998210578
636.90/629.94	c cleaning 46624 clauses out of 93274 for limit 120.62349568990746
637.10/630.14	c cleaning 23530 clauses out of 47149 for limit 393.13472042553764
643.68/636.61	c cleaning 21500 clauses out of 43120 for limit 1.2786428075630995E11
643.78/636.76	c cleaning 11013 clauses out of 22120 for limit 4.110538844186014E11
643.89/636.88	c cleaning 5754 clauses out of 11605 for limit 1.2895126233318796E12
643.99/636.99	c cleaning 3127 clauses out of 6351 for limit 3.885836443086907E12
644.18/637.11	c cleaning 1813 clauses out of 3726 for limit 1.0944821668408129E13
648.73/641.65	c cleaning 10158 clauses out of 20412 for limit 2.1807168944372766
648.83/641.78	c cleaning 5326 clauses out of 10754 for limit 6.826069451642583
649.03/641.91	c cleaning 2909 clauses out of 5927 for limit 20.404557587444042
649.13/642.02	c cleaning 1705 clauses out of 3520 for limit 56.773328552132725
649.23/642.13	c cleaning 1096 clauses out of 2316 for limit 142.4422628649083
649.33/642.23	c cleaning 791 clauses out of 1717 for limit 315.9071648526515
653.99/646.89	c cleaning 9695 clauses out of 19427 for limit 3.0536999502589984E9
654.18/647.02	c cleaning 5057 clauses out of 10233 for limit 9.570167232120472E9
654.28/647.12	c cleaning 2777 clauses out of 5675 for limit 2.8430075324400963E10
654.38/647.22	c cleaning 1631 clauses out of 3397 for limit 7.824736195177066E10
659.01/651.88	c cleaning 10356 clauses out of 20766 for limit 0.02306407853012642
659.21/652.01	c cleaning 5407 clauses out of 10911 for limit 0.07246274817557644
659.31/652.14	c cleaning 2955 clauses out of 6005 for limit 0.21734854818824317
659.42/652.25	c cleaning 1724 clauses out of 3548 for limit 0.6054426449279863
659.52/652.36	c cleaning 1113 clauses out of 2326 for limit 1.5260607375102526
659.61/652.47	c cleaning 809 clauses out of 1712 for limit 3.415852776151972
664.26/657.07	c cleaning 9396 clauses out of 18903 for limit 2.0496707455413397E7
664.46/657.21	c cleaning 4931 clauses out of 10006 for limit 6.379339474408331E7
664.56/657.35	c cleaning 2724 clauses out of 5575 for limit 1.888196670240304E8
664.66/657.47	c cleaning 1624 clauses out of 3351 for limit 5.180522429182738E8
664.76/657.59	c cleaning 1064 clauses out of 2227 for limit 1.2855342626237283E9
669.60/662.39	c cleaning 10078 clauses out of 20166 for limit 2.56573236158113E-4
669.80/662.51	c cleaning 5259 clauses out of 10587 for limit 8.051551534158624E-4
669.90/662.62	c cleaning 2860 clauses out of 5827 for limit 0.0024100655075426055
670.00/662.73	c cleaning 1681 clauses out of 3468 for limit 0.006684750082605709
670.10/662.84	c cleaning 1092 clauses out of 2286 for limit 0.01670742088440994
674.85/667.52	c cleaning 9287 clauses out of 18693 for limit 82002.7027933846
674.95/667.67	c cleaning 4897 clauses out of 9910 for limit 256110.54037733108
675.14/667.80	c cleaning 2686 clauses out of 5510 for limit 757359.1205373638
675.24/667.92	c cleaning 1607 clauses out of 3324 for limit 2070371.737691312
675.34/668.03	c cleaning 1044 clauses out of 2217 for limit 5119169.852544497
675.44/668.14	c cleaning 826 clauses out of 1674 for limit 1.1191806112140778E7
1135.44/1125.50	c cleaning 309862 clauses out of 619847 for limit 2.7715628603805793E-7
1151.01/1140.95	c cleaning 163976 clauses out of 327985 for limit 34.703013304334306
1158.81/1148.64	c cleaning 89710 clauses out of 179508 for limit 3.440609199675507E8
1159.11/1148.93	c cleaning 45064 clauses out of 90298 for limit 1.1279683405907369E9
1577.74/1564.62	c cleaning 376033 clauses out of 752236 for limit 2.149384842044814E-5
1578.54/1565.40	c cleaning 188333 clauses out of 376702 for limit 7.07117759471308E-5
1585.73/1572.53	c cleaning 103644 clauses out of 207370 for limit 23168.715743283767
1586.03/1572.87	c cleaning 51992 clauses out of 104225 for limit 75944.68067114032
1586.24/1573.08	c cleaning 26242 clauses out of 52733 for limit 247538.45269580587
1591.41/1578.18	c cleaning 21936 clauses out of 43991 for limit 1.1921128299154207E13
1591.61/1578.30	c cleaning 11199 clauses out of 22554 for limit 3.830707531952118E13
1591.71/1578.43	c cleaning 5861 clauses out of 11855 for limit 1.2018683549140347E14
1591.81/1578.53	c cleaning 3219 clauses out of 6494 for limit 3.6182790818225634E-6
1591.91/1578.64	c cleaning 1883 clauses out of 3777 for limit 1.0279980040615659E-5
1592.01/1578.75	c cleaning 1137 clauses out of 2392 for limit 2.671560074182008E-5
1596.95/1583.69	c cleaning 10305 clauses out of 20755 for limit 914.9196925484547
1597.15/1583.83	c cleaning 5401 clauses out of 10951 for limit 2862.479155898731
1597.26/1583.96	c cleaning 2952 clauses out of 6049 for limit 8537.56262963849
1597.36/1584.07	c cleaning 1710 clauses out of 3597 for limit 23677.341403516988
1597.45/1584.17	c cleaning 1114 clauses out of 2388 for limit 58874.80075991054
1800.07/1785.61	c starts		: 24
1800.07/1785.61	c conflicts		: 3115677
1800.07/1785.61	c decisions		: 4102539
1800.07/1785.61	c propagations		: 1427729573
1800.07/1785.61	c inspects		: 13034404054
1800.07/1785.61	c learnt literals	: 0
1800.07/1785.61	c learnt binary clauses	: 0
1800.07/1785.61	c learnt ternary clauses	: 2897
1800.07/1785.61	c learnt clauses	: 3115677
1800.07/1785.61	c root simplifications	: 0
1800.07/1785.61	c removed literals (reason simplification)	: 0
1800.07/1785.61	c reason swapping (by a shorter reason)	: 0
1800.07/1785.61	c Calls to reduceDB	: 63
1800.07/1785.61	c speed (decisions/second)	: 2299.074046572829
1800.07/1785.61	c non guided choices	1111
1800.07/1785.61	s UNKNOWN
1800.07/1785.61	c Total wall clock time (ms): 1785.51

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 10824
/proc/meminfo: memFree=28040720/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/10824/stat : 10824 (java) D 10822 10824 7854 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 339399644 278528 34 33554432000 1073741824 1073778376 140737081512096 140737081509272 214528257319 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/10824/statm: 68 34 25 9 0 25 0

[startup+0.041948 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 10824
/proc/meminfo: memFree=28040720/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=2623916 CPUtime=0.01 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 3883 0 1 0 1 0 0 0 20 0 13 0 339399644 2686889984 5092 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 655979 5092 1662 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916

[startup+0.100214 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 10824
/proc/meminfo: memFree=28040720/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 4906 0 1 0 8 0 0 0 20 0 18 0 339399644 3028844544 6606 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 739464 6606 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300163 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 10824
/proc/meminfo: memFree=28040720/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 6470 0 1 0 42 1 0 0 20 0 18 0 339399644 3028844544 9790 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 739464 9790 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856

[startup+0.700173 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 10824
/proc/meminfo: memFree=28040720/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=2957856 CPUtime=1.36 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 10381 0 1 0 132 4 0 0 20 0 18 0 339399644 3028844544 41525 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 739464 41525 2261 9 0 729885 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 2957856

[startup+1.50061 s]
/proc/loadavg: 1.92 1.99 1.99 4/212 10842
/proc/meminfo: memFree=27735348/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=3024420 CPUtime=2.69 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 16213 0 1 0 260 9 0 0 20 0 19 0 339399644 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 756105 98776 2274 9 0 746526 0
[pid=10824/tid=10826] ppid=10822 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/10824/task/10826/stat : 10826 (java) R 10822 10824 7854 0 -1 4202560 3211 0 1 0 139 7 0 0 20 0 19 0 339399645 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880740979080 139880593053477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10827] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10827/stat : 10827 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880724405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10828] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10828/stat : 10828 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880723352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10829] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10829/stat : 10829 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880722299688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10830] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10830/stat : 10830 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880721246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10831] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10831/stat : 10831 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880720194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10832] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10832/stat : 10832 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880719141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10833] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10833/stat : 10833 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880718088488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10834] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10834/stat : 10834 (java) S 10822 10824 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880717035688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10835] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10835/stat : 10835 (java) S 10822 10824 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339399647 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880586779624 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10836] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10836/stat : 10836 (java) S 10822 10824 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880585725688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10837] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10837/stat : 10837 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880584672776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10838] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10838/stat : 10838 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880583621264 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10839] ppid=10822 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/10824/task/10839/stat : 10839 (java) S 10822 10824 7854 0 -1 4202560 5968 0 0 0 67 2 0 0 20 0 19 0 339399650 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880582568376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10840] ppid=10822 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/10824/task/10840/stat : 10840 (java) S 10822 10824 7854 0 -1 4202560 5838 0 0 0 50 2 0 0 20 0 19 0 339399650 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880581515576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10841] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10841/stat : 10841 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880580462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10842] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10842/stat : 10842 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 98776 33554432000 1073741824 1073778376 140736190832240 139880579410376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 3024420

[startup+3.10062 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 10843
/proc/meminfo: memFree=27598312/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=3024420 CPUtime=4.47 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 16964 0 1 0 434 13 0 0 20 0 19 0 339399644 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 756105 119284 2290 9 0 746526 0
[pid=10824/tid=10826] ppid=10822 vsize=3024420 CPUtime=3.03 cores=0,2,4,6
/proc/10824/task/10826/stat : 10826 (java) R 10822 10824 7854 0 -1 4202560 3243 0 1 0 295 8 0 0 20 0 19 0 339399645 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880740977976 139880592796501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10827] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10827/stat : 10827 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880724405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10828] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10828/stat : 10828 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880723352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10829] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10829/stat : 10829 (java) S 10822 10824 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880722299688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10830] ppid=10822 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/10824/task/10830/stat : 10830 (java) S 10822 10824 7854 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880721246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10831] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10831/stat : 10831 (java) S 10822 10824 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880720194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10832] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10832/stat : 10832 (java) S 10822 10824 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880719141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10833] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10833/stat : 10833 (java) S 10822 10824 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880718088488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10834] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10834/stat : 10834 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880717035688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10835] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10835/stat : 10835 (java) S 10822 10824 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339399647 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880586779624 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10836] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10836/stat : 10836 (java) S 10822 10824 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880585725688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10837] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10837/stat : 10837 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880584672776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10838] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10838/stat : 10838 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880583621264 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10839] ppid=10822 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/10824/task/10839/stat : 10839 (java) S 10822 10824 7854 0 -1 4202560 5968 0 0 0 67 2 0 0 20 0 19 0 339399650 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880582568376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10840] ppid=10822 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/10824/task/10840/stat : 10840 (java) S 10822 10824 7854 0 -1 4202560 6487 0 0 0 57 2 0 0 20 0 19 0 339399650 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880581515576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10841] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10841/stat : 10841 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880580462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10842] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10842/stat : 10842 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880579410376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10843] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10843/stat : 10843 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399766 3097006080 119284 33554432000 1073741824 1073778376 140736190832240 139880577279656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 10843
/proc/meminfo: memFree=27573424/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=3024420 CPUtime=7.81 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 17032 0 1 0 765 16 0 0 20 0 19 0 339399644 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 756105 126298 2290 9 0 746526 0
[pid=10824/tid=10826] ppid=10822 vsize=3024420 CPUtime=6.19 cores=0,2,4,6
/proc/10824/task/10826/stat : 10826 (java) R 10822 10824 7854 0 -1 4202560 3246 0 1 0 611 8 0 0 20 0 19 0 339399645 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880740978000 139880593034512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10827] ppid=10822 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/10824/task/10827/stat : 10827 (java) S 10822 10824 7854 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880724405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10828] ppid=10822 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/10824/task/10828/stat : 10828 (java) S 10822 10824 7854 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880723352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10829] ppid=10822 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10824/task/10829/stat : 10829 (java) S 10822 10824 7854 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880722299688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10830] ppid=10822 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/10824/task/10830/stat : 10830 (java) S 10822 10824 7854 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880721246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10831] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10831/stat : 10831 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880720194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10832] ppid=10822 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/10824/task/10832/stat : 10832 (java) S 10822 10824 7854 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880719141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10833] ppid=10822 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10824/task/10833/stat : 10833 (java) S 10822 10824 7854 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880718088488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10834] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10834/stat : 10834 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399646 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880717035688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10835] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10835/stat : 10835 (java) S 10822 10824 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339399647 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880586779624 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10836] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10836/stat : 10836 (java) S 10822 10824 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880585725688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10837] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10837/stat : 10837 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880584672776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10838] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10838/stat : 10838 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880583621264 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10839] ppid=10822 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/10824/task/10839/stat : 10839 (java) S 10822 10824 7854 0 -1 4202560 5968 0 0 0 68 2 0 0 20 0 19 0 339399650 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880582568376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10840] ppid=10822 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/10824/task/10840/stat : 10840 (java) S 10822 10824 7854 0 -1 4202560 6487 0 0 0 59 2 0 0 20 0 19 0 339399650 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880581515576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10841] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10841/stat : 10841 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880580462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10842] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10842/stat : 10842 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880579410376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10843] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10843/stat : 10843 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399766 3097006080 126298 33554432000 1073741824 1073778376 140736190832240 139880577279656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 10843
/proc/meminfo: memFree=27531820/32873648 swapFree=7116/7116

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

[pid=10824/tid=10832] ppid=10822 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/10824/task/10832/stat : 10832 (java) S 10822 10824 7854 0 -1 4202560 404 0 0 0 194 16 0 0 20 0 19 0 339399646 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880719141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10833] ppid=10822 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/10824/task/10833/stat : 10833 (java) S 10822 10824 7854 0 -1 4202560 347 0 0 0 192 15 0 0 20 0 19 0 339399646 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880718088488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10834] ppid=10822 vsize=3024420 CPUtime=2.06 cores=0,2,4,6
/proc/10824/task/10834/stat : 10834 (java) S 10822 10824 7854 0 -1 4202560 381 0 0 0 189 17 0 0 20 0 19 0 339399646 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880717035688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10835] ppid=10822 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/10824/task/10835/stat : 10835 (java) S 10822 10824 7854 0 -1 4202560 123 0 0 0 62 2 0 0 20 0 19 0 339399647 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880586779624 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10836] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10836/stat : 10836 (java) S 10822 10824 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880585725688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10837] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10837/stat : 10837 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880584672776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10838] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10838/stat : 10838 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880583621264 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10839] ppid=10822 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/10824/task/10839/stat : 10839 (java) S 10822 10824 7854 0 -1 4202560 5972 0 0 0 74 2 0 0 20 0 19 0 339399650 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880582568376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10840] ppid=10822 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/10824/task/10840/stat : 10840 (java) S 10822 10824 7854 0 -1 4202560 6493 0 0 0 61 2 0 0 20 0 19 0 339399650 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880581515576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10841] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10841/stat : 10841 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880580462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10842] ppid=10822 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/10824/task/10842/stat : 10842 (java) S 10822 10824 7854 0 -1 4202560 95 0 0 0 25 31 0 0 20 0 19 0 339399650 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880579410376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10843] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10843/stat : 10843 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399766 3097006080 416410 33554432000 1073741824 1073778376 140736190832240 139880577279656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1676.12
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11031
/proc/meminfo: memFree=26366752/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=3024420 CPUtime=1736.46 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 20523 0 1 0 173472 174 0 0 20 0 19 0 339399644 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 756105 416527 2306 9 0 746526 0
[pid=10824/tid=10826] ppid=10822 vsize=3024420 CPUtime=1716.74 cores=0,2,4,6
/proc/10824/task/10826/stat : 10826 (java) R 10822 10824 7854 0 -1 4202560 3410 0 1 0 171638 36 0 0 20 0 19 0 339399645 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880740977952 139880593020597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10827] ppid=10822 vsize=3024420 CPUtime=2.13 cores=0,2,4,6
/proc/10824/task/10827/stat : 10827 (java) S 10822 10824 7854 0 -1 4202560 409 0 0 0 195 18 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880724405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10828] ppid=10822 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/10824/task/10828/stat : 10828 (java) S 10822 10824 7854 0 -1 4202560 398 0 0 0 196 14 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880723352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10829] ppid=10822 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/10824/task/10829/stat : 10829 (java) S 10822 10824 7854 0 -1 4202560 427 0 0 0 199 15 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880722299688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10830] ppid=10822 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/10824/task/10830/stat : 10830 (java) S 10822 10824 7854 0 -1 4202560 374 0 0 0 192 15 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880721246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10831] ppid=10822 vsize=3024420 CPUtime=2.28 cores=0,2,4,6
/proc/10824/task/10831/stat : 10831 (java) S 10822 10824 7854 0 -1 4202560 496 0 0 0 211 17 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880720194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10832] ppid=10822 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/10824/task/10832/stat : 10832 (java) S 10822 10824 7854 0 -1 4202560 409 0 0 0 200 16 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880719141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10833] ppid=10822 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/10824/task/10833/stat : 10833 (java) S 10822 10824 7854 0 -1 4202560 347 0 0 0 201 15 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880718088488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10834] ppid=10822 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/10824/task/10834/stat : 10834 (java) S 10822 10824 7854 0 -1 4202560 381 0 0 0 193 17 0 0 20 0 19 0 339399646 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880717035688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10835] ppid=10822 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/10824/task/10835/stat : 10835 (java) S 10822 10824 7854 0 -1 4202560 127 0 0 0 62 2 0 0 20 0 19 0 339399647 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880586779624 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10836] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10836/stat : 10836 (java) S 10822 10824 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880585725688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10837] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10837/stat : 10837 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880584672776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10838] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10838/stat : 10838 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880583621264 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10839] ppid=10822 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/10824/task/10839/stat : 10839 (java) S 10822 10824 7854 0 -1 4202560 5972 0 0 0 74 2 0 0 20 0 19 0 339399650 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880582568376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10840] ppid=10822 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/10824/task/10840/stat : 10840 (java) S 10822 10824 7854 0 -1 4202560 6493 0 0 0 61 2 0 0 20 0 19 0 339399650 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880581515576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10841] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10841/stat : 10841 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880580462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10842] ppid=10822 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/10824/task/10842/stat : 10842 (java) S 10822 10824 7854 0 -1 4202560 99 0 0 0 26 31 0 0 20 0 19 0 339399650 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880579410376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10843] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10843/stat : 10843 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399766 3097006080 416527 33554432000 1073741824 1073778376 140736190832240 139880577279656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1736.46
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11031
/proc/meminfo: memFree=26366384/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=3024420 CPUtime=1796.76 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 20605 0 1 0 179501 175 0 0 20 0 19 0 339399644 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 756105 416600 2306 9 0 746526 0
[pid=10824/tid=10826] ppid=10822 vsize=3024420 CPUtime=1776.63 cores=0,2,4,6
/proc/10824/task/10826/stat : 10826 (java) R 10822 10824 7854 0 -1 4202560 3413 0 1 0 177626 37 0 0 20 0 19 0 339399645 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880740977952 139880593020984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10827] ppid=10822 vsize=3024420 CPUtime=2.17 cores=0,2,4,6
/proc/10824/task/10827/stat : 10827 (java) S 10822 10824 7854 0 -1 4202560 423 0 0 0 199 18 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880724405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10828] ppid=10822 vsize=3024420 CPUtime=2.15 cores=0,2,4,6
/proc/10824/task/10828/stat : 10828 (java) S 10822 10824 7854 0 -1 4202560 404 0 0 0 201 14 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880723352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10829] ppid=10822 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/10824/task/10829/stat : 10829 (java) S 10822 10824 7854 0 -1 4202560 427 0 0 0 205 15 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880722299688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10830] ppid=10822 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/10824/task/10830/stat : 10830 (java) S 10822 10824 7854 0 -1 4202560 374 0 0 0 195 15 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880721246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10831] ppid=10822 vsize=3024420 CPUtime=2.36 cores=0,2,4,6
/proc/10824/task/10831/stat : 10831 (java) S 10822 10824 7854 0 -1 4202560 496 0 0 0 219 17 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880720194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10832] ppid=10822 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/10824/task/10832/stat : 10832 (java) S 10822 10824 7854 0 -1 4202560 462 0 0 0 204 16 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880719141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10833] ppid=10822 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/10824/task/10833/stat : 10833 (java) S 10822 10824 7854 0 -1 4202560 347 0 0 0 205 15 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880718088488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10834] ppid=10822 vsize=3024420 CPUtime=2.15 cores=0,2,4,6
/proc/10824/task/10834/stat : 10834 (java) S 10822 10824 7854 0 -1 4202560 381 0 0 0 198 17 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880717035688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10835] ppid=10822 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/10824/task/10835/stat : 10835 (java) S 10822 10824 7854 0 -1 4202560 129 0 0 0 62 2 0 0 20 0 19 0 339399647 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880586779624 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10836] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10836/stat : 10836 (java) S 10822 10824 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880585725688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10837] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10837/stat : 10837 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880584672776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10838] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10838/stat : 10838 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880583621264 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10839] ppid=10822 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/10824/task/10839/stat : 10839 (java) S 10822 10824 7854 0 -1 4202560 5972 0 0 0 74 2 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880582568376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10840] ppid=10822 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/10824/task/10840/stat : 10840 (java) S 10822 10824 7854 0 -1 4202560 6493 0 0 0 61 2 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880581515576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10841] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10841/stat : 10841 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880580462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10842] ppid=10822 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/10824/task/10842/stat : 10842 (java) S 10822 10824 7854 0 -1 4202560 103 0 0 0 27 32 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880579410376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10843] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10843/stat : 10843 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399766 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880577279656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11031
/proc/meminfo: memFree=26366384/32873648 swapFree=7116/7116
[pid=10824] ppid=10822 vsize=3024420 CPUtime=1800.07 cores=0,2,4,6
/proc/10824/stat : 10824 (java) S 10822 10824 7854 0 -1 4202496 20605 0 1 0 179832 175 0 0 20 0 19 0 339399644 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 140736190823376 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 756105 416600 2306 9 0 746526 0
[pid=10824/tid=10826] ppid=10822 vsize=3024420 CPUtime=1779.94 cores=0,2,4,6
/proc/10824/task/10826/stat : 10826 (java) R 10822 10824 7854 0 -1 4202560 3413 0 1 0 177957 37 0 0 20 0 19 0 339399645 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880740977952 139880593034480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10827] ppid=10822 vsize=3024420 CPUtime=2.17 cores=0,2,4,6
/proc/10824/task/10827/stat : 10827 (java) S 10822 10824 7854 0 -1 4202560 423 0 0 0 199 18 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880724405288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10828] ppid=10822 vsize=3024420 CPUtime=2.15 cores=0,2,4,6
/proc/10824/task/10828/stat : 10828 (java) S 10822 10824 7854 0 -1 4202560 404 0 0 0 201 14 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880723352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10829] ppid=10822 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/10824/task/10829/stat : 10829 (java) S 10822 10824 7854 0 -1 4202560 427 0 0 0 205 15 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880722299688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10830] ppid=10822 vsize=3024420 CPUtime=2.1 cores=0,2,4,6
/proc/10824/task/10830/stat : 10830 (java) S 10822 10824 7854 0 -1 4202560 374 0 0 0 195 15 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880721246888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10831] ppid=10822 vsize=3024420 CPUtime=2.36 cores=0,2,4,6
/proc/10824/task/10831/stat : 10831 (java) S 10822 10824 7854 0 -1 4202560 496 0 0 0 219 17 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880720194088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10832] ppid=10822 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/10824/task/10832/stat : 10832 (java) S 10822 10824 7854 0 -1 4202560 462 0 0 0 204 16 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880719141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10833] ppid=10822 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/10824/task/10833/stat : 10833 (java) S 10822 10824 7854 0 -1 4202560 347 0 0 0 205 15 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880718088488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10824/tid=10834] ppid=10822 vsize=3024420 CPUtime=2.15 cores=0,2,4,6
/proc/10824/task/10834/stat : 10834 (java) S 10822 10824 7854 0 -1 4202560 381 0 0 0 198 17 0 0 20 0 19 0 339399646 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880717035688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10835] ppid=10822 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/10824/task/10835/stat : 10835 (java) S 10822 10824 7854 0 -1 4202560 129 0 0 0 62 2 0 0 20 0 19 0 339399647 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880586779624 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10836] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10836/stat : 10836 (java) S 10822 10824 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880585725688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10837] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10837/stat : 10837 (java) S 10822 10824 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339399648 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880584672776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10838] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10838/stat : 10838 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880583621264 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10839] ppid=10822 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/10824/task/10839/stat : 10839 (java) S 10822 10824 7854 0 -1 4202560 5972 0 0 0 74 2 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880582568376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10824/tid=10840] ppid=10822 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/10824/task/10840/stat : 10840 (java) S 10822 10824 7854 0 -1 4202560 6493 0 0 0 61 2 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880581515576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10841] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10841/stat : 10841 (java) S 10822 10824 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880580462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10824/tid=10842] ppid=10822 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/10824/task/10842/stat : 10842 (java) S 10822 10824 7854 0 -1 4202560 103 0 0 0 27 33 0 0 20 0 19 0 339399650 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880579410376 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10824/tid=10843] ppid=10822 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10824/task/10843/stat : 10843 (java) S 10822 10824 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339399766 3097006080 416600 33554432000 1073741824 1073778376 140736190832240 139880577279656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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
Real time (s): 1785.62
CPU time (s): 1800.37
CPU user time (s): 1798.21
CPU system time (s): 2.16267
CPU usage (%): 100.826
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 2.16267
maximum resident set size= 1666516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20638
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42848
involuntary context switches= 41331

runsolver used 8.12276 second user time and 13.26 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 16:12:22
IDJOB=3739611
IDBENCH=73867
IDSOLVER=2319
FILE ID=node127/3739611-1338732742
RUNJOBID= node127-1338713637-7870
PBS_JOBID= 14636737
Free space on /tmp= 70472 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739611-1338732742/watcher-3739611-1338732742 -o /tmp/evaluation-result-3739611-1338732742/solver-3739611-1338732742 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3739611-1338732742.opb           

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

MD5SUM BENCH= 56cc40b9ea431027514a5b56e02d7edb
RANDOM SEED=2108286843

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.348
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.348
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.348
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:       32873648 kB
MemFree:        28041712 kB
Buffers:          403132 kB
Cached:          1912268 kB
SwapCached:         1428 kB
Active:          2661560 kB
Inactive:        1285820 kB
Active(anon):    1626372 kB
Inactive(anon):     7952 kB
Active(file):    1035188 kB
Inactive(file):  1277868 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104508 kB
Dirty:              7616 kB
Writeback:             0 kB
AnonPages:       1637212 kB
Mapped:            19148 kB
Shmem:                92 kB
Slab:             746204 kB
SReclaimable:     190172 kB
SUnreclaim:       556032 kB
KernelStack:        1608 kB
PageTables:         7296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1826368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1595392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70468 MiB
End job on node127 at 2012-06-03 16:42:10