Trace number 3733785

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.47 1797.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
MD5SUMa451a3aa708ebb54c76171e0e43da9df
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.022996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1050
Total number of constraints65
Number of constraints which are clauses35
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version	1.6.0_24
0.01/0.08	c os.name	Linux
0.01/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch	amd64
0.01/0.08	c Free memory 1599470296
0.01/0.08	c Max memory 1607860224
0.01/0.08	c Total memory 1607860224
0.01/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3733785-1338698725.opb
0.08/0.10	c reading problem ... 
0.08/0.18	c ... done. Wall clock time 0.077s.
0.08/0.18	c CPU time (experimental) 0.14s.
0.08/0.18	c #vars     1050
0.08/0.18	c #constraints  65
1498.28/1495.93	c cleaning 296985 clauses out of 594000 for limit 2.119372630390224E12
1504.38/1502.02	c cleaning 148752 clauses out of 297516 for limit 6.985119476331893E12
1505.89/1503.52	c cleaning 74616 clauses out of 149263 for limit 2.2937885176648434E13
1506.39/1504.09	c cleaning 37563 clauses out of 75147 for limit 7.513629570259925E13
1506.79/1504.48	c cleaning 19031 clauses out of 38084 for limit 2.4449768875696597E-6
1506.98/1504.61	c cleaning 9770 clauses out of 19554 for limit 7.860896939814528E-6
1506.98/1504.70	c cleaning 5127 clauses out of 10285 for limit 2.4671401221127463E-5
1507.09/1504.75	c cleaning 2822 clauses out of 5656 for limit 7.383726043585041E-5
1507.19/1504.81	c cleaning 1656 clauses out of 3334 for limit 2.0657381356473543E-4
1507.19/1504.86	c cleaning 1077 clauses out of 2180 for limit 5.220466095353392E-4
1507.28/1504.92	c cleaning 783 clauses out of 1601 for limit 0.0011699338445869984
1507.28/1504.97	c cleaning 644 clauses out of 1318 for limit 0.0023436519351277916
1507.38/1505.02	c cleaning 570 clauses out of 1175 for limit 0.004339713466802271
1507.38/1505.08	c cleaning 533 clauses out of 1105 for limit 0.007610137985796034
1507.48/1505.13	c cleaning 518 clauses out of 1072 for limit 0.012936473734243411
1507.48/1505.18	c cleaning 510 clauses out of 1053 for limit 0.021697200411852607
1507.58/1505.23	c cleaning 502 clauses out of 1043 for limit 0.036124650182988355
1507.58/1505.27	c cleaning 503 clauses out of 1042 for limit 0.05969124517635867
1507.68/1505.32	c cleaning 504 clauses out of 1038 for limit 0.09871937091584317
1507.68/1505.36	c cleaning 502 clauses out of 1035 for limit 0.16343677411371432
1507.78/1505.41	c cleaning 503 clauses out of 1033 for limit 0.270050942263581
1507.78/1505.46	c cleaning 495 clauses out of 1031 for limit 0.44666071005039226
1507.88/1505.51	c cleaning 503 clauses out of 1035 for limit 0.7330227316858823
1507.88/1505.56	c cleaning 507 clauses out of 1031 for limit 1.2123290235898558
1507.98/1505.61	c cleaning 502 clauses out of 1025 for limit 2.0130089283317565
1507.98/1505.65	c cleaning 499 clauses out of 1022 for limit 3.326136330479651
1507.98/1505.70	c cleaning 500 clauses out of 1025 for limit 5.480144207775689
1508.08/1505.74	c cleaning 498 clauses out of 1024 for limit 9.037270277330029
1508.08/1505.79	c cleaning 499 clauses out of 1025 for limit 14.874238380615063
1508.19/1505.83	c cleaning 506 clauses out of 1031 for limit 24.509157539428607
1508.19/1505.87	c cleaning 499 clauses out of 1024 for limit 40.65448531294534
1508.29/1505.91	c cleaning 497 clauses out of 1021 for limit 66.97311850915763
1508.29/1505.95	c cleaning 497 clauses out of 1025 for limit 110.12674351964671
1508.38/1506.00	c cleaning 500 clauses out of 1028 for limit 181.08373139102392
1508.38/1506.04	c cleaning 497 clauses out of 1027 for limit 298.62315616549347
1508.38/1506.08	c cleaning 505 clauses out of 1034 for limit 491.09704415343947
1508.48/1506.12	c cleaning 498 clauses out of 1025 for limit 813.7328216172339
1508.48/1506.17	c cleaning 497 clauses out of 1027 for limit 1339.3409339123966
1508.58/1506.23	c cleaning 502 clauses out of 1031 for limit 2202.3853998906575
1508.58/1506.29	c cleaning 503 clauses out of 1029 for limit 3639.087489844173
1508.68/1506.33	c cleaning 501 clauses out of 1026 for limit 6018.889883083416
1508.68/1506.38	c cleaning 503 clauses out of 1025 for limit 9935.638468043626
1508.78/1506.44	c cleaning 497 clauses out of 1022 for limit 16433.294446900134
1508.78/1506.49	c cleaning 495 clauses out of 1024 for limit 27020.72212330268
1508.88/1506.55	c cleaning 500 clauses out of 1030 for limit 44345.553711025175
1508.98/1506.60	c cleaning 494 clauses out of 1029 for limit 73129.61839051406
1508.98/1506.65	c cleaning 501 clauses out of 1038 for limit 119914.23763962544
1509.08/1506.70	c cleaning 509 clauses out of 1036 for limit 197938.248997182
1509.08/1506.75	c cleaning 501 clauses out of 1025 for limit 329270.2379891342
1509.08/1506.79	c cleaning 511 clauses out of 1024 for limit 543540.9552872686
1509.18/1506.84	c cleaning 496 clauses out of 1014 for limit 906117.8247772909
1509.18/1506.88	c cleaning 496 clauses out of 1018 for limit 1488437.9611889147
1509.29/1506.92	c cleaning 497 clauses out of 1021 for limit 2444973.45805017
1509.29/1506.96	c cleaning 512 clauses out of 1024 for limit 4020275.556286796
1509.29/1506.99	c cleaning 506 clauses out of 1013 for limit 6708674.665111935
1509.39/1507.04	c cleaning 502 clauses out of 1007 for limit 1.1129421568144633E7
1509.39/1507.08	c cleaning 483 clauses out of 1004 for limit 1.8390338631588895E7
1509.48/1507.14	c cleaning 510 clauses out of 1021 for limit 2.9823154880953103E7
1509.48/1507.19	c cleaning 506 clauses out of 1012 for limit 4.966943414009075E7
1509.58/1507.25	c cleaning 487 clauses out of 1005 for limit 8.239958763546057E7
1509.68/1507.30	c cleaning 493 clauses out of 1018 for limit 1.3415263550751248E8
1509.68/1507.36	c cleaning 502 clauses out of 1026 for limit 2.197303386589861E8
1509.78/1507.41	c cleaning 495 clauses out of 1026 for limit 3.630905414398145E8
1509.78/1507.47	c cleaning 514 clauses out of 1029 for limit 5.958456664594994E8
1509.88/1507.53	c cleaning 507 clauses out of 1015 for limit 9.96182721209909E8
1509.88/1507.58	c cleaning 504 clauses out of 1008 for limit 1.6542471754251697E9
1509.98/1507.64	c cleaning 502 clauses out of 1004 for limit 2.7389437177809052E9
1510.08/1507.71	c cleaning 487 clauses out of 1001 for limit 4.5258912949225E9
1510.08/1507.77	c cleaning 495 clauses out of 1014 for limit 7.368110461973075E9
1510.20/1507.83	c cleaning 497 clauses out of 1020 for limit 1.2091614985314922E10
1510.20/1507.89	c cleaning 499 clauses out of 1022 for limit 1.988176615219876E10
1510.30/1507.95	c cleaning 511 clauses out of 1023 for limit 3.27556415901354E10
1510.30/1507.99	c cleaning 506 clauses out of 1012 for limit 5.460559185513676E10
1510.41/1508.04	c cleaning 493 clauses out of 1006 for limit 9.058901499622409E10
1510.41/1508.09	c cleaning 492 clauses out of 1013 for limit 1.4836107101426297E11
1510.51/1508.15	c cleaning 494 clauses out of 1021 for limit 2.4275017413017218E11
1510.60/1508.20	c cleaning 498 clauses out of 1027 for limit 3.979886946671797E11
1510.60/1508.26	c cleaning 514 clauses out of 1029 for limit 6.550609209593864E11
1510.70/1508.33	c cleaning 488 clauses out of 1015 for limit 1.0951835475738027E12
1510.70/1508.39	c cleaning 514 clauses out of 1028 for limit 1.7850493915099507E12
1510.80/1508.45	c cleaning 506 clauses out of 1013 for limit 2.984387978180325E12
1510.90/1508.52	c cleaning 488 clauses out of 1007 for limit 4.950979677819473E12
1510.90/1508.58	c cleaning 490 clauses out of 1020 for limit 8.068835123033433E12
1511.00/1508.63	c cleaning 503 clauses out of 1030 for limit 1.3177398367261936E13
1511.00/1508.69	c cleaning 499 clauses out of 1027 for limit 2.1794772668824656E13
1511.10/1508.74	c cleaning 512 clauses out of 1027 for limit 3.590655328763297E13
1511.10/1508.78	c cleaning 507 clauses out of 1015 for limit 5.991478525162304E13
1511.20/1508.83	c cleaning 487 clauses out of 1008 for limit 9.949365930411316E13
1511.20/1508.88	c cleaning 497 clauses out of 1021 for limit 1.6198920768837128E14
1511.30/1508.93	c cleaning 500 clauses out of 1025 for limit 2.6636573486732278E14
1511.30/1508.98	c cleaning 498 clauses out of 1025 for limit 4.392727305667128E14
1511.40/1509.04	c cleaning 498 clauses out of 1027 for limit 7.23008748780951E14
1511.40/1509.09	c cleaning 501 clauses out of 1028 for limit 1.1899871088198992E15
1511.51/1509.15	c cleaning 506 clauses out of 1027 for limit 1.964358790926328E-5
1800.10/1797.61	c starts		: 21
1800.10/1797.61	c conflicts		: 810233
1800.10/1797.61	c decisions		: 919790
1800.10/1797.61	c propagations		: 32415601
1800.10/1797.61	c inspects		: 6802401873
1800.10/1797.61	c learnt literals	: 0
1800.10/1797.61	c learnt binary clauses	: 0
1800.10/1797.61	c learnt ternary clauses	: 0
1800.10/1797.61	c learnt clauses	: 810233
1800.10/1797.61	c root simplifications	: 0
1800.10/1797.61	c removed literals (reason simplification)	: 0
1800.10/1797.61	c reason swapping (by a shorter reason)	: 0
1800.10/1797.61	c Calls to reduceDB	: 94
1800.10/1797.61	c speed (decisions/second)	: 511.7247894355889
1800.10/1797.61	c non guided choices	436
1800.10/1797.61	s UNKNOWN
1800.10/1797.61	c Total wall clock time (ms): 1797.51

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733785-1338698725/watcher-3733785-1338698725 -o /tmp/evaluation-result-3733785-1338698725/solver-3733785-1338698725 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733785-1338698725.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 5858
/proc/meminfo: memFree=28065268/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5858/stat : 5858 (java) D 5856 5858 1585 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 335997973 9515008 182 33554432000 1073741824 1073778376 140736216822560 140736216813592 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5858/statm: 2323 182 140 9 0 71 0

[startup+0.0328461 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 5858
/proc/meminfo: memFree=28065268/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 3719 0 1 0 1 0 0 0 20 0 10 0 335997973 2472931328 4417 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 603743 4417 1539 9 0 594444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972

[startup+0.100252 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 5858
/proc/meminfo: memFree=28065268/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 4926 0 1 0 8 0 0 0 20 0 18 0 335997973 3028844544 6626 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 739464 6626 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300215 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 5858
/proc/meminfo: memFree=28065268/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 7448 0 1 0 49 1 0 0 20 0 19 0 335997973 3097006080 9129 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 9129 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 3024420

[startup+0.700225 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 5858
/proc/meminfo: memFree=28065268/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 7524 0 1 0 92 1 0 0 20 0 19 0 335997973 3097006080 10667 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 10667 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 3024420

[startup+1.50062 s]
/proc/loadavg: 2.00 2.03 2.04 3/213 5877
/proc/meminfo: memFree=28027452/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=1.77 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 7792 0 1 0 176 1 0 0 20 0 19 0 335997973 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 13248 2258 9 0 746526 0
[pid=5858/tid=5860] ppid=5856 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/5858/task/5860/stat : 5860 (java) R 5856 5858 1585 0 -1 4202560 3072 0 1 0 146 0 0 0 20 0 19 0 335997974 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140535295945304 140535168144745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5861] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5861/stat : 5861 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140535161973544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5862] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5862/stat : 5862 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140535160920744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5863] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5863/stat : 5863 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140535159868456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5864] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5864/stat : 5864 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140535158815656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5865] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5865/stat : 5865 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140535157762344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5866] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5866/stat : 5866 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140535156709544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5867] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5867/stat : 5867 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534819580456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5868] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5868/stat : 5868 (java) S 5856 5858 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534818527656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5869] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5869/stat : 5869 (java) S 5856 5858 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335997976 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534806330088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5870] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5870/stat : 5870 (java) S 5856 5858 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534805276152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5871] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5871/stat : 5871 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534804223752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5872] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5872/stat : 5872 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534803172240 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5873] ppid=5856 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/5858/task/5873/stat : 5873 (java) S 5856 5858 1585 0 -1 4202560 2001 0 0 0 12 0 0 0 20 0 19 0 335997979 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534802118840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5874] ppid=5856 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/5858/task/5874/stat : 5874 (java) S 5856 5858 1585 0 -1 4202560 1523 0 0 0 15 0 0 0 20 0 19 0 335997979 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534801066040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5875] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5875/stat : 5875 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534800013944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5876] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5876/stat : 5876 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534798961352 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5877] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5877/stat : 5877 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997991 3097006080 13248 33554432000 1073741824 1073778376 140733400831520 140534796830120 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 2.00 2.03 2.04 3/213 5877
/proc/meminfo: memFree=28016088/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=3.39 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 7801 0 1 0 338 1 0 0 20 0 19 0 335997973 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 16833 2259 9 0 746526 0
[pid=5858/tid=5860] ppid=5856 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/5858/task/5860/stat : 5860 (java) R 5856 5858 1585 0 -1 4202560 3080 0 1 0 305 1 0 0 20 0 19 0 335997974 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140535295945320 140535168048845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5861] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5861/stat : 5861 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140535161973544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5862] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5862/stat : 5862 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140535160920744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5863] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5863/stat : 5863 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140535159868456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5864] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5864/stat : 5864 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140535158815656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5865] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5865/stat : 5865 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140535157762344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5866] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5866/stat : 5866 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140535156709544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5867] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5867/stat : 5867 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534819580456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5868] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5868/stat : 5868 (java) S 5856 5858 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534818527656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5869] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5869/stat : 5869 (java) S 5856 5858 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335997976 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534806330088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5870] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5870/stat : 5870 (java) S 5856 5858 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534805276152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5871] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5871/stat : 5871 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534804223752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5872] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5872/stat : 5872 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534803172240 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5873] ppid=5856 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/5858/task/5873/stat : 5873 (java) S 5856 5858 1585 0 -1 4202560 2002 0 0 0 13 0 0 0 20 0 19 0 335997979 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534802118840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5874] ppid=5856 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/5858/task/5874/stat : 5874 (java) S 5856 5858 1585 0 -1 4202560 1523 0 0 0 16 0 0 0 20 0 19 0 335997979 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534801066040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5875] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5875/stat : 5875 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534800013944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5876] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5876/stat : 5876 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534798961352 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5877] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5877/stat : 5877 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997991 3097006080 16833 33554432000 1073741824 1073778376 140733400831520 140534796830120 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 3024420

[startup+6.30062 s]
/proc/loadavg: 2.00 2.03 2.04 3/212 5877
/proc/meminfo: memFree=27991264/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=6.59 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 7813 0 1 0 657 2 0 0 20 0 19 0 335997973 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 21376 2260 9 0 746526 0
[pid=5858/tid=5860] ppid=5856 vsize=3024420 CPUtime=6.27 cores=1,3,5,7
/proc/5858/task/5860/stat : 5860 (java) R 5856 5858 1585 0 -1 4202560 3091 0 1 0 625 2 0 0 20 0 19 0 335997974 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140535295947280 140535168048760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5861] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5861/stat : 5861 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140535161973544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5862] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5862/stat : 5862 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140535160920744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5863] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5863/stat : 5863 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140535159868456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5864] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5864/stat : 5864 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140535158815656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5865] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5865/stat : 5865 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140535157762344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5866] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5866/stat : 5866 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140535156709544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5867] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5867/stat : 5867 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534819580456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5868] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5868/stat : 5868 (java) S 5856 5858 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335997975 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534818527656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5869] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5869/stat : 5869 (java) S 5856 5858 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335997976 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534806330088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5870] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5870/stat : 5870 (java) S 5856 5858 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534805276152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5871] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5871/stat : 5871 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534804223752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5872] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5872/stat : 5872 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534803172240 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5873] ppid=5856 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/5858/task/5873/stat : 5873 (java) S 5856 5858 1585 0 -1 4202560 2002 0 0 0 13 0 0 0 20 0 19 0 335997979 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534802118840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5874] ppid=5856 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/5858/task/5874/stat : 5874 (java) S 5856 5858 1585 0 -1 4202560 1523 0 0 0 16 0 0 0 20 0 19 0 335997979 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534801066040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5875] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5875/stat : 5875 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534800013944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5876] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5876/stat : 5876 (java) S 5856 5858 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534798961352 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5877] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5877/stat : 5877 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997991 3097006080 21376 33554432000 1073741824 1073778376 140733400831520 140534796830120 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=5858/tid=5866] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5866/stat : 5866 (java) S 5856 5858 1585 0 -1 4202560 255 0 0 0 8 14 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535156709544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5867] ppid=5856 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/5858/task/5867/stat : 5867 (java) S 5856 5858 1585 0 -1 4202560 342 0 0 0 18 20 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534819580456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5868] ppid=5856 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/5858/task/5868/stat : 5868 (java) S 5856 5858 1585 0 -1 4202560 180 0 0 0 9 9 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534818527656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5869] ppid=5856 vsize=3024420 CPUtime=1.02 cores=1,3,5,7
/proc/5858/task/5869/stat : 5869 (java) S 5856 5858 1585 0 -1 4202560 152 0 0 0 97 5 0 0 20 0 19 0 335997976 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534806330088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5870] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5870/stat : 5870 (java) S 5856 5858 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534805276152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5871] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5871/stat : 5871 (java) S 5856 5858 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534804223752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5872] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5872/stat : 5872 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534803172240 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5873] ppid=5856 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/5858/task/5873/stat : 5873 (java) S 5856 5858 1585 0 -1 4202560 2077 0 0 0 19 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534802118840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5874] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5874/stat : 5874 (java) S 5856 5858 1585 0 -1 4202560 1530 0 0 0 22 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534801066040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5875] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5875/stat : 5875 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534800013944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5876] ppid=5856 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/5858/task/5876/stat : 5876 (java) S 5856 5858 1585 0 -1 4202560 98 0 0 0 31 39 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534798961352 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5877] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5877/stat : 5877 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997991 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534796830120 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.74
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 6094
/proc/meminfo: memFree=27295132/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=1724.77 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 10466 0 1 0 172303 174 0 0 20 0 19 0 335997973 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 419430 2291 9 0 746526 0
[pid=5858/tid=5860] ppid=5856 vsize=3024420 CPUtime=1720.57 cores=1,3,5,7
/proc/5858/task/5860/stat : 5860 (java) R 5856 5858 1585 0 -1 4202560 3274 0 1 0 172023 34 0 0 20 0 19 0 335997974 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535295946120 140535168048836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5861] ppid=5856 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5858/task/5861/stat : 5861 (java) S 5856 5858 1585 0 -1 4202560 332 0 0 0 15 19 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535161973544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5862] ppid=5856 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/5858/task/5862/stat : 5862 (java) S 5856 5858 1585 0 -1 4202560 239 0 0 0 12 14 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535160920744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5863] ppid=5856 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/5858/task/5863/stat : 5863 (java) S 5856 5858 1585 0 -1 4202560 254 0 0 0 11 15 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535159868456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5864] ppid=5856 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/5858/task/5864/stat : 5864 (java) S 5856 5858 1585 0 -1 4202560 318 0 0 0 14 13 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535158815656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5865] ppid=5856 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/5858/task/5865/stat : 5865 (java) S 5856 5858 1585 0 -1 4202560 231 0 0 0 10 11 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535157762344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5866] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5866/stat : 5866 (java) S 5856 5858 1585 0 -1 4202560 255 0 0 0 8 14 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535156709544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5867] ppid=5856 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/5858/task/5867/stat : 5867 (java) S 5856 5858 1585 0 -1 4202560 342 0 0 0 18 20 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534819580456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5868] ppid=5856 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/5858/task/5868/stat : 5868 (java) S 5856 5858 1585 0 -1 4202560 180 0 0 0 9 9 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534818527656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5869] ppid=5856 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/5858/task/5869/stat : 5869 (java) S 5856 5858 1585 0 -1 4202560 152 0 0 0 97 6 0 0 20 0 19 0 335997976 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534806330088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5870] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5870/stat : 5870 (java) S 5856 5858 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534805276152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5871] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5871/stat : 5871 (java) S 5856 5858 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534804223752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5872] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5872/stat : 5872 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534803172240 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5873] ppid=5856 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/5858/task/5873/stat : 5873 (java) S 5856 5858 1585 0 -1 4202560 2077 0 0 0 19 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534802118840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5874] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5874/stat : 5874 (java) S 5856 5858 1585 0 -1 4202560 1530 0 0 0 22 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534801066040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5875] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5875/stat : 5875 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534800013944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5876] ppid=5856 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/5858/task/5876/stat : 5876 (java) S 5856 5858 1585 0 -1 4202560 100 0 0 0 32 40 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534798961352 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5877] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5877/stat : 5877 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997991 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534796830120 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.77
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 6094
/proc/meminfo: memFree=27290916/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=1784.78 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 10470 0 1 0 178303 175 0 0 20 0 19 0 335997973 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 419430 2291 9 0 746526 0
[pid=5858/tid=5860] ppid=5856 vsize=3024420 CPUtime=1780.57 cores=1,3,5,7
/proc/5858/task/5860/stat : 5860 (java) R 5856 5858 1585 0 -1 4202560 3274 0 1 0 178022 35 0 0 20 0 19 0 335997974 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535295946120 140535168048854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5861] ppid=5856 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5858/task/5861/stat : 5861 (java) S 5856 5858 1585 0 -1 4202560 332 0 0 0 15 19 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535161973544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5862] ppid=5856 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/5858/task/5862/stat : 5862 (java) S 5856 5858 1585 0 -1 4202560 239 0 0 0 12 14 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535160920744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5863] ppid=5856 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/5858/task/5863/stat : 5863 (java) S 5856 5858 1585 0 -1 4202560 254 0 0 0 11 15 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535159868456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5864] ppid=5856 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/5858/task/5864/stat : 5864 (java) S 5856 5858 1585 0 -1 4202560 318 0 0 0 14 13 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535158815656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5865] ppid=5856 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/5858/task/5865/stat : 5865 (java) S 5856 5858 1585 0 -1 4202560 231 0 0 0 10 11 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535157762344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5866] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5866/stat : 5866 (java) S 5856 5858 1585 0 -1 4202560 255 0 0 0 8 14 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535156709544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5867] ppid=5856 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/5858/task/5867/stat : 5867 (java) S 5856 5858 1585 0 -1 4202560 342 0 0 0 18 20 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534819580456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5868] ppid=5856 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/5858/task/5868/stat : 5868 (java) S 5856 5858 1585 0 -1 4202560 180 0 0 0 9 9 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534818527656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5869] ppid=5856 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/5858/task/5869/stat : 5869 (java) S 5856 5858 1585 0 -1 4202560 152 0 0 0 97 6 0 0 20 0 19 0 335997976 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534806330088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5870] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5870/stat : 5870 (java) S 5856 5858 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534805276152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5871] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5871/stat : 5871 (java) S 5856 5858 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534804223752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5872] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5872/stat : 5872 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534803172240 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5873] ppid=5856 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/5858/task/5873/stat : 5873 (java) S 5856 5858 1585 0 -1 4202560 2077 0 0 0 19 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534802118840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5874] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5874/stat : 5874 (java) S 5856 5858 1585 0 -1 4202560 1530 0 0 0 22 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534801066040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5875] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5875/stat : 5875 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534800013944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5876] ppid=5856 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/5858/task/5876/stat : 5876 (java) S 5856 5858 1585 0 -1 4202560 104 0 0 0 34 42 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534798961352 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5877] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5877/stat : 5877 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997991 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534796830120 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.78
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 6094
/proc/meminfo: memFree=27288996/32873648 swapFree=7116/7116
[pid=5858] ppid=5856 vsize=3024420 CPUtime=1800.1 cores=1,3,5,7
/proc/5858/stat : 5858 (java) S 5856 5858 1585 0 -1 4202496 10472 0 1 0 179834 176 0 0 20 0 19 0 335997973 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140733400822656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 756105 419430 2291 9 0 746526 0
[pid=5858/tid=5860] ppid=5856 vsize=3024420 CPUtime=1795.88 cores=1,3,5,7
/proc/5858/task/5860/stat : 5860 (java) R 5856 5858 1585 0 -1 4202560 3274 0 1 0 179553 35 0 0 20 0 19 0 335997974 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535295946120 140535168048836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5861] ppid=5856 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5858/task/5861/stat : 5861 (java) S 5856 5858 1585 0 -1 4202560 332 0 0 0 15 19 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535161973544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5862] ppid=5856 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/5858/task/5862/stat : 5862 (java) S 5856 5858 1585 0 -1 4202560 239 0 0 0 12 14 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535160920744 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5863] ppid=5856 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/5858/task/5863/stat : 5863 (java) S 5856 5858 1585 0 -1 4202560 254 0 0 0 11 15 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535159868456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5858/tid=5864] ppid=5856 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/5858/task/5864/stat : 5864 (java) S 5856 5858 1585 0 -1 4202560 318 0 0 0 14 13 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535158815656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5865] ppid=5856 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/5858/task/5865/stat : 5865 (java) S 5856 5858 1585 0 -1 4202560 231 0 0 0 10 11 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535157762344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5866] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5866/stat : 5866 (java) S 5856 5858 1585 0 -1 4202560 255 0 0 0 8 14 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140535156709544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5867] ppid=5856 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/5858/task/5867/stat : 5867 (java) S 5856 5858 1585 0 -1 4202560 342 0 0 0 18 20 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534819580456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5868] ppid=5856 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/5858/task/5868/stat : 5868 (java) S 5856 5858 1585 0 -1 4202560 180 0 0 0 9 9 0 0 20 0 19 0 335997975 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534818527656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5869] ppid=5856 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/5858/task/5869/stat : 5869 (java) S 5856 5858 1585 0 -1 4202560 152 0 0 0 97 6 0 0 20 0 19 0 335997976 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534806330088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5870] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5870/stat : 5870 (java) S 5856 5858 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534805276152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5871] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5871/stat : 5871 (java) S 5856 5858 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335997977 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534804223752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5872] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5872/stat : 5872 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534803172240 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5873] ppid=5856 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/5858/task/5873/stat : 5873 (java) S 5856 5858 1585 0 -1 4202560 2077 0 0 0 19 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534802118840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5858/tid=5874] ppid=5856 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/5858/task/5874/stat : 5874 (java) S 5856 5858 1585 0 -1 4202560 1530 0 0 0 22 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534801066040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5875] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5875/stat : 5875 (java) S 5856 5858 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534800013944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5858/tid=5876] ppid=5856 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/5858/task/5876/stat : 5876 (java) S 5856 5858 1585 0 -1 4202560 106 0 0 0 34 42 0 0 20 0 19 0 335997979 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534798961352 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5858/tid=5877] ppid=5856 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5858/task/5877/stat : 5877 (java) S 5856 5858 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335997991 3097006080 419430 33554432000 1073741824 1073778376 140733400831520 140534796830120 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3024420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.62
CPU time (s): 1800.47
CPU user time (s): 1798.36
CPU system time (s): 2.11268
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 2.11268
maximum resident set size= 1677944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10503
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38042
involuntary context switches= 10769

runsolver used 6.62999 second user time and 14.6228 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 06:45:25
IDJOB=3733785
IDBENCH=2600
IDSOLVER=2319
FILE ID=node127/3733785-1338698725
RUNJOBID= node127-1338678617-1607
PBS_JOBID= 14636686
Free space on /tmp= 70480 MiB

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

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

MD5SUM BENCH= a451a3aa708ebb54c76171e0e43da9df
RANDOM SEED=462425888

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28065424 kB
Buffers:          391096 kB
Cached:          1855628 kB
SwapCached:         1432 kB
Active:          2642532 kB
Inactive:        1238008 kB
Active(anon):    1627936 kB
Inactive(anon):     7952 kB
Active(file):    1014596 kB
Inactive(file):  1230056 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104504 kB
Dirty:              3476 kB
Writeback:             0 kB
AnonPages:       1682376 kB
Mapped:            19052 kB
Shmem:                92 kB
Slab:             745588 kB
SReclaimable:     189564 kB
SUnreclaim:       556024 kB
KernelStack:        1592 kB
PageTables:         7528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70472 MiB
End job on node127 at 2012-06-03 07:15:25