Trace number 3454430

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 Res//CP 2.3.0? (TO) 1800.34 931.008

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dolom1.opb
MD5SUM0b7be4a8ca67db62b7397f891414d40c
Bench CategoryOPT-BIGINT (optimisation, big 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18720440947643392
Optimality of the best value was proved NO
Number of variables66480
Total number of constraints1802
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 constraints1802
Minimum length of a constraint40
Maximum length of a constraint66480
Number of terms in the objective function 66480
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 35987090508169209146105
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 35987192908169209146105
Number of bits of the biggest sum of numbers75
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454430-1307190406.opb
0.11/0.11	c reading problem ... 
2.24/1.55	c ... done. Wall clock time 1.442s.
2.24/1.55	c #vars     66480
2.24/1.55	c #constraints  27862
2.24/1.55	c constraints type 
2.24/1.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3494
2.24/1.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
2.24/1.55	c constraints type 
2.24/1.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3495
12.32/6.17	c cleaning 2495 clauses out of 5001 with flag 5001/5001
17.96/8.96	c cleaning 4250 clauses out of 8505 with flag 11000/11000
22.96/11.54	c cleaning 5626 clauses out of 11255 with flag 18000/18000
30.36/15.38	c cleaning 6812 clauses out of 13629 with flag 26000/26000
46.97/23.72	c cleaning 7901 clauses out of 15817 with flag 35000/35000
62.40/31.68	c cleaning 8957 clauses out of 17924 with flag 45008/45008
78.25/39.79	c cleaning 9477 clauses out of 18960 with flag 55001/55001
100.22/50.96	c cleaning 9730 clauses out of 19482 with flag 65000/65000
114.06/58.10	c cleaning 9871 clauses out of 19752 with flag 75000/75000
121.68/62.10	c cleaning 9929 clauses out of 19882 with flag 85001/85001
131.92/67.43	c cleaning 9965 clauses out of 19952 with flag 95000/95000
139.55/71.45	c cleaning 9986 clauses out of 19990 with flag 105003/105003
150.27/77.11	c cleaning 9999 clauses out of 20003 with flag 115002/115002
157.88/81.09	c cleaning 9988 clauses out of 20003 with flag 125001/125001
178.34/91.43	c cleaning 9981 clauses out of 20014 with flag 135000/135000
200.32/102.67	c cleaning 10005 clauses out of 20035 with flag 145002/145002
222.21/113.82	c cleaning 9996 clauses out of 20028 with flag 155000/155000
232.06/118.98	c cleaning 10001 clauses out of 20033 with flag 165001/165001
242.84/124.51	c cleaning 10011 clauses out of 20033 with flag 175002/175002
251.28/128.98	c cleaning 10001 clauses out of 20021 with flag 185001/185001
262.76/134.99	c cleaning 10004 clauses out of 20020 with flag 195001/195001
272.38/139.95	c cleaning 9991 clauses out of 20015 with flag 205000/205000
284.60/146.31	c cleaning 9999 clauses out of 20025 with flag 215001/215001
295.02/151.66	c cleaning 9988 clauses out of 20026 with flag 225001/225001
302.09/155.46	c cleaning 10016 clauses out of 20037 with flag 235000/235000
307.30/158.25	c cleaning 10006 clauses out of 20024 with flag 245003/245003
312.31/160.97	c cleaning 10006 clauses out of 20017 with flag 255002/255002
321.72/165.89	c cleaning 9992 clauses out of 20009 with flag 265000/265000
331.60/171.03	c cleaning 10010 clauses out of 20041 with flag 275024/275024
339.42/175.16	c cleaning 9975 clauses out of 20011 with flag 285004/285004
346.63/178.96	c cleaning 10016 clauses out of 20045 with flag 295013/295013
359.25/185.44	c cleaning 9928 clauses out of 20016 with flag 305000/305000
393.55/202.84	c cleaning 9994 clauses out of 20089 with flag 315001/315001
414.17/213.36	c cleaning 10035 clauses out of 20094 with flag 325000/325000
423.19/218.06	c cleaning 10014 clauses out of 20059 with flag 335000/335000
439.21/226.28	c cleaning 10016 clauses out of 20064 with flag 345019/345019
448.08/231.01	c cleaning 10002 clauses out of 20030 with flag 355001/355001
454.90/234.56	c cleaning 10001 clauses out of 20027 with flag 365000/365000
461.71/238.13	c cleaning 9996 clauses out of 20026 with flag 375000/375000
468.53/241.70	c cleaning 10004 clauses out of 20030 with flag 385000/385000
479.20/247.33	c cleaning 9999 clauses out of 20027 with flag 395001/395001
490.03/252.90	c cleaning 9999 clauses out of 20033 with flag 405006/405006
499.26/257.71	c cleaning 9986 clauses out of 20028 with flag 415000/415000
511.28/264.01	c cleaning 9998 clauses out of 20042 with flag 425000/425000
525.75/271.43	c cleaning 9987 clauses out of 20045 with flag 435001/435001
533.96/275.72	c cleaning 9999 clauses out of 20057 with flag 445000/445000
541.21/279.54	c cleaning 10012 clauses out of 20059 with flag 455001/455001
547.78/283.06	c cleaning 10006 clauses out of 20049 with flag 465003/465003
554.84/286.82	c cleaning 10003 clauses out of 20044 with flag 475004/475004
562.65/290.90	c cleaning 10005 clauses out of 20037 with flag 485000/485000
570.68/295.12	c cleaning 10006 clauses out of 20035 with flag 495003/495003
577.68/298.84	c cleaning 10000 clauses out of 20026 with flag 505000/505000
584.58/302.54	c cleaning 10004 clauses out of 20030 with flag 515004/515004
591.76/306.34	c cleaning 9999 clauses out of 20024 with flag 525002/525002
597.77/309.50	c cleaning 9999 clauses out of 20025 with flag 535002/535002
604.18/312.97	c cleaning 9990 clauses out of 20027 with flag 545003/545003
610.65/316.44	c cleaning 9977 clauses out of 20034 with flag 555000/555000
616.46/319.51	c cleaning 10003 clauses out of 20058 with flag 565001/565001
622.26/322.64	c cleaning 10001 clauses out of 20058 with flag 575004/575004
627.70/325.54	c cleaning 10002 clauses out of 20058 with flag 585005/585005
637.97/330.90	c cleaning 10022 clauses out of 20053 with flag 595002/595002
647.38/335.81	c cleaning 10009 clauses out of 20029 with flag 605000/605000
660.99/342.86	c cleaning 9997 clauses out of 20021 with flag 615001/615001
669.40/347.21	c cleaning 10008 clauses out of 20031 with flag 625008/625008
676.07/350.84	c cleaning 10001 clauses out of 20015 with flag 635000/635000
681.27/353.62	c cleaning 9998 clauses out of 20015 with flag 645001/645001
688.91/357.66	c cleaning 9994 clauses out of 20019 with flag 655003/655003
695.50/361.19	c cleaning 10002 clauses out of 20027 with flag 665005/665005
703.56/365.42	c cleaning 9991 clauses out of 20020 with flag 675000/675000
722.39/375.03	c cleaning 9974 clauses out of 20030 with flag 685001/685001
754.60/391.30	c cleaning 10002 clauses out of 20058 with flag 695003/695003
791.00/409.77	c cleaning 9995 clauses out of 20053 with flag 705000/705000
843.66/436.38	c cleaning 9998 clauses out of 20059 with flag 715001/715001
870.88/450.11	c cleaning 10015 clauses out of 20060 with flag 725000/725000
880.70/455.22	c cleaning 9998 clauses out of 20045 with flag 735000/735000
888.30/459.28	c cleaning 10010 clauses out of 20048 with flag 745001/745001
896.56/463.68	c cleaning 10000 clauses out of 20037 with flag 755000/755000
904.77/467.99	c cleaning 9999 clauses out of 20038 with flag 765001/765001
912.97/472.29	c cleaning 9998 clauses out of 20039 with flag 775001/775001
921.98/476.93	c cleaning 10014 clauses out of 20044 with flag 785004/785004
931.27/481.89	c cleaning 9995 clauses out of 20026 with flag 795000/795000
939.91/486.35	c cleaning 9997 clauses out of 20032 with flag 805001/805001
948.09/490.66	c cleaning 10000 clauses out of 20034 with flag 815000/815000
956.28/494.90	c cleaning 10000 clauses out of 20036 with flag 825002/825002
964.15/499.13	c cleaning 10000 clauses out of 20035 with flag 835001/835001
971.95/503.29	c cleaning 9999 clauses out of 20035 with flag 845001/845001
979.76/507.31	c cleaning 9997 clauses out of 20035 with flag 855000/855000
987.16/511.24	c cleaning 10000 clauses out of 20038 with flag 865000/865000
994.20/514.93	c cleaning 10000 clauses out of 20038 with flag 875000/875000
1003.96/520.09	c cleaning 10015 clauses out of 20039 with flag 885001/885001
1013.77/525.19	c cleaning 10007 clauses out of 20029 with flag 895006/895006
1025.19/531.07	c cleaning 9998 clauses out of 20019 with flag 905003/905003
1052.06/544.78	c cleaning 9981 clauses out of 20018 with flag 915000/915000
1074.66/556.24	c cleaning 10005 clauses out of 20039 with flag 925002/925002
1094.26/566.27	c cleaning 10002 clauses out of 20033 with flag 935001/935001
1111.47/575.02	c cleaning 9999 clauses out of 20032 with flag 945002/945002
1131.14/585.21	c cleaning 9999 clauses out of 20033 with flag 955002/955002
1150.34/594.93	c cleaning 9989 clauses out of 20032 with flag 965000/965000
1161.57/600.78	c cleaning 10015 clauses out of 20049 with flag 975006/975006
1167.14/603.72	c cleaning 10010 clauses out of 20042 with flag 985014/985014
1172.62/606.78	c cleaning 9995 clauses out of 20022 with flag 995004/995004
1178.02/609.64	c cleaning 9998 clauses out of 20025 with flag 1005002/1005002
1184.05/612.82	c cleaning 9981 clauses out of 20026 with flag 1015001/1015001
1191.82/616.93	c cleaning 9994 clauses out of 20044 with flag 1025000/1025000
1199.49/621.03	c cleaning 10001 clauses out of 20050 with flag 1035000/1035000
1207.09/625.02	c cleaning 10005 clauses out of 20055 with flag 1045006/1045006
1214.69/629.02	c cleaning 9996 clauses out of 20045 with flag 1055001/1055001
1222.08/632.95	c cleaning 9998 clauses out of 20048 with flag 1065000/1065000
1229.70/636.96	c cleaning 10001 clauses out of 20050 with flag 1075000/1075000
1243.89/644.25	c cleaning 10003 clauses out of 20050 with flag 1085001/1085001
1261.70/653.36	c cleaning 10009 clauses out of 20047 with flag 1095001/1095001
1279.12/662.25	c cleaning 9995 clauses out of 20037 with flag 1105000/1105000
1295.57/670.73	c cleaning 10006 clauses out of 20042 with flag 1115000/1115000
1310.37/678.31	c cleaning 9996 clauses out of 20038 with flag 1125002/1125002
1327.57/687.14	c cleaning 10001 clauses out of 20041 with flag 1135001/1135001
1344.57/695.83	c cleaning 9997 clauses out of 20039 with flag 1145000/1145000
1360.47/704.02	c cleaning 10004 clauses out of 20043 with flag 1155001/1155001
1375.25/711.69	c cleaning 10003 clauses out of 20038 with flag 1165000/1165000
1392.05/720.21	c cleaning 9997 clauses out of 20036 with flag 1175001/1175001
1407.27/728.09	c cleaning 10003 clauses out of 20039 with flag 1185001/1185001
1418.53/733.92	c cleaning 9998 clauses out of 20035 with flag 1195000/1195000
1430.52/740.11	c cleaning 9998 clauses out of 20042 with flag 1205005/1205005
1442.33/746.24	c cleaning 9997 clauses out of 20041 with flag 1215002/1215002
1453.93/752.22	c cleaning 10000 clauses out of 20045 with flag 1225003/1225003
1464.81/757.96	c cleaning 10002 clauses out of 20042 with flag 1235000/1235000
1476.38/763.93	c cleaning 9998 clauses out of 20041 with flag 1245001/1245001
1487.78/769.81	c cleaning 10003 clauses out of 20043 with flag 1255001/1255001
1499.80/776.00	c cleaning 10008 clauses out of 20049 with flag 1265010/1265010
1511.61/782.21	c cleaning 9992 clauses out of 20032 with flag 1275001/1275001
1522.79/787.91	c cleaning 9999 clauses out of 20039 with flag 1285000/1285000
1535.39/794.43	c cleaning 10001 clauses out of 20040 with flag 1295000/1295000
1547.19/800.52	c cleaning 9999 clauses out of 20039 with flag 1305000/1305000
1559.30/806.86	c cleaning 10001 clauses out of 20042 with flag 1315002/1315002
1570.70/812.70	c cleaning 10000 clauses out of 20039 with flag 1325000/1325000
1583.71/819.46	c cleaning 10004 clauses out of 20039 with flag 1335000/1335000
1602.12/828.82	c cleaning 10007 clauses out of 20035 with flag 1345000/1345000
1614.19/835.16	c cleaning 10003 clauses out of 20030 with flag 1355002/1355002
1634.21/845.36	c cleaning 10000 clauses out of 20026 with flag 1365001/1365001
1645.22/851.03	c cleaning 9987 clauses out of 20025 with flag 1375000/1375000
1655.82/856.54	c cleaning 10008 clauses out of 20038 with flag 1385000/1385000
1674.49/866.18	c cleaning 9999 clauses out of 20030 with flag 1395000/1395000
1693.89/876.07	c cleaning 10003 clauses out of 20031 with flag 1405000/1405000
1713.10/885.81	c cleaning 10007 clauses out of 20031 with flag 1415003/1415003
1730.11/894.55	c cleaning 9997 clauses out of 20028 with flag 1425007/1425007
1748.37/903.94	c cleaning 9988 clauses out of 20024 with flag 1435000/1435000
1762.98/911.45	c cleaning 10006 clauses out of 20037 with flag 1445001/1445001
1777.58/918.90	c cleaning 9994 clauses out of 20030 with flag 1455000/1455000
1788.98/924.84	c cleaning 10010 clauses out of 20037 with flag 1465001/1465001
1799.65/930.45	c cleaning 10007 clauses out of 20027 with flag 1475001/1475001
1800.14/930.86	c starts		: 207
1800.14/930.86	c conflicts		: 1475004
1800.14/930.86	c decisions		: 6782617
1800.14/930.86	c propagations		: 38483972
1800.14/930.86	c inspects		: 788991557
1800.14/930.86	c shortcuts		: 0
1800.14/930.86	c learnt literals	: 0
1800.14/930.86	c learnt binary clauses	: 0
1800.14/930.86	c learnt ternary clauses	: 0
1800.14/930.86	c learnt constraints	: 1475004
1800.14/930.86	c ignored constraints	: 0
1800.14/930.86	c root simplifications	: 0
1800.14/930.86	c removed literals (reason simplification)	: 4933985
1800.14/930.86	c reason swapping (by a shorter reason)	: 0
1800.14/930.86	c Calls to reduceDB	: 149
1800.14/930.86	c number of reductions to clauses (during analyze)	: 0
1800.14/930.86	c number of learned constraints concerned by reduction	: 0
1800.14/930.86	c number of learning phase by resolution	: 0
1800.14/930.86	c number of learning phase by cutting planes	: 0
1800.14/930.86	c speed (assignments/second)	: 41411.70469879544
1800.14/930.86	c non guided choices	4661614
1800.14/930.86	c learnt constraints type 
1800.14/930.86	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10039
1800.14/930.86	c constraints type 
1800.14/930.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3494
1800.14/930.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.14/930.86	c constraints type 
1800.14/930.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3495
1800.14/930.86	s UNKNOWN
1800.14/930.86	c Total wall clock time (in seconds): 930.752

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-3454430-1307190406/watcher-3454430-1307190406 -o /tmp/evaluation-result-3454430-1307190406/solver-3454430-1307190406 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454430-1307190406.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: 3.67 3.85 3.72 3/504 26924
/proc/meminfo: memFree=21460476/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 1568 0 1 0 0 0 0 0 25 0 2 0 909271323 10681323520 1269 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2607745 1281 906 9 0 2598901 0
[pid=26924/tid=26925] ppid=26922 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) R 26922 26924 22562 0 -1 4202560 4697 0 1 0 0 0 0 0 25 0 2 0 909271324 10694979584 5513 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.101403 s]
/proc/loadavg: 3.67 3.85 3.72 3/504 26924
/proc/meminfo: memFree=21460476/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10605304 CPUtime=0.11 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 13088 0 1 0 9 2 0 0 25 0 18 0 909271323 10859831296 12742 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2651326 12742 2093 9 0 2642060 0
[pid=26924/tid=26925] ppid=26922 vsize=10605304 CPUtime=0.08 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) R 26922 26924 22562 0 -1 4202560 11125 0 1 0 7 1 0 0 25 0 18 0 909271324 10859831296 12742 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 47589156362816 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10605304

[startup+0.200387 s]
/proc/loadavg: 3.67 3.85 3.72 3/504 26924
/proc/meminfo: memFree=21460476/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10605760 CPUtime=0.29 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 15284 0 1 0 27 2 0 0 25 0 18 0 909271323 10860298240 14755 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2651440 14756 2190 9 0 2642174 0
[pid=26924/tid=26925] ppid=26922 vsize=10605760 CPUtime=0.18 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) R 26922 26924 22562 0 -1 4202560 12728 0 1 0 17 1 0 0 25 0 18 0 909271324 10860298240 14756 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10605760

[startup+0.300369 s]
/proc/loadavg: 3.67 3.85 3.72 3/504 26924
/proc/meminfo: memFree=21460476/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10607404 CPUtime=0.47 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 20909 0 1 0 44 3 0 0 25 0 18 0 909271323 10861981696 20056 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2651851 20059 2200 9 0 2642585 0
[pid=26924/tid=26925] ppid=26922 vsize=10607404 CPUtime=0.28 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) R 26922 26924 22562 0 -1 4202560 17252 0 1 0 26 2 0 0 25 0 18 0 909271324 10861981696 20060 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505560272 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10607404

[startup+0.700295 s]
/proc/loadavg: 3.67 3.85 3.72 3/504 26924
/proc/meminfo: memFree=21460476/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10616972 CPUtime=1.36 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 48765 0 1 0 129 7 0 0 25 0 18 0 909271323 10871779328 43508 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2654243 43510 2205 9 0 2644977 0
[pid=26924/tid=26925] ppid=26922 vsize=10616972 CPUtime=0.68 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) R 26922 26924 22562 0 -1 4202560 36318 0 1 0 63 5 0 0 25 0 18 0 909271324 10871779328 43512 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505573236 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10616972

[startup+1.50115 s]
/proc/loadavg: 3.67 3.85 3.72 4/522 26942
/proc/meminfo: memFree=21135460/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10616972 CPUtime=2.24 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 119249 0 1 0 210 14 0 0 25 0 18 0 909271323 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2654243 113992 2220 9 0 2644977 0
[pid=26924/tid=26925] ppid=26922 vsize=10616972 CPUtime=1.48 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) R 26922 26924 22562 0 -1 4202560 106764 0 1 0 136 12 0 0 25 0 18 0 909271324 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505743470 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26924/tid=26927] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26927/stat : 26927 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26928] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26928/stat : 26928 (java) S 26922 26924 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26929] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26929/stat : 26929 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26930] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26930/stat : 26930 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26931] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26931/stat : 26931 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26932] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26932/stat : 26932 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26933] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26933/stat : 26933 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26934] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26934/stat : 26934 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271325 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26935] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26935/stat : 26935 (java) S 26922 26924 22562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909271326 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 0 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26936] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26936/stat : 26936 (java) S 26922 26924 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909271327 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26937] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26937/stat : 26937 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909271327 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26938] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26938/stat : 26938 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271329 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917217713 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26939] ppid=26922 vsize=10616972 CPUtime=0.4 cores=1,3,5,7
/proc/26924/task/26939/stat : 26939 (java) S 26922 26924 22562 0 -1 4202560 4042 0 0 0 40 0 0 0 15 0 18 0 909271329 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26940] ppid=26922 vsize=10616972 CPUtime=0.33 cores=1,3,5,7
/proc/26924/task/26940/stat : 26940 (java) S 26922 26924 22562 0 -1 4202560 7291 0 0 0 33 0 0 0 24 0 18 0 909271329 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26941] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26941/stat : 26941 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909271329 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26942] ppid=26922 vsize=10616972 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26942/stat : 26942 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909271329 10871779328 113992 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10616972

[startup+3.10086 s]
/proc/loadavg: 3.67 3.85 3.72 6/526 26946
/proc/meminfo: memFree=20931928/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10621084 CPUtime=6.25 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 186884 0 1 0 602 23 0 0 25 0 22 0 909271323 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2655271 180267 2236 9 0 2646005 0
[pid=26924/tid=26925] ppid=26922 vsize=10621084 CPUtime=1.54 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) S 26922 26924 22562 0 -1 4202560 108021 0 1 0 141 13 0 0 15 0 22 0 909271324 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26927] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26927/stat : 26927 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26928] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26928/stat : 26928 (java) S 26922 26924 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26929] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26929/stat : 26929 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26930] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26930/stat : 26930 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26931] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26931/stat : 26931 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26932] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26932/stat : 26932 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26933] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26933/stat : 26933 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26934] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26934/stat : 26934 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271325 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26935] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26935/stat : 26935 (java) S 26922 26924 22562 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 909271326 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 0 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26936] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26936/stat : 26936 (java) S 26922 26924 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909271327 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26937] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26937/stat : 26937 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271327 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26938] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26938/stat : 26938 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917217713 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26939] ppid=26922 vsize=10621084 CPUtime=0.82 cores=1,3,5,7
/proc/26924/task/26939/stat : 26939 (java) S 26922 26924 22562 0 -1 4202560 6289 0 0 0 82 0 0 0 15 0 22 0 909271329 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26940] ppid=26922 vsize=10621084 CPUtime=0.77 cores=1,3,5,7
/proc/26924/task/26940/stat : 26940 (java) S 26922 26924 22562 0 -1 4202560 7364 0 0 0 77 0 0 0 15 0 22 0 909271329 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26941] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26941/stat : 26941 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26942] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26942/stat : 26942 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909271329 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26943] ppid=26922 vsize=10621084 CPUtime=1.53 cores=1,3,5,7
/proc/26924/task/26943/stat : 26943 (java) R 26922 26924 22562 0 -1 4202560 1450 0 0 0 153 0 0 0 25 0 22 0 909271479 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505886658 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26924/tid=26944] ppid=26922 vsize=10621084 CPUtime=1.52 cores=1,3,5,7
/proc/26924/task/26944/stat : 26944 (java) R 26922 26924 22562 0 -1 4202560 62592 0 0 0 145 7 0 0 25 0 22 0 909271479 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505805846 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26924/tid=26945] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26945/stat : 26945 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26946] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26946/stat : 26946 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10875990016 180267 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 10621084

[startup+6.30131 s]
/proc/loadavg: 3.70 3.85 3.72 5/526 26947
/proc/meminfo: memFree=20631064/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10621084 CPUtime=12.9 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 247628 0 1 0 1260 30 0 0 25 0 22 0 909271323 10875990016 240980 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2655271 240983 2256 9 0 2646005 0
[pid=26924/tid=26925] ppid=26922 vsize=10621084 CPUtime=1.54 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) S 26922 26924 22562 0 -1 4202560 108021 0 1 0 141 13 0 0 15 0 22 0 909271324 10875990016 240984 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26927] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26927/stat : 26927 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909271325 10875990016 240985 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26928] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26928/stat : 26928 (java) S 26922 26924 22562 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 909271325 10875990016 240987 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26929] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26929/stat : 26929 (java) S 26922 26924 22562 0 -1 4202560 463 0 0 0 0 0 0 0 18 0 22 0 909271325 10875990016 240989 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26930] ppid=26922 vsize=10621084 CPUtime=0.08 cores=1,3,5,7
/proc/26924/task/26930/stat : 26930 (java) S 26922 26924 22562 0 -1 4202560 6846 0 0 0 8 0 0 0 18 0 22 0 909271325 10875990016 240991 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26931] ppid=26922 vsize=10621084 CPUtime=0.03 cores=1,3,5,7
/proc/26924/task/26931/stat : 26931 (java) S 26922 26924 22562 0 -1 4202560 3392 0 0 0 3 0 0 0 18 0 22 0 909271325 10875990016 240993 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26932] ppid=26922 vsize=10621084 CPUtime=0.04 cores=1,3,5,7
/proc/26924/task/26932/stat : 26932 (java) S 26922 26924 22562 0 -1 4202560 4913 0 0 0 4 0 0 0 18 0 22 0 909271325 10875990016 240994 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26933] ppid=26922 vsize=10621084 CPUtime=0.07 cores=1,3,5,7
/proc/26924/task/26933/stat : 26933 (java) S 26922 26924 22562 0 -1 4202560 7762 0 0 0 7 0 0 0 18 0 22 0 909271325 10875990016 240995 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26934] ppid=26922 vsize=10621084 CPUtime=0.07 cores=1,3,5,7
/proc/26924/task/26934/stat : 26934 (java) S 26922 26924 22562 0 -1 4202560 6574 0 0 0 7 0 0 0 18 0 22 0 909271325 10875990016 240997 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26935] ppid=26922 vsize=10621084 CPUtime=0.03 cores=1,3,5,7
/proc/26924/task/26935/stat : 26935 (java) R 26922 26924 22562 0 -1 4202560 2327 0 0 0 3 0 0 0 15 0 22 0 909271326 10875990016 240999 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 47589155046168 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=26924/tid=26936] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26936/stat : 26936 (java) S 26922 26924 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909271327 10875990016 241001 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26937] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26937/stat : 26937 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271327 10875990016 241002 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26938] ppid=26922 vsize=10621084 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26938/stat : 26938 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10875990016 241004 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917217713 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0

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

/proc/26924/task/26927/stat : 26927 (java) S 26922 26924 22562 0 -1 4202560 2479 0 0 0 38 0 0 0 15 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26928] ppid=26922 vsize=10619492 CPUtime=0.38 cores=1,3,5,7
/proc/26924/task/26928/stat : 26928 (java) S 26922 26924 22562 0 -1 4202560 706 0 0 0 38 0 0 0 16 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26929] ppid=26922 vsize=10619492 CPUtime=0.42 cores=1,3,5,7
/proc/26924/task/26929/stat : 26929 (java) S 26922 26924 22562 0 -1 4202560 3598 0 0 0 42 0 0 0 16 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26930] ppid=26922 vsize=10619492 CPUtime=0.47 cores=1,3,5,7
/proc/26924/task/26930/stat : 26930 (java) S 26922 26924 22562 0 -1 4202560 8849 0 0 0 46 1 0 0 15 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26931] ppid=26922 vsize=10619492 CPUtime=0.46 cores=1,3,5,7
/proc/26924/task/26931/stat : 26931 (java) S 26922 26924 22562 0 -1 4202560 4378 0 0 0 45 1 0 0 15 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26932] ppid=26922 vsize=10619492 CPUtime=0.45 cores=1,3,5,7
/proc/26924/task/26932/stat : 26932 (java) S 26922 26924 22562 0 -1 4202560 8774 0 0 0 44 1 0 0 16 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26933] ppid=26922 vsize=10619492 CPUtime=0.53 cores=1,3,5,7
/proc/26924/task/26933/stat : 26933 (java) S 26922 26924 22562 0 -1 4202560 10580 0 0 0 52 1 0 0 16 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26934] ppid=26922 vsize=10619492 CPUtime=0.52 cores=1,3,5,7
/proc/26924/task/26934/stat : 26934 (java) S 26922 26924 22562 0 -1 4202560 8938 0 0 0 51 1 0 0 15 0 22 0 909271325 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26935] ppid=26922 vsize=10619492 CPUtime=57.42 cores=1,3,5,7
/proc/26924/task/26935/stat : 26935 (java) S 26922 26924 22562 0 -1 4202560 267173 0 0 0 5707 35 0 0 15 0 22 0 909271326 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 0 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26936] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26936/stat : 26936 (java) S 26922 26924 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909271327 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26937] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26937/stat : 26937 (java) S 26922 26924 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909271327 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26938] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26938/stat : 26938 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917217713 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26939] ppid=26922 vsize=10619492 CPUtime=1.16 cores=1,3,5,7
/proc/26924/task/26939/stat : 26939 (java) S 26922 26924 22562 0 -1 4202560 11726 0 0 0 115 1 0 0 15 0 22 0 909271329 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26940] ppid=26922 vsize=10619492 CPUtime=1.02 cores=1,3,5,7
/proc/26924/task/26940/stat : 26940 (java) S 26922 26924 22562 0 -1 4202560 7392 0 0 0 102 0 0 0 15 0 22 0 909271329 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26941] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26941/stat : 26941 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26942] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26942/stat : 26942 (java) S 26922 26924 22562 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909271329 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26943] ppid=26922 vsize=10619492 CPUtime=762.08 cores=1,3,5,7
/proc/26924/task/26943/stat : 26943 (java) R 26922 26924 22562 0 -1 4202560 2363 0 0 0 76208 0 0 0 25 0 22 0 909271479 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912506192083 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26924/tid=26944] ppid=26922 vsize=10619492 CPUtime=762.14 cores=1,3,5,7
/proc/26924/task/26944/stat : 26944 (java) R 26922 26924 22562 0 -1 4202560 673421 0 0 0 76147 67 0 0 25 0 22 0 909271479 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505615628 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26924/tid=26945] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26945/stat : 26945 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26946] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26946/stat : 26946 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10874359808 939176 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1589.11
Current children cumulated vsize (KiB) 10619492

[startup+882.319 s]
/proc/loadavg: 1.98 2.35 3.02 3/499 26993
/proc/meminfo: memFree=21022624/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10619492 CPUtime=1706.13 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 1134726 0 1 0 170481 132 0 0 25 0 22 0 909271323 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2654873 939190 2263 9 0 2645607 0
[pid=26924/tid=26925] ppid=26922 vsize=10619492 CPUtime=1.54 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) S 26922 26924 22562 0 -1 4202560 108052 0 1 0 141 13 0 0 15 0 22 0 909271324 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26927] ppid=26922 vsize=10619492 CPUtime=0.42 cores=1,3,5,7
/proc/26924/task/26927/stat : 26927 (java) S 26922 26924 22562 0 -1 4202560 2479 0 0 0 42 0 0 0 16 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26928] ppid=26922 vsize=10619492 CPUtime=0.41 cores=1,3,5,7
/proc/26924/task/26928/stat : 26928 (java) S 26922 26924 22562 0 -1 4202560 709 0 0 0 41 0 0 0 15 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26929] ppid=26922 vsize=10619492 CPUtime=0.44 cores=1,3,5,7
/proc/26924/task/26929/stat : 26929 (java) S 26922 26924 22562 0 -1 4202560 3598 0 0 0 44 0 0 0 16 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26930] ppid=26922 vsize=10619492 CPUtime=0.5 cores=1,3,5,7
/proc/26924/task/26930/stat : 26930 (java) S 26922 26924 22562 0 -1 4202560 8849 0 0 0 49 1 0 0 16 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26931] ppid=26922 vsize=10619492 CPUtime=0.49 cores=1,3,5,7
/proc/26924/task/26931/stat : 26931 (java) S 26922 26924 22562 0 -1 4202560 4378 0 0 0 48 1 0 0 15 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26932] ppid=26922 vsize=10619492 CPUtime=0.48 cores=1,3,5,7
/proc/26924/task/26932/stat : 26932 (java) S 26922 26924 22562 0 -1 4202560 8774 0 0 0 47 1 0 0 16 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26933] ppid=26922 vsize=10619492 CPUtime=0.56 cores=1,3,5,7
/proc/26924/task/26933/stat : 26933 (java) S 26922 26924 22562 0 -1 4202560 10580 0 0 0 55 1 0 0 15 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26934] ppid=26922 vsize=10619492 CPUtime=0.55 cores=1,3,5,7
/proc/26924/task/26934/stat : 26934 (java) S 26922 26924 22562 0 -1 4202560 8949 0 0 0 54 1 0 0 15 0 22 0 909271325 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26935] ppid=26922 vsize=10619492 CPUtime=60.52 cores=1,3,5,7
/proc/26924/task/26935/stat : 26935 (java) S 26922 26924 22562 0 -1 4202560 282229 0 0 0 6014 38 0 0 15 0 22 0 909271326 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 0 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26936] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26936/stat : 26936 (java) S 26922 26924 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909271327 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26937] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26937/stat : 26937 (java) S 26922 26924 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909271327 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26938] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26938/stat : 26938 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917217713 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26939] ppid=26922 vsize=10619492 CPUtime=1.16 cores=1,3,5,7
/proc/26924/task/26939/stat : 26939 (java) S 26922 26924 22562 0 -1 4202560 11726 0 0 0 115 1 0 0 15 0 22 0 909271329 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26940] ppid=26922 vsize=10619492 CPUtime=1.02 cores=1,3,5,7
/proc/26924/task/26940/stat : 26940 (java) S 26922 26924 22562 0 -1 4202560 7392 0 0 0 102 0 0 0 15 0 22 0 909271329 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26941] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26941/stat : 26941 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26942] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26942/stat : 26942 (java) S 26922 26924 22562 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909271329 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26943] ppid=26922 vsize=10619492 CPUtime=818.93 cores=1,3,5,7
/proc/26924/task/26943/stat : 26943 (java) R 26922 26924 22562 0 -1 4202560 2381 0 0 0 81892 1 0 0 25 0 22 0 909271479 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912505899553 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26924/tid=26944] ppid=26922 vsize=10619492 CPUtime=818.98 cores=1,3,5,7
/proc/26924/task/26944/stat : 26944 (java) R 26922 26924 22562 0 -1 4202560 673422 0 0 0 81831 67 0 0 25 0 22 0 909271479 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 46912506184690 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26924/tid=26945] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26945/stat : 26945 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26946] ppid=26922 vsize=10619492 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26946/stat : 26946 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10874359808 939190 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1706.13
Current children cumulated vsize (KiB) 10619492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+930.719 s]
/proc/loadavg: 1.99 2.29 2.96 2/499 26994
/proc/meminfo: memFree=21016260/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=10626488 CPUtime=1800.04 cores=1,3,5,7
/proc/26924/stat : 26924 (java) S 26922 26924 22562 0 -1 4202496 1148705 0 1 0 179870 134 0 0 25 0 22 0 909271323 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 2656622 940931 2263 9 0 2647356 0
[pid=26924/tid=26925] ppid=26922 vsize=10626488 CPUtime=1.54 cores=1,3,5,7
/proc/26924/task/26925/stat : 26925 (java) S 26922 26924 22562 0 -1 4202560 108052 0 1 0 141 13 0 0 15 0 22 0 909271324 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26927] ppid=26922 vsize=10626488 CPUtime=0.43 cores=1,3,5,7
/proc/26924/task/26927/stat : 26927 (java) S 26922 26924 22562 0 -1 4202560 2479 0 0 0 43 0 0 0 15 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26928] ppid=26922 vsize=10626488 CPUtime=0.43 cores=1,3,5,7
/proc/26924/task/26928/stat : 26928 (java) S 26922 26924 22562 0 -1 4202560 711 0 0 0 43 0 0 0 15 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26929] ppid=26922 vsize=10626488 CPUtime=0.46 cores=1,3,5,7
/proc/26924/task/26929/stat : 26929 (java) S 26922 26924 22562 0 -1 4202560 3598 0 0 0 46 0 0 0 15 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26930] ppid=26922 vsize=10626488 CPUtime=0.52 cores=1,3,5,7
/proc/26924/task/26930/stat : 26930 (java) S 26922 26924 22562 0 -1 4202560 8857 0 0 0 51 1 0 0 15 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26931] ppid=26922 vsize=10626488 CPUtime=0.5 cores=1,3,5,7
/proc/26924/task/26931/stat : 26931 (java) S 26922 26924 22562 0 -1 4202560 4378 0 0 0 49 1 0 0 15 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26932] ppid=26922 vsize=10626488 CPUtime=0.5 cores=1,3,5,7
/proc/26924/task/26932/stat : 26932 (java) S 26922 26924 22562 0 -1 4202560 8779 0 0 0 49 1 0 0 16 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26933] ppid=26922 vsize=10626488 CPUtime=0.58 cores=1,3,5,7
/proc/26924/task/26933/stat : 26933 (java) S 26922 26924 22562 0 -1 4202560 10580 0 0 0 57 1 0 0 15 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26934] ppid=26922 vsize=10626488 CPUtime=0.56 cores=1,3,5,7
/proc/26924/task/26934/stat : 26934 (java) S 26922 26924 22562 0 -1 4202560 8953 0 0 0 55 1 0 0 15 0 22 0 909271325 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26935] ppid=26922 vsize=10626488 CPUtime=63.49 cores=1,3,5,7
/proc/26924/task/26935/stat : 26935 (java) R 26922 26924 22562 0 -1 4202560 296175 0 0 0 6309 40 0 0 16 0 22 0 909271326 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 47589153083668 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=26924/tid=26936] ppid=26922 vsize=10626488 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26936/stat : 26936 (java) S 26922 26924 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909271327 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26937] ppid=26922 vsize=10626488 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26937/stat : 26937 (java) S 26922 26924 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909271327 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26938] ppid=26922 vsize=10626488 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26938/stat : 26938 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917217713 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26939] ppid=26922 vsize=10626488 CPUtime=1.16 cores=1,3,5,7
/proc/26924/task/26939/stat : 26939 (java) S 26922 26924 22562 0 -1 4202560 11726 0 0 0 115 1 0 0 15 0 22 0 909271329 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26940] ppid=26922 vsize=10626488 CPUtime=1.02 cores=1,3,5,7
/proc/26924/task/26940/stat : 26940 (java) S 26922 26924 22562 0 -1 4202560 7392 0 0 0 102 0 0 0 15 0 22 0 909271329 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 7 0 0 0
[pid=26924/tid=26941] ppid=26922 vsize=10626488 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26941/stat : 26941 (java) S 26922 26924 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909271329 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26942] ppid=26922 vsize=10626488 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26942/stat : 26942 (java) S 26922 26924 22562 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909271329 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 3 0 0 0
[pid=26924/tid=26943] ppid=26922 vsize=10626488 CPUtime=864.34 cores=1,3,5,7
/proc/26924/task/26943/stat : 26943 (java) S 26922 26924 22562 0 -1 4202560 2393 0 0 0 86433 1 0 0 25 0 22 0 909271479 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26944] ppid=26922 vsize=10626488 CPUtime=864.38 cores=1,3,5,7
/proc/26924/task/26944/stat : 26944 (java) S 26922 26924 22562 0 -1 4202560 673422 0 0 0 86371 67 0 0 25 0 22 0 909271479 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210009 0 4 0 16800975 18446604469564438592 0 0 -1 1 0 0 0
[pid=26924/tid=26945] ppid=26922 vsize=10626488 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26945/stat : 26945 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
[pid=26924/tid=26946] ppid=26922 vsize=10626488 CPUtime=0 cores=1,3,5,7
/proc/26924/task/26946/stat : 26946 (java) S 26922 26924 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909271491 10881523712 940931 33554432000 1073741824 1073778376 140734662847312 18446744073709551615 260917210624 0 4 0 16800975 18446604469564438592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10626488

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

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

[startup+930.901 s]
/proc/loadavg: 1.99 2.29 2.96 2/499 26994
/proc/meminfo: memFree=21016260/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/26924/stat : 26924 (java) Z 26922 26924 22562 0 -1 4203548 1148739 0 1 0 179886 137 0 0 16 0 2 0 909271323 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

[startup+931.001 s]
/proc/loadavg: 1.99 2.29 2.96 2/499 26994
/proc/meminfo: memFree=21016260/32950928 swapFree=61542356/67111528
[pid=26924] ppid=26922 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/26924/stat : 26924 (java) Z 26922 26924 22562 0 -1 4203548 1148739 0 1 0 179886 147 0 0 16 0 2 0 909271323 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26924/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 931.008
CPU time (s): 1800.34
CPU user time (s): 1798.86
CPU system time (s): 1.47978
CPU usage (%): 193.376
Max. virtual memory (cumulated for all children) (KiB): 10628600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.47978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1148739
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= 30328
involuntary context switches= 16046

runsolver used 4.37933 second user time and 10.8973 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-04 14:26:46
IDJOB=3454430
IDBENCH=2344
IDSOLVER=1950
FILE ID=node116/3454430-1307190406
RUNJOBID= node116-1307187273-25932
PBS_JOBID= 13508818
Free space on /tmp= 73880 MiB

SOLVER NAME= Sat4j Res//CP 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-dolom1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454430-1307190406/watcher-3454430-1307190406 -o /tmp/evaluation-result-3454430-1307190406/solver-3454430-1307190406 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454430-1307190406.opb

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

MD5SUM BENCH= 0b7be4a8ca67db62b7397f891414d40c
RANDOM SEED=623357596

node116.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.826
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.65
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.826
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	: 5226.15
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.826
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.75
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.826
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.75
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.826
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.77
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.826
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.826
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.75
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21460632 kB
Buffers:        278580 kB
Cached:         510200 kB
SwapCached:      12580 kB
Active:       10819220 kB
Inactive:       394312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21460632 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:            5896 kB
Writeback:           0 kB
AnonPages:    10422624 kB
Mapped:          30904 kB
Slab:           140756 kB
PageTables:      68756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 149980672 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= 73884 MiB
End job on node116 at 2011-06-04 14:42:19