Trace number 3454449

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.32 939.701

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM7946286f4c1a7ac44cf771db2f48f590
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 0
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 38252041742581760
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 82366741301042726133
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 38252041742581760
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 82366741301042726133
Number of bits of the biggest sum of numbers67
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/0.08	c Number of processors 	8
0.11/0.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@5495fd19
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@ae94e92
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-3454449-1307191543.opb
0.11/0.11	c reading problem ... 
3.99/3.10	c ... done. Wall clock time 2.992s.
3.99/3.10	c #vars     309773
3.99/3.10	c #constraints  99284
3.99/3.10	c constraints type 
3.99/3.10	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
3.99/3.10	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10331
3.99/3.10	c constraints type 
3.99/3.10	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16
3.99/3.10	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10331
89.70/44.31	c cleaning 2496 clauses out of 5001 with flag 5001/5001
140.95/70.11	c cleaning 4236 clauses out of 8504 with flag 11000/11000
180.68/90.25	c cleaning 5600 clauses out of 11267 with flag 18000/18000
195.34/97.81	c cleaning 6830 clauses out of 13669 with flag 26002/26002
199.80/100.40	c cleaning 7914 clauses out of 15838 with flag 35001/35001
268.47/135.03	c cleaning 8949 clauses out of 17923 with flag 45001/45001
289.95/146.07	c cleaning 9981 clauses out of 19975 with flag 56002/56002
301.41/152.04	c cleaning 10486 clauses out of 20991 with flag 67001/67001
311.49/157.45	c cleaning 10731 clauses out of 21504 with flag 78000/78000
315.35/159.66	c cleaning 10884 clauses out of 21773 with flag 89000/89000
321.16/162.89	c cleaning 10936 clauses out of 21890 with flag 100001/100001
325.40/165.25	c cleaning 10975 clauses out of 21953 with flag 111000/111000
333.04/169.48	c cleaning 10988 clauses out of 21979 with flag 122001/122001
337.50/171.93	c cleaning 10989 clauses out of 21991 with flag 133001/133001
343.75/175.34	c cleaning 10992 clauses out of 22001 with flag 144000/144000
350.81/179.19	c cleaning 10990 clauses out of 22010 with flag 155001/155001
362.65/185.49	c cleaning 10984 clauses out of 22019 with flag 166000/166000
372.31/190.57	c cleaning 11013 clauses out of 22036 with flag 177001/177001
382.78/196.06	c cleaning 11004 clauses out of 22022 with flag 188000/188000
395.30/202.55	c cleaning 10996 clauses out of 22018 with flag 199000/199000
407.53/209.04	c cleaning 10989 clauses out of 22022 with flag 210000/210000
422.03/216.51	c cleaning 11004 clauses out of 22033 with flag 221001/221001
438.71/225.19	c cleaning 10999 clauses out of 22028 with flag 232000/232000
452.76/232.42	c cleaning 10987 clauses out of 22030 with flag 243001/243001
471.01/242.00	c cleaning 11003 clauses out of 22042 with flag 254001/254001
489.84/251.60	c cleaning 11003 clauses out of 22038 with flag 265000/265000
504.27/259.12	c cleaning 11011 clauses out of 22035 with flag 276000/276000
508.69/261.63	c cleaning 11008 clauses out of 22025 with flag 287001/287001
513.09/264.25	c cleaning 11001 clauses out of 22017 with flag 298001/298001
517.52/266.76	c cleaning 11000 clauses out of 22015 with flag 309000/309000
521.94/269.23	c cleaning 11003 clauses out of 22016 with flag 320001/320001
526.36/271.73	c cleaning 10999 clauses out of 22013 with flag 331001/331001
531.03/274.47	c cleaning 10998 clauses out of 22013 with flag 342000/342000
535.85/277.14	c cleaning 11002 clauses out of 22016 with flag 353001/353001
540.27/279.63	c cleaning 10999 clauses out of 22013 with flag 364000/364000
544.30/281.99	c cleaning 10999 clauses out of 22014 with flag 375000/375000
548.59/284.45	c cleaning 10998 clauses out of 22016 with flag 386001/386001
552.62/286.78	c cleaning 11004 clauses out of 22018 with flag 397001/397001
556.65/289.09	c cleaning 11000 clauses out of 22013 with flag 408000/408000
560.88/291.46	c cleaning 11003 clauses out of 22014 with flag 419001/419001
572.35/297.55	c cleaning 10985 clauses out of 22010 with flag 430000/430000
595.39/309.36	c cleaning 10978 clauses out of 22025 with flag 441000/441000
610.84/317.39	c cleaning 11002 clauses out of 22048 with flag 452001/452001
622.86/323.61	c cleaning 11016 clauses out of 22045 with flag 463000/463000
629.88/327.57	c cleaning 11003 clauses out of 22029 with flag 474000/474000
634.71/330.22	c cleaning 10997 clauses out of 22027 with flag 485001/485001
639.52/332.96	c cleaning 11008 clauses out of 22030 with flag 496001/496001
643.74/335.35	c cleaning 11002 clauses out of 22022 with flag 507001/507001
647.96/337.88	c cleaning 11003 clauses out of 22019 with flag 518000/518000
652.33/340.30	c cleaning 11002 clauses out of 22016 with flag 529000/529000
656.92/342.94	c cleaning 10988 clauses out of 22014 with flag 540000/540000
661.13/345.34	c cleaning 10991 clauses out of 22026 with flag 551000/551000
665.71/348.06	c cleaning 10989 clauses out of 22035 with flag 562000/562000
671.30/351.16	c cleaning 10989 clauses out of 22046 with flag 573000/573000
675.50/353.53	c cleaning 11010 clauses out of 22057 with flag 584000/584000
681.71/356.96	c cleaning 11003 clauses out of 22048 with flag 595001/595001
702.19/367.52	c cleaning 10989 clauses out of 22040 with flag 606001/606001
709.83/371.63	c cleaning 11001 clauses out of 22050 with flag 617000/617000
715.45/374.72	c cleaning 11014 clauses out of 22050 with flag 628001/628001
731.47/383.09	c cleaning 11008 clauses out of 22036 with flag 639001/639001
740.28/387.84	c cleaning 10997 clauses out of 22027 with flag 650000/650000
754.70/395.31	c cleaning 11006 clauses out of 22031 with flag 661001/661001
764.71/400.62	c cleaning 11002 clauses out of 22025 with flag 672001/672001
774.30/405.76	c cleaning 10995 clauses out of 22023 with flag 683001/683001
781.50/409.71	c cleaning 11006 clauses out of 22028 with flag 694001/694001
785.70/412.17	c cleaning 11004 clauses out of 22021 with flag 705000/705000
790.10/414.68	c cleaning 11002 clauses out of 22019 with flag 716002/716002
794.89/417.31	c cleaning 11000 clauses out of 22015 with flag 727000/727000
799.32/419.99	c cleaning 11002 clauses out of 22015 with flag 738000/738000
804.11/422.60	c cleaning 10998 clauses out of 22013 with flag 749000/749000
808.71/425.22	c cleaning 11000 clauses out of 22017 with flag 760002/760002
813.29/427.81	c cleaning 10998 clauses out of 22016 with flag 771001/771001
818.12/430.66	c cleaning 11001 clauses out of 22018 with flag 782001/782001
822.72/433.23	c cleaning 11000 clauses out of 22016 with flag 793000/793000
827.14/435.78	c cleaning 10999 clauses out of 22016 with flag 804000/804000
833.89/439.41	c cleaning 10979 clauses out of 22017 with flag 815001/815001
839.70/442.74	c cleaning 10989 clauses out of 22039 with flag 826002/826002
845.10/445.79	c cleaning 10991 clauses out of 22048 with flag 837000/837000
850.09/448.57	c cleaning 11000 clauses out of 22057 with flag 848000/848000
856.07/451.87	c cleaning 11002 clauses out of 22059 with flag 859002/859002
863.29/455.85	c cleaning 11007 clauses out of 22056 with flag 870001/870001
871.08/460.05	c cleaning 11000 clauses out of 22048 with flag 881000/881000
878.47/464.00	c cleaning 11001 clauses out of 22048 with flag 892000/892000
890.86/470.51	c cleaning 11001 clauses out of 22047 with flag 903000/903000
902.66/476.80	c cleaning 10987 clauses out of 22045 with flag 914000/914000
905.27/478.51	c cleaning 11018 clauses out of 22058 with flag 925000/925000
908.25/480.25	c cleaning 11008 clauses out of 22040 with flag 936000/936000
919.03/485.96	c cleaning 10990 clauses out of 22033 with flag 947001/947001
934.02/493.84	c cleaning 10992 clauses out of 22043 with flag 958001/958001
943.22/498.73	c cleaning 11001 clauses out of 22051 with flag 969001/969001
951.01/502.92	c cleaning 10993 clauses out of 22049 with flag 980000/980000
962.20/508.86	c cleaning 11016 clauses out of 22056 with flag 991000/991000
978.95/517.63	c cleaning 11005 clauses out of 22040 with flag 1002000/1002000
999.36/528.12	c cleaning 11000 clauses out of 22035 with flag 1013000/1013000
1013.92/535.77	c cleaning 10990 clauses out of 22035 with flag 1024000/1024000
1020.48/539.35	c cleaning 11009 clauses out of 22046 with flag 1035001/1035001
1031.25/545.14	c cleaning 10982 clauses out of 22038 with flag 1046002/1046002
1040.03/549.85	c cleaning 10992 clauses out of 22054 with flag 1057000/1057000
1047.18/553.74	c cleaning 10993 clauses out of 22062 with flag 1068000/1068000
1053.94/557.42	c cleaning 11001 clauses out of 22069 with flag 1079000/1079000
1060.52/561.12	c cleaning 11000 clauses out of 22069 with flag 1090001/1090001
1067.64/565.03	c cleaning 11021 clauses out of 22069 with flag 1101001/1101001
1083.44/573.27	c cleaning 11001 clauses out of 22047 with flag 1112000/1112000
1102.39/583.04	c cleaning 10998 clauses out of 22046 with flag 1123000/1123000
1118.33/591.41	c cleaning 10997 clauses out of 22048 with flag 1134000/1134000
1136.70/600.94	c cleaning 10999 clauses out of 22051 with flag 1145000/1145000
1153.65/609.70	c cleaning 10999 clauses out of 22053 with flag 1156001/1156001
1172.21/619.41	c cleaning 10998 clauses out of 22054 with flag 1167001/1167001
1189.61/628.40	c cleaning 10999 clauses out of 22056 with flag 1178001/1178001
1209.77/638.85	c cleaning 11002 clauses out of 22056 with flag 1189000/1189000
1231.34/649.96	c cleaning 11002 clauses out of 22056 with flag 1200002/1200002
1245.90/657.55	c cleaning 10995 clauses out of 22053 with flag 1211001/1211001
1255.90/662.94	c cleaning 10996 clauses out of 22058 with flag 1222001/1222001
1306.67/688.64	c cleaning 10999 clauses out of 22062 with flag 1233001/1233001
1370.83/721.02	c cleaning 10997 clauses out of 22062 with flag 1244000/1244000
1422.42/747.13	c cleaning 10994 clauses out of 22066 with flag 1255001/1255001
1463.41/768.08	c cleaning 11001 clauses out of 22072 with flag 1266001/1266001
1532.76/803.02	c cleaning 11001 clauses out of 22071 with flag 1277001/1277001
1605.72/839.82	c cleaning 11002 clauses out of 22070 with flag 1288001/1288001
1617.67/846.16	c cleaning 10997 clauses out of 22068 with flag 1299001/1299001
1628.96/852.20	c cleaning 11007 clauses out of 22070 with flag 1310000/1310000
1679.76/877.95	c cleaning 10996 clauses out of 22065 with flag 1321002/1321002
1741.09/908.98	c cleaning 11002 clauses out of 22070 with flag 1332003/1332003
1777.63/927.58	c cleaning 10998 clauses out of 22066 with flag 1343001/1343001
1798.12/938.30	c cleaning 11006 clauses out of 22068 with flag 1354001/1354001
1800.09/939.54	c starts		: 200
1800.09/939.54	c conflicts		: 1354879
1800.09/939.54	c decisions		: 2796803
1800.09/939.54	c propagations		: 75661427
1800.09/939.54	c inspects		: 597496368
1800.09/939.54	c shortcuts		: 0
1800.09/939.54	c learnt literals	: 13
1800.09/939.54	c learnt binary clauses	: 129
1800.09/939.54	c learnt ternary clauses	: 124
1800.09/939.54	c learnt constraints	: 1354865
1800.09/939.54	c ignored constraints	: 0
1800.09/939.54	c root simplifications	: 0
1800.09/939.54	c removed literals (reason simplification)	: 31443784
1800.09/939.54	c reason swapping (by a shorter reason)	: 0
1800.09/939.54	c Calls to reduceDB	: 125
1800.09/939.54	c number of reductions to clauses (during analyze)	: 0
1800.09/939.54	c number of learned constraints concerned by reduction	: 0
1800.09/939.54	c number of learning phase by resolution	: 0
1800.09/939.54	c number of learning phase by cutting planes	: 0
1800.09/939.54	c speed (assignments/second)	: 80797.22159336036
1800.09/939.54	c non guided choices	1262884
1800.09/939.55	c learnt constraints type 
1800.09/939.55	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 129
1800.09/939.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11816
1800.09/939.55	c constraints type 
1800.09/939.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
1800.09/939.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10331
1800.09/939.55	c constraints type 
1800.09/939.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16
1800.09/939.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10331
1800.09/939.55	s UNKNOWN
1800.09/939.55	c Total wall clock time (in seconds): 939.442

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-3454449-1307191543/watcher-3454449-1307191543 -o /tmp/evaluation-result-3454449-1307191543/solver-3454449-1307191543 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454449-1307191543.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.71 3.30 3/457 458
/proc/meminfo: memFree=17913896/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/458/stat : 458 (java) R 455 458 29081 0 -1 4202496 425 0 0 0 0 0 0 0 24 0 1 0 830752209 9318400 172 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255372377735 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/458/statm: 2275 172 132 9 0 67 0
[pid=458/tid=459] ppid=455 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) R 455 458 29081 0 -1 4202560 5951 0 1 0 0 0 0 0 25 0 2 0 830752210 10694979584 6767 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.070191 s]
/proc/loadavg: 2.37 2.71 3.30 3/457 458
/proc/meminfo: memFree=17913896/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 11876 0 1 0 5 1 0 0 24 0 18 0 830752209 10724442112 11574 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2618272 11574 1754 9 0 2609006 0
[pid=458/tid=459] ppid=455 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) R 455 458 29081 0 -1 4202560 10701 0 1 0 5 1 0 0 25 0 18 0 830752210 10724442112 11574 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46955616631635 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.101186 s]
/proc/loadavg: 2.37 2.71 3.30 3/457 458
/proc/meminfo: memFree=17913896/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10540268 CPUtime=0.11 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 13124 0 1 0 10 1 0 0 24 0 18 0 830752209 10793234432 12804 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2635067 12805 2092 9 0 2625801 0
[pid=458/tid=459] ppid=455 vsize=10540268 CPUtime=0.09 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) R 455 458 29081 0 -1 4202560 11202 0 1 0 8 1 0 0 18 0 18 0 830752210 10793234432 12805 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46955616631635 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540268

[startup+0.301172 s]
/proc/loadavg: 2.37 2.71 3.30 3/457 458
/proc/meminfo: memFree=17913896/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10542992 CPUtime=0.48 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 22891 0 1 0 46 2 0 0 24 0 18 0 830752209 10796023808 21749 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2635748 21752 2199 9 0 2626482 0
[pid=458/tid=459] ppid=455 vsize=10542992 CPUtime=0.28 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) R 455 458 29081 0 -1 4202560 19069 0 1 0 26 2 0 0 18 0 18 0 830752210 10796023808 21754 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505575567 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542992

[startup+0.70104 s]
/proc/loadavg: 2.37 2.71 3.30 3/457 458
/proc/meminfo: memFree=17913896/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10542992 CPUtime=0.89 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 48869 0 1 0 84 5 0 0 24 0 18 0 830752209 10796023808 47727 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2635748 47727 2199 9 0 2626482 0
[pid=458/tid=459] ppid=455 vsize=10542992 CPUtime=0.69 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) R 455 458 29081 0 -1 4202560 45042 0 1 0 64 5 0 0 18 0 18 0 830752210 10796023808 47727 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505122376 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10542992

[startup+1.50094 s]
/proc/loadavg: 2.37 2.71 3.30 5/475 492
/proc/meminfo: memFree=17637196/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10548472 CPUtime=2.36 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 126189 0 1 0 219 17 0 0 24 0 18 0 830752209 10801635328 120146 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2637118 120151 2222 9 0 2627852 0
[pid=458/tid=459] ppid=455 vsize=10548472 CPUtime=1.48 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) R 455 458 29081 0 -1 4202560 113751 0 1 0 133 15 0 0 20 0 18 0 830752210 10801635328 120152 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505563675 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=458/tid=470] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/470/stat : 470 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120154 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=472] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/472/stat : 472 (java) S 455 458 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120156 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=474] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/474/stat : 474 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120160 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=476] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/476/stat : 476 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120165 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=477] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/477/stat : 477 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120168 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=478] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/478/stat : 478 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120170 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=479] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/479/stat : 479 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120172 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=481] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/481/stat : 481 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 120174 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=482] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/482/stat : 482 (java) S 455 458 29081 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830752212 10801635328 120175 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=484] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/484/stat : 484 (java) S 455 458 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830752213 10801635328 120177 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=485] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/485/stat : 485 (java) S 455 458 29081 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830752213 10801635328 120179 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=487] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/487/stat : 487 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752215 10801635328 120181 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=488] ppid=455 vsize=10548472 CPUtime=0.48 cores=1,3,5,7
/proc/458/task/488/stat : 488 (java) S 455 458 29081 0 -1 4202560 7639 0 0 0 48 0 0 0 19 0 18 0 830752215 10801635328 120182 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=490] ppid=455 vsize=10548472 CPUtime=0.36 cores=1,3,5,7
/proc/458/task/490/stat : 490 (java) S 455 458 29081 0 -1 4202560 3655 0 0 0 36 0 0 0 21 0 18 0 830752215 10801635328 120184 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=491] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/491/stat : 491 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752215 10801635328 120186 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=492] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/492/stat : 492 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830752215 10801635328 120188 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 10548472

[startup+3.10065 s]
/proc/loadavg: 2.37 2.71 3.30 4/475 492
/proc/meminfo: memFree=17178148/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10548472 CPUtime=3.99 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 285941 0 1 0 366 33 0 0 24 0 18 0 830752209 10801635328 279897 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2637118 279905 2223 9 0 2627852 0
[pid=458/tid=459] ppid=455 vsize=10548472 CPUtime=3.08 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) R 455 458 29081 0 -1 4202560 273508 0 1 0 277 31 0 0 25 0 18 0 830752210 10801635328 279910 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505883748 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=458/tid=470] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/470/stat : 470 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279912 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=472] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/472/stat : 472 (java) S 455 458 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279919 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=474] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/474/stat : 474 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279919 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=476] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/476/stat : 476 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279922 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=477] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/477/stat : 477 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279928 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=478] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/478/stat : 478 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279929 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=479] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/479/stat : 479 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279929 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=481] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/481/stat : 481 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752211 10801635328 279931 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=482] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/482/stat : 482 (java) S 455 458 29081 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830752212 10801635328 279932 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=484] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/484/stat : 484 (java) S 455 458 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830752213 10801635328 279932 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=485] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/485/stat : 485 (java) S 455 458 29081 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830752213 10801635328 279932 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=487] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/487/stat : 487 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752215 10801635328 279933 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=488] ppid=455 vsize=10548472 CPUtime=0.5 cores=1,3,5,7
/proc/458/task/488/stat : 488 (java) S 455 458 29081 0 -1 4202560 7639 0 0 0 50 0 0 0 15 0 18 0 830752215 10801635328 279933 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=490] ppid=455 vsize=10548472 CPUtime=0.38 cores=1,3,5,7
/proc/458/task/490/stat : 490 (java) S 455 458 29081 0 -1 4202560 3656 0 0 0 38 0 0 0 18 0 18 0 830752215 10801635328 279937 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=491] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/491/stat : 491 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830752215 10801635328 279937 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=492] ppid=455 vsize=10548472 CPUtime=0 cores=1,3,5,7
/proc/458/task/492/stat : 492 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830752215 10801635328 279940 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10548472

[startup+6.30104 s]
/proc/loadavg: 2.50 2.74 3.30 5/479 496
/proc/meminfo: memFree=16677252/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10552584 CPUtime=10.94 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 317469 0 1 0 1057 37 0 0 24 0 22 0 830752209 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2638146 311366 2235 9 0 2628880 0
[pid=458/tid=459] ppid=455 vsize=10552584 CPUtime=3.08 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) S 455 458 29081 0 -1 4202560 273571 0 1 0 277 31 0 0 15 0 22 0 830752210 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=470] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/470/stat : 470 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=472] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/472/stat : 472 (java) S 455 458 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=474] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/474/stat : 474 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=476] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/476/stat : 476 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=477] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/477/stat : 477 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=478] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/478/stat : 478 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=479] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/479/stat : 479 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=481] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/481/stat : 481 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752211 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=482] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/482/stat : 482 (java) S 455 458 29081 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 830752212 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=484] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/484/stat : 484 (java) S 455 458 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830752213 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=485] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/485/stat : 485 (java) S 455 458 29081 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830752213 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=487] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/487/stat : 487 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=488] ppid=455 vsize=10552584 CPUtime=0.84 cores=1,3,5,7
/proc/458/task/488/stat : 488 (java) S 455 458 29081 0 -1 4202560 7686 0 0 0 84 0 0 0 15 0 22 0 830752215 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=490] ppid=455 vsize=10552584 CPUtime=0.61 cores=1,3,5,7
/proc/458/task/490/stat : 490 (java) S 455 458 29081 0 -1 4202560 3765 0 0 0 61 0 0 0 15 0 22 0 830752215 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=491] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/491/stat : 491 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=492] ppid=455 vsize=10552584 CPUtime=0 cores=1,3,5,7
/proc/458/task/492/stat : 492 (java) S 455 458 29081 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830752215 10805846016 311366 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0

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

[startup+822.301 s]
/proc/loadavg: 3.85 3.75 3.59 5/479 520
/proc/meminfo: memFree=12765164/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10551752 CPUtime=1570.72 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 1423115 0 1 0 156902 170 0 0 24 0 22 0 830752209 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2637938 963679 2263 9 0 2628672 0
[pid=458/tid=459] ppid=455 vsize=10551752 CPUtime=3.08 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) S 455 458 29081 0 -1 4202560 273650 0 1 0 277 31 0 0 15 0 22 0 830752210 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=470] ppid=455 vsize=10551752 CPUtime=1.08 cores=1,3,5,7
/proc/458/task/470/stat : 470 (java) S 455 458 29081 0 -1 4202560 30505 0 0 0 104 4 0 0 16 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=472] ppid=455 vsize=10551752 CPUtime=0.81 cores=1,3,5,7
/proc/458/task/472/stat : 472 (java) S 455 458 29081 0 -1 4202560 11026 0 0 0 80 1 0 0 15 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=474] ppid=455 vsize=10551752 CPUtime=1.09 cores=1,3,5,7
/proc/458/task/474/stat : 474 (java) S 455 458 29081 0 -1 4202560 15699 0 0 0 107 2 0 0 15 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=476] ppid=455 vsize=10551752 CPUtime=1.39 cores=1,3,5,7
/proc/458/task/476/stat : 476 (java) S 455 458 29081 0 -1 4202560 33343 0 0 0 136 3 0 0 16 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=477] ppid=455 vsize=10551752 CPUtime=1.17 cores=1,3,5,7
/proc/458/task/477/stat : 477 (java) S 455 458 29081 0 -1 4202560 40816 0 0 0 112 5 0 0 15 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=478] ppid=455 vsize=10551752 CPUtime=0.98 cores=1,3,5,7
/proc/458/task/478/stat : 478 (java) S 455 458 29081 0 -1 4202560 52928 0 0 0 92 6 0 0 15 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=479] ppid=455 vsize=10551752 CPUtime=1.23 cores=1,3,5,7
/proc/458/task/479/stat : 479 (java) S 455 458 29081 0 -1 4202560 55103 0 0 0 117 6 0 0 15 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=481] ppid=455 vsize=10551752 CPUtime=0.93 cores=1,3,5,7
/proc/458/task/481/stat : 481 (java) S 455 458 29081 0 -1 4202560 23100 0 0 0 91 2 0 0 16 0 22 0 830752211 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=482] ppid=455 vsize=10551752 CPUtime=76.97 cores=1,3,5,7
/proc/458/task/482/stat : 482 (java) S 455 458 29081 0 -1 4202560 467686 0 0 0 7640 57 0 0 15 0 22 0 830752212 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=484] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/484/stat : 484 (java) S 455 458 29081 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830752213 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=485] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/485/stat : 485 (java) S 455 458 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830752213 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=487] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/487/stat : 487 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=488] ppid=455 vsize=10551752 CPUtime=1.38 cores=1,3,5,7
/proc/458/task/488/stat : 488 (java) S 455 458 29081 0 -1 4202560 7787 0 0 0 138 0 0 0 15 0 22 0 830752215 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=490] ppid=455 vsize=10551752 CPUtime=1.05 cores=1,3,5,7
/proc/458/task/490/stat : 490 (java) S 455 458 29081 0 -1 4202560 3818 0 0 0 105 0 0 0 15 0 22 0 830752215 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=491] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/491/stat : 491 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=492] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/492/stat : 492 (java) S 455 458 29081 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 830752215 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=493] ppid=455 vsize=10551752 CPUtime=739.68 cores=1,3,5,7
/proc/458/task/493/stat : 493 (java) R 455 458 29081 0 -1 4202560 5011 0 0 0 73967 1 0 0 25 0 22 0 830752520 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505976457 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=458/tid=494] ppid=455 vsize=10551752 CPUtime=739.71 cores=1,3,5,7
/proc/458/task/494/stat : 494 (java) R 455 458 29081 0 -1 4202560 401441 0 0 0 73928 43 0 0 25 0 22 0 830752520 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505989522 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=458/tid=495] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/495/stat : 495 (java) S 455 458 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830752546 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=496] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/496/stat : 496 (java) S 455 458 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830752551 10804994048 963679 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1570.72
Current children cumulated vsize (KiB) 10551752

[startup+882.318 s]
/proc/loadavg: 3.92 3.79 3.61 5/479 522
/proc/meminfo: memFree=12742688/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10551752 CPUtime=1687.9 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 1456904 0 1 0 168617 173 0 0 24 0 22 0 830752209 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2637938 964955 2263 9 0 2628672 0
[pid=458/tid=459] ppid=455 vsize=10551752 CPUtime=3.08 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) S 455 458 29081 0 -1 4202560 273654 0 1 0 277 31 0 0 15 0 22 0 830752210 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=470] ppid=455 vsize=10551752 CPUtime=1.11 cores=1,3,5,7
/proc/458/task/470/stat : 470 (java) S 455 458 29081 0 -1 4202560 30505 0 0 0 107 4 0 0 15 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=472] ppid=455 vsize=10551752 CPUtime=0.84 cores=1,3,5,7
/proc/458/task/472/stat : 472 (java) S 455 458 29081 0 -1 4202560 11434 0 0 0 83 1 0 0 16 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=474] ppid=455 vsize=10551752 CPUtime=1.1 cores=1,3,5,7
/proc/458/task/474/stat : 474 (java) S 455 458 29081 0 -1 4202560 15699 0 0 0 108 2 0 0 15 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=476] ppid=455 vsize=10551752 CPUtime=1.45 cores=1,3,5,7
/proc/458/task/476/stat : 476 (java) S 455 458 29081 0 -1 4202560 33347 0 0 0 142 3 0 0 15 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=477] ppid=455 vsize=10551752 CPUtime=1.23 cores=1,3,5,7
/proc/458/task/477/stat : 477 (java) S 455 458 29081 0 -1 4202560 41236 0 0 0 118 5 0 0 16 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=478] ppid=455 vsize=10551752 CPUtime=1.06 cores=1,3,5,7
/proc/458/task/478/stat : 478 (java) S 455 458 29081 0 -1 4202560 53341 0 0 0 100 6 0 0 16 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=479] ppid=455 vsize=10551752 CPUtime=1.23 cores=1,3,5,7
/proc/458/task/479/stat : 479 (java) S 455 458 29081 0 -1 4202560 55103 0 0 0 117 6 0 0 15 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=481] ppid=455 vsize=10551752 CPUtime=0.97 cores=1,3,5,7
/proc/458/task/481/stat : 481 (java) S 455 458 29081 0 -1 4202560 23100 0 0 0 95 2 0 0 15 0 22 0 830752211 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=482] ppid=455 vsize=10551752 CPUtime=79.91 cores=1,3,5,7
/proc/458/task/482/stat : 482 (java) S 455 458 29081 0 -1 4202560 500221 0 0 0 7931 60 0 0 15 0 22 0 830752212 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=484] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/484/stat : 484 (java) S 455 458 29081 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830752213 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=485] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/485/stat : 485 (java) S 455 458 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830752213 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=487] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/487/stat : 487 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=488] ppid=455 vsize=10551752 CPUtime=1.38 cores=1,3,5,7
/proc/458/task/488/stat : 488 (java) S 455 458 29081 0 -1 4202560 7787 0 0 0 138 0 0 0 15 0 22 0 830752215 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=490] ppid=455 vsize=10551752 CPUtime=1.05 cores=1,3,5,7
/proc/458/task/490/stat : 490 (java) S 455 458 29081 0 -1 4202560 3818 0 0 0 105 0 0 0 15 0 22 0 830752215 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=491] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/491/stat : 491 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=492] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/492/stat : 492 (java) S 455 458 29081 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830752215 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=493] ppid=455 vsize=10551752 CPUtime=796.64 cores=1,3,5,7
/proc/458/task/493/stat : 493 (java) R 455 458 29081 0 -1 4202560 5011 0 0 0 79663 1 0 0 25 0 22 0 830752520 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505977488 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=458/tid=494] ppid=455 vsize=10551752 CPUtime=796.68 cores=1,3,5,7
/proc/458/task/494/stat : 494 (java) R 455 458 29081 0 -1 4202560 401442 0 0 0 79625 43 0 0 25 0 22 0 830752520 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912506076907 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=458/tid=495] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/495/stat : 495 (java) S 455 458 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830752546 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=496] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/496/stat : 496 (java) S 455 458 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830752551 10804994048 964955 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1687.9
Current children cumulated vsize (KiB) 10551752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.517 s]
/proc/loadavg: 3.88 3.80 3.62 5/479 535
/proc/meminfo: memFree=12687456/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=10551752 CPUtime=1800.09 cores=1,3,5,7
/proc/458/stat : 458 (java) S 455 458 29081 0 -1 4202496 1483126 0 1 0 179834 175 0 0 24 0 22 0 830752209 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 2637938 968403 2263 9 0 2628672 0
[pid=458/tid=459] ppid=455 vsize=10551752 CPUtime=3.08 cores=1,3,5,7
/proc/458/task/459/stat : 459 (java) S 455 458 29081 0 -1 4202560 273657 0 1 0 277 31 0 0 15 0 22 0 830752210 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=470] ppid=455 vsize=10551752 CPUtime=1.15 cores=1,3,5,7
/proc/458/task/470/stat : 470 (java) S 455 458 29081 0 -1 4202560 30888 0 0 0 111 4 0 0 16 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=472] ppid=455 vsize=10551752 CPUtime=0.85 cores=1,3,5,7
/proc/458/task/472/stat : 472 (java) S 455 458 29081 0 -1 4202560 11436 0 0 0 84 1 0 0 15 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=474] ppid=455 vsize=10551752 CPUtime=1.14 cores=1,3,5,7
/proc/458/task/474/stat : 474 (java) S 455 458 29081 0 -1 4202560 15755 0 0 0 112 2 0 0 16 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=476] ppid=455 vsize=10551752 CPUtime=1.49 cores=1,3,5,7
/proc/458/task/476/stat : 476 (java) S 455 458 29081 0 -1 4202560 34182 0 0 0 146 3 0 0 15 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=477] ppid=455 vsize=10551752 CPUtime=1.31 cores=1,3,5,7
/proc/458/task/477/stat : 477 (java) S 455 458 29081 0 -1 4202560 41779 0 0 0 126 5 0 0 16 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=478] ppid=455 vsize=10551752 CPUtime=1.08 cores=1,3,5,7
/proc/458/task/478/stat : 478 (java) S 455 458 29081 0 -1 4202560 53342 0 0 0 102 6 0 0 16 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=479] ppid=455 vsize=10551752 CPUtime=1.27 cores=1,3,5,7
/proc/458/task/479/stat : 479 (java) S 455 458 29081 0 -1 4202560 56045 0 0 0 121 6 0 0 15 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 3 0 0 0
[pid=458/tid=481] ppid=455 vsize=10551752 CPUtime=1.01 cores=1,3,5,7
/proc/458/task/481/stat : 481 (java) S 455 458 29081 0 -1 4202560 23105 0 0 0 99 2 0 0 16 0 22 0 830752211 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=482] ppid=455 vsize=10551752 CPUtime=82.24 cores=1,3,5,7
/proc/458/task/482/stat : 482 (java) S 455 458 29081 0 -1 4202560 523667 0 0 0 8162 62 0 0 16 0 22 0 830752212 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 0 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=484] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/484/stat : 484 (java) S 455 458 29081 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830752213 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=485] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/485/stat : 485 (java) S 455 458 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830752213 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=487] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/487/stat : 487 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389125041 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=488] ppid=455 vsize=10551752 CPUtime=1.38 cores=1,3,5,7
/proc/458/task/488/stat : 488 (java) S 455 458 29081 0 -1 4202560 7787 0 0 0 138 0 0 0 15 0 22 0 830752215 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=490] ppid=455 vsize=10551752 CPUtime=1.05 cores=1,3,5,7
/proc/458/task/490/stat : 490 (java) S 455 458 29081 0 -1 4202560 3818 0 0 0 105 0 0 0 15 0 22 0 830752215 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=491] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/491/stat : 491 (java) S 455 458 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830752215 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117337 0 4 0 16800975 18446604469892550848 0 0 -1 1 0 0 0
[pid=458/tid=492] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/492/stat : 492 (java) S 455 458 29081 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830752215 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 5 0 0 0
[pid=458/tid=493] ppid=455 vsize=10551752 CPUtime=851.43 cores=1,3,5,7
/proc/458/task/493/stat : 493 (java) R 455 458 29081 0 -1 4202560 5012 0 0 0 85142 1 0 0 19 0 22 0 830752520 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505976359 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=458/tid=494] ppid=455 vsize=10551752 CPUtime=851.47 cores=1,3,5,7
/proc/458/task/494/stat : 494 (java) R 455 458 29081 0 -1 4202560 401443 0 0 0 85104 43 0 0 19 0 22 0 830752520 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 46912505990489 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=458/tid=495] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/495/stat : 495 (java) S 455 458 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830752546 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
[pid=458/tid=496] ppid=455 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/458/task/496/stat : 496 (java) S 455 458 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830752551 10804994048 968403 33554432000 1073741824 1073778376 140734631299936 18446744073709551615 255389117952 0 4 0 16800975 18446604469892550848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10551752

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

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

[startup+939.623 s]
/proc/loadavg: 3.88 3.80 3.62 5/479 535
/proc/meminfo: memFree=12687456/32951124 swapFree=60787360/67111528
[pid=458] ppid=455 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/458/stat : 458 (java) Z 455 458 29081 0 -1 4203548 1483159 0 1 0 179842 182 0 0 17 0 2 0 830752209 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/458/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 939.701
CPU time (s): 1800.32
CPU user time (s): 1798.42
CPU system time (s): 1.90371
CPU usage (%): 191.585
Max. virtual memory (cumulated for all children) (KiB): 10588212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 1.90371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1483159
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= 26394
involuntary context switches= 19169

runsolver used 4.09538 second user time and 9.94349 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 14:45:43
IDJOB=3454449
IDBENCH=2509
IDSOLVER=1950
FILE ID=node135/3454449-1307191543
RUNJOBID= node135-1307191522-32763
PBS_JOBID= 13508851
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454449-1307191543/watcher-3454449-1307191543 -o /tmp/evaluation-result-3454449-1307191543/solver-3454449-1307191543 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454449-1307191543.opb

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

MD5SUM BENCH= 7946286f4c1a7ac44cf771db2f48f590
RANDOM SEED=1169391917

node135.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.851
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.70
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.851
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17914176 kB
Buffers:        270108 kB
Cached:         661356 kB
SwapCached:       6168 kB
Active:       14218272 kB
Inactive:       555332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17914176 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:           20324 kB
Writeback:           0 kB
AnonPages:    13841784 kB
Mapped:          34216 kB
Slab:           126496 kB
PageTables:      71336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134760104 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node135 at 2011-06-04 15:01:25