Trace number 3732319

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23No Cert. 482.42 478.345

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-apex4.a.opb
MD5SUM59d685b710ba34babb28c57a0abba1bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark776
Best CPU time to get the best result obtained on this benchmark2.16067
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 776
Optimality of the best value was proved NO
Number of variables4316
Total number of constraints11912
Number of constraints which are clauses11912
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint160
Number of terms in the objective function 4316
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4316
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4316
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3732319-1338690150.opb
0.07/0.12	c reading problem ... 
0.92/0.51	c ... done. Wall clock time 0.393s.
0.92/0.51	c CPU time (experimental) 0.47s.
0.92/0.51	c #vars     4316
0.92/0.51	c #constraints  8778
1.17/0.60	c SATISFIABLE
1.17/0.60	c OPTIMIZING...
1.17/0.60	c Got one! Elapsed wall clock time (in seconds):0.484
1.17/0.61	o 848
1.40/0.72	c Got one! Elapsed wall clock time (in seconds):0.605
1.40/0.73	o 844
150.71/148.19	c cleaning 262493 clauses out of 525009 for limit 252.59527175450611
152.82/150.28	c cleaning 131501 clauses out of 263016 for limit 831.5065672637584
153.42/150.88	c cleaning 65993 clauses out of 132015 for limit 2731.9985168810704
153.82/151.26	c cleaning 33236 clauses out of 66522 for limit 8941.169508244027
154.12/151.54	c cleaning 16867 clauses out of 33786 for limit 29032.119017081823
154.32/151.78	c cleaning 8686 clauses out of 17419 for limit 92864.1699367595
154.52/151.95	c cleaning 4594 clauses out of 9233 for limit 288924.5541452194
154.72/152.10	c cleaning 2547 clauses out of 5139 for limit 856060.6935276084
154.82/152.25	c cleaning 1521 clauses out of 3092 for limit 2346386.63422903
154.92/152.40	c cleaning 1011 clauses out of 2071 for limit 5777166.037299834
155.12/152.53	c cleaning 757 clauses out of 1560 for limit 1.2648127562258704E7
155.22/152.67	c cleaning 627 clauses out of 1303 for limit 2.497251637972458E7
155.42/152.81	c cleaning 588 clauses out of 1176 for limit 4.563050630659094E7
155.52/152.95	c cleaning 544 clauses out of 1088 for limit 8.133727175150873E7
155.62/153.09	c cleaning 522 clauses out of 1044 for limit 1.3978928538263902E8
155.82/153.23	c cleaning 488 clauses out of 1022 for limit 2.354937441213013E8
155.92/153.37	c cleaning 493 clauses out of 1034 for limit 3.83853600559081E8
156.12/153.51	c cleaning 520 clauses out of 1041 for limit 6.287692797707869E8
156.22/153.65	c cleaning 488 clauses out of 1021 for limit 1.0572365999536151E9
156.32/153.79	c cleaning 516 clauses out of 1033 for limit 1.7232706720730932E9
156.52/153.93	c cleaning 508 clauses out of 1017 for limit 2.886614258694855E9
156.62/154.07	c cleaning 504 clauses out of 1009 for limit 4.798156689041114E9
156.82/154.21	c cleaning 478 clauses out of 1005 for limit 7.944296006509619E9
156.92/154.35	c cleaning 488 clauses out of 1027 for limit 1.282055785594804E10
157.02/154.49	c cleaning 493 clauses out of 1039 for limit 2.0898624651799786E10
157.22/154.62	c cleaning 496 clauses out of 1046 for limit 3.4233984994014244E10
157.32/154.76	c cleaning 501 clauses out of 1050 for limit 5.624134891572344E10
157.52/154.90	c cleaning 524 clauses out of 1049 for limit 9.283792526676195E10
157.62/155.04	c cleaning 512 clauses out of 1025 for limit 1.566869894262958E11
157.72/155.18	c cleaning 477 clauses out of 1013 for limit 2.61458787703609E11
157.92/155.32	c cleaning 493 clauses out of 1036 for limit 4.216079777909311E11
158.02/155.46	c cleaning 495 clauses out of 1043 for limit 6.90621594955371E11
158.12/155.60	c cleaning 524 clauses out of 1048 for limit 1.1334935858551885E12
158.32/155.73	c cleaning 485 clauses out of 1024 for limit 1.9130938691139563E12
158.42/155.87	c cleaning 495 clauses out of 1039 for limit 3.1093998696351055E12
158.62/156.01	c cleaning 522 clauses out of 1044 for limit 5.103257845662654E12
158.72/156.15	c cleaning 511 clauses out of 1022 for limit 8.597120258551364E12
158.82/156.29	c cleaning 505 clauses out of 1011 for limit 1.4332060375381549E13
159.02/156.43	c cleaning 503 clauses out of 1006 for limit 2.3752957456545035E13
159.12/156.57	c cleaning 481 clauses out of 1003 for limit 3.928896838125561E13
159.32/156.71	c cleaning 488 clauses out of 1022 for limit 6.3588202680412695E13
159.42/156.85	c cleaning 493 clauses out of 1034 for limit 1.0364844570726422E14
159.52/156.98	c cleaning 520 clauses out of 1041 for limit 1.697807665781875E14
159.72/157.12	c cleaning 510 clauses out of 1021 for limit 2.854758433174027E14
159.82/157.26	c cleaning 483 clauses out of 1011 for limit 4.754445112556669E14
160.02/157.40	c cleaning 489 clauses out of 1028 for limit 7.711054382501704E14
160.12/157.54	c cleaning 498 clauses out of 1039 for limit 1.2581928710253302E15
160.22/157.68	c cleaning 520 clauses out of 1041 for limit 2.0709419485912032E15
160.42/157.82	c cleaning 510 clauses out of 1021 for limit 3.4821606189603255E15
160.52/157.97	c cleaning 482 clauses out of 1011 for limit 5.799349375262524E15
160.72/158.11	c cleaning 514 clauses out of 1029 for limit 9.396604349134162E15
160.82/158.26	c cleaning 507 clauses out of 1015 for limit 1.5709999111472264E16
161.02/158.40	c cleaning 504 clauses out of 1008 for limit 2.6087806084932964E16
161.12/158.55	c cleaning 502 clauses out of 1004 for limit 4.319368571304888E16
161.22/158.69	c cleaning 501 clauses out of 1002 for limit 7.1374346060946496E16
161.42/158.83	c cleaning 479 clauses out of 1001 for limit 0.0011782343320037812
161.51/158.98	c cleaning 489 clauses out of 1022 for limit 0.001903140020428625
161.71/159.13	c cleaning 493 clauses out of 1033 for limit 0.0031051115256633976
161.81/159.27	c cleaning 500 clauses out of 1040 for limit 0.005086277752032669
162.02/159.42	c cleaning 498 clauses out of 1040 for limit 0.008387952443166168
162.13/159.57	c cleaning 500 clauses out of 1042 for limit 0.013806305112229028
162.32/159.72	c cleaning 494 clauses out of 1042 for limit 0.02276844410451986
162.42/159.86	c cleaning 498 clauses out of 1048 for limit 0.03733323956702026
162.62/160.01	c cleaning 501 clauses out of 1050 for limit 0.06145023495669599
162.72/160.16	c cleaning 499 clauses out of 1049 for limit 0.101436264074736
162.94/160.31	c cleaning 500 clauses out of 1050 for limit 0.1671226531985775
163.04/160.45	c cleaning 501 clauses out of 1050 for limit 0.27560761239301174
163.15/160.60	c cleaning 499 clauses out of 1049 for limit 0.4549471059208496
163.34/160.75	c cleaning 500 clauses out of 1050 for limit 0.7495540978371185
328.32/325.06	c cleaning 265264 clauses out of 530550 for limit 2.900722558454428E7
336.42/333.13	c cleaning 132886 clauses out of 265786 for limit 9.54896490250641E7
339.32/336.07	c cleaning 66683 clauses out of 133400 for limit 3.137534107995555E8
339.83/336.60	c cleaning 33588 clauses out of 67217 for limit 1.0268831957443874E9
340.22/336.95	c cleaning 17046 clauses out of 34129 for limit 3.335281510638129E9
340.42/337.15	c cleaning 8770 clauses out of 17583 for limit 1.0676255785412127E10
340.52/337.28	c cleaning 4639 clauses out of 9313 for limit 3.3241317646454063E10
340.62/337.39	c cleaning 2569 clauses out of 5174 for limit 9.867276450440668E10
340.72/337.50	c cleaning 1531 clauses out of 3105 for limit 2.7115524084840195E11
340.82/337.60	c cleaning 1017 clauses out of 2074 for limit 6.694632511926635E11
340.93/337.70	c cleaning 756 clauses out of 1557 for limit 1.4706277911923848E12
341.12/337.80	c cleaning 630 clauses out of 1301 for limit 2.902484918604065E12
341.22/337.90	c cleaning 570 clauses out of 1171 for limit 5.317974619693567E12
341.32/338.00	c cleaning 550 clauses out of 1101 for limit 9.32763886731128E12
341.42/338.11	c cleaning 525 clauses out of 1051 for limit 1.6114328523178627E13
341.52/338.21	c cleaning 494 clauses out of 1026 for limit 2.722221474468413E13
341.62/338.31	c cleaning 516 clauses out of 1032 for limit 4.4632067593482875E13
341.72/338.41	c cleaning 508 clauses out of 1016 for limit 7.476337228374533E13
341.82/338.51	c cleaning 488 clauses out of 1008 for limit 1.242733327399582E14
341.92/338.61	c cleaning 510 clauses out of 1020 for limit 2.025322524339511E14
342.03/338.71	c cleaning 505 clauses out of 1010 for limit 3.37309736746981E14
342.13/338.81	c cleaning 502 clauses out of 1005 for limit 5.59036387252632E14
342.22/338.91	c cleaning 482 clauses out of 1003 for limit 9.237641256980449E14
342.32/339.01	c cleaning 510 clauses out of 1021 for limit 1.4965532361376972E15
342.42/339.11	c cleaning 489 clauses out of 1011 for limit 2.492428128612166E15
342.52/339.21	c cleaning 490 clauses out of 1022 for limit 4.066106885242519E15
342.62/339.31	c cleaning 498 clauses out of 1032 for limit 6.640577907349006E15
342.72/339.41	c cleaning 499 clauses out of 1034 for limit 1.0930019122236312E16
342.82/339.51	c cleaning 498 clauses out of 1035 for limit 1.8007648203859562E16
342.92/339.61	c cleaning 518 clauses out of 1037 for limit 2.9639746036673624E16
343.02/339.71	c cleaning 509 clauses out of 1019 for limit 4.9743339434410856E16
343.13/339.81	c cleaning 505 clauses out of 1010 for limit 8.27644121548624E16
343.23/339.90	c cleaning 482 clauses out of 1005 for limit 0.001371686403433063
343.32/340.01	c cleaning 489 clauses out of 1023 for limit 0.0022222921330265215
343.42/340.11	c cleaning 497 clauses out of 1034 for limit 0.0036258691796421934
343.52/340.21	c cleaning 499 clauses out of 1037 for limit 0.00596224475486981
343.62/340.31	c cleaning 498 clauses out of 1038 for limit 0.009823066634481126
343.72/340.41	c cleaning 501 clauses out of 1040 for limit 0.016168398003936893
343.82/340.51	c cleaning 501 clauses out of 1039 for limit 0.026689514272572712
343.92/340.62	c cleaning 498 clauses out of 1038 for limit 0.044056982750589106
344.02/340.72	c cleaning 503 clauses out of 1040 for limit 0.07251613558882612
344.12/340.82	c cleaning 499 clauses out of 1037 for limit 0.1199347743161775
344.23/340.92	c cleaning 500 clauses out of 1038 for limit 0.1975979397586797
344.33/341.02	c cleaning 499 clauses out of 1038 for limit 0.32586543684151825
344.42/341.12	c cleaning 499 clauses out of 1039 for limit 0.5368784748856411
344.52/341.23	c cleaning 500 clauses out of 1040 for limit 0.8845330962236438
344.62/341.33	c cleaning 500 clauses out of 1040 for limit 1.4587134063933787
344.72/341.43	c cleaning 501 clauses out of 1040 for limit 2.4056135503309353
344.82/341.53	c cleaning 498 clauses out of 1039 for limit 3.970996827899611
344.92/341.64	c cleaning 499 clauses out of 1041 for limit 6.536123433856533
345.02/341.74	c cleaning 504 clauses out of 1042 for limit 10.768597455358481
345.12/341.84	c cleaning 498 clauses out of 1038 for limit 17.827292705901506
345.22/341.94	c cleaning 501 clauses out of 1040 for limit 29.343052890419603
345.33/342.04	c cleaning 497 clauses out of 1039 for limit 48.43719388457767
345.43/342.15	c cleaning 502 clauses out of 1042 for limit 79.64943341277548
345.52/342.25	c cleaning 501 clauses out of 1040 for limit 131.60517210633012
345.62/342.35	c cleaning 497 clauses out of 1039 for limit 217.24342253456587
345.72/342.45	c cleaning 500 clauses out of 1042 for limit 357.2319973523429
345.82/342.55	c cleaning 500 clauses out of 1042 for limit 589.1233532756286
345.92/342.66	c cleaning 500 clauses out of 1042 for limit 971.543221063719
346.02/342.76	c cleaning 501 clauses out of 1042 for limit 1602.2047422609146
346.12/342.86	c cleaning 503 clauses out of 1041 for limit 2644.7881435027452
346.22/342.96	c cleaning 503 clauses out of 1038 for limit 4374.215269757719
346.32/343.06	c cleaning 498 clauses out of 1035 for limit 7234.57532913195
346.43/343.17	c cleaning 503 clauses out of 1037 for limit 11907.772353787788
346.53/343.27	c cleaning 500 clauses out of 1034 for limit 19694.484971039637
346.62/343.37	c cleaning 500 clauses out of 1034 for limit 32478.840398307493
346.72/343.47	c cleaning 501 clauses out of 1034 for limit 53561.95275834344
473.31/469.21	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
480.32/476.28	c starts		: 25
480.32/476.29	c conflicts		: 1594777
480.32/476.29	c decisions		: 2655022
480.32/476.29	c propagations		: 20514229
480.32/476.29	c inspects		: 191263779
480.32/476.29	c learnt literals	: 0
480.32/476.29	c learnt binary clauses	: 3
480.32/476.29	c learnt ternary clauses	: 6
480.32/476.29	c learnt clauses	: 1594776
480.32/476.29	c root simplifications	: 0
480.32/476.29	c removed literals (reason simplification)	: 0
480.32/476.29	c reason swapping (by a shorter reason)	: 0
480.32/476.29	c Calls to reduceDB	: 137
480.32/476.29	c speed (decisions/second)	: 5583.243259157074
480.32/476.29	c non guided choices	40634
480.92/476.89	s SATISFIABLE
482.02/477.92	Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded
482.02/477.92		at java.lang.Integer.toString(Integer.java:308)
482.02/477.92		at java.lang.Integer.toString(Integer.java:118)
482.02/477.92		at java.lang.String.valueOf(String.java:2931)

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-3732319-1338690150/watcher-3732319-1338690150 -o /tmp/evaluation-result-3732319-1338690150/solver-3732319-1338690150 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732319-1338690150.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: 2.00 2.02 2.00 3/194 18066
/proc/meminfo: memFree=28080656/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (java) D 18064 18066 15565 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 335139858 9515008 183 33554432000 1073741824 1073778376 140737136100624 140737136091656 233220947637 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 2323 183 140 9 0 71 0

[startup+0.00769992 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18066
/proc/meminfo: memFree=28080656/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (java) R 18064 18066 15565 0 -1 4202496 287 0 0 0 0 0 0 0 20 0 1 0 335139858 278528 34 33554432000 1073741824 1073778376 140737124962976 140737136091848 233211784487 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18066/statm: 68 34 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.100189 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18066
/proc/meminfo: memFree=28080656/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 4137 0 1 0 6 1 0 0 20 0 18 0 335139858 3028844544 5854 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 739464 5855 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300239 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18066
/proc/meminfo: memFree=28080656/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 8061 0 1 0 44 2 0 0 20 0 18 0 335139858 3028844544 10828 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 739464 10834 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856

[startup+0.700232 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 18066
/proc/meminfo: memFree=28080656/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=3024420 CPUtime=1.4 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 11363 0 1 0 136 4 0 0 20 0 19 0 335139858 3097006080 22891 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 756105 22891 2277 9 0 746526 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 3024420

[startup+1.50062 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 18087
/proc/meminfo: memFree=27990232/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=3024420 CPUtime=2.49 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 11825 0 1 0 245 4 0 0 20 0 19 0 335139858 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 756105 26005 2281 9 0 746526 0
[pid=18066/tid=18068] ppid=18064 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (java) R 18064 18066 15565 0 -1 4202560 3070 0 1 0 143 3 0 0 20 0 19 0 335139859 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865977430200 139865828955332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865960856360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18070] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18070/stat : 18070 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865959803560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18071] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18071/stat : 18071 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865958751272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18072] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18072/stat : 18072 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865957698472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18073] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18073/stat : 18073 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865956645160 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18074] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18074/stat : 18074 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865955592360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18075] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18075/stat : 18075 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865954540072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18076] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18076/stat : 18076 (java) S 18064 18066 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865953487272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18077] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18077/stat : 18077 (java) S 18064 18066 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865822829288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18078] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18078/stat : 18078 (java) S 18064 18066 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865821775352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18079] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18079/stat : 18079 (java) S 18064 18066 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865820722952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18080] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18080/stat : 18080 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865819671440 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18081] ppid=18064 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/18066/task/18081/stat : 18081 (java) S 18064 18066 15565 0 -1 4202560 3469 0 0 0 52 0 0 0 20 0 19 0 335139865 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865818618040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18082] ppid=18064 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18066/task/18082/stat : 18082 (java) S 18064 18066 15565 0 -1 4202560 4085 0 0 0 47 0 0 0 20 0 19 0 335139865 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865817565240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18083] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18083/stat : 18083 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865816513144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18084] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18084/stat : 18084 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865815460552 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18087] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18087/stat : 18087 (java) S 18064 18066 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335139933 3097006080 26005 33554432000 1073741824 1073778376 140737124962976 139865813329576 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 1.92 2.00 1.99 3/213 18087
/proc/meminfo: memFree=27975524/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=3024420 CPUtime=4.08 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 11835 0 1 0 404 4 0 0 20 0 19 0 335139858 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 756105 30102 2281 9 0 746526 0
[pid=18066/tid=18068] ppid=18064 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (java) R 18064 18066 15565 0 -1 4202560 3079 0 1 0 303 3 0 0 20 0 19 0 335139859 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865977430440 139865828955371 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865960856360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18070] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18070/stat : 18070 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865959803560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18071] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18071/stat : 18071 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865958751272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18072] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18072/stat : 18072 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865957698472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18073] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18073/stat : 18073 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865956645160 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18074] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18074/stat : 18074 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865955592360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18075] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18075/stat : 18075 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865954540072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18076] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18076/stat : 18076 (java) S 18064 18066 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865953487272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18077] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18077/stat : 18077 (java) S 18064 18066 15565 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865822829288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18078] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18078/stat : 18078 (java) S 18064 18066 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865821775352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18079] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18079/stat : 18079 (java) S 18064 18066 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865820722952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18080] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18080/stat : 18080 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865819671440 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18081] ppid=18064 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/18066/task/18081/stat : 18081 (java) S 18064 18066 15565 0 -1 4202560 3469 0 0 0 52 0 0 0 20 0 19 0 335139865 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865818618040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18082] ppid=18064 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/18066/task/18082/stat : 18082 (java) S 18064 18066 15565 0 -1 4202560 4085 0 0 0 48 0 0 0 20 0 19 0 335139865 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865817565240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18083] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18083/stat : 18083 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865816513144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18084] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18084/stat : 18084 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865815460552 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18087] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18087/stat : 18087 (java) S 18064 18066 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335139933 3097006080 30102 33554432000 1073741824 1073778376 140737124962976 139865813329576 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 3024420

[startup+6.30063 s]
/proc/loadavg: 1.92 2.00 1.99 3/213 18087
/proc/meminfo: memFree=27955044/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=3024420 CPUtime=7.35 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 11985 0 1 0 730 5 0 0 20 0 19 0 335139858 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 756105 34133 2281 9 0 746526 0
[pid=18066/tid=18068] ppid=18064 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (java) R 18064 18066 15565 0 -1 4202560 3088 0 1 0 622 3 0 0 20 0 19 0 335139859 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865977428352 139865828955379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865960856360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18070] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18070/stat : 18070 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865959803560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18071] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18071/stat : 18071 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865958751272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18072] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18072/stat : 18072 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865957698472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18073] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18073/stat : 18073 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865956645160 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18074] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18074/stat : 18074 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865955592360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18075] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18075/stat : 18075 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865954540072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18076] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18076/stat : 18076 (java) S 18064 18066 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335139860 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865953487272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18077] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18077/stat : 18077 (java) S 18064 18066 15565 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865822829288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18078] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18078/stat : 18078 (java) S 18064 18066 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865821775352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18079] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18079/stat : 18079 (java) S 18064 18066 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335139862 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865820722952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18080] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18080/stat : 18080 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865819671440 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18081] ppid=18064 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18066/task/18081/stat : 18081 (java) S 18064 18066 15565 0 -1 4202560 3469 0 0 0 55 0 0 0 20 0 19 0 335139865 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865818618040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18082] ppid=18064 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/18066/task/18082/stat : 18082 (java) S 18064 18066 15565 0 -1 4202560 4226 0 0 0 51 0 0 0 20 0 19 0 335139865 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865817565240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18083] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18083/stat : 18083 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865816513144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18084] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18084/stat : 18084 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335139865 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865815460552 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18087] ppid=18064 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18087/stat : 18087 (java) S 18064 18066 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335139933 3097006080 34133 33554432000 1073741824 1073778376 140737124962976 139865813329576 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/18066/task/18080/stat : 18080 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419661 33554432000 1073741824 1073778376 140737124962976 139865819671440 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18081] ppid=18064 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/18066/task/18081/stat : 18081 (java) S 18064 18066 15565 0 -1 4202560 3477 0 0 0 65 0 0 0 20 0 20 0 335139865 3165167616 419661 33554432000 1073741824 1073778376 140737124962976 139865818618040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18082] ppid=18064 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/18066/task/18082/stat : 18082 (java) S 18064 18066 15565 0 -1 4202560 4229 0 0 0 54 0 0 0 20 0 20 0 335139865 3165167616 419661 33554432000 1073741824 1073778376 140737124962976 139865817565240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18083] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18083/stat : 18083 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419661 33554432000 1073741824 1073778376 140737124962976 139865816513144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18084] ppid=18064 vsize=3090984 CPUtime=0.16 cores=0,2,4,6
/proc/18066/task/18084/stat : 18084 (java) S 18064 18066 15565 0 -1 4202560 27 0 0 0 8 8 0 0 20 0 20 0 335139865 3165167616 419661 33554432000 1073741824 1073778376 140737124962976 139865815460552 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18087] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18087/stat : 18087 (java) S 18064 18066 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335139933 3165167616 419661 33554432000 1073741824 1073778376 140737124962976 139865813329576 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18217] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18217/stat : 18217 (java) S 18064 18066 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335187376 3165167616 419661 33554432000 1073741824 1073778376 140737124962976 139864670462216 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 480.82
Current children cumulated vsize (KiB) 3090984

[startup+477.501 s]
/proc/loadavg: 2.01 2.02 2.00 3/215 18217
/proc/meminfo: memFree=26019744/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=3090984 CPUtime=481.62 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 15613 0 1 0 48029 133 0 0 20 0 20 0 335139858 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 772746 419662 2308 9 0 763167 0
[pid=18066/tid=18068] ppid=18064 vsize=3090984 CPUtime=462.86 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (java) S 18064 18066 15565 0 -1 4202560 3280 0 1 0 46271 15 0 0 20 0 20 0 335139859 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865977431224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (java) S 18064 18066 15565 0 -1 4202560 500 0 0 0 45 13 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865960856360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18070] ppid=18064 vsize=3090984 CPUtime=0.41 cores=0,2,4,6
/proc/18066/task/18070/stat : 18070 (java) S 18064 18066 15565 0 -1 4202560 306 0 0 0 27 14 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865959803560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18071] ppid=18064 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/18066/task/18071/stat : 18071 (java) S 18064 18066 15565 0 -1 4202560 419 0 0 0 35 21 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865958751272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18072] ppid=18064 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/18066/task/18072/stat : 18072 (java) S 18064 18066 15565 0 -1 4202560 282 0 0 0 28 18 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865957698472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18073] ppid=18064 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18066/task/18073/stat : 18073 (java) S 18064 18066 15565 0 -1 4202560 451 0 0 0 29 10 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865956645160 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18074] ppid=18064 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/18066/task/18074/stat : 18074 (java) S 18064 18066 15565 0 -1 4202560 323 0 0 0 35 13 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865955592360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18075] ppid=18064 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/18066/task/18075/stat : 18075 (java) S 18064 18066 15565 0 -1 4202560 455 0 0 0 41 11 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865954540072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18076] ppid=18064 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/18066/task/18076/stat : 18076 (java) S 18064 18066 15565 0 -1 4202560 408 0 0 0 30 12 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865953487272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18077] ppid=18064 vsize=3090984 CPUtime=12.32 cores=0,2,4,6
/proc/18066/task/18077/stat : 18077 (java) R 18064 18066 15565 0 -1 4202560 246 0 0 0 1226 6 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865822829288 139865983938632 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18078] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18078/stat : 18078 (java) S 18064 18066 15565 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865821775352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18079] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18079/stat : 18079 (java) S 18064 18066 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865820722952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18080] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18080/stat : 18080 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865819671440 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18081] ppid=18064 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/18066/task/18081/stat : 18081 (java) S 18064 18066 15565 0 -1 4202560 3477 0 0 0 65 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865818618040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18082] ppid=18064 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/18066/task/18082/stat : 18082 (java) S 18064 18066 15565 0 -1 4202560 4229 0 0 0 54 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865817565240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18083] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18083/stat : 18083 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865816513144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18084] ppid=18064 vsize=3090984 CPUtime=0.16 cores=0,2,4,6
/proc/18066/task/18084/stat : 18084 (java) S 18064 18066 15565 0 -1 4202560 27 0 0 0 8 8 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865815460552 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18087] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18087/stat : 18087 (java) S 18064 18066 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335139933 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865813329576 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18217] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18217/stat : 18217 (java) S 18064 18066 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 335187376 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139864670462968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 481.62
Current children cumulated vsize (KiB) 3090984

[startup+477.901 s]
/proc/loadavg: 2.01 2.02 2.00 3/215 18217
/proc/meminfo: memFree=26019744/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=3090984 CPUtime=482.02 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 15615 0 1 0 48069 133 0 0 20 0 20 0 335139858 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 772746 419662 2308 9 0 763167 0
[pid=18066/tid=18068] ppid=18064 vsize=3090984 CPUtime=462.86 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (java) S 18064 18066 15565 0 -1 4202560 3280 0 1 0 46271 15 0 0 20 0 20 0 335139859 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865977431224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (java) S 18064 18066 15565 0 -1 4202560 500 0 0 0 45 13 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865960856360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18070] ppid=18064 vsize=3090984 CPUtime=0.41 cores=0,2,4,6
/proc/18066/task/18070/stat : 18070 (java) S 18064 18066 15565 0 -1 4202560 306 0 0 0 27 14 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865959803560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18071] ppid=18064 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/18066/task/18071/stat : 18071 (java) S 18064 18066 15565 0 -1 4202560 419 0 0 0 35 21 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865958751272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18072] ppid=18064 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/18066/task/18072/stat : 18072 (java) S 18064 18066 15565 0 -1 4202560 282 0 0 0 28 18 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865957698472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18073] ppid=18064 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18066/task/18073/stat : 18073 (java) S 18064 18066 15565 0 -1 4202560 451 0 0 0 29 10 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865956645160 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18074] ppid=18064 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/18066/task/18074/stat : 18074 (java) S 18064 18066 15565 0 -1 4202560 323 0 0 0 35 13 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865955592360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18075] ppid=18064 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/18066/task/18075/stat : 18075 (java) S 18064 18066 15565 0 -1 4202560 455 0 0 0 41 11 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865954540072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18076] ppid=18064 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/18066/task/18076/stat : 18076 (java) S 18064 18066 15565 0 -1 4202560 408 0 0 0 30 12 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865953487272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18077] ppid=18064 vsize=3090984 CPUtime=12.72 cores=0,2,4,6
/proc/18066/task/18077/stat : 18077 (java) R 18064 18066 15565 0 -1 4202560 246 0 0 0 1266 6 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865822829288 139865984285972 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18078] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18078/stat : 18078 (java) S 18064 18066 15565 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865821775352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18079] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18079/stat : 18079 (java) S 18064 18066 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865820722952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18080] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18080/stat : 18080 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865819671440 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18081] ppid=18064 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/18066/task/18081/stat : 18081 (java) S 18064 18066 15565 0 -1 4202560 3477 0 0 0 65 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865818618040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18082] ppid=18064 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/18066/task/18082/stat : 18082 (java) S 18064 18066 15565 0 -1 4202560 4229 0 0 0 54 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865817565240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18083] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18083/stat : 18083 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865816513144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18084] ppid=18064 vsize=3090984 CPUtime=0.16 cores=0,2,4,6
/proc/18066/task/18084/stat : 18084 (java) S 18064 18066 15565 0 -1 4202560 27 0 0 0 8 8 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865815460552 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18087] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18087/stat : 18087 (java) S 18064 18066 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335139933 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865813329576 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18217] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18217/stat : 18217 (java) S 18064 18066 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 335187376 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139864670462552 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 482.02
Current children cumulated vsize (KiB) 3090984

[startup+478.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/215 18217
/proc/meminfo: memFree=26019744/32873844 swapFree=7120/7120
[pid=18066] ppid=18064 vsize=3090984 CPUtime=482.42 cores=0,2,4,6
/proc/18066/stat : 18066 (java) S 18064 18066 15565 0 -1 4202496 15617 0 1 0 48109 133 0 0 20 0 20 0 335139858 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 140737124954112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18066/statm: 772746 419662 2308 9 0 763167 0
[pid=18066/tid=18068] ppid=18064 vsize=3090984 CPUtime=462.86 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (java) S 18064 18066 15565 0 -1 4202560 3280 0 1 0 46271 15 0 0 20 0 20 0 335139859 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865977431224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (java) S 18064 18066 15565 0 -1 4202560 500 0 0 0 45 13 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865960856360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18070] ppid=18064 vsize=3090984 CPUtime=0.41 cores=0,2,4,6
/proc/18066/task/18070/stat : 18070 (java) S 18064 18066 15565 0 -1 4202560 306 0 0 0 27 14 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865959803560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18071] ppid=18064 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/18066/task/18071/stat : 18071 (java) S 18064 18066 15565 0 -1 4202560 419 0 0 0 35 21 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865958751272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18072] ppid=18064 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/18066/task/18072/stat : 18072 (java) S 18064 18066 15565 0 -1 4202560 282 0 0 0 28 18 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865957698472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18073] ppid=18064 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18066/task/18073/stat : 18073 (java) S 18064 18066 15565 0 -1 4202560 451 0 0 0 29 10 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865956645160 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18074] ppid=18064 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/18066/task/18074/stat : 18074 (java) S 18064 18066 15565 0 -1 4202560 323 0 0 0 35 13 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865955592360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18075] ppid=18064 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/18066/task/18075/stat : 18075 (java) S 18064 18066 15565 0 -1 4202560 455 0 0 0 41 11 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865954540072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18076] ppid=18064 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/18066/task/18076/stat : 18076 (java) S 18064 18066 15565 0 -1 4202560 408 0 0 0 30 12 0 0 20 0 20 0 335139860 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865953487272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18077] ppid=18064 vsize=3090984 CPUtime=13.12 cores=0,2,4,6
/proc/18066/task/18077/stat : 18077 (java) R 18064 18066 15565 0 -1 4202560 246 0 0 0 1306 6 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865822829288 139865984285972 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18078] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18078/stat : 18078 (java) S 18064 18066 15565 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865821775352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18079] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18079/stat : 18079 (java) S 18064 18066 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 335139862 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865820722952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18080] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18080/stat : 18080 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865819671440 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18081] ppid=18064 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/18066/task/18081/stat : 18081 (java) S 18064 18066 15565 0 -1 4202560 3477 0 0 0 65 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865818618040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18066/tid=18082] ppid=18064 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/18066/task/18082/stat : 18082 (java) S 18064 18066 15565 0 -1 4202560 4229 0 0 0 54 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865817565240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18083] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18083/stat : 18083 (java) S 18064 18066 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865816513144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18066/tid=18084] ppid=18064 vsize=3090984 CPUtime=0.16 cores=0,2,4,6
/proc/18066/task/18084/stat : 18084 (java) S 18064 18066 15565 0 -1 4202560 27 0 0 0 8 8 0 0 20 0 20 0 335139865 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865815460552 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18066/tid=18087] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18087/stat : 18087 (java) S 18064 18066 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335139933 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139865813329576 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18066/tid=18217] ppid=18064 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18217/stat : 18217 (java) S 18064 18066 15565 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 335187376 3165167616 419662 33554432000 1073741824 1073778376 140737124962976 139864670462312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 482.42
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18066 and gives
#  childrusage.ru_utime.tv_sec=479
#  childrusage.ru_utime.tv_usec=909042
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=543765
# CPU time returned by wait4() is 481.453
# while last known CPU time is 482.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 478.345
CPU time (s): 482.42
CPU user time (s): 481.09
CPU system time (s): 1.33
CPU usage (%): 100.852
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 479.909
system time used= 1.54377
maximum resident set size= 1678664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15626
page faults= 1
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10668
involuntary context switches= 2791

runsolver used 0.765883 second user time and 1.92371 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 04:22:30
IDJOB=3732319
IDBENCH=2047
IDSOLVER=2319
FILE ID=node142/3732319-1338690150
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/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732319-1338690150/watcher-3732319-1338690150 -o /tmp/evaluation-result-3732319-1338690150/solver-3732319-1338690150 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732319-1338690150.opb           

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

MD5SUM BENCH= 59d685b710ba34babb28c57a0abba1bc
RANDOM SEED=912950919

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:        28080656 kB
Buffers:          245368 kB
Cached:          2748696 kB
SwapCached:            0 kB
Active:          2094636 kB
Inactive:        1875864 kB
Active(anon):     967796 kB
Inactive(anon):    11220 kB
Active(file):    1126840 kB
Inactive(file):  1864644 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3940 kB
Writeback:             0 kB
AnonPages:        992204 kB
Mapped:            18516 kB
Shmem:               200 kB
Slab:             674352 kB
SReclaimable:     116388 kB
SUnreclaim:       557964 kB
KernelStack:        1616 kB
PageTables:         6396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 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 04:30:28