Trace number 3732825

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-23? (exit code) 407.91 404.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.160975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.02/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.02/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.02/0.09	c no version file found!!!
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version	1.6.0_24
0.02/0.09	c os.name	Linux
0.02/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch	amd64
0.02/0.09	c Free memory 1599470296
0.02/0.09	c Max memory 1607860224
0.02/0.09	c Total memory 1607860224
0.02/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3732825-1338692016.opb
0.07/0.11	c reading problem ... 
0.23/0.24	c ... done. Wall clock time 0.123s.
0.23/0.24	c CPU time (experimental) 0.2s.
0.23/0.24	c #vars     776
0.23/0.24	c #constraints  866
0.23/0.26	c SATISFIABLE
0.23/0.26	c OPTIMIZING...
0.23/0.26	c Got one! Elapsed wall clock time (in seconds):0.146
0.23/0.26	o 19
200.29/198.13	c cleaning 582493 clauses out of 1165001 for limit 1.3814174709620484
215.21/213.07	c cleaning 291498 clauses out of 583007 for limit 4.547773727523229
223.71/221.55	c cleaning 146000 clauses out of 292011 for limit 15.003698094861374
226.71/224.53	c cleaning 73246 clauses out of 146510 for limit 49.26649148773552
228.72/226.51	c cleaning 36877 clauses out of 73765 for limit 161.53214326755608
229.11/226.90	c cleaning 18685 clauses out of 37386 for limit 524.550329368182
229.21/227.00	c cleaning 9591 clauses out of 19202 for limit 1685.9321755429999
229.21/227.05	c cleaning 5042 clauses out of 10110 for limit 5275.416873771583
229.21/227.09	c cleaning 2770 clauses out of 5568 for limit 15796.635609240431
229.31/227.12	c cleaning 1639 clauses out of 3298 for limit 43981.401304054336
229.31/227.15	c cleaning 1072 clauses out of 2159 for limit 110795.71345303686
229.31/227.19	c cleaning 780 clauses out of 1587 for limit 248573.34753654315
229.41/227.22	c cleaning 643 clauses out of 1307 for limit 497750.5942380745
229.41/227.25	c cleaning 574 clauses out of 1164 for limit 921701.4728013593
229.41/227.28	c cleaning 537 clauses out of 1091 for limit 1623337.8317454038
229.51/227.31	c cleaning 516 clauses out of 1053 for limit 2770937.081819603
229.51/227.34	c cleaning 511 clauses out of 1038 for limit 4640321.604770244
229.51/227.36	c cleaning 513 clauses out of 1026 for limit 7734272.137003792
229.51/227.39	c cleaning 507 clauses out of 1015 for limit 1.2918904211113507E7
229.61/227.42	c cleaning 496 clauses out of 1006 for limit 2.145263299771739E7
229.61/227.45	c cleaning 492 clauses out of 1011 for limit 3.523853355363765E7
229.61/227.47	c cleaning 496 clauses out of 1018 for limit 5.765574388269055E7
229.71/227.50	c cleaning 501 clauses out of 1024 for limit 9.471424719299121E7
229.71/227.53	c cleaning 495 clauses out of 1021 for limit 1.5634226150372538E8
229.71/227.56	c cleaning 502 clauses out of 1026 for limit 2.5657282622200674E8
229.71/227.58	c cleaning 512 clauses out of 1025 for limit 4.239596766584257E8
229.82/227.61	c cleaning 506 clauses out of 1013 for limit 7.074485475800656E8
229.82/227.64	c cleaning 497 clauses out of 1009 for limit 1.1736485025216177E9
229.82/227.66	c cleaning 494 clauses out of 1009 for limit 1.9297026829548573E9
229.82/227.69	c cleaning 493 clauses out of 1015 for limit 3.1635260256904154E9
229.92/227.71	c cleaning 511 clauses out of 1022 for limit 5.181344216911208E9
229.92/227.74	c cleaning 506 clauses out of 1013 for limit 8.637912613047281E9
229.92/227.76	c cleaning 489 clauses out of 1006 for limit 1.432985005341339E10
229.92/227.79	c cleaning 496 clauses out of 1017 for limit 2.337623479806176E10
230.01/227.82	c cleaning 510 clauses out of 1021 for limit 3.839950788592136E10
230.01/227.85	c cleaning 505 clauses out of 1010 for limit 6.3951598181853584E10
230.01/227.88	c cleaning 491 clauses out of 1005 for limit 1.0598944089607683E11
230.11/227.91	c cleaning 499 clauses out of 1014 for limit 1.732393697106687E11
230.11/227.94	c cleaning 507 clauses out of 1015 for limit 2.8541342339700696E11
230.11/227.97	c cleaning 498 clauses out of 1008 for limit 4.7395356236402734E11
230.11/227.99	c cleaning 505 clauses out of 1010 for limit 7.800650805358379E11
230.21/228.02	c cleaning 502 clauses out of 1005 for limit 1.2928318306204067E12
230.21/228.05	c cleaning 492 clauses out of 1004 for limit 2.1363125115596904E12
230.21/228.07	c cleaning 498 clauses out of 1011 for limit 3.4951733189349634E12
230.31/228.10	c cleaning 496 clauses out of 1013 for limit 5.752628303072439E12
230.31/228.13	c cleaning 500 clauses out of 1018 for limit 9.44970780406398E12
230.31/228.16	c cleaning 500 clauses out of 1017 for limit 1.558355650815361E13
230.31/228.18	c cleaning 498 clauses out of 1017 for limit 2.5699369412837645E13
230.41/228.21	c cleaning 509 clauses out of 1019 for limit 4.229851524107297E13
230.41/228.24	c cleaning 492 clauses out of 1010 for limit 7.03774975455134E13
230.41/228.26	c cleaning 509 clauses out of 1018 for limit 1.1514983052022638E14
230.41/228.29	c cleaning 494 clauses out of 1009 for limit 1.915913077765332E14
230.51/228.32	c cleaning 494 clauses out of 1016 for limit 3.140969063792713E14
230.51/228.35	c cleaning 511 clauses out of 1022 for limit 5.1494679338143875E14
230.51/228.38	c cleaning 505 clauses out of 1010 for limit 8.584465416273099E14
230.61/228.40	c cleaning 493 clauses out of 1006 for limit 1.4227449317586578E15
230.61/228.43	c cleaning 499 clauses out of 1012 for limit 2.3300534878665015E15
230.61/228.46	c cleaning 506 clauses out of 1013 for limit 3.838776652908605E15
230.61/228.48	c cleaning 496 clauses out of 1008 for limit 6.368426734431117E15
230.71/228.51	c cleaning 497 clauses out of 1013 for limit 1.0461010604945648E16
230.71/228.54	c cleaning 507 clauses out of 1014 for limit 1.7200140567989304E16
230.71/228.56	c cleaning 504 clauses out of 1008 for limit 2.8562736793655484E16
230.71/228.59	c cleaning 497 clauses out of 1005 for limit 4.729167398196528E-4
230.81/228.62	c cleaning 489 clauses out of 1006 for limit 7.775702418626995E-4
230.81/228.65	c cleaning 500 clauses out of 1018 for limit 0.0012684700952617011
230.81/228.68	c cleaning 505 clauses out of 1018 for limit 0.0020918768799799608
230.93/228.71	c cleaning 497 clauses out of 1012 for limit 0.0034667678529701536
230.93/228.74	c cleaning 496 clauses out of 1015 for limit 0.005700265943881108
230.93/228.77	c cleaning 501 clauses out of 1019 for limit 0.009363600221821375
231.03/228.80	c cleaning 499 clauses out of 1018 for limit 0.01545699819697534
231.03/228.83	c cleaning 495 clauses out of 1019 for limit 0.02546564246116134
231.03/228.86	c cleaning 506 clauses out of 1027 for limit 0.04179437162264827
231.03/228.89	c cleaning 498 clauses out of 1018 for limit 0.06932546915131456
231.13/228.92	c cleaning 501 clauses out of 1020 for limit 0.1141028022909062
231.13/228.95	c cleaning 499 clauses out of 1020 for limit 0.18835914452202607
231.13/228.98	c cleaning 497 clauses out of 1020 for limit 0.3103187981248084
231.23/229.01	c cleaning 503 clauses out of 1024 for limit 0.5102684286338977
231.23/229.04	c cleaning 501 clauses out of 1020 for limit 0.8439561039361091
231.23/229.06	c cleaning 505 clauses out of 1019 for limit 1.3931623632725108
231.33/229.10	c cleaning 498 clauses out of 1014 for limit 2.30884006121426
231.33/229.13	c cleaning 497 clauses out of 1016 for limit 3.8000908837483665
231.33/229.16	c cleaning 500 clauses out of 1020 for limit 6.248530850570452
231.33/229.19	c cleaning 498 clauses out of 1020 for limit 10.304663286092778
231.43/229.23	c cleaning 503 clauses out of 1022 for limit 16.960512385320563
231.43/229.26	c cleaning 497 clauses out of 1018 for limit 28.051976176646228
231.43/229.29	c cleaning 501 clauses out of 1022 for limit 46.126525495623746
231.53/229.31	c cleaning 502 clauses out of 1021 for limit 76.14331546103081
231.53/229.34	c cleaning 493 clauses out of 1018 for limit 125.81462353072186
231.53/229.37	c cleaning 498 clauses out of 1026 for limit 206.07340088454902
231.63/229.40	c cleaning 504 clauses out of 1027 for limit 339.17218627930606
231.63/229.42	c cleaning 501 clauses out of 1024 for limit 561.5405416705499
231.63/229.45	c cleaning 497 clauses out of 1022 for limit 926.9398486816165
231.63/229.48	c cleaning 503 clauses out of 1025 for limit 1524.1737231067084
231.73/229.51	c cleaning 506 clauses out of 1025 for limit 2521.1221753965056
231.73/229.54	c cleaning 500 clauses out of 1016 for limit 4181.926557694987
231.73/229.57	c cleaning 503 clauses out of 1017 for limit 6896.671738831486
231.83/229.60	c cleaning 501 clauses out of 1014 for limit 11407.183827387327
231.83/229.63	c cleaning 500 clauses out of 1013 for limit 18830.5427120553
231.83/229.67	c cleaning 499 clauses out of 1012 for limit 31053.685121015318
231.93/229.70	c cleaning 493 clauses out of 1013 for limit 51161.12657932203
231.93/229.72	c cleaning 499 clauses out of 1024 for limit 83799.90417153605
231.93/229.75	c cleaning 499 clauses out of 1022 for limit 138052.70942354322
231.93/229.78	c cleaning 502 clauses out of 1025 for limit 227455.7266286409
232.03/229.81	c cleaning 500 clauses out of 1020 for limit 375813.9707496357
232.03/229.84	c cleaning 504 clauses out of 1021 for limit 619780.2734417937
232.03/229.87	c cleaning 499 clauses out of 1018 for limit 1026138.8066684561
232.03/229.90	c cleaning 501 clauses out of 1018 for limit 1690547.9264233138
232.13/229.93	c cleaning 501 clauses out of 1016 for limit 2790634.330621366
232.13/229.96	c cleaning 493 clauses out of 1015 for limit 4606663.453148339
397.46/394.24	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space

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-3732825-1338692016/watcher-3732825-1338692016 -o /tmp/evaluation-result-3732825-1338692016/solver-3732825-1338692016 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732825-1338692016.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.01 2.01 2.00 3/194 18657
/proc/meminfo: memFree=27369968/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/18657/stat : 18657 (java) D 18655 18657 15565 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 335326461 9515008 182 33554432000 1073741824 1073778376 140733997107232 140733997098264 233220947637 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 2323 182 140 9 0 71 0

[startup+0.0438699 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 18657
/proc/meminfo: memFree=27369968/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 3882 0 1 0 1 1 0 0 20 0 13 0 335326461 2686889984 5092 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 655979 5092 1662 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916

[startup+0.100251 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 18657
/proc/meminfo: memFree=27369968/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 4142 0 1 0 6 1 0 0 20 0 18 0 335326461 3028844544 5861 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 739464 5862 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300221 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 18657
/proc/meminfo: memFree=27369968/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 5546 0 1 0 39 2 0 0 20 0 19 0 335326461 3097006080 8621 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 756105 8621 2247 9 0 746526 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 3024420

[startup+0.700212 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 18657
/proc/meminfo: memFree=27369968/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3024420 CPUtime=1.05 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 7511 0 1 0 103 2 0 0 20 0 19 0 335326461 3097006080 11856 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 756105 11856 2257 9 0 746526 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 3024420

[startup+1.50065 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 18677
/proc/meminfo: memFree=27325908/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3024420 CPUtime=1.91 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 7585 0 1 0 189 2 0 0 20 0 19 0 335326461 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 756105 16499 2261 9 0 746526 0
[pid=18657/tid=18659] ppid=18655 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/18657/task/18659/stat : 18659 (java) R 18655 18657 15565 0 -1 4202560 3068 0 1 0 144 2 0 0 20 0 19 0 335326462 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536268124360 140536111998469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18660] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18660/stat : 18660 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536251550632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18661] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18661/stat : 18661 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536250498088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18662] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18662/stat : 18662 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536249445032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18663] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18663/stat : 18663 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536248392488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18664] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18664/stat : 18664 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536247339432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18665] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18665/stat : 18665 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536246286888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18666] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18666/stat : 18666 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536245233832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18667] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18667/stat : 18667 (java) S 18655 18657 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536244181288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18668] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18668/stat : 18668 (java) S 18655 18657 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335326465 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536231770984 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18669] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18669/stat : 18669 (java) S 18655 18657 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335326466 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536230717304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18670] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18670/stat : 18670 (java) S 18655 18657 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335326466 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536111424904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18671] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18671/stat : 18671 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536110373648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18672] ppid=18655 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18657/task/18672/stat : 18672 (java) S 18655 18657 15565 0 -1 4202560 1814 0 0 0 20 0 0 0 20 0 19 0 335326468 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536109320504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18673] ppid=18655 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/18657/task/18673/stat : 18673 (java) S 18655 18657 15565 0 -1 4202560 1506 0 0 0 21 0 0 0 20 0 19 0 335326468 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536108267960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18674] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18674/stat : 18674 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536107215096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18675] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18675/stat : 18675 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536106162760 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18677] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18677/stat : 18677 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326490 3097006080 16499 33554432000 1073741824 1073778376 140734576939344 140536104031912 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 2.01 2.01 2.00 3/212 18677
/proc/meminfo: memFree=27298052/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3024420 CPUtime=3.52 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 7605 0 1 0 349 3 0 0 20 0 19 0 335326461 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 756105 26227 2261 9 0 746526 0
[pid=18657/tid=18659] ppid=18655 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/18657/task/18659/stat : 18659 (java) R 18655 18657 15565 0 -1 4202560 3088 0 1 0 303 2 0 0 20 0 19 0 335326462 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536268122608 140536111925837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18660] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18660/stat : 18660 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536251550632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18661] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18661/stat : 18661 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536250498088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18662] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18662/stat : 18662 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536249445032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18663] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18663/stat : 18663 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536248392488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18664] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18664/stat : 18664 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536247339432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18665] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18665/stat : 18665 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536246286888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18666] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18666/stat : 18666 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536245233832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18667] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18667/stat : 18667 (java) S 18655 18657 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536244181288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18668] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18668/stat : 18668 (java) S 18655 18657 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335326465 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536231770984 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18669] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18669/stat : 18669 (java) S 18655 18657 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335326466 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536230717304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18670] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18670/stat : 18670 (java) S 18655 18657 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335326466 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536111424904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18671] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18671/stat : 18671 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536110373648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18672] ppid=18655 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18657/task/18672/stat : 18672 (java) S 18655 18657 15565 0 -1 4202560 1814 0 0 0 20 0 0 0 20 0 19 0 335326468 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536109320504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18673] ppid=18655 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/18657/task/18673/stat : 18673 (java) S 18655 18657 15565 0 -1 4202560 1506 0 0 0 21 0 0 0 20 0 19 0 335326468 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536108267960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18674] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18674/stat : 18674 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536107215096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18675] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18675/stat : 18675 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536106162760 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18677] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18677/stat : 18677 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326490 3097006080 26227 33554432000 1073741824 1073778376 140734576939344 140536104031912 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 3024420

[startup+6.30069 s]
/proc/loadavg: 2.01 2.01 2.00 3/212 18677
/proc/meminfo: memFree=27221912/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3024420 CPUtime=6.73 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 7640 0 1 0 669 4 0 0 20 0 19 0 335326461 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 756105 43017 2262 9 0 746526 0
[pid=18657/tid=18659] ppid=18655 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/18657/task/18659/stat : 18659 (java) R 18655 18657 15565 0 -1 4202560 3122 0 1 0 621 3 0 0 20 0 19 0 335326462 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536268124584 140536111939467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18660] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18660/stat : 18660 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536251550632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18661] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18661/stat : 18661 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536250498088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18662] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18662/stat : 18662 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536249445032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18663] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18663/stat : 18663 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536248392488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18664] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18664/stat : 18664 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536247339432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18665] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18665/stat : 18665 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536246286888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18666] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18666/stat : 18666 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536245233832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18667] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18667/stat : 18667 (java) S 18655 18657 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335326464 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536244181288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18668] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18668/stat : 18668 (java) S 18655 18657 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335326465 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536231770984 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18669] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18669/stat : 18669 (java) S 18655 18657 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335326466 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536230717304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18670] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18670/stat : 18670 (java) S 18655 18657 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335326466 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536111424904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18671] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18671/stat : 18671 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536110373648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18672] ppid=18655 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18657/task/18672/stat : 18672 (java) S 18655 18657 15565 0 -1 4202560 1814 0 0 0 20 0 0 0 20 0 19 0 335326468 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536109320504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18673] ppid=18655 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/18657/task/18673/stat : 18673 (java) S 18655 18657 15565 0 -1 4202560 1506 0 0 0 21 0 0 0 20 0 19 0 335326468 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536108267960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18674] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18674/stat : 18674 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536107215096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18675] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18675/stat : 18675 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326468 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536106162760 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18677] ppid=18655 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18677/stat : 18677 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326490 3097006080 43017 33554432000 1073741824 1073778376 140734576939344 140536104031912 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/18657/task/18667/stat : 18667 (java) S 18655 18657 15565 0 -1 4202560 312 0 0 0 33 12 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536244181288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18668] ppid=18655 vsize=3090984 CPUtime=32.42 cores=0,2,4,6
/proc/18657/task/18668/stat : 18668 (java) R 18655 18657 15565 0 -1 4202560 203 0 0 0 3237 5 0 0 20 0 19 0 335326465 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536231770984 140536274978819 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18669] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18669/stat : 18669 (java) S 18655 18657 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536230717304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18670] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18670/stat : 18670 (java) S 18655 18657 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536111424904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18671] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18671/stat : 18671 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536110373192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18672] ppid=18655 vsize=3090984 CPUtime=0.25 cores=0,2,4,6
/proc/18657/task/18672/stat : 18672 (java) S 18655 18657 15565 0 -1 4202560 1821 0 0 0 25 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536109320504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18673] ppid=18655 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/18657/task/18673/stat : 18673 (java) S 18655 18657 15565 0 -1 4202560 1958 0 0 0 27 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536108267960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18674] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18674/stat : 18674 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536107215096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18677] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18677/stat : 18677 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326490 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536104031912 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18743] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18743/stat : 18743 (java) S 18655 18657 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335366780 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536102978280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 407.21
Current children cumulated vsize (KiB) 3090984

[startup+404.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18743
/proc/meminfo: memFree=25873244/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3090984 CPUtime=407.61 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 11212 0 1 0 40645 116 0 0 20 0 19 0 335326461 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 772746 418107 2292 9 0 763167 0
[pid=18657/tid=18659] ppid=18655 vsize=3090984 CPUtime=369.37 cores=0,2,4,6
/proc/18657/task/18659/stat : 18659 (java) S 18655 18657 15565 0 -1 4202560 3309 0 1 0 36924 13 0 0 20 0 19 0 335326462 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536268127384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18660] ppid=18655 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18657/task/18660/stat : 18660 (java) S 18655 18657 15565 0 -1 4202560 286 0 0 0 28 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536251550632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18661] ppid=18655 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18657/task/18661/stat : 18661 (java) S 18655 18657 15565 0 -1 4202560 313 0 0 0 28 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536250498088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18662] ppid=18655 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/18657/task/18662/stat : 18662 (java) S 18655 18657 15565 0 -1 4202560 208 0 0 0 31 9 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536249445032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18663] ppid=18655 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/18657/task/18663/stat : 18663 (java) S 18655 18657 15565 0 -1 4202560 383 0 0 0 42 16 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536248392488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18664] ppid=18655 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/18657/task/18664/stat : 18664 (java) S 18655 18657 15565 0 -1 4202560 644 0 0 0 40 14 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536247339432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18665] ppid=18655 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/18657/task/18665/stat : 18665 (java) S 18655 18657 15565 0 -1 4202560 234 0 0 0 24 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536246286888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18666] ppid=18655 vsize=3090984 CPUtime=0.5 cores=0,2,4,6
/proc/18657/task/18666/stat : 18666 (java) S 18655 18657 15565 0 -1 4202560 317 0 0 0 35 15 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536245233832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18667] ppid=18655 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/18657/task/18667/stat : 18667 (java) S 18655 18657 15565 0 -1 4202560 312 0 0 0 33 12 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536244181288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18668] ppid=18655 vsize=3090984 CPUtime=32.82 cores=0,2,4,6
/proc/18657/task/18668/stat : 18668 (java) R 18655 18657 15565 0 -1 4202560 203 0 0 0 3277 5 0 0 20 0 19 0 335326465 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536231771144 140536274632776 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18669] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18669/stat : 18669 (java) S 18655 18657 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536230717304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18670] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18670/stat : 18670 (java) S 18655 18657 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536111424904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18671] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18671/stat : 18671 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536110373192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18672] ppid=18655 vsize=3090984 CPUtime=0.25 cores=0,2,4,6
/proc/18657/task/18672/stat : 18672 (java) S 18655 18657 15565 0 -1 4202560 1821 0 0 0 25 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536109320504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18673] ppid=18655 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/18657/task/18673/stat : 18673 (java) S 18655 18657 15565 0 -1 4202560 1958 0 0 0 27 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536108267960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18674] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18674/stat : 18674 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536107215096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18677] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18677/stat : 18677 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326490 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536104031912 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18743] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18743/stat : 18743 (java) S 18655 18657 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335366780 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536102978280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 407.61
Current children cumulated vsize (KiB) 3090984

[startup+404.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18743
/proc/meminfo: memFree=25873244/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3090984 CPUtime=407.81 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 11212 0 1 0 40665 116 0 0 20 0 19 0 335326461 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 772746 418107 2292 9 0 763167 0
[pid=18657/tid=18659] ppid=18655 vsize=3090984 CPUtime=369.37 cores=0,2,4,6
/proc/18657/task/18659/stat : 18659 (java) S 18655 18657 15565 0 -1 4202560 3309 0 1 0 36924 13 0 0 20 0 19 0 335326462 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536268127384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18660] ppid=18655 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18657/task/18660/stat : 18660 (java) S 18655 18657 15565 0 -1 4202560 286 0 0 0 28 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536251550632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18661] ppid=18655 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18657/task/18661/stat : 18661 (java) S 18655 18657 15565 0 -1 4202560 313 0 0 0 28 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536250498088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18662] ppid=18655 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/18657/task/18662/stat : 18662 (java) S 18655 18657 15565 0 -1 4202560 208 0 0 0 31 9 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536249445032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18663] ppid=18655 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/18657/task/18663/stat : 18663 (java) S 18655 18657 15565 0 -1 4202560 383 0 0 0 42 16 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536248392488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18664] ppid=18655 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/18657/task/18664/stat : 18664 (java) S 18655 18657 15565 0 -1 4202560 644 0 0 0 40 14 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536247339432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18665] ppid=18655 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/18657/task/18665/stat : 18665 (java) S 18655 18657 15565 0 -1 4202560 234 0 0 0 24 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536246286888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18666] ppid=18655 vsize=3090984 CPUtime=0.5 cores=0,2,4,6
/proc/18657/task/18666/stat : 18666 (java) S 18655 18657 15565 0 -1 4202560 317 0 0 0 35 15 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536245233832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18667] ppid=18655 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/18657/task/18667/stat : 18667 (java) S 18655 18657 15565 0 -1 4202560 312 0 0 0 33 12 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536244181288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18668] ppid=18655 vsize=3090984 CPUtime=33.02 cores=0,2,4,6
/proc/18657/task/18668/stat : 18668 (java) R 18655 18657 15565 0 -1 4202560 203 0 0 0 3297 5 0 0 20 0 19 0 335326465 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536231771144 233220620580 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18669] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18669/stat : 18669 (java) S 18655 18657 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536230717304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18670] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18670/stat : 18670 (java) S 18655 18657 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536111424904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18671] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18671/stat : 18671 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536110373192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18672] ppid=18655 vsize=3090984 CPUtime=0.25 cores=0,2,4,6
/proc/18657/task/18672/stat : 18672 (java) S 18655 18657 15565 0 -1 4202560 1821 0 0 0 25 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536109320504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18673] ppid=18655 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/18657/task/18673/stat : 18673 (java) S 18655 18657 15565 0 -1 4202560 1958 0 0 0 27 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536108267960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18674] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18674/stat : 18674 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536107215096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18677] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18677/stat : 18677 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326490 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536104031912 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18743] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18743/stat : 18743 (java) S 18655 18657 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335366780 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536102978280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (KiB) 3090984

[startup+404.601 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 18743
/proc/meminfo: memFree=25873244/32873844 swapFree=7120/7120
[pid=18657] ppid=18655 vsize=3090984 CPUtime=407.91 cores=0,2,4,6
/proc/18657/stat : 18657 (java) S 18655 18657 15565 0 -1 4202496 11212 0 1 0 40675 116 0 0 20 0 19 0 335326461 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140734576930480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 772746 418107 2292 9 0 763167 0
[pid=18657/tid=18659] ppid=18655 vsize=3090984 CPUtime=369.37 cores=0,2,4,6
/proc/18657/task/18659/stat : 18659 (java) S 18655 18657 15565 0 -1 4202560 3309 0 1 0 36924 13 0 0 20 0 19 0 335326462 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536268127384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18660] ppid=18655 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18657/task/18660/stat : 18660 (java) S 18655 18657 15565 0 -1 4202560 286 0 0 0 28 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536251550632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18661] ppid=18655 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/18657/task/18661/stat : 18661 (java) S 18655 18657 15565 0 -1 4202560 313 0 0 0 28 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536250498088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18662] ppid=18655 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/18657/task/18662/stat : 18662 (java) S 18655 18657 15565 0 -1 4202560 208 0 0 0 31 9 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536249445032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18657/tid=18663] ppid=18655 vsize=3090984 CPUtime=0.58 cores=0,2,4,6
/proc/18657/task/18663/stat : 18663 (java) S 18655 18657 15565 0 -1 4202560 383 0 0 0 42 16 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536248392488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18664] ppid=18655 vsize=3090984 CPUtime=0.54 cores=0,2,4,6
/proc/18657/task/18664/stat : 18664 (java) S 18655 18657 15565 0 -1 4202560 644 0 0 0 40 14 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536247339432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18665] ppid=18655 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/18657/task/18665/stat : 18665 (java) S 18655 18657 15565 0 -1 4202560 234 0 0 0 24 11 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536246286888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18666] ppid=18655 vsize=3090984 CPUtime=0.5 cores=0,2,4,6
/proc/18657/task/18666/stat : 18666 (java) S 18655 18657 15565 0 -1 4202560 317 0 0 0 35 15 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536245233832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18667] ppid=18655 vsize=3090984 CPUtime=0.45 cores=0,2,4,6
/proc/18657/task/18667/stat : 18667 (java) S 18655 18657 15565 0 -1 4202560 312 0 0 0 33 12 0 0 20 0 19 0 335326464 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536244181288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18668] ppid=18655 vsize=3090984 CPUtime=33.12 cores=0,2,4,6
/proc/18657/task/18668/stat : 18668 (java) R 18655 18657 15565 0 -1 4202560 203 0 0 0 3307 5 0 0 20 0 19 0 335326465 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536231771144 233220620576 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18657/tid=18669] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18669/stat : 18669 (java) S 18655 18657 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536230717304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18670] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18670/stat : 18670 (java) S 18655 18657 15565 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335326466 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536111424904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18671] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18671/stat : 18671 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536110373192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18672] ppid=18655 vsize=3090984 CPUtime=0.25 cores=0,2,4,6
/proc/18657/task/18672/stat : 18672 (java) S 18655 18657 15565 0 -1 4202560 1821 0 0 0 25 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536109320504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18673] ppid=18655 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/18657/task/18673/stat : 18673 (java) S 18655 18657 15565 0 -1 4202560 1958 0 0 0 27 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536108267960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18674] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18674/stat : 18674 (java) S 18655 18657 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335326468 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536107215096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18657/tid=18677] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18677/stat : 18677 (java) S 18655 18657 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335326490 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536104031912 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18657/tid=18743] ppid=18655 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/18657/task/18743/stat : 18743 (java) S 18655 18657 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335366780 3165167616 418107 33554432000 1073741824 1073778376 140734576939344 140536102978280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18657 and gives
#  childrusage.ru_utime.tv_sec=405
#  childrusage.ru_utime.tv_usec=641333
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=340796
# CPU time returned by wait4() is 406.982
# while last known CPU time is 407.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 404.62
CPU time (s): 407.91
CPU user time (s): 406.75
CPU system time (s): 1.16
CPU usage (%): 100.813
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.641
system time used= 1.3408
maximum resident set size= 1672456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11222
page faults= 1
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9046
involuntary context switches= 4713

runsolver used 0.98285 second user time and 1.9447 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 04:53:36
IDJOB=3732825
IDBENCH=2219
IDSOLVER=2319
FILE ID=node142/3732825-1338692016
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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732825-1338692016/watcher-3732825-1338692016 -o /tmp/evaluation-result-3732825-1338692016/solver-3732825-1338692016 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732825-1338692016.opb           

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

MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440
RANDOM SEED=2039084090

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:        27370760 kB
Buffers:          246612 kB
Cached:          2748944 kB
SwapCached:            0 kB
Active:          2811004 kB
Inactive:        1876304 kB
Active(anon):    1682872 kB
Inactive(anon):    11220 kB
Active(file):    1128132 kB
Inactive(file):  1865084 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3540 kB
Writeback:             0 kB
AnonPages:       1754032 kB
Mapped:            18768 kB
Shmem:               200 kB
Slab:             674464 kB
SReclaimable:     116460 kB
SUnreclaim:       558004 kB
KernelStack:        1768 kB
PageTables:         7476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1722368 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 05:00:21