Trace number 3453628

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 NameAnswerCPU timeWall clock time
Sat4j Res//CP 2.3.0? (TO) 1800.39 909.692

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_40.opb
MD5SUM6f80de356bf70dde8dfbe2efc2cb9dee
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.12/0.11	c Pseudo Boolean Optimization
0.12/0.11	c ManyCore solver with 2 solvers running in parallel
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.11	c Expensive reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	c Glucose learned constraints deletion strategy
0.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.11	c No reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	c Glucose learned constraints deletion strategy
0.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c solving HOME/instance-3453628-1307195863.opb
0.12/0.11	c reading problem ... 
0.99/0.59	c ... done. Wall clock time 0.483s.
0.99/0.59	c #vars     6604
0.99/0.59	c #constraints  13011
0.99/0.59	c constraints type 
0.99/0.59	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
0.99/0.59	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.99/0.59	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.99/0.59	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
0.99/0.59	c constraints type 
0.99/0.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.99/0.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6204
0.99/0.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
0.99/0.59	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
7.92/3.24	c cleaning 2509 clauses out of 5018 with flag 5018/5018
14.39/6.47	c cleaning 4246 clauses out of 8492 with flag 11001/11001
24.04/11.21	c cleaning 5631 clauses out of 11261 with flag 18016/18016
33.00/15.75	c cleaning 6806 clauses out of 13616 with flag 26002/26002
53.04/25.70	c cleaning 7908 clauses out of 15818 with flag 35010/35010
67.60/33.03	c cleaning 8970 clauses out of 17939 with flag 45039/45039
86.09/42.36	c cleaning 9965 clauses out of 19930 with flag 56000/56000
111.66/55.11	c cleaning 11015 clauses out of 22031 with flag 68066/68066
133.91/66.31	c cleaning 11975 clauses out of 23953 with flag 81003/81003
150.86/74.88	c cleaning 12989 clauses out of 25981 with flag 95006/95006
180.03/89.48	c cleaning 13535 clauses out of 27069 with flag 109083/109083
211.35/105.11	c cleaning 13726 clauses out of 27455 with flag 123004/123004
241.63/120.32	c cleaning 13865 clauses out of 27733 with flag 137008/137008
257.73/128.49	c cleaning 13930 clauses out of 27864 with flag 151004/151004
275.22/137.30	c cleaning 13982 clauses out of 27964 with flag 165034/165034
291.90/145.69	c cleaning 13973 clauses out of 27953 with flag 179005/179005
306.13/152.81	c cleaning 13987 clauses out of 27978 with flag 193003/193003
323.02/161.31	c cleaning 13999 clauses out of 28000 with flag 207012/207012
342.30/171.07	c cleaning 14006 clauses out of 28013 with flag 221024/221024
362.77/181.30	c cleaning 13991 clauses out of 27985 with flag 235002/235002
378.19/189.14	c cleaning 14011 clauses out of 28022 with flag 249030/249030
395.88/198.11	c cleaning 13994 clauses out of 27992 with flag 263011/263011
411.92/206.10	c cleaning 14000 clauses out of 28003 with flag 277016/277016
427.97/214.29	c cleaning 14010 clauses out of 28023 with flag 291036/291036
443.80/222.26	c cleaning 13992 clauses out of 27987 with flag 305010/305010
460.24/230.52	c cleaning 13999 clauses out of 28002 with flag 319017/319017
476.29/238.68	c cleaning 14012 clauses out of 28027 with flag 333041/333041
493.73/247.42	c cleaning 13995 clauses out of 27991 with flag 347017/347017
508.50/254.92	c cleaning 13989 clauses out of 27981 with flag 361002/361002
521.14/261.37	c cleaning 0 clauses out of 5007 with flag 0/5007
526.20/263.97	c cleaning 13994 clauses out of 27990 with flag 375000/375000
545.03/273.45	c cleaning 14018 clauses out of 28035 with flag 389039/389039
563.62/282.89	c cleaning 13994 clauses out of 27992 with flag 403014/403014
580.62/291.41	c cleaning 13998 clauses out of 28000 with flag 417016/417016
597.45/299.96	c cleaning 14001 clauses out of 28006 with flag 431020/431020
614.28/308.46	c cleaning 13994 clauses out of 27992 with flag 445007/445007
631.84/317.38	c cleaning 13995 clauses out of 27993 with flag 459002/459002
649.67/326.33	c cleaning 14010 clauses out of 28021 with flag 473025/473025
667.69/335.47	c cleaning 13992 clauses out of 27988 with flag 487002/487002
685.93/344.66	c cleaning 14008 clauses out of 28018 with flag 501024/501024
704.90/354.26	c cleaning 14002 clauses out of 28006 with flag 515020/515020
723.11/363.41	c cleaning 14013 clauses out of 28030 with flag 529046/529046
741.54/372.73	c cleaning 13993 clauses out of 27990 with flag 543019/543019
759.59/381.88	c cleaning 13990 clauses out of 27984 with flag 557006/557006
778.48/391.46	c cleaning 14010 clauses out of 28021 with flag 571033/571033
798.52/401.53	c cleaning 14017 clauses out of 28034 with flag 585056/585056
816.69/410.72	c cleaning 13979 clauses out of 27961 with flag 599000/599000
832.69/418.89	c cleaning 13997 clauses out of 27997 with flag 613015/613015
852.82/429.04	c cleaning 13994 clauses out of 27992 with flag 627007/627007
870.60/438.06	c cleaning 14002 clauses out of 28005 with flag 641014/641014
887.65/446.65	c cleaning 13999 clauses out of 28001 with flag 655012/655012
907.25/456.55	c cleaning 14019 clauses out of 28041 with flag 669051/669051
926.15/466.14	c cleaning 13988 clauses out of 27979 with flag 683008/683008
944.55/475.48	c cleaning 13996 clauses out of 27994 with flag 697011/697011
963.35/484.93	c cleaning 14000 clauses out of 28000 with flag 711013/711013
983.37/495.10	c cleaning 14003 clauses out of 28007 with flag 725020/725020
1001.82/504.46	c cleaning 13991 clauses out of 27986 with flag 739002/739002
1020.43/513.83	c cleaning 14013 clauses out of 28027 with flag 753034/753034
1040.38/523.99	c cleaning 13995 clauses out of 27991 with flag 767011/767011
1060.77/534.22	c cleaning 14019 clauses out of 28039 with flag 781054/781054
1080.26/544.10	c cleaning 13982 clauses out of 27968 with flag 795002/795002
1098.84/553.56	c cleaning 13997 clauses out of 27995 with flag 809011/809011
1120.81/564.66	c cleaning 14004 clauses out of 28010 with flag 823023/823023
1140.98/574.85	c cleaning 13995 clauses out of 27991 with flag 837008/837008
1166.84/587.94	c cleaning 14022 clauses out of 28046 with flag 851058/851058
1188.21/598.76	c cleaning 13982 clauses out of 27968 with flag 865002/865002
1209.99/609.78	c cleaning 14007 clauses out of 28016 with flag 879032/879032
1231.95/620.83	c cleaning 13996 clauses out of 27996 with flag 893019/893019
1252.18/631.14	c cleaning 13997 clauses out of 27998 with flag 907017/907017
1272.36/641.36	c cleaning 13993 clauses out of 27989 with flag 921005/921005
1291.06/650.85	c cleaning 13997 clauses out of 27998 with flag 935007/935007
1309.81/660.30	c cleaning 14017 clauses out of 28033 with flag 949039/949039
1331.99/671.64	c cleaning 14005 clauses out of 28011 with flag 963034/963034
1355.31/683.49	c cleaning 13984 clauses out of 27972 with flag 977000/977000
1376.83/694.30	c cleaning 14018 clauses out of 28038 with flag 991050/991050
1399.93/706.01	c cleaning 13999 clauses out of 28000 with flag 1005030/1005030
1422.09/717.39	c cleaning 14000 clauses out of 28001 with flag 1019030/1019030
1443.78/728.37	c cleaning 13990 clauses out of 27982 with flag 1033011/1033011
1467.66/740.42	c cleaning 14010 clauses out of 28021 with flag 1047040/1047040
1490.86/752.28	c cleaning 13986 clauses out of 27973 with flag 1061002/1061002
1514.75/764.40	c cleaning 14021 clauses out of 28042 with flag 1075057/1075057
1535.98/775.25	c cleaning 13999 clauses out of 28002 with flag 1089038/1089038
1557.25/786.04	c cleaning 13990 clauses out of 27984 with flag 1103019/1103019
1578.30/796.74	c cleaning 13994 clauses out of 27990 with flag 1117015/1117015
1601.20/808.51	c cleaning 14022 clauses out of 28045 with flag 1131064/1131064
1627.48/821.71	c cleaning 13979 clauses out of 27961 with flag 1145002/1145002
1651.53/833.94	c cleaning 14013 clauses out of 28027 with flag 1159047/1159047
1679.77/848.23	c cleaning 13993 clauses out of 27987 with flag 1173020/1173020
1706.99/862.19	c cleaning 14022 clauses out of 28043 with flag 1187069/1187069
1729.46/873.54	c cleaning 13987 clauses out of 27975 with flag 1201023/1201023
1754.26/886.11	c cleaning 14018 clauses out of 28037 with flag 1215072/1215072
1781.33/899.84	c cleaning 13976 clauses out of 27951 with flag 1229004/1229004
1800.18/909.52	c starts		: 190
1800.18/909.52	c conflicts		: 1237193
1800.18/909.52	c decisions		: 1497691
1800.18/909.52	c propagations		: 34523907
1800.18/909.52	c inspects		: 2208424996
1800.18/909.52	c shortcuts		: 0
1800.18/909.52	c learnt literals	: 0
1800.18/909.52	c learnt binary clauses	: 0
1800.18/909.52	c learnt ternary clauses	: 57
1800.18/909.52	c learnt constraints	: 1237193
1800.18/909.52	c ignored constraints	: 0
1800.18/909.52	c root simplifications	: 0
1800.18/909.52	c removed literals (reason simplification)	: 33368482
1800.18/909.52	c reason swapping (by a shorter reason)	: 0
1800.18/909.52	c Calls to reduceDB	: 91
1800.18/909.52	c number of reductions to clauses (during analyze)	: 0
1800.18/909.52	c number of learned constraints concerned by reduction	: 0
1800.18/909.52	c number of learning phase by resolution	: 0
1800.18/909.52	c number of learning phase by cutting planes	: 0
1800.18/909.52	c speed (assignments/second)	: 37983.03829777871
1800.18/909.52	c non guided choices	6364
1800.18/909.53	c learnt constraints type 
1800.18/909.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22168
1800.18/909.53	c constraints type 
1800.18/909.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1800.18/909.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.18/909.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.18/909.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.18/909.53	c constraints type 
1800.18/909.53	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1800.18/909.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6204
1800.18/909.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 403
1800.18/909.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
1800.18/909.53	s UNKNOWN
1800.18/909.53	c Total wall clock time (in seconds): 909.425

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.99 3.20 3/482 26317
/proc/meminfo: memFree=27875680/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 5928 0 1 0 0 1 0 0 25 0 2 0 831184270 10694979584 5630 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2611079 5643 917 9 0 2602235 0
[pid=26317/tid=26318] ppid=26315 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) R 26315 26317 26110 0 -1 4202560 5429 0 1 0 0 0 0 0 25 0 2 0 831184271 10694979584 6245 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.110814 s]
/proc/loadavg: 2.06 2.99 3.20 3/482 26317
/proc/meminfo: memFree=27875680/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10540424 CPUtime=0.12 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 13304 0 1 0 10 2 0 0 25 0 18 0 831184270 10793394176 12975 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2635106 12975 2123 9 0 2625840 0
[pid=26317/tid=26318] ppid=26315 vsize=10540424 CPUtime=0.09 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) R 26315 26317 26110 0 -1 4202560 11299 0 1 0 8 1 0 0 18 0 18 0 831184271 10793394176 12975 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 47475082577939 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540424

[startup+0.20082 s]
/proc/loadavg: 2.06 2.99 3.20 3/482 26317
/proc/meminfo: memFree=27875680/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10540424 CPUtime=0.24 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 14065 0 1 0 22 2 0 0 25 0 18 0 831184270 10793394176 13736 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2635106 13736 2181 9 0 2625840 0
[pid=26317/tid=26318] ppid=26315 vsize=10540424 CPUtime=0.18 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) R 26315 26317 26110 0 -1 4202560 11978 0 1 0 17 1 0 0 18 0 18 0 831184271 10793394176 13736 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540424

[startup+0.30078 s]
/proc/loadavg: 2.06 2.99 3.20 3/482 26317
/proc/meminfo: memFree=27875680/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10542372 CPUtime=0.46 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 15737 0 1 0 44 2 0 0 25 0 18 0 831184270 10795388928 15322 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2635593 15323 2208 9 0 2626327 0
[pid=26317/tid=26318] ppid=26315 vsize=10542372 CPUtime=0.29 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) R 26315 26317 26110 0 -1 4202560 13015 0 1 0 27 2 0 0 18 0 18 0 831184271 10795388928 15323 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542372

[startup+0.700687 s]
/proc/loadavg: 2.06 2.99 3.20 3/482 26317
/proc/meminfo: memFree=27875680/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10556460 CPUtime=1.69 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 31793 0 1 0 164 5 0 0 25 0 22 0 831184270 10809815040 29684 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2639115 29684 2236 9 0 2629849 0
[pid=26317/tid=26318] ppid=26315 vsize=10556460 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) S 26315 26317 26110 0 -1 4202560 22628 0 1 0 54 3 0 0 19 0 22 0 831184271 10809815040 29684 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10556460

[startup+1.50154 s]
/proc/loadavg: 2.06 2.99 3.20 8/504 26339
/proc/meminfo: memFree=27746552/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10558764 CPUtime=4.44 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 48842 0 1 0 437 7 0 0 25 0 22 0 831184270 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2639691 44563 2244 9 0 2630425 0
[pid=26317/tid=26318] ppid=26315 vsize=10558764 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) S 26315 26317 26110 0 -1 4202560 22628 0 1 0 54 3 0 0 15 0 22 0 831184271 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26320] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26320/stat : 26320 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26321] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26321/stat : 26321 (java) S 26315 26317 26110 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26322] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26322/stat : 26322 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26323] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26323/stat : 26323 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26324] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26324/stat : 26324 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26325] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26325/stat : 26325 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26326] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26326/stat : 26326 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26327] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26327/stat : 26327 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26328] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26328/stat : 26328 (java) S 26315 26317 26110 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 22 0 831184273 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 0 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26329] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26329/stat : 26329 (java) S 26315 26317 26110 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831184274 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26330] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26330/stat : 26330 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831184274 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26331] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26331/stat : 26331 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134537649 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26332] ppid=26315 vsize=10558764 CPUtime=1.01 cores=0,2,4,6
/proc/26317/task/26332/stat : 26332 (java) S 26315 26317 26110 0 -1 4202560 5089 0 0 0 101 0 0 0 16 0 22 0 831184276 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26333] ppid=26315 vsize=10558764 CPUtime=1.04 cores=0,2,4,6
/proc/26317/task/26333/stat : 26333 (java) S 26315 26317 26110 0 -1 4202560 5486 0 0 0 104 0 0 0 16 0 22 0 831184276 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26334] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26334/stat : 26334 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26335] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26335/stat : 26335 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831184276 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26336] ppid=26315 vsize=10558764 CPUtime=0.9 cores=0,2,4,6
/proc/26317/task/26336/stat : 26336 (java) R 26315 26317 26110 0 -1 4202560 761 0 0 0 90 0 0 0 23 0 22 0 831184330 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912505982524 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26317/tid=26337] ppid=26315 vsize=10558764 CPUtime=0.88 cores=0,2,4,6
/proc/26317/task/26337/stat : 26337 (java) R 26315 26317 26110 0 -1 4202560 13710 0 0 0 86 2 0 0 25 0 22 0 831184330 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506009653 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26317/tid=26338] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26338/stat : 26338 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831184331 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26339] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26339/stat : 26339 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831184331 10812174336 44563 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10558764

[startup+3.10124 s]
/proc/loadavg: 2.06 2.99 3.20 5/504 26339
/proc/meminfo: memFree=27629620/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10558764 CPUtime=7.72 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 96494 0 1 0 760 12 0 0 25 0 22 0 831184270 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2639691 92214 2244 9 0 2630425 0
[pid=26317/tid=26318] ppid=26315 vsize=10558764 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) S 26315 26317 26110 0 -1 4202560 22628 0 1 0 54 3 0 0 15 0 22 0 831184271 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26320] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26320/stat : 26320 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26321] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26321/stat : 26321 (java) S 26315 26317 26110 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26322] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26322/stat : 26322 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26323] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26323/stat : 26323 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26324] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26324/stat : 26324 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26325] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26325/stat : 26325 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26326] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26326/stat : 26326 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26327] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26327/stat : 26327 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184272 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26328] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26328/stat : 26328 (java) S 26315 26317 26110 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 22 0 831184273 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 0 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26329] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26329/stat : 26329 (java) S 26315 26317 26110 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831184274 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26330] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26330/stat : 26330 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831184274 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26331] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26331/stat : 26331 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134537649 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26332] ppid=26315 vsize=10558764 CPUtime=1.09 cores=0,2,4,6
/proc/26317/task/26332/stat : 26332 (java) S 26315 26317 26110 0 -1 4202560 5096 0 0 0 109 0 0 0 15 0 22 0 831184276 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26333] ppid=26315 vsize=10558764 CPUtime=1.04 cores=0,2,4,6
/proc/26317/task/26333/stat : 26333 (java) S 26315 26317 26110 0 -1 4202560 5486 0 0 0 104 0 0 0 15 0 22 0 831184276 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26334] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26334/stat : 26334 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26335] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26335/stat : 26335 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831184276 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26336] ppid=26315 vsize=10558764 CPUtime=2.5 cores=0,2,4,6
/proc/26317/task/26336/stat : 26336 (java) R 26315 26317 26110 0 -1 4202560 2343 0 0 0 250 0 0 0 25 0 22 0 831184330 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506171319 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26317/tid=26337] ppid=26315 vsize=10558764 CPUtime=2.47 cores=0,2,4,6
/proc/26317/task/26337/stat : 26337 (java) R 26315 26317 26110 0 -1 4202560 59772 0 0 0 241 6 0 0 25 0 22 0 831184330 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506160009 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26317/tid=26338] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26338/stat : 26338 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831184331 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26339] ppid=26315 vsize=10558764 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26339/stat : 26339 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831184331 10812174336 92214 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 10558764

[startup+6.30166 s]
/proc/loadavg: 2.21 3.01 3.21 8/504 26388
/proc/meminfo: memFree=28114708/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10555156 CPUtime=14.19 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 140593 0 1 0 1401 18 0 0 25 0 22 0 831184270 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2638789 135361 2270 9 0 2629523 0
[pid=26317/tid=26318] ppid=26315 vsize=10555156 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) S 26315 26317 26110 0 -1 4202560 22628 0 1 0 54 3 0 0 15 0 22 0 831184271 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26320] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26320/stat : 26320 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26321] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26321/stat : 26321 (java) S 26315 26317 26110 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26322] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26322/stat : 26322 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26323] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26323/stat : 26323 (java) S 26315 26317 26110 0 -1 4202560 1116 0 0 0 0 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26324] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26324/stat : 26324 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26325] ppid=26315 vsize=10555156 CPUtime=0.01 cores=0,2,4,6
/proc/26317/task/26325/stat : 26325 (java) S 26315 26317 26110 0 -1 4202560 2090 0 0 0 1 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26326] ppid=26315 vsize=10555156 CPUtime=0.01 cores=0,2,4,6
/proc/26317/task/26326/stat : 26326 (java) S 26315 26317 26110 0 -1 4202560 2170 0 0 0 1 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26327] ppid=26315 vsize=10555156 CPUtime=0.01 cores=0,2,4,6
/proc/26317/task/26327/stat : 26327 (java) S 26315 26317 26110 0 -1 4202560 1752 0 0 0 1 0 0 0 18 0 22 0 831184272 10808479744 135361 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0

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

/proc/meminfo: memFree=20962616/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10555156 CPUtime=1628.29 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 942889 0 1 0 162712 117 0 0 25 0 22 0 831184270 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2638789 936530 2271 9 0 2629523 0
[pid=26317/tid=26318] ppid=26315 vsize=10555156 CPUtime=0.58 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) S 26315 26317 26110 0 -1 4202560 22637 0 1 0 55 3 0 0 15 0 22 0 831184271 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26320] ppid=26315 vsize=10555156 CPUtime=0.56 cores=0,2,4,6
/proc/26317/task/26320/stat : 26320 (java) S 26315 26317 26110 0 -1 4202560 4594 0 0 0 56 0 0 0 15 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26321] ppid=26315 vsize=10555156 CPUtime=0.56 cores=0,2,4,6
/proc/26317/task/26321/stat : 26321 (java) S 26315 26317 26110 0 -1 4202560 5642 0 0 0 55 1 0 0 15 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26322] ppid=26315 vsize=10555156 CPUtime=0.47 cores=0,2,4,6
/proc/26317/task/26322/stat : 26322 (java) S 26315 26317 26110 0 -1 4202560 11209 0 0 0 45 2 0 0 15 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26323] ppid=26315 vsize=10555156 CPUtime=0.55 cores=0,2,4,6
/proc/26317/task/26323/stat : 26323 (java) S 26315 26317 26110 0 -1 4202560 5719 0 0 0 54 1 0 0 16 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26324] ppid=26315 vsize=10555156 CPUtime=0.64 cores=0,2,4,6
/proc/26317/task/26324/stat : 26324 (java) S 26315 26317 26110 0 -1 4202560 4339 0 0 0 64 0 0 0 15 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26325] ppid=26315 vsize=10555156 CPUtime=0.56 cores=0,2,4,6
/proc/26317/task/26325/stat : 26325 (java) S 26315 26317 26110 0 -1 4202560 7368 0 0 0 55 1 0 0 16 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26326] ppid=26315 vsize=10555156 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26326/stat : 26326 (java) S 26315 26317 26110 0 -1 4202560 7892 0 0 0 56 1 0 0 16 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26327] ppid=26315 vsize=10555156 CPUtime=0.58 cores=0,2,4,6
/proc/26317/task/26327/stat : 26327 (java) S 26315 26317 26110 0 -1 4202560 7045 0 0 0 57 1 0 0 15 0 22 0 831184272 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26328] ppid=26315 vsize=10555156 CPUtime=20.28 cores=0,2,4,6
/proc/26317/task/26328/stat : 26328 (java) S 26315 26317 26110 0 -1 4202560 41981 0 0 0 2023 5 0 0 16 0 22 0 831184273 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 0 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26329] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26329/stat : 26329 (java) S 26315 26317 26110 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831184274 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26330] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26330/stat : 26330 (java) S 26315 26317 26110 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831184274 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26331] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26331/stat : 26331 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134537649 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26332] ppid=26315 vsize=10555156 CPUtime=1.26 cores=0,2,4,6
/proc/26317/task/26332/stat : 26332 (java) S 26315 26317 26110 0 -1 4202560 5120 0 0 0 126 0 0 0 15 0 22 0 831184276 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26333] ppid=26315 vsize=10555156 CPUtime=1.41 cores=0,2,4,6
/proc/26317/task/26333/stat : 26333 (java) S 26315 26317 26110 0 -1 4202560 5529 0 0 0 141 0 0 0 16 0 22 0 831184276 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26334] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26334/stat : 26334 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26335] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26335/stat : 26335 (java) S 26315 26317 26110 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831184276 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26336] ppid=26315 vsize=10555156 CPUtime=800.08 cores=0,2,4,6
/proc/26317/task/26336/stat : 26336 (java) R 26315 26317 26110 0 -1 4202560 3760 0 0 0 80006 2 0 0 22 0 22 0 831184330 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506190413 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26317/tid=26337] ppid=26315 vsize=10555156 CPUtime=800.03 cores=0,2,4,6
/proc/26317/task/26337/stat : 26337 (java) R 26315 26317 26110 0 -1 4202560 808849 0 0 0 79911 92 0 0 22 0 22 0 831184330 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506061271 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26317/tid=26338] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26338/stat : 26338 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831184331 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26339] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26339/stat : 26339 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831184331 10808479744 936530 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1628.29
Current children cumulated vsize (KiB) 10555156

[startup+882.318 s]
/proc/loadavg: 3.90 3.94 3.68 4/504 26619
/proc/meminfo: memFree=20766524/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10555156 CPUtime=1746.7 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 942913 0 1 0 174553 117 0 0 25 0 22 0 831184270 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2638789 936544 2271 9 0 2629523 0
[pid=26317/tid=26318] ppid=26315 vsize=10555156 CPUtime=0.58 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) S 26315 26317 26110 0 -1 4202560 22637 0 1 0 55 3 0 0 15 0 22 0 831184271 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26320] ppid=26315 vsize=10555156 CPUtime=0.58 cores=0,2,4,6
/proc/26317/task/26320/stat : 26320 (java) S 26315 26317 26110 0 -1 4202560 4594 0 0 0 58 0 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26321] ppid=26315 vsize=10555156 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26321/stat : 26321 (java) S 26315 26317 26110 0 -1 4202560 5642 0 0 0 56 1 0 0 15 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26322] ppid=26315 vsize=10555156 CPUtime=0.5 cores=0,2,4,6
/proc/26317/task/26322/stat : 26322 (java) S 26315 26317 26110 0 -1 4202560 11209 0 0 0 48 2 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26323] ppid=26315 vsize=10555156 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26323/stat : 26323 (java) S 26315 26317 26110 0 -1 4202560 5719 0 0 0 56 1 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26324] ppid=26315 vsize=10555156 CPUtime=0.66 cores=0,2,4,6
/proc/26317/task/26324/stat : 26324 (java) S 26315 26317 26110 0 -1 4202560 4339 0 0 0 66 0 0 0 15 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26325] ppid=26315 vsize=10555156 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26325/stat : 26325 (java) S 26315 26317 26110 0 -1 4202560 7368 0 0 0 56 1 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26326] ppid=26315 vsize=10555156 CPUtime=0.6 cores=0,2,4,6
/proc/26317/task/26326/stat : 26326 (java) S 26315 26317 26110 0 -1 4202560 7906 0 0 0 59 1 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26327] ppid=26315 vsize=10555156 CPUtime=0.6 cores=0,2,4,6
/proc/26317/task/26327/stat : 26327 (java) S 26315 26317 26110 0 -1 4202560 7045 0 0 0 59 1 0 0 15 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26328] ppid=26315 vsize=10555156 CPUtime=21.97 cores=0,2,4,6
/proc/26317/task/26328/stat : 26328 (java) S 26315 26317 26110 0 -1 4202560 41983 0 0 0 2192 5 0 0 15 0 22 0 831184273 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 0 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26329] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26329/stat : 26329 (java) S 26315 26317 26110 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831184274 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26330] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26330/stat : 26330 (java) S 26315 26317 26110 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831184274 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26331] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26331/stat : 26331 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134537649 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26332] ppid=26315 vsize=10555156 CPUtime=1.26 cores=0,2,4,6
/proc/26317/task/26332/stat : 26332 (java) S 26315 26317 26110 0 -1 4202560 5120 0 0 0 126 0 0 0 15 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26333] ppid=26315 vsize=10555156 CPUtime=1.41 cores=0,2,4,6
/proc/26317/task/26333/stat : 26333 (java) S 26315 26317 26110 0 -1 4202560 5529 0 0 0 141 0 0 0 16 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26334] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26334/stat : 26334 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26335] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26335/stat : 26335 (java) S 26315 26317 26110 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26336] ppid=26315 vsize=10555156 CPUtime=858.36 cores=0,2,4,6
/proc/26317/task/26336/stat : 26336 (java) R 26315 26317 26110 0 -1 4202560 3764 0 0 0 85834 2 0 0 25 0 22 0 831184330 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506422108 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26317/tid=26337] ppid=26315 vsize=10555156 CPUtime=858.31 cores=0,2,4,6
/proc/26317/task/26337/stat : 26337 (java) R 26315 26317 26110 0 -1 4202560 808849 0 0 0 85739 92 0 0 25 0 22 0 831184330 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506064592 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26317/tid=26338] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26338/stat : 26338 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831184331 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26339] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26339/stat : 26339 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831184331 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1746.7
Current children cumulated vsize (KiB) 10555156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+909.501 s]
/proc/loadavg: 3.93 3.95 3.68 5/504 26620
/proc/meminfo: memFree=20705860/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=10555156 CPUtime=1800.18 cores=0,2,4,6
/proc/26317/stat : 26317 (java) S 26315 26317 26110 0 -1 4202496 942917 0 1 0 179901 117 0 0 25 0 22 0 831184270 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 2638789 936544 2271 9 0 2629523 0
[pid=26317/tid=26318] ppid=26315 vsize=10555156 CPUtime=0.58 cores=0,2,4,6
/proc/26317/task/26318/stat : 26318 (java) S 26315 26317 26110 0 -1 4202560 22637 0 1 0 55 3 0 0 15 0 22 0 831184271 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26320] ppid=26315 vsize=10555156 CPUtime=0.6 cores=0,2,4,6
/proc/26317/task/26320/stat : 26320 (java) S 26315 26317 26110 0 -1 4202560 4594 0 0 0 60 0 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26321] ppid=26315 vsize=10555156 CPUtime=0.58 cores=0,2,4,6
/proc/26317/task/26321/stat : 26321 (java) S 26315 26317 26110 0 -1 4202560 5642 0 0 0 57 1 0 0 15 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26322] ppid=26315 vsize=10555156 CPUtime=0.52 cores=0,2,4,6
/proc/26317/task/26322/stat : 26322 (java) S 26315 26317 26110 0 -1 4202560 11209 0 0 0 50 2 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26323] ppid=26315 vsize=10555156 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26323/stat : 26323 (java) S 26315 26317 26110 0 -1 4202560 5719 0 0 0 56 1 0 0 15 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26324] ppid=26315 vsize=10555156 CPUtime=0.66 cores=0,2,4,6
/proc/26317/task/26324/stat : 26324 (java) S 26315 26317 26110 0 -1 4202560 4339 0 0 0 66 0 0 0 15 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26325] ppid=26315 vsize=10555156 CPUtime=0.57 cores=0,2,4,6
/proc/26317/task/26325/stat : 26325 (java) S 26315 26317 26110 0 -1 4202560 7368 0 0 0 56 1 0 0 15 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26326] ppid=26315 vsize=10555156 CPUtime=0.62 cores=0,2,4,6
/proc/26317/task/26326/stat : 26326 (java) S 26315 26317 26110 0 -1 4202560 7906 0 0 0 61 1 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
[pid=26317/tid=26327] ppid=26315 vsize=10555156 CPUtime=0.61 cores=0,2,4,6
/proc/26317/task/26327/stat : 26327 (java) S 26315 26317 26110 0 -1 4202560 7045 0 0 0 60 1 0 0 16 0 22 0 831184272 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26328] ppid=26315 vsize=10555156 CPUtime=22.93 cores=0,2,4,6
/proc/26317/task/26328/stat : 26328 (java) S 26315 26317 26110 0 -1 4202560 41985 0 0 0 2287 6 0 0 15 0 22 0 831184273 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 0 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26329] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26329/stat : 26329 (java) S 26315 26317 26110 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831184274 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26330] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26330/stat : 26330 (java) S 26315 26317 26110 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831184274 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26331] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26331/stat : 26331 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134537649 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26332] ppid=26315 vsize=10555156 CPUtime=1.26 cores=0,2,4,6
/proc/26317/task/26332/stat : 26332 (java) S 26315 26317 26110 0 -1 4202560 5120 0 0 0 126 0 0 0 15 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26333] ppid=26315 vsize=10555156 CPUtime=1.41 cores=0,2,4,6
/proc/26317/task/26333/stat : 26333 (java) S 26315 26317 26110 0 -1 4202560 5529 0 0 0 141 0 0 0 16 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 4 0 0 0
[pid=26317/tid=26334] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26334/stat : 26334 (java) S 26315 26317 26110 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134529945 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26335] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26335/stat : 26335 (java) S 26315 26317 26110 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831184276 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 0 0 0 0
[pid=26317/tid=26336] ppid=26315 vsize=10555156 CPUtime=884.59 cores=0,2,4,6
/proc/26317/task/26336/stat : 26336 (java) R 26315 26317 26110 0 -1 4202560 3766 0 0 0 88457 2 0 0 25 0 22 0 831184330 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506036965 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26317/tid=26337] ppid=26315 vsize=10555156 CPUtime=884.54 cores=0,2,4,6
/proc/26317/task/26337/stat : 26337 (java) R 26315 26317 26110 0 -1 4202560 808849 0 0 0 88362 92 0 0 25 0 22 0 831184330 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 46912506064572 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26317/tid=26338] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26338/stat : 26338 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831184331 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 2 0 0 0
[pid=26317/tid=26339] ppid=26315 vsize=10555156 CPUtime=0 cores=0,2,4,6
/proc/26317/task/26339/stat : 26339 (java) S 26315 26317 26110 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831184331 10808479744 936544 33554432000 1073741824 1073778376 140734896927536 18446744073709551615 228134530560 0 4 0 16800975 18446604453093476416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10555156

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

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

[startup+909.623 s]
/proc/loadavg: 3.93 3.95 3.68 5/504 26620
/proc/meminfo: memFree=20705860/32951124 swapFree=41830676/67111528
[pid=26317] ppid=26315 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/26317/stat : 26317 (java) Z 26315 26317 26110 0 -1 4203548 942946 0 1 0 179907 125 0 0 17 0 2 0 831184270 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26317/statm: 0 0 0 0 0 0 0
[pid=26317/tid=26337] ppid=26315 vsize=0 CPUtime=884.63 cores=0,2,4,6
/proc/26317/task/26337/stat : 26337 (java) R 26315 26317 26110 0 -1 4203588 808849 0 0 0 88364 99 0 0 25 0 2 0 831184330 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 909.692
CPU time (s): 1800.39
CPU user time (s): 1799.07
CPU system time (s): 1.3218
CPU usage (%): 197.912
Max. virtual memory (cumulated for all children) (KiB): 10560360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.3218
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 942946
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= 24545
involuntary context switches= 14801

runsolver used 4.50031 second user time and 9.61054 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-04 15:57:43
IDJOB=3453628
IDBENCH=48337
IDSOLVER=1950
FILE ID=node138/3453628-1307195863
RUNJOBID= node138-1307195851-26128
PBS_JOBID= 13508881
Free space on /tmp= 73668 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_1_40.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453628-1307195863/watcher-3453628-1307195863 -o /tmp/evaluation-result-3453628-1307195863/solver-3453628-1307195863 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453628-1307195863.opb

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

MD5SUM BENCH= 6f80de356bf70dde8dfbe2efc2cb9dee
RANDOM SEED=748624275

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27875712 kB
Buffers:        321296 kB
Cached:        1101676 kB
SwapCached:      44568 kB
Active:        2981024 kB
Inactive:      1801464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27875712 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            1616 kB
Writeback:           4 kB
AnonPages:     3326796 kB
Mapped:          24944 kB
Slab:           129432 kB
PageTables:      94192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141013232 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= 73668 MiB
End job on node138 at 2011-06-04 16:12:55