Trace number 3458993

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 Resolution 2.3.0? (TO) 1800.15 1797.89

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUMb626c8307376f19de1f1e51bf91eca4f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark322124420039689472000
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17540679175205888
Optimality of the best value was proved NO
Number of variables85198
Total number of constraints1652
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1652
Minimum length of a constraint31
Maximum length of a constraint35129
Number of terms in the objective function 85198
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 6796468271401867858547
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 6796468271401867858547
Number of bits of the biggest sum of numbers73
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458993-1307150632.opb
0.10/0.11	c reading problem ... 
1.96/1.58	c ... done. Wall clock time 1.466s.
1.96/1.58	c #vars     85198
1.96/1.58	c #constraints  23213
1.96/1.58	c constraints type 
1.96/1.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3288
66.21/65.37	c cleaning 2490 clauses out of 5000 with flag 5000/5000
144.76/143.75	c cleaning 4254 clauses out of 8512 with flag 11002/11002
244.37/243.39	c cleaning 5627 clauses out of 11260 with flag 18004/18004
328.48/327.42	c cleaning 6807 clauses out of 13629 with flag 26000/26000
429.93/428.88	c cleaning 7905 clauses out of 15824 with flag 35002/35002
548.45/547.33	c cleaning 8945 clauses out of 17918 with flag 45001/45001
702.77/701.63	c cleaning 9484 clauses out of 18974 with flag 55002/55002
765.27/764.11	c cleaning 9720 clauses out of 19488 with flag 65000/65000
776.39/775.27	c cleaning 9883 clauses out of 19768 with flag 75000/75000
797.70/796.55	c cleaning 9932 clauses out of 19886 with flag 85001/85001
813.51/812.38	c cleaning 9975 clauses out of 19958 with flag 95005/95005
829.54/828.38	c cleaning 9983 clauses out of 19987 with flag 105009/105009
844.63/843.48	c cleaning 9992 clauses out of 19995 with flag 115000/115000
861.65/860.47	c cleaning 9979 clauses out of 20003 with flag 125000/125000
876.56/875.36	c cleaning 9987 clauses out of 20024 with flag 135000/135000
880.67/879.46	c cleaning 10019 clauses out of 20042 with flag 145005/145005
887.69/886.41	c cleaning 9966 clauses out of 20018 with flag 155000/155000
896.30/895.04	c cleaning 9992 clauses out of 20052 with flag 165000/165000
910.30/909.05	c cleaning 10025 clauses out of 20068 with flag 175008/175008
923.13/921.87	c cleaning 10011 clauses out of 20037 with flag 185002/185002
930.42/929.17	c cleaning 10006 clauses out of 20029 with flag 195005/195005
936.43/935.13	c cleaning 9996 clauses out of 20020 with flag 205002/205002
941.45/940.15	c cleaning 9996 clauses out of 20022 with flag 215000/215000
947.28/945.91	c cleaning 10003 clauses out of 20027 with flag 225001/225001
954.78/953.42	c cleaning 10004 clauses out of 20027 with flag 235004/235004
966.19/964.90	c cleaning 9997 clauses out of 20019 with flag 245000/245000
977.20/975.87	c cleaning 10006 clauses out of 20022 with flag 255000/255000
994.62/993.22	c cleaning 9994 clauses out of 20016 with flag 265000/265000
1005.93/1004.58	c cleaning 10002 clauses out of 20022 with flag 275000/275000
1011.95/1010.56	c cleaning 10001 clauses out of 20020 with flag 285000/285000
1024.26/1022.84	c cleaning 10001 clauses out of 20019 with flag 295000/295000
1031.28/1029.89	c cleaning 10005 clauses out of 20019 with flag 305001/305001
1035.40/1033.91	c cleaning 10000 clauses out of 20014 with flag 315001/315001
1041.49/1040.04	c cleaning 9989 clauses out of 20013 with flag 325000/325000
1048.21/1046.75	c cleaning 9998 clauses out of 20024 with flag 335000/335000
1054.41/1052.99	c cleaning 9998 clauses out of 20027 with flag 345001/345001
1105.71/1104.22	c cleaning 10006 clauses out of 20028 with flag 355000/355000
1134.33/1132.85	c cleaning 9982 clauses out of 20022 with flag 365000/365000
1142.05/1140.55	c cleaning 10000 clauses out of 20040 with flag 375000/375000
1148.45/1146.94	c cleaning 10000 clauses out of 20040 with flag 385000/385000
1162.35/1160.83	c cleaning 10010 clauses out of 20045 with flag 395005/395005
1176.67/1175.12	c cleaning 10000 clauses out of 20033 with flag 405003/405003
1189.98/1188.44	c cleaning 10007 clauses out of 20031 with flag 415001/415001
1212.10/1210.50	c cleaning 9999 clauses out of 20023 with flag 425000/425000
1235.41/1233.87	c cleaning 10006 clauses out of 20024 with flag 435000/435000
1269.53/1267.95	c cleaning 10008 clauses out of 20026 with flag 445008/445008
1298.47/1296.87	c cleaning 9986 clauses out of 20010 with flag 455000/455000
1308.27/1306.70	c cleaning 9996 clauses out of 20024 with flag 465000/465000
1317.38/1315.77	c cleaning 9994 clauses out of 20028 with flag 475000/475000
1334.39/1332.73	c cleaning 10042 clauses out of 20106 with flag 485072/485072
1359.41/1357.76	c cleaning 9984 clauses out of 19998 with flag 495006/495006
1385.12/1383.43	c cleaning 10062 clauses out of 20130 with flag 505122/505122
1407.95/1406.28	c cleaning 9965 clauses out of 19973 with flag 515027/515027
1427.66/1425.92	c cleaning 9989 clauses out of 19988 with flag 525007/525007
1434.28/1432.55	c cleaning 9985 clauses out of 19992 with flag 535000/535000
1439.18/1437.44	c cleaning 9993 clauses out of 20008 with flag 545001/545001
1444.20/1442.40	c cleaning 9997 clauses out of 20014 with flag 555000/555000
1449.10/1447.31	c cleaning 9999 clauses out of 20018 with flag 565001/565001
1454.00/1452.24	c cleaning 9998 clauses out of 20018 with flag 575000/575000
1458.81/1457.07	c cleaning 10001 clauses out of 20021 with flag 585001/585001
1475.01/1473.26	c cleaning 10060 clauses out of 20124 with flag 595105/595105
1489.23/1487.46	c cleaning 9976 clauses out of 19960 with flag 605001/605001
1497.95/1496.18	c cleaning 9986 clauses out of 19991 with flag 615008/615008
1503.97/1502.17	c cleaning 9981 clauses out of 19997 with flag 625000/625000
1507.57/1505.73	c cleaning 10009 clauses out of 20032 with flag 635016/635016
1510.39/1508.55	c cleaning 10002 clauses out of 20017 with flag 645010/645010
1516.19/1514.34	c cleaning 9982 clauses out of 20005 with flag 655000/655000
1521.41/1519.50	c cleaning 9988 clauses out of 20023 with flag 665000/665000
1527.21/1525.37	c cleaning 10012 clauses out of 20036 with flag 675001/675001
1533.63/1531.73	c cleaning 9990 clauses out of 20023 with flag 685000/685000
1539.75/1537.83	c cleaning 9995 clauses out of 20033 with flag 695000/695000
1545.44/1543.52	c cleaning 10003 clauses out of 20038 with flag 705000/705000
1550.26/1548.33	c cleaning 9997 clauses out of 20035 with flag 715000/715000
1557.67/1555.72	c cleaning 10003 clauses out of 20038 with flag 725000/725000
1560.88/1558.93	c cleaning 10001 clauses out of 20035 with flag 735000/735000
1564.19/1562.22	c cleaning 9997 clauses out of 20034 with flag 745000/745000
1567.69/1565.73	c cleaning 10000 clauses out of 20037 with flag 755000/755000
1571.19/1569.26	c cleaning 9999 clauses out of 20037 with flag 765000/765000
1575.30/1573.37	c cleaning 10005 clauses out of 20038 with flag 775000/775000
1579.60/1577.63	c cleaning 10010 clauses out of 20036 with flag 785003/785003
1582.91/1580.90	c cleaning 10002 clauses out of 20024 with flag 795001/795001
1586.03/1584.09	c cleaning 10001 clauses out of 20021 with flag 805000/805000
1592.63/1590.63	c cleaning 9999 clauses out of 20020 with flag 815000/815000
1601.62/1599.61	c cleaning 10000 clauses out of 20021 with flag 825000/825000
1610.62/1608.63	c cleaning 10004 clauses out of 20025 with flag 835004/835004
1619.62/1617.60	c cleaning 9998 clauses out of 20018 with flag 845001/845001
1628.62/1626.61	c cleaning 10001 clauses out of 20019 with flag 855000/855000
1637.12/1635.12	c cleaning 9999 clauses out of 20019 with flag 865001/865001
1643.83/1641.84	c cleaning 10006 clauses out of 20023 with flag 875004/875004
1655.54/1653.55	c cleaning 10001 clauses out of 20013 with flag 885000/885000
1666.28/1664.31	c cleaning 9993 clauses out of 20012 with flag 895000/895000
1671.49/1669.44	c cleaning 9994 clauses out of 20019 with flag 905000/905000
1679.71/1677.60	c cleaning 9997 clauses out of 20025 with flag 915000/915000
1695.83/1693.70	c cleaning 9998 clauses out of 20029 with flag 925001/925001
1720.15/1718.01	c cleaning 9993 clauses out of 20030 with flag 935000/935000
1736.05/1733.92	c cleaning 10007 clauses out of 20038 with flag 945001/945001
1739.87/1737.78	c cleaning 10004 clauses out of 20031 with flag 955001/955001
1745.38/1743.23	c cleaning 10001 clauses out of 20027 with flag 965001/965001
1755.18/1753.03	c cleaning 10001 clauses out of 20027 with flag 975002/975002
1766.39/1764.29	c cleaning 10003 clauses out of 20024 with flag 985000/985000
1776.90/1774.78	c cleaning 9980 clauses out of 20022 with flag 995001/995001
1783.71/1781.55	c cleaning 9992 clauses out of 20042 with flag 1005001/1005001
1793.11/1790.91	c cleaning 10018 clauses out of 20050 with flag 1015001/1015001
1800.04/1797.82	c starts		: 188
1800.04/1797.82	c conflicts		: 1024474
1800.04/1797.82	c decisions		: 8168411
1800.04/1797.82	c propagations		: 91194335
1800.04/1797.82	c inspects		: 1099779717
1800.04/1797.82	c shortcuts		: 0
1800.04/1797.82	c learnt literals	: 0
1800.04/1797.82	c learnt binary clauses	: 0
1800.04/1797.82	c learnt ternary clauses	: 0
1800.04/1797.82	c learnt constraints	: 1024473
1800.04/1797.82	c ignored constraints	: 0
1800.04/1797.82	c root simplifications	: 0
1800.04/1797.82	c removed literals (reason simplification)	: 6462242
1800.04/1797.82	c reason swapping (by a shorter reason)	: 0
1800.04/1797.82	c Calls to reduceDB	: 103
1800.04/1797.82	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.82	c number of learned constraints concerned by reduction	: 0
1800.04/1797.82	c number of learning phase by resolution	: 0
1800.04/1797.82	c number of learning phase by cutting planes	: 0
1800.04/1797.82	c speed (assignments/second)	: 50769.461164518856
1800.04/1797.82	c non guided choices	5679076
1800.04/1797.85	c learnt constraints type 
1800.04/1797.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19539
1800.04/1797.85	c constraints type 
1800.04/1797.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3288
1800.04/1797.85	s UNKNOWN
1800.04/1797.85	c Total wall clock time (in seconds): 1797.738

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-3458993-1307150632/watcher-3458993-1307150632 -o /tmp/evaluation-result-3458993-1307150632/solver-3458993-1307150632 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458993-1307150632.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 1/479 11667
/proc/meminfo: memFree=27406972/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 3089 0 1 0 0 0 0 0 25 0 2 0 826662848 13833195520 2792 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3377245 2804 906 9 0 3368401 0
[pid=11667/tid=11668] ppid=11665 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 5057 0 1 0 0 0 0 0 25 0 2 0 826662849 13850947584 5873 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0654831 s]
/proc/loadavg: 1.92 2.01 1.99 1/479 11667
/proc/meminfo: memFree=27406972/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13554784 CPUtime=0.05 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 14125 0 1 0 3 2 0 0 25 0 18 0 826662848 13880098816 13823 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3388696 13823 1729 9 0 3379437 0
[pid=11667/tid=11668] ppid=11665 vsize=13554784 CPUtime=0.04 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 12953 0 1 0 3 1 0 0 25 0 18 0 826662849 13880098816 13824 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46915863633400 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554784

[startup+0.100476 s]
/proc/loadavg: 1.92 2.01 1.99 1/479 11667
/proc/meminfo: memFree=27406972/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13621828 CPUtime=0.1 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 15502 0 1 0 8 2 0 0 25 0 18 0 826662848 13948751872 15164 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3405457 15164 2092 9 0 3396191 0
[pid=11667/tid=11668] ppid=11665 vsize=13621828 CPUtime=0.08 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 13565 0 1 0 7 1 0 0 25 0 18 0 826662849 13948751872 15164 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912496203168 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621828

[startup+0.30044 s]
/proc/loadavg: 1.92 2.01 1.99 1/479 11667
/proc/meminfo: memFree=27406972/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13624308 CPUtime=0.47 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 22871 0 1 0 44 3 0 0 25 0 18 0 826662848 13951291392 21920 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3406077 21923 2199 9 0 3396811 0
[pid=11667/tid=11668] ppid=11665 vsize=13624308 CPUtime=0.28 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 19158 0 1 0 26 2 0 0 25 0 18 0 826662849 13951291392 21924 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505563437 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624308

[startup+0.700403 s]
/proc/loadavg: 1.92 2.01 1.99 1/479 11667
/proc/meminfo: memFree=27406972/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13630548 CPUtime=1.14 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 53687 0 1 0 106 8 0 0 25 0 18 0 826662848 13957681152 51099 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3407637 51103 2204 9 0 3398371 0
[pid=11667/tid=11668] ppid=11665 vsize=13630548 CPUtime=0.68 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 45790 0 1 0 62 6 0 0 25 0 18 0 826662849 13957681152 51105 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505561474 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13630548

[startup+1.50121 s]
/proc/loadavg: 1.92 2.01 1.99 3/516 11740
/proc/meminfo: memFree=27046492/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13630548 CPUtime=1.96 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 128779 0 1 0 179 17 0 0 25 0 18 0 826662848 13957681152 126191 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3407637 126192 2204 9 0 3398371 0
[pid=11667/tid=11668] ppid=11665 vsize=13630548 CPUtime=1.48 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 120878 0 1 0 133 15 0 0 25 0 18 0 826662849 13957681152 126193 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505583532 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11667/tid=11670] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11670/stat : 11670 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126195 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11671] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11671/stat : 11671 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126198 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11672] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11672/stat : 11672 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126200 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11673] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11673/stat : 11673 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126200 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11674] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11674/stat : 11674 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126201 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11675] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11675/stat : 11675 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126203 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11676] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11676/stat : 11676 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126205 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11677] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11677/stat : 11677 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662851 13957681152 126207 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11678] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11678/stat : 11678 (java) S 11665 11667 9472 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826662852 13957681152 126209 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 0 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11679] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11679/stat : 11679 (java) S 11665 11667 9472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826662852 13957681152 126211 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11680] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11680/stat : 11680 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826662852 13957681152 126213 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11681] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11681/stat : 11681 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662855 13957681152 126215 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092055985 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11682] ppid=11665 vsize=13630548 CPUtime=0.26 cores=0,2,4,6
/proc/11667/task/11682/stat : 11682 (java) S 11665 11667 9472 0 -1 4202560 2641 0 0 0 26 0 0 0 19 0 18 0 826662855 13957681152 126217 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11683] ppid=11665 vsize=13630548 CPUtime=0.19 cores=0,2,4,6
/proc/11667/task/11683/stat : 11683 (java) S 11665 11667 9472 0 -1 4202560 4113 0 0 0 19 0 0 0 24 0 18 0 826662855 13957681152 126219 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11684] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11684/stat : 11684 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826662855 13957681152 126221 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11685] ppid=11665 vsize=13630548 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11685/stat : 11685 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826662855 13957681152 126223 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 13630548

[startup+3.10193 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 11742
/proc/meminfo: memFree=26664652/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13631576 CPUtime=3.98 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 138626 0 1 0 380 18 0 0 25 0 19 0 826662848 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3407894 136036 2224 9 0 3398628 0
[pid=11667/tid=11668] ppid=11665 vsize=13631576 CPUtime=3.09 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 130644 0 1 0 292 17 0 0 25 0 19 0 826662849 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505769218 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11667/tid=11670] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11670/stat : 11670 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11671] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11671/stat : 11671 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11672] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11672/stat : 11672 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11673] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11673/stat : 11673 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11674] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11674/stat : 11674 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11675] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11675/stat : 11675 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11676] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11676/stat : 11676 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11677] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11677/stat : 11677 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11678] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11678/stat : 11678 (java) S 11665 11667 9472 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826662852 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 0 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11679] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11679/stat : 11679 (java) S 11665 11667 9472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826662852 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11680] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11680/stat : 11680 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826662852 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11681] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11681/stat : 11681 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092055985 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11682] ppid=11665 vsize=13631576 CPUtime=0.44 cores=0,2,4,6
/proc/11667/task/11682/stat : 11682 (java) S 11665 11667 9472 0 -1 4202560 2672 0 0 0 44 0 0 0 15 0 19 0 826662855 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11683] ppid=11665 vsize=13631576 CPUtime=0.43 cores=0,2,4,6
/proc/11667/task/11683/stat : 11683 (java) S 11665 11667 9472 0 -1 4202560 4151 0 0 0 43 0 0 0 15 0 19 0 826662855 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11684] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11684/stat : 11684 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11685] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11685/stat : 11685 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662855 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11742] ppid=11665 vsize=13631576 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11742/stat : 11742 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663019 13958733824 136036 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13631576

[startup+6.30129 s]
/proc/loadavg: 1.93 2.01 1.99 3/518 11742
/proc/meminfo: memFree=26665116/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13629052 CPUtime=7.21 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 138747 0 1 0 703 18 0 0 25 0 19 0 826662848 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3407263 135438 2225 9 0 3397997 0
[pid=11667/tid=11668] ppid=11665 vsize=13629052 CPUtime=6.29 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 130761 0 1 0 612 17 0 0 25 0 19 0 826662849 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505854260 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11667/tid=11670] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11670/stat : 11670 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11671] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11671/stat : 11671 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11672] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11672/stat : 11672 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11673] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11673/stat : 11673 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11674] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11674/stat : 11674 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11675] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11675/stat : 11675 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11676] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11676/stat : 11676 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11677] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11677/stat : 11677 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662851 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11678] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11678/stat : 11678 (java) S 11665 11667 9472 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 826662852 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 0 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11679] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11679/stat : 11679 (java) S 11665 11667 9472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826662852 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11680] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11680/stat : 11680 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826662852 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11681] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11681/stat : 11681 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092055985 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11682] ppid=11665 vsize=13629052 CPUtime=0.44 cores=0,2,4,6
/proc/11667/task/11682/stat : 11682 (java) S 11665 11667 9472 0 -1 4202560 2672 0 0 0 44 0 0 0 15 0 19 0 826662855 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11683] ppid=11665 vsize=13629052 CPUtime=0.46 cores=0,2,4,6
/proc/11667/task/11683/stat : 11683 (java) S 11665 11667 9472 0 -1 4202560 4154 0 0 0 46 0 0 0 15 0 19 0 826662855 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11684] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11684/stat : 11684 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 135438 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0

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

[pid=11667/tid=11675] ppid=11665 vsize=13629052 CPUtime=0.17 cores=0,2,4,6
/proc/11667/task/11675/stat : 11675 (java) S 11665 11667 9472 0 -1 4202560 4488 0 0 0 17 0 0 0 16 0 19 0 826662851 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11676] ppid=11665 vsize=13629052 CPUtime=0.2 cores=0,2,4,6
/proc/11667/task/11676/stat : 11676 (java) S 11665 11667 9472 0 -1 4202560 6273 0 0 0 20 0 0 0 16 0 19 0 826662851 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11677] ppid=11665 vsize=13629052 CPUtime=0.19 cores=0,2,4,6
/proc/11667/task/11677/stat : 11677 (java) S 11665 11667 9472 0 -1 4202560 4316 0 0 0 19 0 0 0 16 0 19 0 826662851 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11678] ppid=11665 vsize=13629052 CPUtime=9.31 cores=0,2,4,6
/proc/11667/task/11678/stat : 11678 (java) S 11665 11667 9472 0 -1 4202560 20904 0 0 0 928 3 0 0 15 0 19 0 826662852 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 0 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11679] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11679/stat : 11679 (java) S 11665 11667 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11680] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11680/stat : 11680 (java) S 11665 11667 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11681] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11681/stat : 11681 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092055985 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11682] ppid=11665 vsize=13629052 CPUtime=0.54 cores=0,2,4,6
/proc/11667/task/11682/stat : 11682 (java) S 11665 11667 9472 0 -1 4202560 2709 0 0 0 54 0 0 0 15 0 19 0 826662855 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11683] ppid=11665 vsize=13629052 CPUtime=0.49 cores=0,2,4,6
/proc/11667/task/11683/stat : 11683 (java) S 11665 11667 9472 0 -1 4202560 4168 0 0 0 49 0 0 0 15 0 19 0 826662855 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11684] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11684/stat : 11684 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11685] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11685/stat : 11685 (java) S 11665 11667 9472 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 826662855 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11742] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11742/stat : 11742 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663019 13956149248 177843 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.36
Current children cumulated vsize (KiB) 13629052

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 11795
/proc/meminfo: memFree=26464596/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13629052 CPUtime=1724.45 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 181548 0 1 0 172419 26 0 0 25 0 19 0 826662848 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3407263 177951 2252 9 0 3397997 0
[pid=11667/tid=11668] ppid=11665 vsize=13629052 CPUtime=1711.9 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 131794 0 1 0 171173 17 0 0 25 0 19 0 826662849 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505769223 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11667/tid=11670] ppid=11665 vsize=13629052 CPUtime=0.2 cores=0,2,4,6
/proc/11667/task/11670/stat : 11670 (java) S 11665 11667 9472 0 -1 4202560 48 0 0 0 20 0 0 0 15 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11671] ppid=11665 vsize=13629052 CPUtime=0.18 cores=0,2,4,6
/proc/11667/task/11671/stat : 11671 (java) S 11665 11667 9472 0 -1 4202560 2276 0 0 0 18 0 0 0 15 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11672] ppid=11665 vsize=13629052 CPUtime=0.21 cores=0,2,4,6
/proc/11667/task/11672/stat : 11672 (java) S 11665 11667 9472 0 -1 4202560 566 0 0 0 21 0 0 0 15 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11673] ppid=11665 vsize=13629052 CPUtime=0.13 cores=0,2,4,6
/proc/11667/task/11673/stat : 11673 (java) S 11665 11667 9472 0 -1 4202560 2519 0 0 0 13 0 0 0 15 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11674] ppid=11665 vsize=13629052 CPUtime=0.18 cores=0,2,4,6
/proc/11667/task/11674/stat : 11674 (java) S 11665 11667 9472 0 -1 4202560 127 0 0 0 18 0 0 0 16 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11675] ppid=11665 vsize=13629052 CPUtime=0.19 cores=0,2,4,6
/proc/11667/task/11675/stat : 11675 (java) S 11665 11667 9472 0 -1 4202560 4488 0 0 0 19 0 0 0 15 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11676] ppid=11665 vsize=13629052 CPUtime=0.22 cores=0,2,4,6
/proc/11667/task/11676/stat : 11676 (java) S 11665 11667 9472 0 -1 4202560 6273 0 0 0 22 0 0 0 15 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11677] ppid=11665 vsize=13629052 CPUtime=0.22 cores=0,2,4,6
/proc/11667/task/11677/stat : 11677 (java) S 11665 11667 9472 0 -1 4202560 4316 0 0 0 22 0 0 0 15 0 19 0 826662851 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11678] ppid=11665 vsize=13629052 CPUtime=9.86 cores=0,2,4,6
/proc/11667/task/11678/stat : 11678 (java) S 11665 11667 9472 0 -1 4202560 21013 0 0 0 983 3 0 0 15 0 19 0 826662852 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 0 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11679] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11679/stat : 11679 (java) S 11665 11667 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11680] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11680/stat : 11680 (java) S 11665 11667 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11681] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11681/stat : 11681 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092055985 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11682] ppid=11665 vsize=13629052 CPUtime=0.54 cores=0,2,4,6
/proc/11667/task/11682/stat : 11682 (java) S 11665 11667 9472 0 -1 4202560 2709 0 0 0 54 0 0 0 15 0 19 0 826662855 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11683] ppid=11665 vsize=13629052 CPUtime=0.49 cores=0,2,4,6
/proc/11667/task/11683/stat : 11683 (java) S 11665 11667 9472 0 -1 4202560 4168 0 0 0 49 0 0 0 15 0 19 0 826662855 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11684] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11684/stat : 11684 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11685] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11685/stat : 11685 (java) S 11665 11667 9472 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826662855 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11742] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11742/stat : 11742 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663019 13956149248 177951 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.45
Current children cumulated vsize (KiB) 13629052

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 11797
/proc/meminfo: memFree=26464072/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13629052 CPUtime=1784.51 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 181576 0 1 0 178425 26 0 0 25 0 19 0 826662848 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3407263 177968 2252 9 0 3397997 0
[pid=11667/tid=11668] ppid=11665 vsize=13629052 CPUtime=1771.07 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 131801 0 1 0 177090 17 0 0 25 0 19 0 826662849 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505816551 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11667/tid=11670] ppid=11665 vsize=13629052 CPUtime=0.22 cores=0,2,4,6
/proc/11667/task/11670/stat : 11670 (java) S 11665 11667 9472 0 -1 4202560 57 0 0 0 22 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11671] ppid=11665 vsize=13629052 CPUtime=0.19 cores=0,2,4,6
/proc/11667/task/11671/stat : 11671 (java) S 11665 11667 9472 0 -1 4202560 2276 0 0 0 19 0 0 0 16 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11672] ppid=11665 vsize=13629052 CPUtime=0.23 cores=0,2,4,6
/proc/11667/task/11672/stat : 11672 (java) S 11665 11667 9472 0 -1 4202560 566 0 0 0 23 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11673] ppid=11665 vsize=13629052 CPUtime=0.14 cores=0,2,4,6
/proc/11667/task/11673/stat : 11673 (java) S 11665 11667 9472 0 -1 4202560 2519 0 0 0 14 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11674] ppid=11665 vsize=13629052 CPUtime=0.2 cores=0,2,4,6
/proc/11667/task/11674/stat : 11674 (java) S 11665 11667 9472 0 -1 4202560 129 0 0 0 20 0 0 0 16 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11675] ppid=11665 vsize=13629052 CPUtime=0.19 cores=0,2,4,6
/proc/11667/task/11675/stat : 11675 (java) S 11665 11667 9472 0 -1 4202560 4493 0 0 0 19 0 0 0 16 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11676] ppid=11665 vsize=13629052 CPUtime=0.22 cores=0,2,4,6
/proc/11667/task/11676/stat : 11676 (java) S 11665 11667 9472 0 -1 4202560 6273 0 0 0 22 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11677] ppid=11665 vsize=13629052 CPUtime=0.24 cores=0,2,4,6
/proc/11667/task/11677/stat : 11677 (java) S 11665 11667 9472 0 -1 4202560 4317 0 0 0 24 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11678] ppid=11665 vsize=13629052 CPUtime=10.65 cores=0,2,4,6
/proc/11667/task/11678/stat : 11678 (java) S 11665 11667 9472 0 -1 4202560 21015 0 0 0 1062 3 0 0 16 0 19 0 826662852 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 0 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11679] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11679/stat : 11679 (java) S 11665 11667 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11680] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11680/stat : 11680 (java) S 11665 11667 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11681] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11681/stat : 11681 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092055985 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11682] ppid=11665 vsize=13629052 CPUtime=0.54 cores=0,2,4,6
/proc/11667/task/11682/stat : 11682 (java) S 11665 11667 9472 0 -1 4202560 2709 0 0 0 54 0 0 0 15 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11683] ppid=11665 vsize=13629052 CPUtime=0.49 cores=0,2,4,6
/proc/11667/task/11683/stat : 11683 (java) S 11665 11667 9472 0 -1 4202560 4168 0 0 0 49 0 0 0 15 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11684] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11684/stat : 11684 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11685] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11685/stat : 11685 (java) S 11665 11667 9472 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11742] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11742/stat : 11742 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663019 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.51
Current children cumulated vsize (KiB) 13629052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/518 11797
/proc/meminfo: memFree=26464188/32950928 swapFree=39617324/67111528
[pid=11667] ppid=11665 vsize=13629052 CPUtime=1800.04 cores=0,2,4,6
/proc/11667/stat : 11667 (java) S 11665 11667 9472 0 -1 4202496 181581 0 1 0 179978 26 0 0 25 0 19 0 826662848 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11667/statm: 3407263 177968 2252 9 0 3397997 0
[pid=11667/tid=11668] ppid=11665 vsize=13629052 CPUtime=1786.47 cores=0,2,4,6
/proc/11667/task/11668/stat : 11668 (java) R 11665 11667 9472 0 -1 4202560 131802 0 1 0 178630 17 0 0 25 0 19 0 826662849 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 46912505769244 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11667/tid=11670] ppid=11665 vsize=13629052 CPUtime=0.22 cores=0,2,4,6
/proc/11667/task/11670/stat : 11670 (java) S 11665 11667 9472 0 -1 4202560 57 0 0 0 22 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11671] ppid=11665 vsize=13629052 CPUtime=0.2 cores=0,2,4,6
/proc/11667/task/11671/stat : 11671 (java) S 11665 11667 9472 0 -1 4202560 2276 0 0 0 20 0 0 0 16 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11672] ppid=11665 vsize=13629052 CPUtime=0.23 cores=0,2,4,6
/proc/11667/task/11672/stat : 11672 (java) S 11665 11667 9472 0 -1 4202560 566 0 0 0 23 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11673] ppid=11665 vsize=13629052 CPUtime=0.14 cores=0,2,4,6
/proc/11667/task/11673/stat : 11673 (java) S 11665 11667 9472 0 -1 4202560 2519 0 0 0 14 0 0 0 16 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11674] ppid=11665 vsize=13629052 CPUtime=0.2 cores=0,2,4,6
/proc/11667/task/11674/stat : 11674 (java) S 11665 11667 9472 0 -1 4202560 129 0 0 0 20 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11675] ppid=11665 vsize=13629052 CPUtime=0.2 cores=0,2,4,6
/proc/11667/task/11675/stat : 11675 (java) S 11665 11667 9472 0 -1 4202560 4493 0 0 0 20 0 0 0 16 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11676] ppid=11665 vsize=13629052 CPUtime=0.22 cores=0,2,4,6
/proc/11667/task/11676/stat : 11676 (java) S 11665 11667 9472 0 -1 4202560 6273 0 0 0 22 0 0 0 15 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11677] ppid=11665 vsize=13629052 CPUtime=0.25 cores=0,2,4,6
/proc/11667/task/11677/stat : 11677 (java) S 11665 11667 9472 0 -1 4202560 4317 0 0 0 25 0 0 0 16 0 19 0 826662851 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11678] ppid=11665 vsize=13629052 CPUtime=10.75 cores=0,2,4,6
/proc/11667/task/11678/stat : 11678 (java) S 11665 11667 9472 0 -1 4202560 21017 0 0 0 1072 3 0 0 15 0 19 0 826662852 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 0 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11679] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11679/stat : 11679 (java) S 11665 11667 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11680] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11680/stat : 11680 (java) S 11665 11667 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662852 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11681] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11681/stat : 11681 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092055985 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11682] ppid=11665 vsize=13629052 CPUtime=0.54 cores=0,2,4,6
/proc/11667/task/11682/stat : 11682 (java) S 11665 11667 9472 0 -1 4202560 2709 0 0 0 54 0 0 0 15 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 4 0 0 0
[pid=11667/tid=11683] ppid=11665 vsize=13629052 CPUtime=0.49 cores=0,2,4,6
/proc/11667/task/11683/stat : 11683 (java) S 11665 11667 9472 0 -1 4202560 4168 0 0 0 49 0 0 0 15 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
[pid=11667/tid=11684] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11684/stat : 11684 (java) S 11665 11667 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048281 0 4 0 16800975 18446604449735078976 0 0 -1 2 0 0 0
[pid=11667/tid=11685] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11685/stat : 11685 (java) S 11665 11667 9472 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826662855 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 0 0 0 0
[pid=11667/tid=11742] ppid=11665 vsize=13629052 CPUtime=0 cores=0,2,4,6
/proc/11667/task/11742/stat : 11742 (java) S 11665 11667 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663019 13956149248 177968 33554432000 1073741824 1073778376 140737091242688 18446744073709551615 208092048896 0 4 0 16800975 18446604449735078976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13629052

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.89
CPU time (s): 1800.15
CPU user time (s): 1799.85
CPU system time (s): 0.297954
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 13631576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181620
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= 39840
involuntary context switches= 6744

runsolver used 9.12461 second user time and 19.3821 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-04 03:23:52
IDJOB=3458993
IDBENCH=2370
IDSOLVER=1952
FILE ID=node127/3458993-1307150632
RUNJOBID= node127-1307147038-11374
PBS_JOBID= 13508789
Free space on /tmp= 73932 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458993-1307150632/watcher-3458993-1307150632 -o /tmp/evaluation-result-3458993-1307150632/solver-3458993-1307150632 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458993-1307150632.opb

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

MD5SUM BENCH= b626c8307376f19de1f1e51bf91eca4f
RANDOM SEED=432025214

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:      27407252 kB
Buffers:        323264 kB
Cached:         920484 kB
SwapCached:      59160 kB
Active:        3256364 kB
Inactive:      1998576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27407252 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:            8640 kB
Writeback:           0 kB
AnonPages:     3959168 kB
Mapped:          22068 kB
Slab:           123544 kB
PageTables:      95196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 119759388 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= 73932 MiB
End job on node127 at 2011-06-04 03:53:52