Trace number 4084683

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 Resolution PB16? (TO) 1800.09 1781.05

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
MD5SUMc1794605d16cd8196553c490f5507fd9
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)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

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 --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
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 No 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.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4084683-1465262925.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
1.07/0.53	c ... done. Wall clock time 0.419s.
1.07/0.53	c declared #vars     400
1.07/0.53	c internal #vars     6626
1.07/0.53	c #constraints  13055
1.07/0.53	c constraints type 
1.07/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1.07/0.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1.07/0.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.07/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1.07/0.53	c 13055 constraints processed.
2.66/1.35	c cleaning 2501 clauses out of 5003 with flag 12386/5003
3.32/1.92	c cleaning 4249 clauses out of 8499 with flag 27752/11000
3.94/2.50	c cleaning 5621 clauses out of 11250 with flag 48413/18000
4.65/3.20	c cleaning 6799 clauses out of 13629 with flag 74817/26000
5.30/3.87	c cleaning 7913 clauses out of 15831 with flag 105519/35001
6.39/4.91	c cleaning 8958 clauses out of 17920 with flag 137231/45003
7.80/6.37	c cleaning 9970 clauses out of 19959 with flag 167031/56000
9.16/7.67	c cleaning 10969 clauses out of 21990 with flag 202716/68001
10.66/9.18	c cleaning 11986 clauses out of 24020 with flag 244685/81000
13.06/11.56	c cleaning 13007 clauses out of 26034 with flag 278296/95000
14.78/13.24	c cleaning 13999 clauses out of 28027 with flag 318300/110000
16.37/14.80	c cleaning 15007 clauses out of 30036 with flag 371802/126008
17.67/16.12	c cleaning 15989 clauses out of 32021 with flag 422421/143000
20.35/18.70	c cleaning 16992 clauses out of 34032 with flag 479362/161000
23.95/22.25	c cleaning 18018 clauses out of 36043 with flag 536140/180003
27.75/26.06	c cleaning 18998 clauses out of 38022 with flag 593641/200000
30.75/29.09	c cleaning 20000 clauses out of 40024 with flag 661994/221000
33.15/31.49	c cleaning 20998 clauses out of 42028 with flag 732842/243004
37.59/35.71	c cleaning 21992 clauses out of 44027 with flag 804909/266001
42.89/41.02	c cleaning 23006 clauses out of 46034 with flag 895347/290000
48.99/47.10	c cleaning 24013 clauses out of 48029 with flag 979440/315001
54.01/51.99	c cleaning 24993 clauses out of 50017 with flag 1062666/341002
58.61/56.59	c cleaning 25998 clauses out of 52022 with flag 1147406/368000
62.51/60.48	c cleaning 26995 clauses out of 54026 with flag 1242544/396002
66.21/64.16	c cleaning 27994 clauses out of 56029 with flag 1337266/425000
71.69/69.59	c cleaning 28992 clauses out of 58036 with flag 1439355/455001
78.30/76.16	c cleaning 30006 clauses out of 60043 with flag 1537489/486000
87.10/84.91	c cleaning 31002 clauses out of 62038 with flag 1621390/518001
95.01/92.69	c cleaning 32005 clauses out of 64038 with flag 1710415/551003
100.31/97.91	c cleaning 33012 clauses out of 66036 with flag 1812841/585006
108.25/105.66	c cleaning 33988 clauses out of 68018 with flag 1916223/620000
114.45/111.89	c cleaning 34991 clauses out of 70033 with flag 2027021/656003
123.26/120.67	c cleaning 35994 clauses out of 72039 with flag 2137170/693000
129.12/126.28	c cleaning 37000 clauses out of 74046 with flag 2242428/731001
139.82/136.74	c cleaning 38026 clauses out of 76059 with flag 2366356/770014
150.33/147.21	c cleaning 38990 clauses out of 78019 with flag 2496009/810000
160.96/157.83	c cleaning 39972 clauses out of 80030 with flag 2635163/851001
172.05/168.98	c cleaning 41011 clauses out of 82058 with flag 2773213/893001
184.42/181.28	c cleaning 41993 clauses out of 84047 with flag 2918543/936001
195.69/192.41	c cleaning 43013 clauses out of 86060 with flag 3058715/980007
205.45/202.12	c cleaning 44011 clauses out of 88040 with flag 3198091/1025000
218.04/214.74	c cleaning 44986 clauses out of 90031 with flag 3345479/1071002
232.54/229.14	c cleaning 46003 clauses out of 92050 with flag 3485368/1118007
244.14/240.68	c cleaning 47016 clauses out of 94046 with flag 3636774/1166006
252.39/248.83	c cleaning 47993 clauses out of 96024 with flag 3793834/1215000
259.67/256.05	c cleaning 49000 clauses out of 98031 with flag 3943243/1265000
267.55/263.88	c cleaning 49996 clauses out of 100031 with flag 4092734/1316000
278.26/274.50	c cleaning 50989 clauses out of 102036 with flag 4274811/1368001
291.63/287.86	c cleaning 52002 clauses out of 104047 with flag 4474629/1421001
305.45/301.62	c cleaning 52990 clauses out of 106044 with flag 4668896/1475000
319.96/316.11	c cleaning 54011 clauses out of 108055 with flag 4862560/1530001
334.79/330.94	c cleaning 54996 clauses out of 110043 with flag 5054570/1586000
351.36/347.33	c cleaning 55984 clauses out of 112047 with flag 5258257/1643000
368.78/364.66	c cleaning 57026 clauses out of 114063 with flag 5460141/1701000
387.61/383.24	c cleaning 58002 clauses out of 116037 with flag 5656499/1760000
407.06/402.63	c cleaning 58995 clauses out of 118036 with flag 5858522/1820001
423.22/418.66	c cleaning 59995 clauses out of 120040 with flag 6050196/1881000
442.29/437.63	c cleaning 61003 clauses out of 122045 with flag 6245535/1943000
457.51/452.72	c cleaning 62008 clauses out of 124042 with flag 6456799/2006000
467.77/462.80	c cleaning 63002 clauses out of 126034 with flag 6639733/2070000
485.11/480.00	c cleaning 64011 clauses out of 128037 with flag 6852779/2135005
508.38/503.17	c cleaning 64988 clauses out of 130023 with flag 7074336/2201002
535.02/529.69	c cleaning 65987 clauses out of 132033 with flag 7290590/2268000
563.61/558.10	c cleaning 67000 clauses out of 134048 with flag 7497747/2336002
590.37/584.61	c cleaning 68000 clauses out of 136046 with flag 7706966/2405000
615.84/609.89	c cleaning 69007 clauses out of 138047 with flag 7920443/2475001
636.27/630.14	c cleaning 70007 clauses out of 140039 with flag 8137492/2546000
656.26/649.90	c cleaning 70997 clauses out of 142033 with flag 8358678/2618001
673.02/666.53	c cleaning 72002 clauses out of 144035 with flag 8571870/2691000
703.71/697.03	c cleaning 72992 clauses out of 146033 with flag 8806107/2765000
735.75/728.80	c cleaning 73996 clauses out of 148042 with flag 9045601/2840001
791.40/784.18	c cleaning 75006 clauses out of 150060 with flag 9304535/2916015
854.99/847.37	c cleaning 76009 clauses out of 152039 with flag 9496359/2993000
901.59/893.53	c cleaning 77015 clauses out of 154030 with flag 9690500/3071000
939.10/930.66	c cleaning 78012 clauses out of 156023 with flag 9902007/3150008
983.58/974.76	c cleaning 78985 clauses out of 158003 with flag 10104649/3230000
1013.68/1004.59	c cleaning 79998 clauses out of 160018 with flag 10340295/3311000
1043.90/1034.32	c cleaning 80984 clauses out of 162020 with flag 10576291/3393000
1069.69/1059.76	c cleaning 81995 clauses out of 164036 with flag 10823370/3476000
1102.62/1092.32	c cleaning 82994 clauses out of 166043 with flag 11066626/3560002
1133.30/1122.50	c cleaning 84014 clauses out of 168047 with flag 11311845/3645000
1163.74/1152.64	c cleaning 85023 clauses out of 170049 with flag 11551505/3731016
1195.38/1183.96	c cleaning 85992 clauses out of 172010 with flag 11780382/3818000
1224.64/1212.90	c cleaning 86995 clauses out of 174018 with flag 12014537/3906000
1254.88/1242.62	c cleaning 88006 clauses out of 176023 with flag 12243079/3995000
1282.87/1270.30	c cleaning 88989 clauses out of 178017 with flag 12481189/4085000
1320.17/1307.29	c cleaning 89955 clauses out of 180028 with flag 12764325/4176000
1376.48/1363.18	c cleaning 91002 clauses out of 182073 with flag 13084619/4268000
1417.96/1403.99	c cleaning 92018 clauses out of 184071 with flag 13371501/4361000
1463.28/1448.79	c cleaning 93016 clauses out of 186056 with flag 13641513/4455003
1496.54/1481.58	c cleaning 94014 clauses out of 188037 with flag 13925409/4550000
1524.78/1509.33	c cleaning 95004 clauses out of 190023 with flag 14254851/4646000
1555.84/1540.08	c cleaning 96008 clauses out of 192019 with flag 14663230/4743000
1585.51/1569.34	c cleaning 96996 clauses out of 194011 with flag 14979250/4841000
1615.05/1598.58	c cleaning 98007 clauses out of 196015 with flag 15368956/4940000
1642.27/1625.35	c cleaning 98991 clauses out of 198008 with flag 15701818/5040000
1669.50/1652.27	c cleaning 100007 clauses out of 200020 with flag 16107568/5141003
1697.68/1680.06	c cleaning 101001 clauses out of 202010 with flag 16476180/5243000
1725.82/1707.74	c cleaning 101989 clauses out of 204010 with flag 16889428/5346001
1754.38/1735.92	c cleaning 103001 clauses out of 206020 with flag 17245622/5450000
1782.95/1764.15	c cleaning 104003 clauses out of 208019 with flag 17584128/5555000
1800.09/1781.01	c starts		: 2339
1800.09/1781.01	c conflicts		: 5635587
1800.09/1781.01	c decisions		: 20581975
1800.09/1781.01	c propagations		: 73663127
1800.09/1781.01	c inspects		: 27293768720
1800.09/1781.01	c shortcuts		: 0
1800.09/1781.01	c learnt literals	: 0
1800.09/1781.01	c learnt binary clauses	: 0
1800.09/1781.01	c learnt ternary clauses	: 982
1800.09/1781.01	c learnt constraints	: 5635587
1800.09/1781.01	c ignored constraints	: 0
1800.09/1781.01	c root simplifications	: 0
1800.09/1781.01	c removed literals (reason simplification)	: 0
1800.09/1781.01	c reason swapping (by a shorter reason)	: 0
1800.09/1781.01	c Calls to reduceDB	: 101
1800.09/1781.01	c Number of update (reduction) of LBD	: 1730473
1800.09/1781.01	c Imported unit clauses	: 0
1800.09/1781.01	c number of reductions to clauses (during analyze)	: 0
1800.09/1781.01	c number of learned constraints concerned by reduction	: 0
1800.09/1781.01	c number of learning phase by resolution	: 0
1800.09/1781.01	c number of learning phase by cutting planes	: 0
1800.09/1781.01	c speed (assignments/second)	: 41372.76197237365
1800.09/1781.01	c non guided choices	6378
1800.09/1781.01	c timeout
1800.09/1781.04	c learnt constraints type 
1800.09/1781.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 184603
1800.09/1781.04	s UNKNOWN
1800.09/1781.04	c Total wall clock time (in seconds): 1780.93

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-4084683-1465262925/watcher-4084683-1465262925 -o /tmp/evaluation-result-4084683-1465262925/solver-4084683-1465262925 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084683-1465262925.opb 

pid=7311
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.18 2.21 2.18 3/195 7314
/proc/meminfo: memFree=29866048/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 1296 0 0 0 0 0 0 0 20 0 2 0 108225668 95129600 928 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 23528 929 703 9 0 16769 0
[pid=7314/tid=7315] ppid=7311 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 2 0 108225669 98635776 948 33554432000 1073741824 1073778376 140737383751056 139755472940584 260181105243 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 2.18 2.21 2.18 3/195 7314
/proc/meminfo: memFree=29866048/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 4422 0 1 0 9 1 0 0 20 0 18 0 108225668 9787879424 6050 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2389619 6051 2137 9 0 2380296 0
[pid=7314/tid=7315] ppid=7311 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 108225669 9787879424 6051 33554432000 1073741824 1073778376 140737383751056 139755472944032 260193707277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200324 s]
/proc/loadavg: 2.18 2.21 2.18 3/195 7314
/proc/meminfo: memFree=29866048/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 4705 0 1 0 23 1 0 0 20 0 18 0 108225668 9787879424 6803 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2389619 6803 2202 9 0 2380296 0
[pid=7314/tid=7315] ppid=7311 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2397 0 1 0 16 1 0 0 20 0 18 0 108225669 9787879424 6803 33554432000 1073741824 1073778376 140737383751056 139755472945384 139755299912972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300322 s]
/proc/loadavg: 2.18 2.21 2.18 3/195 7314
/proc/meminfo: memFree=29866048/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 6064 0 1 0 45 1 0 0 20 0 18 0 108225668 9787879424 8741 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2389619 8741 2244 9 0 2380296 0
[pid=7314/tid=7315] ppid=7311 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2401 0 1 0 26 1 0 0 20 0 18 0 108225669 9787879424 8741 33554432000 1073741824 1073778376 140737383751056 139755472945384 139755299910881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700292 s]
/proc/loadavg: 2.18 2.21 2.18 3/195 7314
/proc/meminfo: memFree=29866048/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 17088 0 1 0 163 3 0 0 20 0 19 0 108225668 9856040960 22944 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2406260 22944 2265 9 0 2396937 0
[pid=7314/tid=7315] ppid=7311 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2432 0 1 0 65 2 0 0 20 0 19 0 108225669 9856040960 22944 33554432000 1073741824 1073778376 140737383751056 139755472937112 139755476231063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.18 2.21 2.18 3/214 7333
/proc/meminfo: memFree=29776720/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9625040 CPUtime=2.89 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 18307 0 1 0 286 3 0 0 20 0 19 0 108225668 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2406260 25778 2277 9 0 2396937 0
[pid=7314/tid=7315] ppid=7311 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2437 0 1 0 145 3 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755472945416 139755300596841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7317] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7317/stat : 7317 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755434437416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7318] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7318/stat : 7318 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755433384616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7319] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7319/stat : 7319 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755432332328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7320] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7320/stat : 7320 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755431279528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7321] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7321/stat : 7321 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755430226216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7322] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7322/stat : 7322 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755429173416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7323] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7323/stat : 7323 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755428121128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7324] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7324/stat : 7324 (java) S 7311 7314 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755427068328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7325] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7325/stat : 7325 (java) S 7311 7314 5965 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755296635624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7326] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7326/stat : 7326 (java) S 7311 7314 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755295581688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7327] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7327/stat : 7327 (java) S 7311 7314 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755294529288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7328] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7328/stat : 7328 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755293477776 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7329] ppid=7311 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/7314/task/7329/stat : 7329 (java) S 7311 7314 5965 0 -1 4202560 5969 0 0 0 73 0 0 0 20 0 19 0 108225673 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755292424376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7330] ppid=7311 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/7314/task/7330/stat : 7330 (java) S 7311 7314 5965 0 -1 4202560 8623 0 0 0 63 1 0 0 20 0 19 0 108225673 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755291371576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7331] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7331/stat : 7331 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755290319480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7332] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7332/stat : 7332 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755289266888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7333] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7333/stat : 7333 (java) S 7311 7314 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108225722 9856040960 25778 33554432000 1073741824 1073778376 140737383751056 139755288212904 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.18 2.21 2.18 3/214 7333
/proc/meminfo: memFree=29759708/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9625040 CPUtime=4.54 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 18322 0 1 0 450 4 0 0 20 0 19 0 108225668 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2406260 31923 2277 9 0 2396937 0
[pid=7314/tid=7315] ppid=7311 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2451 0 1 0 304 3 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755472943520 139755300720970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7317] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7317/stat : 7317 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755434437416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7318] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7318/stat : 7318 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755433384616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7319] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7319/stat : 7319 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755432332328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7320] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7320/stat : 7320 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755431279528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7321] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7321/stat : 7321 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755430226216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7322] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7322/stat : 7322 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755429173416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7323] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7323/stat : 7323 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755428121128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7324] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7324/stat : 7324 (java) S 7311 7314 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755427068328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7325] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7325/stat : 7325 (java) S 7311 7314 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755296635624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7326] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7326/stat : 7326 (java) S 7311 7314 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755295581688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7327] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7327/stat : 7327 (java) S 7311 7314 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755294529288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7328] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7328/stat : 7328 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755293477776 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7329] ppid=7311 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7314/task/7329/stat : 7329 (java) S 7311 7314 5965 0 -1 4202560 5969 0 0 0 75 0 0 0 20 0 19 0 108225673 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755292424376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7330] ppid=7311 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7314/task/7330/stat : 7330 (java) S 7311 7314 5965 0 -1 4202560 8623 0 0 0 66 1 0 0 20 0 19 0 108225673 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755291371576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7331] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7331/stat : 7331 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755290319480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7332] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7332/stat : 7332 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755289266888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7333] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7333/stat : 7333 (java) S 7311 7314 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108225722 9856040960 31923 33554432000 1073741824 1073778376 140737383751056 139755288212904 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.17 2.20 2.18 3/213 7333
/proc/meminfo: memFree=29569932/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9625040 CPUtime=7.8 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 18675 0 1 0 775 5 0 0 20 0 19 0 108225668 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2406260 43197 2277 9 0 2396937 0
[pid=7314/tid=7315] ppid=7311 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2474 0 1 0 622 3 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755472936656 139755300666510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7317] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7317/stat : 7317 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755434437416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7318] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7318/stat : 7318 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755433384616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7319] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7319/stat : 7319 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755432332328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7320] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7320/stat : 7320 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755431279528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7321] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7321/stat : 7321 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755430226216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7322] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7322/stat : 7322 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755429173416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7323] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7323/stat : 7323 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755428121128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7324] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7324/stat : 7324 (java) S 7311 7314 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108225669 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755427068328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7325] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7325/stat : 7325 (java) S 7311 7314 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755296635624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7326] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7326/stat : 7326 (java) S 7311 7314 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755295581688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7327] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7327/stat : 7327 (java) S 7311 7314 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755294529288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7328] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7328/stat : 7328 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755293477776 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7329] ppid=7311 vsize=9625040 CPUtime=0.8 cores=0,2,4,6
/proc/7314/task/7329/stat : 7329 (java) S 7311 7314 5965 0 -1 4202560 6299 0 0 0 80 0 0 0 20 0 19 0 108225673 9856040960 43197 33554432000 1073741824 1073778376 140737383751056 139755292424376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7330] ppid=7311 vsize=9625040 CPUtime=0.67 cores=0,2,4,6

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

[pid=7314/tid=7333] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7333/stat : 7333 (java) S 7311 7314 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108225722 9856040960 109808 33554432000 1073741824 1073778376 140737383751056 139755288212904 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1618.93
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.32 2.30 2.27 4/213 7579
/proc/meminfo: memFree=28614648/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9625040 CPUtime=1679.77 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 37901 0 1 0 167815 162 0 0 20 0 19 0 108225668 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2406260 123919 2299 9 0 2396937 0
[pid=7314/tid=7315] ppid=7311 vsize=9625040 CPUtime=1646.16 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2782 0 1 0 164580 36 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755472944320 139755300851912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7317] ppid=7311 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/7314/task/7317/stat : 7317 (java) S 7311 7314 5965 0 -1 4202560 2213 0 0 0 260 15 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755434437416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7318] ppid=7311 vsize=9625040 CPUtime=2.79 cores=0,2,4,6
/proc/7314/task/7318/stat : 7318 (java) S 7311 7314 5965 0 -1 4202560 2964 0 0 0 263 16 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755433384616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7319] ppid=7311 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/7314/task/7319/stat : 7319 (java) S 7311 7314 5965 0 -1 4202560 2004 0 0 0 270 15 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755432332328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7320] ppid=7311 vsize=9625040 CPUtime=2.7 cores=0,2,4,6
/proc/7314/task/7320/stat : 7320 (java) S 7311 7314 5965 0 -1 4202560 2597 0 0 0 258 12 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755431279528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7321] ppid=7311 vsize=9625040 CPUtime=3.02 cores=0,2,4,6
/proc/7314/task/7321/stat : 7321 (java) S 7311 7314 5965 0 -1 4202560 1979 0 0 0 280 22 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755430226216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7322] ppid=7311 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/7314/task/7322/stat : 7322 (java) S 7311 7314 5965 0 -1 4202560 2201 0 0 0 257 16 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755429173416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7323] ppid=7311 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/7314/task/7323/stat : 7323 (java) S 7311 7314 5965 0 -1 4202560 1913 0 0 0 259 14 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755428121128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7324] ppid=7311 vsize=9625040 CPUtime=2.66 cores=0,2,4,6
/proc/7314/task/7324/stat : 7324 (java) S 7311 7314 5965 0 -1 4202560 2008 0 0 0 253 13 0 0 20 0 19 0 108225669 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755427068328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7325] ppid=7311 vsize=9625040 CPUtime=5.17 cores=0,2,4,6
/proc/7314/task/7325/stat : 7325 (java) S 7311 7314 5965 0 -1 4202560 947 0 0 0 511 6 0 0 20 0 19 0 108225671 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755296635624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7326] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7326/stat : 7326 (java) S 7311 7314 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755295581688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7327] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7327/stat : 7327 (java) S 7311 7314 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755294529288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7328] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7328/stat : 7328 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755293477776 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7329] ppid=7311 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/7314/task/7329/stat : 7329 (java) S 7311 7314 5965 0 -1 4202560 6310 0 0 0 90 0 0 0 20 0 19 0 108225673 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755292424376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7330] ppid=7311 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7314/task/7330/stat : 7330 (java) S 7311 7314 5965 0 -1 4202560 8623 0 0 0 66 1 0 0 20 0 19 0 108225673 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755291371576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7331] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7331/stat : 7331 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755290319480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7332] ppid=7311 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/7314/task/7332/stat : 7332 (java) S 7311 7314 5965 0 -1 4202560 95 0 0 0 28 30 0 0 20 0 19 0 108225673 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755289266888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7333] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7333/stat : 7333 (java) S 7311 7314 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108225722 9856040960 123919 33554432000 1073741824 1073778376 140737383751056 139755288212904 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1679.77
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/213 7580
/proc/meminfo: memFree=28611848/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9625040 CPUtime=1740.59 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 37991 0 1 0 173892 167 0 0 20 0 19 0 108225668 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2406260 132109 2299 9 0 2396937 0
[pid=7314/tid=7315] ppid=7311 vsize=9625040 CPUtime=1705.54 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2796 0 1 0 170518 36 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755472944336 139755300666247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7317] ppid=7311 vsize=9625040 CPUtime=2.87 cores=0,2,4,6
/proc/7314/task/7317/stat : 7317 (java) S 7311 7314 5965 0 -1 4202560 2220 0 0 0 271 16 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755434437416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7318] ppid=7311 vsize=9625040 CPUtime=2.93 cores=0,2,4,6
/proc/7314/task/7318/stat : 7318 (java) S 7311 7314 5965 0 -1 4202560 2971 0 0 0 277 16 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755433384616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7319] ppid=7311 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/7314/task/7319/stat : 7319 (java) S 7311 7314 5965 0 -1 4202560 2016 0 0 0 286 15 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755432332328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7320] ppid=7311 vsize=9625040 CPUtime=2.82 cores=0,2,4,6
/proc/7314/task/7320/stat : 7320 (java) S 7311 7314 5965 0 -1 4202560 2602 0 0 0 269 13 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755431279528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7321] ppid=7311 vsize=9625040 CPUtime=3.14 cores=0,2,4,6
/proc/7314/task/7321/stat : 7321 (java) S 7311 7314 5965 0 -1 4202560 1983 0 0 0 292 22 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755430226216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7322] ppid=7311 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/7314/task/7322/stat : 7322 (java) S 7311 7314 5965 0 -1 4202560 2207 0 0 0 271 17 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755429173416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7323] ppid=7311 vsize=9625040 CPUtime=2.91 cores=0,2,4,6
/proc/7314/task/7323/stat : 7323 (java) S 7311 7314 5965 0 -1 4202560 1926 0 0 0 277 14 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755428121128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7324] ppid=7311 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/7314/task/7324/stat : 7324 (java) S 7311 7314 5965 0 -1 4202560 2011 0 0 0 268 13 0 0 20 0 19 0 108225669 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755427068328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7325] ppid=7311 vsize=9625040 CPUtime=5.3 cores=0,2,4,6
/proc/7314/task/7325/stat : 7325 (java) S 7311 7314 5965 0 -1 4202560 962 0 0 0 524 6 0 0 20 0 19 0 108225671 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755296635624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7326] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7326/stat : 7326 (java) S 7311 7314 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755295581688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7327] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7327/stat : 7327 (java) S 7311 7314 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755294529288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7328] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7328/stat : 7328 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755293477776 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7329] ppid=7311 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/7314/task/7329/stat : 7329 (java) S 7311 7314 5965 0 -1 4202560 6310 0 0 0 90 0 0 0 20 0 19 0 108225673 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755292424376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7330] ppid=7311 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7314/task/7330/stat : 7330 (java) S 7311 7314 5965 0 -1 4202560 8623 0 0 0 66 1 0 0 20 0 19 0 108225673 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755291371576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7331] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7331/stat : 7331 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755290319480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7332] ppid=7311 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/7314/task/7332/stat : 7332 (java) S 7311 7314 5965 0 -1 4202560 99 0 0 0 29 31 0 0 20 0 19 0 108225673 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755289266888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7333] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7333/stat : 7333 (java) S 7311 7314 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108225722 9856040960 132109 33554432000 1073741824 1073778376 140737383751056 139755288212904 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1740.59
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.01 s]
/proc/loadavg: 2.36 2.31 2.28 3/213 7647
/proc/meminfo: memFree=29412160/32872528 swapFree=16360/1798728
[pid=7314] ppid=7311 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/7314/stat : 7314 (java) S 7311 7314 5965 0 -1 4202496 38579 0 1 0 179833 176 0 0 20 0 19 0 108225668 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 140737383742192 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7314/statm: 2406260 149422 2299 9 0 2396937 0
[pid=7314/tid=7315] ppid=7311 vsize=9625040 CPUtime=1763.46 cores=0,2,4,6
/proc/7314/task/7315/stat : 7315 (java) R 7311 7314 5965 0 -1 4202560 2807 0 1 0 176309 37 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755472944336 139755300666019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7317] ppid=7311 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/7314/task/7317/stat : 7317 (java) S 7311 7314 5965 0 -1 4202560 2273 0 0 0 287 17 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755434437416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7318] ppid=7311 vsize=9625040 CPUtime=3.09 cores=0,2,4,6
/proc/7314/task/7318/stat : 7318 (java) S 7311 7314 5965 0 -1 4202560 2993 0 0 0 292 17 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755433384616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7319] ppid=7311 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/7314/task/7319/stat : 7319 (java) S 7311 7314 5965 0 -1 4202560 2026 0 0 0 296 16 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755432332328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7320] ppid=7311 vsize=9625040 CPUtime=2.95 cores=0,2,4,6
/proc/7314/task/7320/stat : 7320 (java) S 7311 7314 5965 0 -1 4202560 2739 0 0 0 281 14 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755431279528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7321] ppid=7311 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/7314/task/7321/stat : 7321 (java) S 7311 7314 5965 0 -1 4202560 2152 0 0 0 304 23 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755430226216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7322] ppid=7311 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/7314/task/7322/stat : 7322 (java) S 7311 7314 5965 0 -1 4202560 2219 0 0 0 285 18 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755429173416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7323] ppid=7311 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/7314/task/7323/stat : 7323 (java) S 7311 7314 5965 0 -1 4202560 1987 0 0 0 291 15 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755428121128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7324] ppid=7311 vsize=9625040 CPUtime=2.94 cores=0,2,4,6
/proc/7314/task/7324/stat : 7324 (java) S 7311 7314 5965 0 -1 4202560 2025 0 0 0 280 14 0 0 20 0 19 0 108225669 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755427068328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7314/tid=7325] ppid=7311 vsize=9625040 CPUtime=5.63 cores=0,2,4,6
/proc/7314/task/7325/stat : 7325 (java) S 7311 7314 5965 0 -1 4202560 1057 0 0 0 557 6 0 0 20 0 19 0 108225671 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755296635624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7326] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7326/stat : 7326 (java) S 7311 7314 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755295581688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7327] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7327/stat : 7327 (java) S 7311 7314 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108225671 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755294529288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7328] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7328/stat : 7328 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755293477776 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7329] ppid=7311 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/7314/task/7329/stat : 7329 (java) S 7311 7314 5965 0 -1 4202560 6310 0 0 0 90 0 0 0 20 0 19 0 108225673 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755292424376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7314/tid=7330] ppid=7311 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7314/task/7330/stat : 7330 (java) S 7311 7314 5965 0 -1 4202560 8623 0 0 0 66 1 0 0 20 0 19 0 108225673 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755291371576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7331] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7331/stat : 7331 (java) S 7311 7314 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108225673 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755290319480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7314/tid=7332] ppid=7311 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/7314/task/7332/stat : 7332 (java) S 7311 7314 5965 0 -1 4202560 103 0 0 0 29 33 0 0 20 0 19 0 108225673 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755289266888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7314/tid=7333] ppid=7311 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7314/task/7333/stat : 7333 (java) S 7311 7314 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108225722 9856040960 149422 33554432000 1073741824 1073778376 140737383751056 139755288212904 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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 7314 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 7314 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=829296
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=250657
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1781.05
CPU time (s): 1800.09
CPU user time (s): 1798.33
CPU system time (s): 1.76
CPU usage (%): 101.069
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.83
system time used= 2.25066
maximum resident set size= 831096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38610
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47802
involuntary context switches= 56556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8444 second user time and 12.7311 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-07 03:28:45
IDJOB=4084683
IDBENCH=48313
IDSOLVER=2546
FILE ID=node123/4084683-1465262925
RUNJOBID= node123-1465255130-5981
PBS_JOBID= 19843274
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084683-1465262925/watcher-4084683-1465262925 -o /tmp/evaluation-result-4084683-1465262925/solver-4084683-1465262925 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5981 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084683-1465262925.opb

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

MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9
RANDOM SEED=1263546593

node123.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		: 2667.117
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	: 5334.23
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		: 2667.117
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		: 2667.117
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.56
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		: 2667.117
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		: 2667.117
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.55
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		: 2667.117
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.57
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		: 2667.117
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		: 2667.117
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29866312 kB
Buffers:           35296 kB
Cached:            99928 kB
SwapCached:         1832 kB
Active:           418580 kB
Inactive:          85268 kB
Active(anon):     368944 kB
Inactive(anon):     2052 kB
Active(file):      49636 kB
Inactive(file):    83216 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098732 kB
Dirty:              2040 kB
Writeback:             0 kB
AnonPages:       2189360 kB
Mapped:            15464 kB
Shmem:                 0 kB
Slab:             567600 kB
SReclaimable:      11708 kB
SUnreclaim:       555892 kB
KernelStack:        1768 kB
PageTables:         8392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2487920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2113536 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= 71732 MiB
End job on node123 at 2016-06-07 03:58:26