Trace number 3454217

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.4 971.293

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM82090c0a4adcfdd30e3ab97004b5e93d
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables366703
Total number of constraints6084
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 constraints6084
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 187033
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 882752655849462510276
Number of bits of the sum of numbers in the objective function 70
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308763648
Number of bits of the biggest sum of numbers72
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454217-1307190784.opb
0.10/0.11	c reading problem ... 
4.96/4.23	c ... done. Wall clock time 4.113s.
4.96/4.23	c #vars     366703
4.96/4.23	c #constraints  118328
4.96/4.23	c constraints type 
4.96/4.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12105
4.96/4.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 50
4.96/4.23	c constraints type 
4.96/4.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12155
49.58/25.34	c cleaning 2501 clauses out of 5001 with flag 5001/5001
72.14/36.93	c cleaning 4249 clauses out of 8502 with flag 11003/11003
96.06/49.28	c cleaning 5623 clauses out of 11251 with flag 18001/18001
112.92/57.82	c cleaning 6814 clauses out of 13627 with flag 26001/26001
123.92/63.61	c cleaning 7904 clauses out of 15810 with flag 35000/35000
134.67/69.32	c cleaning 8949 clauses out of 17906 with flag 45001/45001
147.52/76.15	c cleaning 9977 clauses out of 19953 with flag 56001/56001
163.00/84.26	c cleaning 10983 clauses out of 21976 with flag 68001/68001
181.16/93.88	c cleaning 11995 clauses out of 23993 with flag 81001/81001
192.61/99.99	c cleaning 12492 clauses out of 24998 with flag 94002/94002
210.45/109.26	c cleaning 12743 clauses out of 25497 with flag 107000/107000
223.68/116.25	c cleaning 12869 clauses out of 25754 with flag 120000/120000
237.82/123.86	c cleaning 12937 clauses out of 25883 with flag 133000/133000
252.26/131.40	c cleaning 12965 clauses out of 25946 with flag 146000/146000
267.10/139.28	c cleaning 12981 clauses out of 25981 with flag 159000/159000
281.12/146.64	c cleaning 12989 clauses out of 26001 with flag 172001/172001
295.24/154.28	c cleaning 13001 clauses out of 26012 with flag 185001/185001
310.67/162.30	c cleaning 12996 clauses out of 26010 with flag 198000/198000
320.30/167.58	c cleaning 12997 clauses out of 26006 with flag 211000/211000
330.89/173.20	c cleaning 12991 clauses out of 26009 with flag 224000/224000
354.75/185.75	c cleaning 13001 clauses out of 26019 with flag 237001/237001
368.52/193.01	c cleaning 12997 clauses out of 26018 with flag 250001/250001
375.87/197.19	c cleaning 13009 clauses out of 26017 with flag 263000/263000
388.02/203.64	c cleaning 12981 clauses out of 26004 with flag 276000/276000
399.62/210.06	c cleaning 12992 clauses out of 26024 with flag 289001/289001
415.33/218.32	c cleaning 13009 clauses out of 26020 with flag 302000/302000
426.26/224.31	c cleaning 0 clauses out of 5002 with flag 0/5002
435.49/229.11	c cleaning 12997 clauses out of 26000 with flag 315000/315000
450.74/237.39	c cleaning 12996 clauses out of 26001 with flag 328000/328000
464.03/244.43	c cleaning 12994 clauses out of 26004 with flag 341000/341000
478.94/252.34	c cleaning 13000 clauses out of 26011 with flag 354001/354001
487.41/257.04	c cleaning 12992 clauses out of 26010 with flag 367000/367000
506.52/267.25	c cleaning 12982 clauses out of 26015 with flag 380001/380001
521.55/275.28	c cleaning 12995 clauses out of 26032 with flag 393000/393000
535.17/282.56	c cleaning 13008 clauses out of 26037 with flag 406001/406001
540.79/285.91	c cleaning 13005 clauses out of 26029 with flag 419001/419001
547.19/289.70	c cleaning 13002 clauses out of 26025 with flag 432002/432002
553.39/293.37	c cleaning 13006 clauses out of 26022 with flag 445001/445001
568.67/301.43	c cleaning 12988 clauses out of 26014 with flag 458002/458002
586.46/310.88	c cleaning 12995 clauses out of 26020 with flag 471000/471000
595.61/316.14	c cleaning 12998 clauses out of 26025 with flag 484000/484000
600.98/319.37	c cleaning 13009 clauses out of 26026 with flag 497001/497001
605.99/322.39	c cleaning 13006 clauses out of 26018 with flag 510002/510002
618.94/329.34	c cleaning 12979 clauses out of 26009 with flag 523001/523001
653.30/347.26	c cleaning 12989 clauses out of 26029 with flag 536000/536000
689.67/365.95	c cleaning 13002 clauses out of 26040 with flag 549000/549000
710.59/376.93	c cleaning 12969 clauses out of 26036 with flag 562000/562000
725.73/385.03	c cleaning 12989 clauses out of 26068 with flag 575001/575001
737.93/391.97	c cleaning 12989 clauses out of 26079 with flag 588001/588001
755.83/401.49	c cleaning 13025 clauses out of 26083 with flag 601000/601000
788.09/418.12	c cleaning 13016 clauses out of 26058 with flag 614000/614000
805.14/427.25	c cleaning 12983 clauses out of 26042 with flag 627001/627001
819.89/435.50	c cleaning 12985 clauses out of 26058 with flag 640000/640000
829.89/441.11	c cleaning 12995 clauses out of 26074 with flag 653001/653001
841.08/447.23	c cleaning 12998 clauses out of 26079 with flag 666001/666001
857.47/456.09	c cleaning 12998 clauses out of 26080 with flag 679000/679000
879.79/468.04	c cleaning 13005 clauses out of 26079 with flag 692001/692001
893.60/475.53	c cleaning 13024 clauses out of 26073 with flag 705000/705000
904.60/481.63	c cleaning 12982 clauses out of 26047 with flag 718000/718000
919.05/489.45	c cleaning 12996 clauses out of 26065 with flag 731000/731000
944.32/502.93	c cleaning 13029 clauses out of 26069 with flag 744000/744000
966.30/514.59	c cleaning 13008 clauses out of 26042 with flag 757002/757002
990.28/527.13	c cleaning 13006 clauses out of 26032 with flag 770000/770000
1009.44/537.31	c cleaning 12970 clauses out of 26026 with flag 783000/783000
1051.53/559.24	c cleaning 13008 clauses out of 26056 with flag 796001/796001
1089.30/578.77	c cleaning 13009 clauses out of 26045 with flag 809000/809000
1107.03/588.24	c cleaning 13007 clauses out of 26035 with flag 822000/822000
1121.83/596.28	c cleaning 13004 clauses out of 26028 with flag 835000/835000
1138.96/605.75	c cleaning 12999 clauses out of 26024 with flag 848000/848000
1149.67/611.74	c cleaning 13003 clauses out of 26024 with flag 861000/861000
1160.76/617.96	c cleaning 13003 clauses out of 26020 with flag 874000/874000
1178.08/627.23	c cleaning 12983 clauses out of 26018 with flag 887001/887001
1196.85/637.57	c cleaning 13000 clauses out of 26034 with flag 900000/900000
1216.37/647.99	c cleaning 12996 clauses out of 26034 with flag 913000/913000
1235.82/658.37	c cleaning 13002 clauses out of 26039 with flag 926001/926001
1250.92/666.60	c cleaning 12999 clauses out of 26036 with flag 939000/939000
1259.49/671.70	c cleaning 13002 clauses out of 26037 with flag 952000/952000
1267.37/676.32	c cleaning 12997 clauses out of 26035 with flag 965000/965000
1278.45/682.57	c cleaning 0 clauses out of 11001 with flag 0/11001
1282.38/685.10	c cleaning 12997 clauses out of 26037 with flag 978000/978000
1295.27/692.51	c cleaning 12999 clauses out of 26040 with flag 991000/991000
1311.31/701.26	c cleaning 12997 clauses out of 26041 with flag 1004000/1004000
1326.60/709.55	c cleaning 12998 clauses out of 26044 with flag 1017000/1017000
1340.19/717.04	c cleaning 13000 clauses out of 26047 with flag 1030001/1030001
1355.48/725.68	c cleaning 13002 clauses out of 26046 with flag 1043000/1043000
1369.32/733.23	c cleaning 12994 clauses out of 26045 with flag 1056001/1056001
1384.55/741.57	c cleaning 13000 clauses out of 26050 with flag 1069000/1069000
1415.17/757.54	c cleaning 13016 clauses out of 26040 with flag 1082000/1082000
1449.42/775.61	c cleaning 12989 clauses out of 26022 with flag 1095000/1095000
1471.83/787.60	c cleaning 13009 clauses out of 26034 with flag 1108002/1108002
1495.01/799.89	c cleaning 12991 clauses out of 26023 with flag 1121000/1121000
1520.39/813.28	c cleaning 13009 clauses out of 26032 with flag 1134000/1134000
1526.98/817.50	c cleaning 13004 clauses out of 26023 with flag 1147000/1147000
1532.94/821.23	c cleaning 13000 clauses out of 26019 with flag 1160000/1160000
1555.10/833.06	c cleaning 12948 clauses out of 26020 with flag 1173001/1173001
1564.87/838.67	c cleaning 12960 clauses out of 26071 with flag 1186000/1186000
1575.42/844.93	c cleaning 12987 clauses out of 26111 with flag 1199000/1199000
1586.57/851.30	c cleaning 13020 clauses out of 26123 with flag 1212001/1212001
1592.32/854.83	c cleaning 13010 clauses out of 26102 with flag 1225000/1225000
1597.86/858.32	c cleaning 13001 clauses out of 26093 with flag 1238001/1238001
1603.82/862.33	c cleaning 13004 clauses out of 26092 with flag 1251001/1251001
1609.34/865.88	c cleaning 13004 clauses out of 26089 with flag 1264002/1264002
1621.08/872.42	c cleaning 12989 clauses out of 26083 with flag 1277000/1277000
1639.29/882.26	c cleaning 12997 clauses out of 26095 with flag 1290001/1290001
1653.76/890.53	c cleaning 13002 clauses out of 26098 with flag 1303001/1303001
1672.09/900.46	c cleaning 12987 clauses out of 26096 with flag 1316001/1316001
1698.19/914.24	c cleaning 13000 clauses out of 26109 with flag 1329001/1329001
1723.50/927.62	c cleaning 13000 clauses out of 26109 with flag 1342001/1342001
1749.19/941.55	c cleaning 12992 clauses out of 26109 with flag 1355001/1355001
1775.06/955.25	c cleaning 13005 clauses out of 26116 with flag 1368000/1368000
1783.35/960.12	c cleaning 13052 clauses out of 26111 with flag 1381000/1381000
1790.03/964.22	c cleaning 13028 clauses out of 26061 with flag 1394002/1394002
1797.07/968.88	c cleaning 13007 clauses out of 26032 with flag 1407001/1407001
1800.16/971.12	c starts		: 190
1800.16/971.12	c conflicts		: 1410773
1800.16/971.12	c decisions		: 6889081
1800.16/971.12	c propagations		: 78950313
1800.16/971.12	c inspects		: 743554771
1800.16/971.12	c shortcuts		: 0
1800.16/971.12	c learnt literals	: 111
1800.16/971.12	c learnt binary clauses	: 162
1800.16/971.12	c learnt ternary clauses	: 305
1800.16/971.12	c learnt constraints	: 1410662
1800.16/971.12	c ignored constraints	: 0
1800.16/971.12	c root simplifications	: 0
1800.16/971.12	c removed literals (reason simplification)	: 33513617
1800.16/971.12	c reason swapping (by a shorter reason)	: 0
1800.16/971.12	c Calls to reduceDB	: 111
1800.16/971.12	c number of reductions to clauses (during analyze)	: 0
1800.16/971.12	c number of learned constraints concerned by reduction	: 0
1800.16/971.12	c number of learning phase by resolution	: 0
1800.16/971.12	c number of learning phase by cutting planes	: 0
1800.16/971.13	c speed (assignments/second)	: 81653.59387895674
1800.16/971.13	c non guided choices	4789373
1800.16/971.14	c learnt constraints type 
1800.16/971.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 162
1800.16/971.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16696
1800.16/971.14	c constraints type 
1800.16/971.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12105
1800.16/971.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 50
1800.16/971.14	c constraints type 
1800.16/971.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12155
1800.16/971.14	s UNKNOWN
1800.16/971.14	c Total wall clock time (in seconds): 971.022

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-3454217-1307190784/watcher-3454217-1307190784 -o /tmp/evaluation-result-3454217-1307190784/solver-3454217-1307190784 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454217-1307190784.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.83 3.27 3.07 3/593 3240
/proc/meminfo: memFree=31290920/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 1236 0 0 0 0 0 0 0 23 0 2 0 830677231 31260672 957 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 7632 957 730 9 0 383 0
[pid=3240/tid=3241] ppid=3238 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) R 3238 3240 32216 0 -1 4202560 6015 0 1 0 0 0 0 0 25 0 2 0 830677232 10694979584 6831 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.023766 s]
/proc/loadavg: 3.83 3.27 3.07 3/593 3240
/proc/meminfo: memFree=31290920/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 8942 0 1 0 0 1 0 0 23 0 2 0 830677231 10694979584 8645 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2611079 8660 917 9 0 2602235 0
[pid=3240/tid=3241] ppid=3238 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) R 3238 3240 32216 0 -1 4202560 7856 0 1 0 0 0 0 0 25 0 2 0 830677232 10694979584 8672 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316

[startup+0.100753 s]
/proc/loadavg: 3.83 3.27 3.07 3/593 3240
/proc/meminfo: memFree=31290920/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10605448 CPUtime=0.1 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 13050 0 1 0 8 2 0 0 23 0 18 0 830677231 10859978752 12702 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2651362 12702 2092 9 0 2642096 0
[pid=3240/tid=3241] ppid=3238 vsize=10605448 CPUtime=0.08 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) R 3238 3240 32216 0 -1 4202560 11096 0 1 0 7 1 0 0 18 0 18 0 830677232 10859978752 12702 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 47240017574406 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605448

[startup+0.300781 s]
/proc/loadavg: 3.83 3.27 3.07 3/593 3240
/proc/meminfo: memFree=31290920/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10606636 CPUtime=0.46 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 23334 0 1 0 43 3 0 0 23 0 18 0 830677231 10861195264 22527 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2651659 22530 2199 9 0 2642393 0
[pid=3240/tid=3241] ppid=3238 vsize=10606636 CPUtime=0.28 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) R 3238 3240 32216 0 -1 4202560 20070 0 1 0 26 2 0 0 18 0 18 0 830677232 10861195264 22532 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 46912505573748 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10606636

[startup+0.700648 s]
/proc/loadavg: 3.83 3.27 3.07 3/593 3240
/proc/meminfo: memFree=31290920/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10609128 CPUtime=0.96 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 48454 0 1 0 90 6 0 0 23 0 18 0 830677231 10863747072 46772 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2652282 46773 2203 9 0 2643016 0
[pid=3240/tid=3241] ppid=3238 vsize=10609128 CPUtime=0.68 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) R 3238 3240 32216 0 -1 4202560 43116 0 1 0 63 5 0 0 18 0 18 0 830677232 10863747072 46774 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 46912505623148 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10609128

[startup+1.50157 s]
/proc/loadavg: 3.77 3.26 3.07 4/611 3258
/proc/meminfo: memFree=31008736/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10616488 CPUtime=2.16 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 127767 0 1 0 200 16 0 0 23 0 18 0 830677231 10871283712 123727 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2654122 123738 2204 9 0 2644856 0
[pid=3240/tid=3241] ppid=3238 vsize=10616488 CPUtime=1.48 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) R 3238 3240 32216 0 -1 4202560 117176 0 1 0 134 14 0 0 19 0 18 0 830677232 10871283712 123743 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 46912505688165 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3240/tid=3243] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3243/stat : 3243 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123749 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3244] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3244/stat : 3244 (java) S 3238 3240 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123755 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3245] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3245/stat : 3245 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3246] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3246/stat : 3246 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3247] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3247/stat : 3247 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3248] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3248/stat : 3248 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3249] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3249/stat : 3249 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3250] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3250/stat : 3250 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3251] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3251/stat : 3251 (java) S 3238 3240 32216 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830677235 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 0 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3252] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3252/stat : 3252 (java) S 3238 3240 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830677235 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3253] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3253/stat : 3253 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830677235 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3254] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3254/stat : 3254 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677237 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284512689 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3255] ppid=3238 vsize=10616488 CPUtime=0.34 cores=1,3,5,7
/proc/3240/task/3255/stat : 3255 (java) S 3238 3240 32216 0 -1 4202560 5242 0 0 0 34 0 0 0 18 0 18 0 830677237 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3256] ppid=3238 vsize=10616488 CPUtime=0.31 cores=1,3,5,7
/proc/3240/task/3256/stat : 3256 (java) S 3238 3240 32216 0 -1 4202560 4216 0 0 0 31 0 0 0 20 0 18 0 830677237 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3257] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3257/stat : 3257 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677237 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3258] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3258/stat : 3258 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830677237 10871283712 123762 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10616488

[startup+3.10128 s]
/proc/loadavg: 3.77 3.26 3.07 4/611 3258
/proc/meminfo: memFree=30562460/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10616488 CPUtime=3.82 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 284283 0 1 0 348 34 0 0 23 0 18 0 830677231 10871283712 280243 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2654122 280249 2211 9 0 2644856 0
[pid=3240/tid=3241] ppid=3238 vsize=10616488 CPUtime=3.08 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) R 3238 3240 32216 0 -1 4202560 273659 0 1 0 276 32 0 0 25 0 18 0 830677232 10871283712 280249 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 46912505639056 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3240/tid=3243] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3243/stat : 3243 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280249 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3244] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3244/stat : 3244 (java) S 3238 3240 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280251 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3245] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3245/stat : 3245 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280254 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3246] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3246/stat : 3246 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280260 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3247] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3247/stat : 3247 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280262 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3248] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3248/stat : 3248 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280262 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3249] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3249/stat : 3249 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280265 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3250] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3250/stat : 3250 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677234 10871283712 280265 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3251] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3251/stat : 3251 (java) S 3238 3240 32216 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830677235 10871283712 280265 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 0 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3252] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3252/stat : 3252 (java) S 3238 3240 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830677235 10871283712 280267 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3253] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3253/stat : 3253 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830677235 10871283712 280270 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3254] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3254/stat : 3254 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677237 10871283712 280272 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284512689 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3255] ppid=3238 vsize=10616488 CPUtime=0.39 cores=1,3,5,7
/proc/3240/task/3255/stat : 3255 (java) S 3238 3240 32216 0 -1 4202560 5265 0 0 0 39 0 0 0 15 0 18 0 830677237 10871283712 280273 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3256] ppid=3238 vsize=10616488 CPUtime=0.32 cores=1,3,5,7
/proc/3240/task/3256/stat : 3256 (java) S 3238 3240 32216 0 -1 4202560 4216 0 0 0 32 0 0 0 18 0 18 0 830677237 10871283712 280275 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3257] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3257/stat : 3257 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830677237 10871283712 280277 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3258] ppid=3238 vsize=10616488 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3258/stat : 3258 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830677237 10871283712 280279 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10616488

[startup+6.30165 s]
/proc/loadavg: 3.77 3.26 3.07 5/615 3262
/proc/meminfo: memFree=29540888/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10620600 CPUtime=9.64 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 492942 0 1 0 908 56 0 0 23 0 22 0 830677231 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2655150 487414 2235 9 0 2645884 0
[pid=3240/tid=3241] ppid=3238 vsize=10620600 CPUtime=4.22 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) S 3238 3240 32216 0 -1 4202560 380214 0 1 0 379 43 0 0 15 0 22 0 830677232 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3243] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3243/stat : 3243 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3244] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3244/stat : 3244 (java) S 3238 3240 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3245] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3245/stat : 3245 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3246] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3246/stat : 3246 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3247] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3247/stat : 3247 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3248] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3248/stat : 3248 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3249] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3249/stat : 3249 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487414 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3250] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3250/stat : 3250 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677234 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3251] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3251/stat : 3251 (java) S 3238 3240 32216 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830677235 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 0 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3252] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3252/stat : 3252 (java) S 3238 3240 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830677235 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3253] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3253/stat : 3253 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830677235 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3254] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3254/stat : 3254 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284512689 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3255] ppid=3238 vsize=10620600 CPUtime=0.64 cores=1,3,5,7
/proc/3240/task/3255/stat : 3255 (java) S 3238 3240 32216 0 -1 4202560 5308 0 0 0 64 0 0 0 15 0 22 0 830677237 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3256] ppid=3238 vsize=10620600 CPUtime=0.8 cores=1,3,5,7
/proc/3240/task/3256/stat : 3256 (java) S 3238 3240 32216 0 -1 4202560 6178 0 0 0 79 1 0 0 15 0 22 0 830677237 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3257] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3257/stat : 3257 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3258] ppid=3238 vsize=10620600 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3258/stat : 3258 (java) S 3238 3240 32216 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830677237 10875494400 487415 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0

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

/proc/meminfo: memFree=24672216/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10620568 CPUtime=1639.45 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 1759496 0 1 0 163734 211 0 0 23 0 22 0 830677231 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2655142 1070690 2264 9 0 2645876 0
[pid=3240/tid=3241] ppid=3238 vsize=10620568 CPUtime=4.22 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) S 3238 3240 32216 0 -1 4202560 380251 0 1 0 379 43 0 0 15 0 22 0 830677232 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3243] ppid=3238 vsize=10620568 CPUtime=1.36 cores=1,3,5,7
/proc/3240/task/3243/stat : 3243 (java) S 3238 3240 32216 0 -1 4202560 26630 0 0 0 133 3 0 0 16 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3244] ppid=3238 vsize=10620568 CPUtime=0.91 cores=1,3,5,7
/proc/3240/task/3244/stat : 3244 (java) S 3238 3240 32216 0 -1 4202560 25348 0 0 0 88 3 0 0 15 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3245] ppid=3238 vsize=10620568 CPUtime=1.34 cores=1,3,5,7
/proc/3240/task/3245/stat : 3245 (java) S 3238 3240 32216 0 -1 4202560 6306 0 0 0 134 0 0 0 15 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3246] ppid=3238 vsize=10620568 CPUtime=1.38 cores=1,3,5,7
/proc/3240/task/3246/stat : 3246 (java) S 3238 3240 32216 0 -1 4202560 19333 0 0 0 135 3 0 0 16 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3247] ppid=3238 vsize=10620568 CPUtime=1.34 cores=1,3,5,7
/proc/3240/task/3247/stat : 3247 (java) S 3238 3240 32216 0 -1 4202560 36284 0 0 0 130 4 0 0 15 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3248] ppid=3238 vsize=10620568 CPUtime=1.54 cores=1,3,5,7
/proc/3240/task/3248/stat : 3248 (java) S 3238 3240 32216 0 -1 4202560 31031 0 0 0 151 3 0 0 15 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3249] ppid=3238 vsize=10620568 CPUtime=1.13 cores=1,3,5,7
/proc/3240/task/3249/stat : 3249 (java) S 3238 3240 32216 0 -1 4202560 46204 0 0 0 107 6 0 0 15 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3250] ppid=3238 vsize=10620568 CPUtime=1.57 cores=1,3,5,7
/proc/3240/task/3250/stat : 3250 (java) S 3238 3240 32216 0 -1 4202560 22687 0 0 0 156 1 0 0 15 0 22 0 830677234 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3251] ppid=3238 vsize=10620568 CPUtime=128.27 cores=1,3,5,7
/proc/3240/task/3251/stat : 3251 (java) R 3238 3240 32216 0 -1 4202560 874766 0 0 0 12721 106 0 0 15 0 22 0 830677235 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 47240015642761 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=3240/tid=3252] ppid=3238 vsize=10620568 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3252/stat : 3252 (java) S 3238 3240 32216 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830677235 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3253] ppid=3238 vsize=10620568 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3253/stat : 3253 (java) S 3238 3240 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830677235 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3254] ppid=3238 vsize=10620568 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3254/stat : 3254 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284512689 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3255] ppid=3238 vsize=10620568 CPUtime=1.1 cores=1,3,5,7
/proc/3240/task/3255/stat : 3255 (java) S 3238 3240 32216 0 -1 4202560 5381 0 0 0 110 0 0 0 15 0 22 0 830677237 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 5 0 0 0
[pid=3240/tid=3256] ppid=3238 vsize=10620568 CPUtime=2.07 cores=1,3,5,7
/proc/3240/task/3256/stat : 3256 (java) S 3238 3240 32216 0 -1 4202560 13050 0 0 0 205 2 0 0 15 0 22 0 830677237 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3257] ppid=3238 vsize=10620568 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3257/stat : 3257 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3258] ppid=3238 vsize=10620568 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3258/stat : 3258 (java) S 3238 3240 32216 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830677237 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3259] ppid=3238 vsize=10620568 CPUtime=746.63 cores=1,3,5,7
/proc/3240/task/3259/stat : 3259 (java) S 3238 3240 32216 0 -1 4202560 8259 0 0 0 74662 1 0 0 25 0 22 0 830677654 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3260] ppid=3238 vsize=10620568 CPUtime=746.43 cores=1,3,5,7
/proc/3240/task/3260/stat : 3260 (java) S 3238 3240 32216 0 -1 4202560 262761 0 0 0 74616 27 0 0 25 0 22 0 830677654 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 5 0 0 0
[pid=3240/tid=3261] ppid=3238 vsize=10620568 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3261/stat : 3261 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830677682 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3262] ppid=3238 vsize=10620568 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3262/stat : 3262 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830677693 10875461632 1070690 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1639.45
Current children cumulated vsize (KiB) 10620568

[startup+942.301 s]
/proc/loadavg: 3.99 3.90 3.60 5/615 3365
/proc/meminfo: memFree=24645240/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10660696 CPUtime=1750.06 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 1829418 0 1 0 174786 220 0 0 23 0 22 0 830677231 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2665174 1085307 2264 9 0 2655908 0
[pid=3240/tid=3241] ppid=3238 vsize=10660696 CPUtime=4.22 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) S 3238 3240 32216 0 -1 4202560 380257 0 1 0 379 43 0 0 15 0 22 0 830677232 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3243] ppid=3238 vsize=10660696 CPUtime=1.39 cores=1,3,5,7
/proc/3240/task/3243/stat : 3243 (java) S 3238 3240 32216 0 -1 4202560 26630 0 0 0 136 3 0 0 15 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3244] ppid=3238 vsize=10660696 CPUtime=0.95 cores=1,3,5,7
/proc/3240/task/3244/stat : 3244 (java) S 3238 3240 32216 0 -1 4202560 25450 0 0 0 92 3 0 0 16 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3245] ppid=3238 vsize=10660696 CPUtime=1.35 cores=1,3,5,7
/proc/3240/task/3245/stat : 3245 (java) S 3238 3240 32216 0 -1 4202560 6306 0 0 0 135 0 0 0 16 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3246] ppid=3238 vsize=10660696 CPUtime=1.42 cores=1,3,5,7
/proc/3240/task/3246/stat : 3246 (java) S 3238 3240 32216 0 -1 4202560 19333 0 0 0 139 3 0 0 15 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3247] ppid=3238 vsize=10660696 CPUtime=1.36 cores=1,3,5,7
/proc/3240/task/3247/stat : 3247 (java) S 3238 3240 32216 0 -1 4202560 36284 0 0 0 132 4 0 0 15 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3248] ppid=3238 vsize=10660696 CPUtime=1.57 cores=1,3,5,7
/proc/3240/task/3248/stat : 3248 (java) S 3238 3240 32216 0 -1 4202560 31053 0 0 0 154 3 0 0 16 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3249] ppid=3238 vsize=10660696 CPUtime=1.18 cores=1,3,5,7
/proc/3240/task/3249/stat : 3249 (java) S 3238 3240 32216 0 -1 4202560 46364 0 0 0 112 6 0 0 15 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3250] ppid=3238 vsize=10660696 CPUtime=1.64 cores=1,3,5,7
/proc/3240/task/3250/stat : 3250 (java) S 3238 3240 32216 0 -1 4202560 22798 0 0 0 162 2 0 0 16 0 22 0 830677234 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3251] ppid=3238 vsize=10660696 CPUtime=137.78 cores=1,3,5,7
/proc/3240/task/3251/stat : 3251 (java) R 3238 3240 32216 0 -1 4202560 944283 0 0 0 13662 116 0 0 16 0 22 0 830677235 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 47240020301892 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=3240/tid=3252] ppid=3238 vsize=10660696 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3252/stat : 3252 (java) S 3238 3240 32216 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830677235 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3253] ppid=3238 vsize=10660696 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3253/stat : 3253 (java) S 3238 3240 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830677235 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3254] ppid=3238 vsize=10660696 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3254/stat : 3254 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284512689 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3255] ppid=3238 vsize=10660696 CPUtime=1.1 cores=1,3,5,7
/proc/3240/task/3255/stat : 3255 (java) S 3238 3240 32216 0 -1 4202560 5381 0 0 0 110 0 0 0 15 0 22 0 830677237 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 5 0 0 0
[pid=3240/tid=3256] ppid=3238 vsize=10660696 CPUtime=2.07 cores=1,3,5,7
/proc/3240/task/3256/stat : 3256 (java) S 3238 3240 32216 0 -1 4202560 13050 0 0 0 205 2 0 0 15 0 22 0 830677237 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3257] ppid=3238 vsize=10660696 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3257/stat : 3257 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3258] ppid=3238 vsize=10660696 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3258/stat : 3258 (java) S 3238 3240 32216 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830677237 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3259] ppid=3238 vsize=10660696 CPUtime=797.04 cores=1,3,5,7
/proc/3240/task/3259/stat : 3259 (java) S 3238 3240 32216 0 -1 4202560 8259 0 0 0 79703 1 0 0 25 0 22 0 830677654 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3260] ppid=3238 vsize=10660696 CPUtime=796.85 cores=1,3,5,7
/proc/3240/task/3260/stat : 3260 (java) S 3238 3240 32216 0 -1 4202560 262761 0 0 0 79658 27 0 0 25 0 22 0 830677654 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 5 0 0 0
[pid=3240/tid=3261] ppid=3238 vsize=10660696 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3261/stat : 3261 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830677682 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3262] ppid=3238 vsize=10660696 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3262/stat : 3262 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830677693 10916552704 1085307 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1750.06
Current children cumulated vsize (KiB) 10660696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+971.101 s]
/proc/loadavg: 3.71 3.85 3.59 5/615 3366
/proc/meminfo: memFree=24588656/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=10622272 CPUtime=1800.16 cores=1,3,5,7
/proc/3240/stat : 3240 (java) S 3238 3240 32216 0 -1 4202496 1872222 0 1 0 179789 227 0 0 23 0 22 0 830677231 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3240/statm: 2655568 1080445 2264 9 0 2646302 0
[pid=3240/tid=3241] ppid=3238 vsize=10622272 CPUtime=4.22 cores=1,3,5,7
/proc/3240/task/3241/stat : 3241 (java) S 3238 3240 32216 0 -1 4202560 380261 0 1 0 379 43 0 0 15 0 22 0 830677232 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3243] ppid=3238 vsize=10622272 CPUtime=1.39 cores=1,3,5,7
/proc/3240/task/3243/stat : 3243 (java) S 3238 3240 32216 0 -1 4202560 26630 0 0 0 136 3 0 0 15 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3244] ppid=3238 vsize=10622272 CPUtime=0.99 cores=1,3,5,7
/proc/3240/task/3244/stat : 3244 (java) S 3238 3240 32216 0 -1 4202560 25450 0 0 0 96 3 0 0 16 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3245] ppid=3238 vsize=10622272 CPUtime=1.37 cores=1,3,5,7
/proc/3240/task/3245/stat : 3245 (java) S 3238 3240 32216 0 -1 4202560 6306 0 0 0 137 0 0 0 15 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3246] ppid=3238 vsize=10622272 CPUtime=1.47 cores=1,3,5,7
/proc/3240/task/3246/stat : 3246 (java) S 3238 3240 32216 0 -1 4202560 19341 0 0 0 144 3 0 0 15 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3247] ppid=3238 vsize=10622272 CPUtime=1.4 cores=1,3,5,7
/proc/3240/task/3247/stat : 3247 (java) S 3238 3240 32216 0 -1 4202560 36284 0 0 0 136 4 0 0 16 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3248] ppid=3238 vsize=10622272 CPUtime=1.58 cores=1,3,5,7
/proc/3240/task/3248/stat : 3248 (java) S 3238 3240 32216 0 -1 4202560 31053 0 0 0 155 3 0 0 16 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3249] ppid=3238 vsize=10622272 CPUtime=1.22 cores=1,3,5,7
/proc/3240/task/3249/stat : 3249 (java) S 3238 3240 32216 0 -1 4202560 46364 0 0 0 116 6 0 0 15 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3250] ppid=3238 vsize=10622272 CPUtime=1.66 cores=1,3,5,7
/proc/3240/task/3250/stat : 3250 (java) S 3238 3240 32216 0 -1 4202560 22798 0 0 0 164 2 0 0 16 0 22 0 830677234 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3251] ppid=3238 vsize=10622272 CPUtime=145.38 cores=1,3,5,7
/proc/3240/task/3251/stat : 3251 (java) S 3238 3240 32216 0 -1 4202560 987075 0 0 0 14416 122 0 0 17 0 22 0 830677235 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 0 0 16800975 18446604470273695872 0 0 -1 5 0 0 0
[pid=3240/tid=3252] ppid=3238 vsize=10622272 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3252/stat : 3252 (java) S 3238 3240 32216 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830677235 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3253] ppid=3238 vsize=10622272 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3253/stat : 3253 (java) S 3238 3240 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830677235 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3254] ppid=3238 vsize=10622272 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3254/stat : 3254 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284512689 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3255] ppid=3238 vsize=10622272 CPUtime=1.1 cores=1,3,5,7
/proc/3240/task/3255/stat : 3255 (java) S 3238 3240 32216 0 -1 4202560 5381 0 0 0 110 0 0 0 15 0 22 0 830677237 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 5 0 0 0
[pid=3240/tid=3256] ppid=3238 vsize=10622272 CPUtime=2.07 cores=1,3,5,7
/proc/3240/task/3256/stat : 3256 (java) S 3238 3240 32216 0 -1 4202560 13050 0 0 0 205 2 0 0 15 0 22 0 830677237 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
[pid=3240/tid=3257] ppid=3238 vsize=10622272 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3257/stat : 3257 (java) S 3238 3240 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830677237 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284504985 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3258] ppid=3238 vsize=10622272 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3258/stat : 3258 (java) S 3238 3240 32216 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830677237 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 1 0 0 0
[pid=3240/tid=3259] ppid=3238 vsize=10622272 CPUtime=818.2 cores=1,3,5,7
/proc/3240/task/3259/stat : 3259 (java) R 3238 3240 32216 0 -1 4202560 8259 0 0 0 81819 1 0 0 18 0 22 0 830677654 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 46912505646116 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3240/tid=3260] ppid=3238 vsize=10622272 CPUtime=818 cores=1,3,5,7
/proc/3240/task/3260/stat : 3260 (java) R 3238 3240 32216 0 -1 4202560 262761 0 0 0 81773 27 0 0 18 0 22 0 830677654 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 46912505551399 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3240/tid=3261] ppid=3238 vsize=10622272 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3261/stat : 3261 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830677682 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 7 0 0 0
[pid=3240/tid=3262] ppid=3238 vsize=10622272 CPUtime=0 cores=1,3,5,7
/proc/3240/task/3262/stat : 3262 (java) S 3238 3240 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830677693 10877206528 1080445 33554432000 1073741824 1073778376 140733569866352 18446744073709551615 268284505600 0 4 0 16800975 18446604470273695872 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10622272

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

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

[startup+971.228 s]
/proc/loadavg: 3.71 3.85 3.59 4/596 3370
/proc/meminfo: memFree=27052812/32950928 swapFree=43925852/67111528
[pid=3240] ppid=3238 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/3240/stat : 3240 (java) Z 3238 3240 32216 0 -1 4203548 1872255 0 1 0 179797 236 0 0 17 0 2 0 830677231 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3240/statm: 0 0 0 0 0 0 0
[pid=3240/tid=3259] ppid=3238 vsize=0 CPUtime=818.33 cores=1,3,5,7
/proc/3240/task/3259/stat : 3259 (java) R 3238 3240 32216 0 -1 4203588 8259 0 0 0 81821 12 0 0 19 0 2 0 830677654 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 971.293
CPU time (s): 1800.4
CPU user time (s): 1797.98
CPU system time (s): 2.42463
CPU usage (%): 185.361
Max. virtual memory (cumulated for all children) (KiB): 10667316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.42463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1872255
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= 26067
involuntary context switches= 25012

runsolver used 5.71113 second user time and 13.027 second system time

The end

Launcher Data

Begin job on node122 at 2011-06-04 14:33:04
IDJOB=3454217
IDBENCH=2388
IDSOLVER=1950
FILE ID=node122/3454217-1307190784
RUNJOBID= node122-1307187942-2578
PBS_JOBID= 13508834
Free space on /tmp= 73792 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454217-1307190784/watcher-3454217-1307190784 -o /tmp/evaluation-result-3454217-1307190784/solver-3454217-1307190784 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454217-1307190784.opb

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

MD5SUM BENCH= 82090c0a4adcfdd30e3ab97004b5e93d
RANDOM SEED=1266708846

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.75
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.820
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.820
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.83
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31291200 kB
Buffers:        328680 kB
Cached:         575640 kB
SwapCached:      16832 kB
Active:         806164 kB
Inactive:       536896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31291200 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:           19468 kB
Writeback:           0 kB
AnonPages:      436116 kB
Mapped:          17476 kB
Slab:           151024 kB
PageTables:      94076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 191083140 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= 73792 MiB
End job on node122 at 2011-06-04 14:49:18