Trace number 3456376

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
Sat4j CuttingPlanes 2.3.0? (TO) 1800.28 1797.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUMfad56081e554a0467e4020315c4dfc76
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3456376-1307220328.opb
0.11/0.10	c reading problem ... 
0.52/0.38	c ... done. Wall clock time 0.275s.
0.52/0.38	c #vars     4000
0.52/0.38	c #constraints  10500
0.52/0.38	c constraints type 
0.52/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
0.52/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
4.18/3.26	c cleaning 0 clauses out of 5000 with flag 0/5000
7.25/6.22	c cleaning 0 clauses out of 11000 with flag 0/11000
10.85/9.86	c cleaning 0 clauses out of 18001 with flag 0/18001
15.31/14.30	c cleaning 0 clauses out of 26001 with flag 0/26001
21.13/20.10	c cleaning 0 clauses out of 35001 with flag 0/35001
27.34/26.23	c cleaning 0 clauses out of 45000 with flag 0/45000
34.16/33.08	c cleaning 0 clauses out of 56002 with flag 0/56002
41.77/40.67	c cleaning 0 clauses out of 67001 with flag 0/67001
49.86/48.75	c cleaning 0 clauses out of 78001 with flag 0/78001
58.28/57.15	c cleaning 0 clauses out of 89003 with flag 0/89003
67.20/66.08	c cleaning 0 clauses out of 100000 with flag 0/100000
76.88/75.79	c cleaning 0 clauses out of 111000 with flag 0/111000
87.06/85.83	c cleaning 0 clauses out of 122000 with flag 0/122000
97.36/96.17	c cleaning 0 clauses out of 133001 with flag 0/133001
108.17/106.90	c cleaning 0 clauses out of 144001 with flag 0/144001
119.68/118.48	c cleaning 0 clauses out of 155002 with flag 0/155002
131.29/130.04	c cleaning 0 clauses out of 166001 with flag 0/166001
144.22/142.99	c cleaning 0 clauses out of 177005 with flag 0/177005
156.81/155.51	c cleaning 0 clauses out of 188000 with flag 0/188000
169.42/168.20	c cleaning 0 clauses out of 199002 with flag 0/199002
182.63/181.30	c cleaning 0 clauses out of 210000 with flag 0/210000
195.24/193.98	c cleaning 0 clauses out of 221000 with flag 0/221000
208.55/207.21	c cleaning 0 clauses out of 232002 with flag 0/232002
221.87/220.59	c cleaning 0 clauses out of 243001 with flag 0/243001
236.08/234.78	c cleaning 0 clauses out of 254001 with flag 0/254001
252.99/251.61	c cleaning 0 clauses out of 265001 with flag 0/265001
269.20/267.89	c cleaning 0 clauses out of 276000 with flag 0/276000
286.01/284.69	c cleaning 0 clauses out of 287000 with flag 0/287000
302.22/300.87	c cleaning 0 clauses out of 298000 with flag 0/298000
317.54/316.19	c cleaning 0 clauses out of 309002 with flag 0/309002
334.05/332.68	c cleaning 0 clauses out of 320001 with flag 0/320001
351.06/349.69	c cleaning 0 clauses out of 331001 with flag 0/331001
368.90/367.43	c cleaning 0 clauses out of 342000 with flag 0/342000
386.69/385.23	c cleaning 0 clauses out of 353000 with flag 0/353000
404.02/402.59	c cleaning 0 clauses out of 364000 with flag 0/364000
423.02/421.54	c cleaning 0 clauses out of 375000 with flag 0/375000
442.83/441.37	c cleaning 0 clauses out of 386000 with flag 0/386000
466.05/464.52	c cleaning 0 clauses out of 397000 with flag 0/397000
488.57/487.07	c cleaning 0 clauses out of 408000 with flag 0/408000
509.48/507.93	c cleaning 0 clauses out of 419003 with flag 0/419003
531.10/529.54	c cleaning 0 clauses out of 430001 with flag 0/430001
551.63/550.03	c cleaning 0 clauses out of 441003 with flag 0/441003
573.12/571.55	c cleaning 0 clauses out of 452000 with flag 0/452000
593.35/591.76	c cleaning 0 clauses out of 463001 with flag 0/463001
614.75/613.15	c cleaning 0 clauses out of 474001 with flag 0/474001
636.66/635.09	c cleaning 0 clauses out of 485001 with flag 0/485001
658.58/656.93	c cleaning 0 clauses out of 496006 with flag 0/496006
680.69/679.08	c cleaning 0 clauses out of 507003 with flag 0/507003
703.61/701.93	c cleaning 0 clauses out of 518000 with flag 0/518000
729.74/728.03	c cleaning 0 clauses out of 529001 with flag 0/529001
754.65/753.00	c cleaning 0 clauses out of 540002 with flag 0/540002
780.77/779.06	c cleaning 0 clauses out of 551002 with flag 0/551002
806.59/804.87	c cleaning 0 clauses out of 562001 with flag 0/562001
833.60/831.85	c cleaning 0 clauses out of 573000 with flag 0/573000
860.94/859.13	c cleaning 0 clauses out of 584001 with flag 0/584001
895.06/893.22	c cleaning 0 clauses out of 595000 with flag 0/595000
925.07/923.20	c cleaning 0 clauses out of 606003 with flag 0/606003
954.89/953.00	c cleaning 0 clauses out of 617003 with flag 0/617003
985.80/983.99	c cleaning 0 clauses out of 628003 with flag 0/628003
1015.92/1014.03	c cleaning 0 clauses out of 639000 with flag 0/639000
1045.55/1043.67	c cleaning 0 clauses out of 650004 with flag 0/650004
1077.69/1075.73	c cleaning 0 clauses out of 661001 with flag 0/661001
1107.79/1105.84	c cleaning 0 clauses out of 672001 with flag 0/672001
1139.71/1137.72	c cleaning 0 clauses out of 683000 with flag 0/683000
1169.84/1167.83	c cleaning 0 clauses out of 694001 with flag 0/694001
1200.46/1198.44	c cleaning 0 clauses out of 705000 with flag 0/705000
1231.47/1229.41	c cleaning 0 clauses out of 716000 with flag 0/716000
1265.20/1263.18	c cleaning 0 clauses out of 727000 with flag 0/727000
1296.41/1294.36	c cleaning 0 clauses out of 738000 with flag 0/738000
1328.34/1326.24	c cleaning 0 clauses out of 749000 with flag 0/749000
1359.96/1357.88	c cleaning 0 clauses out of 760001 with flag 0/760001
1393.71/1391.56	c cleaning 0 clauses out of 771001 with flag 0/771001
1426.64/1424.49	c cleaning 0 clauses out of 782000 with flag 0/782000
1461.15/1458.90	c cleaning 0 clauses out of 793000 with flag 0/793000
1493.20/1490.97	c cleaning 0 clauses out of 804002 with flag 0/804002
1524.21/1521.97	c cleaning 0 clauses out of 815002 with flag 0/815002
1557.14/1554.88	c cleaning 0 clauses out of 826002 with flag 0/826002
1589.87/1587.54	c cleaning 0 clauses out of 837000 with flag 0/837000
1622.19/1619.80	c cleaning 0 clauses out of 848001 with flag 0/848001
1656.63/1654.27	c cleaning 0 clauses out of 859000 with flag 0/859000
1693.36/1690.95	c cleaning 0 clauses out of 870004 with flag 0/870004
1730.09/1727.62	c cleaning 0 clauses out of 881000 with flag 0/881000
1779.51/1777.03	c cleaning 0 clauses out of 892000 with flag 0/892000
1800.04/1797.52	c starts		: 182
1800.04/1797.52	c conflicts		: 896816
1800.04/1797.52	c decisions		: 1197097
1800.04/1797.52	c propagations		: 329213563
1800.04/1797.52	c inspects		: 7716070571
1800.04/1797.52	c shortcuts		: 0
1800.04/1797.52	c learnt literals	: 0
1800.04/1797.52	c learnt binary clauses	: 0
1800.04/1797.52	c learnt ternary clauses	: 78
1800.04/1797.52	c learnt constraints	: 896816
1800.04/1797.52	c ignored constraints	: 0
1800.04/1797.52	c root simplifications	: 0
1800.04/1797.52	c removed literals (reason simplification)	: 0
1800.04/1797.52	c reason swapping (by a shorter reason)	: 0
1800.04/1797.52	c Calls to reduceDB	: 83
1800.04/1797.52	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.52	c number of learned constraints concerned by reduction	: 0
1800.04/1797.52	c number of learning phase by resolution	: 0
1800.04/1797.52	c number of learning phase by cutting planes	: 0
1800.04/1797.52	c speed (assignments/second)	: 183187.2857014081
1800.04/1797.52	c non guided choices	0
1800.04/1797.59	c learnt constraints type 
1800.04/1797.59	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 896831
1800.04/1797.59	c constraints type 
1800.04/1797.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
1800.04/1797.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
1800.04/1797.59	s UNKNOWN
1800.04/1797.59	c Total wall clock time (in seconds): 1797.489

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3456376-1307220328/watcher-3456376-1307220328 -o /tmp/evaluation-result-3456376-1307220328/solver-3456376-1307220328 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456376-1307220328.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.04 2.06 2.00 2/499 22014
/proc/meminfo: memFree=23862548/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 6025 0 1 0 0 0 0 0 25 0 2 0 833632489 10694979584 5727 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2611079 5739 917 9 0 2602235 0
[pid=22014/tid=22015] ppid=22012 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 6888 0 1 0 0 1 0 0 25 0 2 0 833632489 10694979584 7704 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.072746 s]
/proc/loadavg: 2.04 2.06 2.00 2/499 22014
/proc/meminfo: memFree=23862548/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 11929 0 1 0 5 1 0 0 25 0 18 0 833632489 10724442112 11626 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2618272 11626 1754 9 0 2609006 0
[pid=22014/tid=22015] ppid=22012 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 10756 0 1 0 5 1 0 0 25 0 18 0 833632489 10724442112 11627 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 47481938582355 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100741 s]
/proc/loadavg: 2.04 2.06 2.00 2/499 22014
/proc/meminfo: memFree=23862548/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10540412 CPUtime=0.11 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 13161 0 1 0 9 2 0 0 25 0 18 0 833632489 10793381888 12823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2635103 12823 2092 9 0 2625837 0
[pid=22014/tid=22015] ppid=22012 vsize=10540412 CPUtime=0.08 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 11205 0 1 0 7 1 0 0 25 0 18 0 833632489 10793381888 12824 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 47481938583032 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540412

[startup+0.300706 s]
/proc/loadavg: 2.04 2.06 2.00 2/499 22014
/proc/meminfo: memFree=23862548/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10542232 CPUtime=0.52 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 16607 0 1 0 49 3 0 0 25 0 18 0 833632489 10795245568 15945 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2635558 15946 2201 9 0 2626292 0
[pid=22014/tid=22015] ppid=22012 vsize=10542232 CPUtime=0.28 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 13627 0 1 0 26 2 0 0 25 0 18 0 833632489 10795245568 15946 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505555294 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542232

[startup+0.700629 s]
/proc/loadavg: 2.04 2.06 2.00 2/499 22014
/proc/meminfo: memFree=23862548/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10547652 CPUtime=1.49 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 29448 0 1 0 144 5 0 0 25 0 19 0 833632489 10800795648 26154 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2636913 26154 2237 9 0 2627647 0
[pid=22014/tid=22015] ppid=22012 vsize=10547652 CPUtime=0.68 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 21471 0 1 0 65 3 0 0 25 0 19 0 833632489 10800795648 26154 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505805877 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10547652

[startup+1.50148 s]
/proc/loadavg: 2.04 2.05 2.00 3/518 22033
/proc/meminfo: memFree=23705960/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10547652 CPUtime=2.4 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 69639 0 1 0 231 9 0 0 25 0 19 0 833632489 10800795648 65975 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2636913 65975 2237 9 0 2627647 0
[pid=22014/tid=22015] ppid=22012 vsize=10547652 CPUtime=1.48 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 61277 0 1 0 140 8 0 0 25 0 19 0 833632489 10800795648 65975 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505874552 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22014/tid=22017] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22017/stat : 22017 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65975 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22018] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22018/stat : 22018 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65975 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22019] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22019/stat : 22019 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65975 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22020] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22020/stat : 22020 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65980 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22021] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22021/stat : 22021 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65984 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22022] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22022/stat : 22022 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65986 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22023] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22023/stat : 22023 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65988 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22024] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22024/stat : 22024 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10800795648 65990 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22025] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22025/stat : 22025 (java) S 22012 22014 20277 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 833632492 10800795648 65992 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 0 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22026] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22026/stat : 22026 (java) S 22012 22014 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833632493 10800795648 65994 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22027] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22027/stat : 22027 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632493 10800795648 65995 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22028] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22028/stat : 22028 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800795648 65997 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092055985 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22029] ppid=22012 vsize=10547652 CPUtime=0.43 cores=1,3,5,7
/proc/22014/task/22029/stat : 22029 (java) S 22012 22014 20277 0 -1 4202560 3429 0 0 0 43 0 0 0 20 0 19 0 833632495 10800795648 65998 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22030] ppid=22012 vsize=10547652 CPUtime=0.46 cores=1,3,5,7
/proc/22014/task/22030/stat : 22030 (java) S 22012 22014 20277 0 -1 4202560 3772 0 0 0 46 0 0 0 25 0 19 0 833632495 10800795648 66000 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22031] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22031/stat : 22031 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800795648 66001 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22032] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22032/stat : 22032 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833632495 10800795648 66002 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22033] ppid=22012 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22033/stat : 22033 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632532 10800795648 66004 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 10547652

[startup+3.10117 s]
/proc/loadavg: 2.04 2.05 2.00 3/518 22033
/proc/meminfo: memFree=23481892/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10547884 CPUtime=4.07 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 150230 0 1 0 387 20 0 0 25 0 19 0 833632489 10801033216 146565 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2636971 146565 2240 9 0 2627705 0
[pid=22014/tid=22015] ppid=22012 vsize=10547884 CPUtime=3.08 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 141819 0 1 0 290 18 0 0 25 0 19 0 833632489 10801033216 146565 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505805950 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22014/tid=22017] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22017/stat : 22017 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146565 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22018] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22018/stat : 22018 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146565 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22019] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22019/stat : 22019 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146566 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22020] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22020/stat : 22020 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146566 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22021] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22021/stat : 22021 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22022] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22022/stat : 22022 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22023] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22023/stat : 22023 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22024] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22024/stat : 22024 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632491 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22025] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22025/stat : 22025 (java) S 22012 22014 20277 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 833632492 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 0 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22026] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22026/stat : 22026 (java) S 22012 22014 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833632493 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22027] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22027/stat : 22027 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632493 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22028] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22028/stat : 22028 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092055985 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22029] ppid=22012 vsize=10547884 CPUtime=0.48 cores=1,3,5,7
/proc/22014/task/22029/stat : 22029 (java) S 22012 22014 20277 0 -1 4202560 3473 0 0 0 48 0 0 0 15 0 19 0 833632495 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22030] ppid=22012 vsize=10547884 CPUtime=0.48 cores=1,3,5,7
/proc/22014/task/22030/stat : 22030 (java) S 22012 22014 20277 0 -1 4202560 3777 0 0 0 48 0 0 0 16 0 19 0 833632495 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22031] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22031/stat : 22031 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22032] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22032/stat : 22032 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833632495 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22033] ppid=22012 vsize=10547884 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22033/stat : 22033 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632532 10801033216 146567 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 10547884

[startup+6.30156 s]
/proc/loadavg: 2.04 2.05 2.00 3/518 22033
/proc/meminfo: memFree=23243688/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10546908 CPUtime=7.34 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 183545 0 1 0 710 24 0 0 25 0 19 0 833632489 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2636727 179636 2266 9 0 2627461 0
[pid=22014/tid=22015] ppid=22012 vsize=10546908 CPUtime=6.21 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 171670 0 1 0 599 22 0 0 25 0 19 0 833632489 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505805720 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22014/tid=22017] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22017/stat : 22017 (java) S 22012 22014 20277 0 -1 4202560 288 0 0 0 0 0 0 0 16 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22018] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22018/stat : 22018 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22019] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22019/stat : 22019 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22020] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22020/stat : 22020 (java) S 22012 22014 20277 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22021] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22021/stat : 22021 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22022] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22022/stat : 22022 (java) S 22012 22014 20277 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22023] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22023/stat : 22023 (java) S 22012 22014 20277 0 -1 4202560 354 0 0 0 0 0 0 0 15 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22024] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22024/stat : 22024 (java) S 22012 22014 20277 0 -1 4202560 663 0 0 0 0 0 0 0 18 0 19 0 833632491 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22025] ppid=22012 vsize=10546908 CPUtime=0.03 cores=1,3,5,7
/proc/22014/task/22025/stat : 22025 (java) S 22012 22014 20277 0 -1 4202560 1707 0 0 0 3 0 0 0 16 0 19 0 833632492 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 0 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22026] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22026/stat : 22026 (java) S 22012 22014 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22027] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22027/stat : 22027 (java) S 22012 22014 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22028] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22028/stat : 22028 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092055985 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22029] ppid=22012 vsize=10546908 CPUtime=0.51 cores=1,3,5,7
/proc/22014/task/22029/stat : 22029 (java) S 22012 22014 20277 0 -1 4202560 3490 0 0 0 51 0 0 0 15 0 19 0 833632495 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22030] ppid=22012 vsize=10546908 CPUtime=0.53 cores=1,3,5,7
/proc/22014/task/22030/stat : 22030 (java) S 22012 22014 20277 0 -1 4202560 3810 0 0 0 53 0 0 0 16 0 19 0 833632495 10800033792 179636 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0

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

/proc/22014/task/22027/stat : 22027 (java) S 22012 22014 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 459194 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22028] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22028/stat : 22028 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 459194 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092055985 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22029] ppid=22012 vsize=10546908 CPUtime=0.51 cores=1,3,5,7
/proc/22014/task/22029/stat : 22029 (java) S 22012 22014 20277 0 -1 4202560 3490 0 0 0 51 0 0 0 15 0 19 0 833632495 10800033792 459194 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22030] ppid=22012 vsize=10546908 CPUtime=0.68 cores=1,3,5,7
/proc/22014/task/22030/stat : 22030 (java) S 22012 22014 20277 0 -1 4202560 3940 0 0 0 68 0 0 0 15 0 19 0 833632495 10800033792 459194 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22031] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22031/stat : 22031 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 459194 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22032] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22032/stat : 22032 (java) S 22012 22014 20277 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833632495 10800033792 459194 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22033] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22033/stat : 22033 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632532 10800033792 459194 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.76
Current children cumulated vsize (KiB) 10546908

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/518 22139
/proc/meminfo: memFree=22827768/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10546908 CPUtime=1724.79 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 465093 0 1 0 172422 57 0 0 25 0 19 0 833632489 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2636727 460823 2267 9 0 2627461 0
[pid=22014/tid=22015] ppid=22012 vsize=10546908 CPUtime=1704.86 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 341746 0 1 0 170444 42 0 0 25 0 19 0 833632489 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505986104 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22014/tid=22017] ppid=22012 vsize=10546908 CPUtime=0.24 cores=1,3,5,7
/proc/22014/task/22017/stat : 22017 (java) S 22012 22014 20277 0 -1 4202560 1357 0 0 0 24 0 0 0 16 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22018] ppid=22012 vsize=10546908 CPUtime=0.17 cores=1,3,5,7
/proc/22014/task/22018/stat : 22018 (java) S 22012 22014 20277 0 -1 4202560 39 0 0 0 17 0 0 0 15 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22019] ppid=22012 vsize=10546908 CPUtime=0.3 cores=1,3,5,7
/proc/22014/task/22019/stat : 22019 (java) S 22012 22014 20277 0 -1 4202560 166 0 0 0 30 0 0 0 15 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22020] ppid=22012 vsize=10546908 CPUtime=0.22 cores=1,3,5,7
/proc/22014/task/22020/stat : 22020 (java) S 22012 22014 20277 0 -1 4202560 390 0 0 0 22 0 0 0 15 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22021] ppid=22012 vsize=10546908 CPUtime=0.26 cores=1,3,5,7
/proc/22014/task/22021/stat : 22021 (java) S 22012 22014 20277 0 -1 4202560 237 0 0 0 26 0 0 0 16 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22022] ppid=22012 vsize=10546908 CPUtime=0.26 cores=1,3,5,7
/proc/22014/task/22022/stat : 22022 (java) S 22012 22014 20277 0 -1 4202560 759 0 0 0 26 0 0 0 16 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 5 0 0 0
[pid=22014/tid=22023] ppid=22012 vsize=10546908 CPUtime=0.17 cores=1,3,5,7
/proc/22014/task/22023/stat : 22023 (java) S 22012 22014 20277 0 -1 4202560 1021 0 0 0 17 0 0 0 15 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22024] ppid=22012 vsize=10546908 CPUtime=0.24 cores=1,3,5,7
/proc/22014/task/22024/stat : 22024 (java) S 22012 22014 20277 0 -1 4202560 1200 0 0 0 24 0 0 0 16 0 19 0 833632491 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 5 0 0 0
[pid=22014/tid=22025] ppid=22012 vsize=10546908 CPUtime=16.74 cores=1,3,5,7
/proc/22014/task/22025/stat : 22025 (java) S 22012 22014 20277 0 -1 4202560 109498 0 0 0 1664 10 0 0 15 0 19 0 833632492 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 0 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22026] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22026/stat : 22026 (java) S 22012 22014 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22027] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22027/stat : 22027 (java) S 22012 22014 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22028] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22028/stat : 22028 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092055985 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22029] ppid=22012 vsize=10546908 CPUtime=0.51 cores=1,3,5,7
/proc/22014/task/22029/stat : 22029 (java) S 22012 22014 20277 0 -1 4202560 3490 0 0 0 51 0 0 0 15 0 19 0 833632495 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22030] ppid=22012 vsize=10546908 CPUtime=0.68 cores=1,3,5,7
/proc/22014/task/22030/stat : 22030 (java) S 22012 22014 20277 0 -1 4202560 3940 0 0 0 68 0 0 0 15 0 19 0 833632495 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22031] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22031/stat : 22031 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22032] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22032/stat : 22032 (java) S 22012 22014 20277 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833632495 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22033] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22033/stat : 22033 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632532 10800033792 460823 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.79
Current children cumulated vsize (KiB) 10546908

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/518 22140
/proc/meminfo: memFree=22809888/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10546908 CPUtime=1784.83 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 469555 0 1 0 178426 57 0 0 25 0 19 0 833632489 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2636727 465272 2267 9 0 2627461 0
[pid=22014/tid=22015] ppid=22012 vsize=10546908 CPUtime=1764.09 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 341748 0 1 0 176367 42 0 0 25 0 19 0 833632489 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505794211 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22014/tid=22017] ppid=22012 vsize=10546908 CPUtime=0.24 cores=1,3,5,7
/proc/22014/task/22017/stat : 22017 (java) S 22012 22014 20277 0 -1 4202560 1357 0 0 0 24 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22018] ppid=22012 vsize=10546908 CPUtime=0.19 cores=1,3,5,7
/proc/22014/task/22018/stat : 22018 (java) S 22012 22014 20277 0 -1 4202560 377 0 0 0 19 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 5 0 0 0
[pid=22014/tid=22019] ppid=22012 vsize=10546908 CPUtime=0.33 cores=1,3,5,7
/proc/22014/task/22019/stat : 22019 (java) S 22012 22014 20277 0 -1 4202560 498 0 0 0 33 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22020] ppid=22012 vsize=10546908 CPUtime=0.22 cores=1,3,5,7
/proc/22014/task/22020/stat : 22020 (java) S 22012 22014 20277 0 -1 4202560 390 0 0 0 22 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22021] ppid=22012 vsize=10546908 CPUtime=0.27 cores=1,3,5,7
/proc/22014/task/22021/stat : 22021 (java) S 22012 22014 20277 0 -1 4202560 237 0 0 0 27 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22022] ppid=22012 vsize=10546908 CPUtime=0.27 cores=1,3,5,7
/proc/22014/task/22022/stat : 22022 (java) S 22012 22014 20277 0 -1 4202560 759 0 0 0 27 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 5 0 0 0
[pid=22014/tid=22023] ppid=22012 vsize=10546908 CPUtime=0.17 cores=1,3,5,7
/proc/22014/task/22023/stat : 22023 (java) S 22012 22014 20277 0 -1 4202560 1021 0 0 0 17 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22024] ppid=22012 vsize=10546908 CPUtime=0.25 cores=1,3,5,7
/proc/22014/task/22024/stat : 22024 (java) S 22012 22014 20277 0 -1 4202560 1200 0 0 0 25 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22025] ppid=22012 vsize=10546908 CPUtime=17.49 cores=1,3,5,7
/proc/22014/task/22025/stat : 22025 (java) S 22012 22014 20277 0 -1 4202560 113284 0 0 0 1738 11 0 0 15 0 19 0 833632492 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 0 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22026] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22026/stat : 22026 (java) S 22012 22014 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22027] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22027/stat : 22027 (java) S 22012 22014 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22028] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22028/stat : 22028 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092055985 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22029] ppid=22012 vsize=10546908 CPUtime=0.51 cores=1,3,5,7
/proc/22014/task/22029/stat : 22029 (java) S 22012 22014 20277 0 -1 4202560 3490 0 0 0 51 0 0 0 15 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22030] ppid=22012 vsize=10546908 CPUtime=0.68 cores=1,3,5,7
/proc/22014/task/22030/stat : 22030 (java) S 22012 22014 20277 0 -1 4202560 3940 0 0 0 68 0 0 0 15 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22031] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22031/stat : 22031 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22032] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22032/stat : 22032 (java) S 22012 22014 20277 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22033] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22033/stat : 22033 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632532 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.83
Current children cumulated vsize (KiB) 10546908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.5 s]
/proc/loadavg: 2.03 2.05 2.00 3/518 22141
/proc/meminfo: memFree=22809992/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=10546908 CPUtime=1800.04 cores=1,3,5,7
/proc/22014/stat : 22014 (java) S 22012 22014 20277 0 -1 4202496 469555 0 1 0 179947 57 0 0 25 0 19 0 833632489 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 2636727 465272 2267 9 0 2627461 0
[pid=22014/tid=22015] ppid=22012 vsize=10546908 CPUtime=1779.31 cores=1,3,5,7
/proc/22014/task/22015/stat : 22015 (java) R 22012 22014 20277 0 -1 4202560 341748 0 1 0 177889 42 0 0 25 0 19 0 833632489 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 46912505794732 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22014/tid=22017] ppid=22012 vsize=10546908 CPUtime=0.24 cores=1,3,5,7
/proc/22014/task/22017/stat : 22017 (java) S 22012 22014 20277 0 -1 4202560 1357 0 0 0 24 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22018] ppid=22012 vsize=10546908 CPUtime=0.19 cores=1,3,5,7
/proc/22014/task/22018/stat : 22018 (java) S 22012 22014 20277 0 -1 4202560 377 0 0 0 19 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 5 0 0 0
[pid=22014/tid=22019] ppid=22012 vsize=10546908 CPUtime=0.33 cores=1,3,5,7
/proc/22014/task/22019/stat : 22019 (java) S 22012 22014 20277 0 -1 4202560 498 0 0 0 33 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22020] ppid=22012 vsize=10546908 CPUtime=0.22 cores=1,3,5,7
/proc/22014/task/22020/stat : 22020 (java) S 22012 22014 20277 0 -1 4202560 390 0 0 0 22 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22021] ppid=22012 vsize=10546908 CPUtime=0.27 cores=1,3,5,7
/proc/22014/task/22021/stat : 22021 (java) S 22012 22014 20277 0 -1 4202560 237 0 0 0 27 0 0 0 16 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22022] ppid=22012 vsize=10546908 CPUtime=0.27 cores=1,3,5,7
/proc/22014/task/22022/stat : 22022 (java) S 22012 22014 20277 0 -1 4202560 759 0 0 0 27 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 5 0 0 0
[pid=22014/tid=22023] ppid=22012 vsize=10546908 CPUtime=0.17 cores=1,3,5,7
/proc/22014/task/22023/stat : 22023 (java) S 22012 22014 20277 0 -1 4202560 1021 0 0 0 17 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22024] ppid=22012 vsize=10546908 CPUtime=0.25 cores=1,3,5,7
/proc/22014/task/22024/stat : 22024 (java) S 22012 22014 20277 0 -1 4202560 1200 0 0 0 25 0 0 0 15 0 19 0 833632491 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
[pid=22014/tid=22025] ppid=22012 vsize=10546908 CPUtime=17.49 cores=1,3,5,7
/proc/22014/task/22025/stat : 22025 (java) S 22012 22014 20277 0 -1 4202560 113284 0 0 0 1738 11 0 0 15 0 19 0 833632492 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 0 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22026] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22026/stat : 22026 (java) S 22012 22014 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22027] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22027/stat : 22027 (java) S 22012 22014 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833632493 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22028] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22028/stat : 22028 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092055985 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22029] ppid=22012 vsize=10546908 CPUtime=0.51 cores=1,3,5,7
/proc/22014/task/22029/stat : 22029 (java) S 22012 22014 20277 0 -1 4202560 3490 0 0 0 51 0 0 0 15 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 3 0 0 0
[pid=22014/tid=22030] ppid=22012 vsize=10546908 CPUtime=0.68 cores=1,3,5,7
/proc/22014/task/22030/stat : 22030 (java) S 22012 22014 20277 0 -1 4202560 3940 0 0 0 68 0 0 0 15 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22031] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22031/stat : 22031 (java) S 22012 22014 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048281 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22032] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22032/stat : 22032 (java) S 22012 22014 20277 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833632495 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 1 0 0 0
[pid=22014/tid=22033] ppid=22012 vsize=10546908 CPUtime=0 cores=1,3,5,7
/proc/22014/task/22033/stat : 22033 (java) S 22012 22014 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833632532 10800033792 465272 33554432000 1073741824 1073778376 140736289291152 18446744073709551615 208092048896 0 4 0 16800975 18446604456339163264 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10546908

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

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

[startup+1797.63 s]
/proc/loadavg: 2.03 2.05 2.00 3/518 22141
/proc/meminfo: memFree=22809992/32950928 swapFree=39617324/67111528
[pid=22014] ppid=22012 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/22014/stat : 22014 (java) Z 22012 22014 20277 0 -1 4203548 469584 0 1 0 179962 60 0 0 17 0 2 0 833632489 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22014/statm: 0 0 0 0 0 0 0
[pid=22014/tid=22022] ppid=22012 vsize=0 CPUtime=0.29 cores=1,3,5,7
/proc/22014/task/22022/stat : 22022 (java) R 22012 22014 20277 0 -1 4203588 759 0 0 0 27 2 0 0 15 0 2 0 833632491 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1797.67
CPU time (s): 1800.28
CPU user time (s): 1799.63
CPU system time (s): 0.6549
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 10549224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.6549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469584
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39222
involuntary context switches= 9408

runsolver used 8.5657 second user time and 20.8188 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-04 22:45:28
IDJOB=3456376
IDBENCH=2191
IDSOLVER=1951
FILE ID=node127/3456376-1307220328
RUNJOBID= node127-1307216732-21495
PBS_JOBID= 13509032
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456376-1307220328/watcher-3456376-1307220328 -o /tmp/evaluation-result-3456376-1307220328/solver-3456376-1307220328 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456376-1307220328.opb

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

MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76
RANDOM SEED=41226225

node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23862828 kB
Buffers:        335588 kB
Cached:         936984 kB
SwapCached:      59160 kB
Active:        6794204 kB
Inactive:      1998012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23862828 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:             828 kB
Writeback:          44 kB
AnonPages:     7467316 kB
Mapped:          30396 kB
Slab:           124704 kB
PageTables:     102060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 130092432 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node127 at 2011-06-04 23:15:28