Trace number 4106851

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 PB 2.3.6 Res+CP PB16? (TO) 1800.11 898.649

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
MD5SUM476815bfad4ec3fb3f4fdbbbbf10b706
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 variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
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 PB16.v20160501
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.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
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 Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
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@4413ee
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 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4106851-1466278277.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.47/0.31	c ... done. Wall clock time 0.204s.
0.47/0.31	c declared #vars     200
0.47/0.31	c internal #vars     1458
0.47/0.31	c #constraints  2819
0.47/0.32	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.47/0.32	c constraints type 
0.47/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1258
0.47/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
0.47/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.47/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1258
0.47/0.32	c 2819 constraints processed.
0.47/0.32	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/0.32	c constraints type 
0.47/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.47/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1258
0.47/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
0.47/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1258
0.47/0.32	c 2819 constraints processed.
3.21/1.01	c cleaning 2492 clauses out of 5002 with flag 19887/5002
3.94/1.27	c cleaning 4251 clauses out of 8510 with flag 39500/11002
4.58/1.57	c cleaning 5621 clauses out of 11257 with flag 63151/18000
5.43/1.97	c cleaning 6812 clauses out of 13636 with flag 90390/26000
6.26/2.35	c cleaning 7900 clauses out of 15824 with flag 117868/35000
7.25/2.82	c cleaning 8949 clauses out of 17925 with flag 149460/45001
8.98/3.51	c cleaning 9975 clauses out of 19976 with flag 187627/56001
10.66/4.33	c cleaning 10987 clauses out of 22003 with flag 231997/68003
12.55/5.21	c cleaning 11998 clauses out of 24013 with flag 274036/81000
14.45/6.17	c cleaning 13001 clauses out of 26016 with flag 315596/95001
16.64/7.21	c cleaning 13996 clauses out of 28014 with flag 360114/110000
18.95/8.35	c cleaning 14996 clauses out of 30021 with flag 409555/126003
21.35/9.58	c cleaning 15997 clauses out of 32022 with flag 459015/143000
24.45/11.05	c cleaning 17003 clauses out of 34025 with flag 510459/161000
28.84/13.27	c cleaning 17987 clauses out of 36024 with flag 574393/180002
33.83/15.78	c cleaning 18992 clauses out of 38035 with flag 645988/200000
39.38/18.45	c cleaning 19999 clauses out of 40043 with flag 715274/221000
44.18/20.82	c cleaning 21005 clauses out of 42044 with flag 788080/243000
48.99/23.29	c cleaning 21996 clauses out of 44039 with flag 862081/266000
53.77/25.65	c cleaning 22993 clauses out of 46043 with flag 934171/290000
60.17/28.80	c cleaning 24003 clauses out of 48051 with flag 1017070/315001
66.97/32.24	c cleaning 25008 clauses out of 50050 with flag 1108672/341003
75.38/36.43	c cleaning 25994 clauses out of 52040 with flag 1210822/368001
81.98/39.80	c cleaning 26997 clauses out of 54045 with flag 1305742/396000
90.37/43.99	c cleaning 27994 clauses out of 56048 with flag 1415721/425000
100.58/49.04	c cleaning 28992 clauses out of 58054 with flag 1530946/455000
110.39/53.98	c cleaning 30001 clauses out of 60063 with flag 1646577/486001
120.37/58.99	c cleaning 31011 clauses out of 62062 with flag 1756294/518001
130.38/63.95	c cleaning 31996 clauses out of 64050 with flag 1867094/551000
139.97/68.75	c cleaning 32997 clauses out of 66055 with flag 1972845/585001
152.00/74.66	c cleaning 34002 clauses out of 68058 with flag 2092211/620001
163.19/80.22	c cleaning 35013 clauses out of 70055 with flag 2215718/656000
175.99/86.67	c cleaning 35998 clauses out of 72042 with flag 2344955/693000
187.60/92.50	c cleaning 36990 clauses out of 74044 with flag 2460884/731000
201.99/99.60	c cleaning 37991 clauses out of 76054 with flag 2599769/770000
215.99/106.64	c cleaning 39006 clauses out of 78065 with flag 2736275/810002
231.81/114.44	c cleaning 39991 clauses out of 80058 with flag 2864795/851001
247.42/122.31	c cleaning 40995 clauses out of 82068 with flag 2995489/893002
262.03/129.67	c cleaning 42000 clauses out of 84073 with flag 3123978/936002
275.48/136.35	c cleaning 42990 clauses out of 86071 with flag 3248661/980000
295.88/146.56	c cleaning 44023 clauses out of 88081 with flag 3420283/1025000
316.29/156.72	c cleaning 44994 clauses out of 90058 with flag 3593597/1071000
339.52/168.38	c cleaning 46022 clauses out of 92064 with flag 3787796/1118000
365.47/181.27	c cleaning 47002 clauses out of 94042 with flag 3967276/1166000
390.66/193.78	c cleaning 47993 clauses out of 96040 with flag 4150304/1215000
411.88/204.58	c cleaning 48991 clauses out of 98047 with flag 4321762/1265000
439.16/218.13	c cleaning 49992 clauses out of 100056 with flag 4540382/1316000
462.07/229.58	c cleaning 51010 clauses out of 102064 with flag 4730946/1368000
482.10/239.51	c cleaning 51991 clauses out of 104054 with flag 4915276/1421000
508.98/252.94	c cleaning 53003 clauses out of 106063 with flag 5128932/1475000
537.25/267.07	c cleaning 54008 clauses out of 108060 with flag 5367556/1530000
560.06/278.46	c cleaning 55008 clauses out of 110053 with flag 5592847/1586001
587.45/292.11	c cleaning 55996 clauses out of 112044 with flag 5839445/1643000
610.05/303.41	c cleaning 56988 clauses out of 114048 with flag 6053434/1701000
636.65/316.74	c cleaning 58013 clauses out of 116060 with flag 6290161/1760000
660.59/328.60	c cleaning 58992 clauses out of 118047 with flag 6513038/1820000
689.79/343.22	c cleaning 60010 clauses out of 120056 with flag 6754773/1881001
718.18/357.40	c cleaning 61009 clauses out of 122046 with flag 7003996/1943001
746.78/371.79	c cleaning 61992 clauses out of 124038 with flag 7232122/2006002
772.77/384.74	c cleaning 62998 clauses out of 126044 with flag 7458075/2070000
802.57/399.65	c cleaning 64008 clauses out of 128046 with flag 7686192/2135000
831.17/413.94	c cleaning 64994 clauses out of 130038 with flag 7901752/2201000
864.36/430.52	c cleaning 66015 clauses out of 132044 with flag 8136706/2268000
907.15/451.96	c cleaning 66997 clauses out of 134029 with flag 8448391/2336000
947.55/472.11	c cleaning 68003 clauses out of 136037 with flag 8778991/2405005
987.74/492.23	c cleaning 68986 clauses out of 138029 with flag 9066886/2475000
1030.91/514.02	c cleaning 69997 clauses out of 140044 with flag 9382311/2546001
1070.31/533.74	c cleaning 70998 clauses out of 142050 with flag 9706742/2618004
1110.10/553.67	c cleaning 71994 clauses out of 144048 with flag 10011688/2691000
1145.50/571.37	c cleaning 72990 clauses out of 146054 with flag 10303029/2765000
1184.50/590.84	c cleaning 73994 clauses out of 148064 with flag 10585667/2840000
1229.69/613.43	c cleaning 75000 clauses out of 150070 with flag 10888658/2916000
1285.08/641.15	c cleaning 76003 clauses out of 152070 with flag 11236161/2993000
1337.08/667.19	c cleaning 77003 clauses out of 154067 with flag 11569142/3071000
1394.08/695.66	c cleaning 78009 clauses out of 156064 with flag 11919741/3150000
1447.87/722.51	c cleaning 78996 clauses out of 158055 with flag 12266496/3230000
1500.08/748.64	c cleaning 80002 clauses out of 160059 with flag 12586520/3311000
1552.29/774.74	c cleaning 81011 clauses out of 162058 with flag 12902465/3393001
1607.88/802.53	c cleaning 82009 clauses out of 164046 with flag 13251280/3476000
1666.49/831.85	c cleaning 82992 clauses out of 166037 with flag 13611348/3560000
1727.71/862.45	c cleaning 83990 clauses out of 168046 with flag 13998045/3645001
1786.50/891.86	c cleaning 85010 clauses out of 170057 with flag 14351835/3731002
1800.11/898.60	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.11/898.60	c starts		: 17
1800.11/898.60	c conflicts		: 3759247
1800.11/898.60	c decisions		: 11248463
1800.11/898.60	c propagations		: 41152680
1800.11/898.60	c inspects		: 15763966542
1800.11/898.60	c shortcuts		: 0
1800.11/898.60	c learnt literals	: 0
1800.11/898.60	c learnt binary clauses	: 0
1800.11/898.60	c learnt ternary clauses	: 659
1800.11/898.60	c learnt constraints	: 3759247
1800.11/898.60	c ignored constraints	: 0
1800.11/898.60	c root simplifications	: 0
1800.11/898.60	c removed literals (reason simplification)	: 53596367
1800.11/898.60	c reason swapping (by a shorter reason)	: 0
1800.11/898.60	c Calls to reduceDB	: 82
1800.11/898.60	c Number of update (reduction) of LBD	: 1582893
1800.11/898.60	c Imported unit clauses	: 0
1800.11/898.60	c number of reductions to clauses (during analyze)	: 0
1800.11/898.60	c number of learned constraints concerned by reduction	: 0
1800.11/898.60	c number of learning phase by resolution	: 0
1800.11/898.60	c number of learning phase by cutting planes	: 0
1800.11/898.60	c speed (assignments/second)	: 45812.70226131912
1800.11/898.60	c non guided choices	1345
1800.11/898.63	c learnt constraints type 
1800.11/898.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113292
1800.11/898.63	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.11/898.63	c starts		: 21
1800.11/898.63	c conflicts		: 4532
1800.11/898.63	c decisions		: 14029
1800.11/898.63	c propagations		: 373863
1800.11/898.63	c inspects		: 87307810
1800.11/898.63	c shortcuts		: 0
1800.11/898.63	c learnt literals	: 0
1800.11/898.63	c learnt binary clauses	: 0
1800.11/898.63	c learnt ternary clauses	: 0
1800.11/898.63	c learnt constraints	: 4531
1800.11/898.63	c ignored constraints	: 0
1800.11/898.63	c root simplifications	: 0
1800.11/898.63	c removed literals (reason simplification)	: 0
1800.11/898.63	c reason swapping (by a shorter reason)	: 0
1800.11/898.63	c Calls to reduceDB	: 0
1800.11/898.63	c Number of update (reduction) of LBD	: 0
1800.11/898.63	c Imported unit clauses	: 0
1800.11/898.63	c number of reductions to clauses (during analyze)	: 0
1800.11/898.63	c number of learned constraints concerned by reduction	: 0
1800.11/898.63	c number of learning phase by resolution	: 0
1800.11/898.63	c number of learning phase by cutting planes	: 0
1800.11/898.63	c speed (assignments/second)	: 416.1857625669592
1800.11/898.63	c non guided choices	1345
1800.11/898.63	c learnt constraints type 
1800.11/898.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.11/898.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4530
1800.11/898.63	s UNKNOWN
1800.11/898.63	c Total wall clock time (in seconds): 898.522

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106851-1466278277/watcher-4106851-1466278277 -o /tmp/evaluation-result-4106851-1466278277/solver-4106851-1466278277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106851-1466278277.opb 

pid=5027
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: 4.15 4.25 4.22 4/197 5030
/proc/meminfo: memFree=27194236/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5030/stat : 5030 (java) R 5027 5030 28285 0 -1 4202496 850 0 0 0 0 0 0 0 20 0 1 0 29876178 23793664 500 33554432000 1073741824 1073778376 140734928321408 140734928310472 217401309761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 5809 513 388 9 0 128 0

[startup+0.100061 s]
/proc/loadavg: 4.15 4.25 4.22 4/197 5030
/proc/meminfo: memFree=27194236/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 4421 0 1 0 9 1 0 0 20 0 18 0 29876178 9787879424 6057 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2389619 6057 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200236 s]
/proc/loadavg: 4.15 4.25 4.22 4/197 5030
/proc/meminfo: memFree=27194236/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 4595 0 1 0 23 1 0 0 20 0 18 0 29876178 9787879424 7236 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2389619 7236 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300252 s]
/proc/loadavg: 4.15 4.25 4.22 4/197 5030
/proc/meminfo: memFree=27194236/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 6034 0 1 0 46 1 0 0 20 0 18 0 29876178 9787879424 9485 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2389619 9485 2240 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700213 s]
/proc/loadavg: 4.15 4.25 4.22 4/197 5030
/proc/meminfo: memFree=27194236/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 16751 0 1 0 198 3 0 0 20 0 22 0 29876178 10060525568 18632 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2456183 18632 2265 9 0 2446860 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9824732

[startup+1.50094 s]
/proc/loadavg: 4.15 4.25 4.22 6/219 5052
/proc/meminfo: memFree=27096304/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 26865 0 1 0 452 6 0 0 20 0 22 0 29876178 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2456183 36524 2276 9 0 2446860 0
[pid=5030/tid=5032] ppid=5027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/5030/task/5032/stat : 5032 (java) S 5027 5030 28285 0 -1 4202560 2421 0 1 0 28 1 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730574652280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5033] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5033/stat : 5033 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730536143144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5034] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5034/stat : 5034 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730535090344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5035] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5035/stat : 5035 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730534038056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5036] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5036/stat : 5036 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730532985256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5037] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5037/stat : 5037 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730531932968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5038] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5038/stat : 5038 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730530880168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5039] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5039/stat : 5039 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730529827880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5040] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5040/stat : 5040 (java) S 5027 5030 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730528775080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5041] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5041/stat : 5041 (java) S 5027 5030 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 29876180 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730398193896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5042] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5042/stat : 5042 (java) S 5027 5030 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730397139960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5043] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5043/stat : 5043 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730396087560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5044] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5044/stat : 5044 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730395036048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5045] ppid=5027 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/5030/task/5045/stat : 5045 (java) S 5027 5030 28285 0 -1 4202560 7335 0 0 0 89 1 0 0 20 0 22 0 29876183 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730393983672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5046] ppid=5027 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/5030/task/5046/stat : 5046 (java) S 5027 5030 28285 0 -1 4202560 15738 0 0 0 96 3 0 0 20 0 22 0 29876183 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730392930872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5047] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5047/stat : 5047 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730391878776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5048] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5048/stat : 5048 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730390826184 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5049] ppid=5027 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/5030/task/5049/stat : 5049 (java) R 5027 5030 28285 0 -1 4202560 27 0 0 0 116 0 0 0 20 0 22 0 29876210 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730389771032 139730402892287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5050] ppid=5027 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/5030/task/5050/stat : 5050 (java) R 5027 5030 28285 0 -1 4202560 66 0 0 0 116 0 0 0 20 0 22 0 29876210 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730388716680 139730403103778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5051] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5051/stat : 5051 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876210 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139730387666088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5052] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5052/stat : 5052 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876211 10060525568 36524 33554432000 1073741824 1073778376 140734928321408 139729110557736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 9824732

[startup+3.101 s]
/proc/loadavg: 4.15 4.25 4.22 5/219 5052
/proc/meminfo: memFree=27021264/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9824732 CPUtime=7.97 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 28828 0 1 0 784 13 0 0 20 0 22 0 29876178 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2456183 55373 2290 9 0 2446860 0
[pid=5030/tid=5032] ppid=5027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/5030/task/5032/stat : 5032 (java) S 5027 5030 28285 0 -1 4202560 2421 0 1 0 28 1 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730574652280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5033] ppid=5027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5030/task/5033/stat : 5033 (java) S 5027 5030 28285 0 -1 4202560 113 0 0 0 1 0 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730536143144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5034] ppid=5027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5030/task/5034/stat : 5034 (java) S 5027 5030 28285 0 -1 4202560 79 0 0 0 1 0 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730535090344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5035] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5035/stat : 5035 (java) S 5027 5030 28285 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730534038056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5036] ppid=5027 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5030/task/5036/stat : 5036 (java) S 5027 5030 28285 0 -1 4202560 124 0 0 0 1 2 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730532985256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5037] ppid=5027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5030/task/5037/stat : 5037 (java) S 5027 5030 28285 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730531932968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5038] ppid=5027 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5030/task/5038/stat : 5038 (java) S 5027 5030 28285 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730530880168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5039] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5039/stat : 5039 (java) S 5027 5030 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730529827880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5040] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5040/stat : 5040 (java) S 5027 5030 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29876179 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730528775080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5041] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5041/stat : 5041 (java) S 5027 5030 28285 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 29876180 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730398193896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5042] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5042/stat : 5042 (java) S 5027 5030 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730397139960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5043] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5043/stat : 5043 (java) S 5027 5030 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730396087560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5044] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5044/stat : 5044 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730395036048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5045] ppid=5027 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/5030/task/5045/stat : 5045 (java) S 5027 5030 28285 0 -1 4202560 7335 0 0 0 90 2 0 0 20 0 22 0 29876183 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730393983672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5046] ppid=5027 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/5030/task/5046/stat : 5046 (java) S 5027 5030 28285 0 -1 4202560 17185 0 0 0 107 3 0 0 20 0 22 0 29876183 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730392930872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5047] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5047/stat : 5047 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730391878776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5048] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5048/stat : 5048 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730390826184 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5049] ppid=5027 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/5030/task/5049/stat : 5049 (java) R 5027 5030 28285 0 -1 4202560 28 0 0 0 270 0 0 0 20 0 22 0 29876210 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730389770928 139730403153018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5050] ppid=5027 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/5030/task/5050/stat : 5050 (java) R 5027 5030 28285 0 -1 4202560 85 0 0 0 269 1 0 0 20 0 22 0 29876210 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730388716512 139730402975872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5051] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5051/stat : 5051 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876210 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139730387666088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5052] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5052/stat : 5052 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876211 10060525568 55373 33554432000 1073741824 1073778376 140734928321408 139729110557736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 9824732

[startup+6.30105 s]
/proc/loadavg: 4.14 4.25 4.22 5/219 5052
/proc/meminfo: memFree=26607964/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9824732 CPUtime=14.85 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 30928 0 1 0 1454 31 0 0 20 0 22 0 29876178 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2456183 164432 2291 9 0 2446860 0
[pid=5030/tid=5032] ppid=5027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/5030/task/5032/stat : 5032 (java) S 5027 5030 28285 0 -1 4202560 2421 0 1 0 28 1 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730574652280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5033] ppid=5027 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5030/task/5033/stat : 5033 (java) S 5027 5030 28285 0 -1 4202560 151 0 0 0 6 2 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730536143144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5034] ppid=5027 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5030/task/5034/stat : 5034 (java) S 5027 5030 28285 0 -1 4202560 116 0 0 0 5 3 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730535090344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5035] ppid=5027 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5030/task/5035/stat : 5035 (java) S 5027 5030 28285 0 -1 4202560 108 0 0 0 5 2 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730534038056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5036] ppid=5027 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5030/task/5036/stat : 5036 (java) S 5027 5030 28285 0 -1 4202560 151 0 0 0 4 3 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730532985256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5037] ppid=5027 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/5030/task/5037/stat : 5037 (java) S 5027 5030 28285 0 -1 4202560 60 0 0 0 5 3 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730531932968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5038] ppid=5027 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/5030/task/5038/stat : 5038 (java) S 5027 5030 28285 0 -1 4202560 58 0 0 0 6 3 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730530880168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5039] ppid=5027 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/5030/task/5039/stat : 5039 (java) S 5027 5030 28285 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730529827880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5040] ppid=5027 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/5030/task/5040/stat : 5040 (java) S 5027 5030 28285 0 -1 4202560 64 0 0 0 6 3 0 0 20 0 22 0 29876179 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730528775080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5041] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5041/stat : 5041 (java) S 5027 5030 28285 0 -1 4202560 463 0 0 0 0 0 0 0 20 0 22 0 29876180 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730398193896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5042] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5042/stat : 5042 (java) S 5027 5030 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730397139960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5043] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5043/stat : 5043 (java) S 5027 5030 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730396087560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5044] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5044/stat : 5044 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 164432 33554432000 1073741824 1073778376 140734928321408 139730395036048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5045] ppid=5027 vsize=9824732 CPUtime=1 cores=1,3,5,7

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

/proc/5030/task/5035/stat : 5035 (java) S 5027 5030 28285 0 -1 4202560 363 0 0 0 46 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730534038056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5036] ppid=5027 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/5030/task/5036/stat : 5036 (java) S 5027 5030 28285 0 -1 4202560 437 0 0 0 55 16 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730532985256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5037] ppid=5027 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/5030/task/5037/stat : 5037 (java) S 5027 5030 28285 0 -1 4202560 307 0 0 0 46 12 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730531932968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5038] ppid=5027 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/5030/task/5038/stat : 5038 (java) S 5027 5030 28285 0 -1 4202560 450 0 0 0 57 18 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730530880168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5039] ppid=5027 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/5030/task/5039/stat : 5039 (java) S 5027 5030 28285 0 -1 4202560 307 0 0 0 52 14 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730529827880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5040] ppid=5027 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/5030/task/5040/stat : 5040 (java) S 5027 5030 28285 0 -1 4202560 345 0 0 0 58 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730528775080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5041] ppid=5027 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/5030/task/5041/stat : 5041 (java) S 5027 5030 28285 0 -1 4202560 1829 0 0 0 147 4 0 0 20 0 22 0 29876180 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730398193896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5042] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5042/stat : 5042 (java) S 5027 5030 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730397139960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5043] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5043/stat : 5043 (java) S 5027 5030 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730396087560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5044] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5044/stat : 5044 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730395036048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5045] ppid=5027 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/5030/task/5045/stat : 5045 (java) S 5027 5030 28285 0 -1 4202560 7337 0 0 0 98 2 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730393983672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5046] ppid=5027 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/5030/task/5046/stat : 5046 (java) S 5027 5030 28285 0 -1 4202560 18254 0 0 0 125 3 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730392930872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5047] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5047/stat : 5047 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730391878776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5048] ppid=5027 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/5030/task/5048/stat : 5048 (java) S 5027 5030 28285 0 -1 4202560 47 0 0 0 13 17 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730390826184 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5049] ppid=5027 vsize=9824732 CPUtime=816.75 cores=1,3,5,7
/proc/5030/task/5049/stat : 5049 (java) R 5027 5030 28285 0 -1 4202560 57 0 0 0 81662 13 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730389761808 139730403120804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5050] ppid=5027 vsize=9824732 CPUtime=816.77 cores=1,3,5,7
/proc/5030/task/5050/stat : 5050 (java) R 5027 5030 28285 0 -1 4202560 1756 0 0 0 81633 44 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730388716320 139730403596272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5051] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5051/stat : 5051 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730387666088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5052] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5052/stat : 5052 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876211 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139729110557736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1647.49
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.29 4.26 4.23 5/219 5211
/proc/meminfo: memFree=23691164/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9824732 CPUtime=1767.52 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 36032 0 1 0 176571 181 0 0 20 0 22 0 29876178 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2456183 804135 2300 9 0 2446860 0
[pid=5030/tid=5032] ppid=5027 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/5030/task/5032/stat : 5032 (java) S 5027 5030 28285 0 -1 4202560 2424 0 1 0 30 3 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730574652280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5033] ppid=5027 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/5030/task/5033/stat : 5033 (java) S 5027 5030 28285 0 -1 4202560 449 0 0 0 52 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730536143144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5034] ppid=5027 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/5030/task/5034/stat : 5034 (java) S 5027 5030 28285 0 -1 4202560 401 0 0 0 48 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730535090344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5035] ppid=5027 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/5030/task/5035/stat : 5035 (java) S 5027 5030 28285 0 -1 4202560 363 0 0 0 46 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730534038056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5036] ppid=5027 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/5030/task/5036/stat : 5036 (java) S 5027 5030 28285 0 -1 4202560 437 0 0 0 55 16 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730532985256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5037] ppid=5027 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/5030/task/5037/stat : 5037 (java) S 5027 5030 28285 0 -1 4202560 307 0 0 0 46 12 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730531932968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5038] ppid=5027 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/5030/task/5038/stat : 5038 (java) S 5027 5030 28285 0 -1 4202560 450 0 0 0 57 18 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730530880168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5039] ppid=5027 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/5030/task/5039/stat : 5039 (java) S 5027 5030 28285 0 -1 4202560 307 0 0 0 52 14 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730529827880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5040] ppid=5027 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/5030/task/5040/stat : 5040 (java) S 5027 5030 28285 0 -1 4202560 345 0 0 0 58 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730528775080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5041] ppid=5027 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/5030/task/5041/stat : 5041 (java) S 5027 5030 28285 0 -1 4202560 1829 0 0 0 147 4 0 0 20 0 22 0 29876180 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730398193896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5042] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5042/stat : 5042 (java) S 5027 5030 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730397139960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5043] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5043/stat : 5043 (java) S 5027 5030 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730396087560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5044] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5044/stat : 5044 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730395036048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5045] ppid=5027 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/5030/task/5045/stat : 5045 (java) S 5027 5030 28285 0 -1 4202560 7337 0 0 0 98 2 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730393983672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5046] ppid=5027 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/5030/task/5046/stat : 5046 (java) S 5027 5030 28285 0 -1 4202560 18254 0 0 0 125 3 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730392930872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5047] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5047/stat : 5047 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730391878776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5048] ppid=5027 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/5030/task/5048/stat : 5048 (java) S 5027 5030 28285 0 -1 4202560 51 0 0 0 14 19 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730390826184 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5049] ppid=5027 vsize=9824732 CPUtime=876.6 cores=1,3,5,7
/proc/5030/task/5049/stat : 5049 (java) R 5027 5030 28285 0 -1 4202560 57 0 0 0 87646 14 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730389761808 139730402892748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5050] ppid=5027 vsize=9824732 CPUtime=876.63 cores=1,3,5,7
/proc/5030/task/5050/stat : 5050 (java) R 5027 5030 28285 0 -1 4202560 1756 0 0 0 87618 45 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730388716320 139730403455773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5051] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5051/stat : 5051 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730387666088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5052] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5052/stat : 5052 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876211 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139729110557736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1767.52
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.601 s]
/proc/loadavg: 4.23 4.25 4.23 5/219 5212
/proc/meminfo: memFree=23672240/32872528 swapFree=1534436/1655032
[pid=5030] ppid=5027 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/5030/stat : 5030 (java) S 5027 5030 28285 0 -1 4202496 36032 0 1 0 179829 182 0 0 20 0 22 0 29876178 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 140734928312544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5030/statm: 2456183 804135 2300 9 0 2446860 0
[pid=5030/tid=5032] ppid=5027 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/5030/task/5032/stat : 5032 (java) S 5027 5030 28285 0 -1 4202560 2424 0 1 0 30 3 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730574652280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5033] ppid=5027 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/5030/task/5033/stat : 5033 (java) S 5027 5030 28285 0 -1 4202560 449 0 0 0 52 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730536143144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5034] ppid=5027 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/5030/task/5034/stat : 5034 (java) S 5027 5030 28285 0 -1 4202560 401 0 0 0 48 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730535090344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5035] ppid=5027 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/5030/task/5035/stat : 5035 (java) S 5027 5030 28285 0 -1 4202560 363 0 0 0 46 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730534038056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5036] ppid=5027 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/5030/task/5036/stat : 5036 (java) S 5027 5030 28285 0 -1 4202560 437 0 0 0 55 16 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730532985256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5037] ppid=5027 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/5030/task/5037/stat : 5037 (java) S 5027 5030 28285 0 -1 4202560 307 0 0 0 46 12 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730531932968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5038] ppid=5027 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/5030/task/5038/stat : 5038 (java) S 5027 5030 28285 0 -1 4202560 450 0 0 0 57 18 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730530880168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5039] ppid=5027 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/5030/task/5039/stat : 5039 (java) S 5027 5030 28285 0 -1 4202560 307 0 0 0 52 14 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730529827880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5040] ppid=5027 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/5030/task/5040/stat : 5040 (java) S 5027 5030 28285 0 -1 4202560 345 0 0 0 58 15 0 0 20 0 22 0 29876179 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730528775080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5041] ppid=5027 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/5030/task/5041/stat : 5041 (java) S 5027 5030 28285 0 -1 4202560 1829 0 0 0 147 4 0 0 20 0 22 0 29876180 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730398193896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5042] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5042/stat : 5042 (java) S 5027 5030 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730397139960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5043] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5043/stat : 5043 (java) S 5027 5030 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29876181 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730396087560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5044] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5044/stat : 5044 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730395036048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5045] ppid=5027 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/5030/task/5045/stat : 5045 (java) S 5027 5030 28285 0 -1 4202560 7337 0 0 0 98 2 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730393983672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5046] ppid=5027 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/5030/task/5046/stat : 5046 (java) S 5027 5030 28285 0 -1 4202560 18254 0 0 0 125 3 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730392930872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5030/tid=5047] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5047/stat : 5047 (java) S 5027 5030 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730391878776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5048] ppid=5027 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/5030/task/5048/stat : 5048 (java) S 5027 5030 28285 0 -1 4202560 51 0 0 0 15 19 0 0 20 0 22 0 29876183 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730390826184 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5049] ppid=5027 vsize=9824732 CPUtime=892.85 cores=1,3,5,7
/proc/5030/task/5049/stat : 5049 (java) R 5027 5030 28285 0 -1 4202560 57 0 0 0 89271 14 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730389761808 139730403120809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5030/tid=5050] ppid=5027 vsize=9824732 CPUtime=892.88 cores=1,3,5,7
/proc/5030/task/5050/stat : 5050 (java) R 5027 5030 28285 0 -1 4202560 1756 0 0 0 89243 45 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730388716320 139730403455768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5030/tid=5051] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5051/stat : 5051 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876210 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139730387666088 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5030/tid=5052] ppid=5027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5030/task/5052/stat : 5052 (java) S 5027 5030 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29876211 10060525568 804135 33554432000 1073741824 1073778376 140734928321408 139729110557736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5030 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5030 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=659322
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=270654
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 898.649
CPU time (s): 1800.11
CPU user time (s): 1798.29
CPU system time (s): 1.82
CPU usage (%): 200.313
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 2.27065
maximum resident set size= 3292844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36066
page faults= 1
swaps= 0
block input operations= 0
block output operations= 632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21918
involuntary context switches= 21681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.40148 second user time and 4.06238 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 21:31:18
IDJOB=4106851
IDBENCH=48291
IDSOLVER=2543
FILE ID=node122/4106851-1466278277
RUNJOBID= node122-1466264503-28302
PBS_JOBID= 19918220
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106851-1466278277/watcher-4106851-1466278277 -o /tmp/evaluation-result-4106851-1466278277/solver-4106851-1466278277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106851-1466278277.opb

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

MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706
RANDOM SEED=1059504786

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27194864 kB
Buffers:          152444 kB
Cached:           224676 kB
SwapCached:            0 kB
Active:          2990208 kB
Inactive:         274328 kB
Active(anon):    2880308 kB
Inactive(anon):     9916 kB
Active(file):     109900 kB
Inactive(file):   264412 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:       4548884 kB
Mapped:            21076 kB
Shmem:               204 kB
Slab:             611540 kB
SReclaimable:      54940 kB
SUnreclaim:       556600 kB
KernelStack:        1592 kB
PageTables:        13196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4686500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2949120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node122 at 2016-06-18 21:46:16