Trace number 4106945

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.62 1793.54

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
MD5SUM2b927be10d6e21370847ee6c94426772
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	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-4106945-1466282213.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  no objective function found
0.76/0.40	c ... done. Wall clock time 0.292s.
0.76/0.40	c declared #vars     200
0.76/0.40	c internal #vars     3262
0.76/0.40	c #constraints  6427
0.76/0.40	c constraints type 
0.76/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
0.76/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
0.76/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.76/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.76/0.40	c 6427 constraints processed.
1.77/0.92	c cleaning 2498 clauses out of 5000 with flag 14685/5000
2.13/1.23	c cleaning 4247 clauses out of 8503 with flag 30338/11001
2.53/1.64	c cleaning 5613 clauses out of 11255 with flag 50771/18000
3.07/2.10	c cleaning 6816 clauses out of 13643 with flag 71195/26001
3.60/2.60	c cleaning 7907 clauses out of 15826 with flag 92388/35000
4.20/3.23	c cleaning 8947 clauses out of 17920 with flag 118591/45001
4.90/3.95	c cleaning 9973 clauses out of 19972 with flag 149075/56000
5.70/4.74	c cleaning 10992 clauses out of 21999 with flag 181241/68000
6.61/5.61	c cleaning 11988 clauses out of 24007 with flag 217563/81000
7.50/6.53	c cleaning 13008 clauses out of 26021 with flag 251934/95002
8.60/7.61	c cleaning 13995 clauses out of 28013 with flag 289255/110002
9.70/8.80	c cleaning 15000 clauses out of 30016 with flag 327336/126000
11.11/10.11	c cleaning 16004 clauses out of 32016 with flag 371874/143000
12.45/11.47	c cleaning 17001 clauses out of 34013 with flag 415461/161001
14.49/13.44	c cleaning 17962 clauses out of 36015 with flag 463712/180004
16.69/15.67	c cleaning 19018 clauses out of 38050 with flag 510484/200001
19.49/18.45	c cleaning 20016 clauses out of 40031 with flag 583599/221000
22.99/21.96	c cleaning 21007 clauses out of 42015 with flag 683279/243000
26.90/25.83	c cleaning 22003 clauses out of 44008 with flag 787653/266000
30.90/29.85	c cleaning 23001 clauses out of 46005 with flag 896420/290000
34.90/33.88	c cleaning 23997 clauses out of 48004 with flag 1006389/315000
39.10/38.05	c cleaning 25003 clauses out of 50007 with flag 1125734/341000
43.76/42.64	c cleaning 25996 clauses out of 52004 with flag 1255888/368000
48.86/47.75	c cleaning 27004 clauses out of 54010 with flag 1371922/396002
54.26/53.15	c cleaning 27988 clauses out of 56004 with flag 1509067/425000
59.76/58.65	c cleaning 29002 clauses out of 58017 with flag 1638500/455001
66.36/65.29	c cleaning 29998 clauses out of 60014 with flag 1757095/486000
73.36/72.24	c cleaning 30998 clauses out of 62016 with flag 1907542/518000
80.25/79.07	c cleaning 31996 clauses out of 64019 with flag 2055416/551001
87.75/86.53	c cleaning 32998 clauses out of 66025 with flag 2210860/585003
95.16/93.95	c cleaning 34003 clauses out of 68024 with flag 2386973/620000
102.86/101.67	c cleaning 35001 clauses out of 70021 with flag 2573890/656000
111.66/110.48	c cleaning 36006 clauses out of 72023 with flag 2747104/693003
121.27/120.02	c cleaning 36993 clauses out of 74014 with flag 2893638/731000
131.75/130.43	c cleaning 37997 clauses out of 76021 with flag 3049799/770000
143.06/141.70	c cleaning 38999 clauses out of 78024 with flag 3222682/810000
156.07/154.72	c cleaning 39999 clauses out of 80025 with flag 3378832/851000
168.87/167.59	c cleaning 41000 clauses out of 82029 with flag 3534011/893003
181.46/180.16	c cleaning 42007 clauses out of 84028 with flag 3711063/936002
195.48/194.03	c cleaning 42999 clauses out of 86022 with flag 3936617/980003
209.08/207.64	c cleaning 43998 clauses out of 88020 with flag 4131599/1025000
223.58/222.15	c cleaning 44999 clauses out of 90022 with flag 4320972/1071000
239.49/238.04	c cleaning 46001 clauses out of 92023 with flag 4473171/1118000
255.44/253.89	c cleaning 46996 clauses out of 94023 with flag 4629070/1166001
272.55/270.94	c cleaning 48003 clauses out of 96027 with flag 4786111/1215001
289.25/287.62	c cleaning 48999 clauses out of 98023 with flag 5020744/1265000
304.86/303.20	c cleaning 50006 clauses out of 100025 with flag 5256111/1316001
321.03/319.25	c cleaning 51000 clauses out of 102020 with flag 5498342/1368002
339.54/337.73	c cleaning 51996 clauses out of 104018 with flag 5728808/1421000
360.44/358.67	c cleaning 53002 clauses out of 106028 with flag 5969854/1475006
381.49/379.52	c cleaning 53998 clauses out of 108021 with flag 6192560/1530001
403.40/401.47	c cleaning 54999 clauses out of 110023 with flag 6417161/1586001
423.79/421.86	c cleaning 56007 clauses out of 112023 with flag 6698434/1643000
446.22/444.13	c cleaning 56997 clauses out of 114018 with flag 6943431/1701002
470.13/468.08	c cleaning 57996 clauses out of 116019 with flag 7169031/1760000
482.93/480.72	c cleaning 59007 clauses out of 118024 with flag 7357222/1820001
493.63/491.43	c cleaning 60001 clauses out of 120020 with flag 7574817/1881004
504.76/502.45	c cleaning 60993 clauses out of 122015 with flag 7772125/1943000
516.46/514.10	c cleaning 62008 clauses out of 124024 with flag 7986800/2006002
528.55/526.21	c cleaning 63007 clauses out of 126016 with flag 8183823/2070002
539.65/537.22	c cleaning 64001 clauses out of 128010 with flag 8383473/2135003
551.17/548.70	c cleaning 64999 clauses out of 130006 with flag 8574766/2201000
563.36/560.82	c cleaning 65996 clauses out of 132007 with flag 8774739/2268000
575.47/572.94	c cleaning 67002 clauses out of 134012 with flag 8993423/2336001
588.54/585.99	c cleaning 68001 clauses out of 136009 with flag 9207380/2405000
601.24/598.68	c cleaning 68992 clauses out of 138008 with flag 9431041/2475000
614.28/611.70	c cleaning 70002 clauses out of 140016 with flag 9651860/2546000
628.19/625.41	c cleaning 70998 clauses out of 142014 with flag 9879395/2618000
641.90/639.13	c cleaning 72003 clauses out of 144017 with flag 10136039/2691001
657.99/655.13	c cleaning 73006 clauses out of 146014 with flag 10368500/2765001
673.19/670.32	c cleaning 73996 clauses out of 148008 with flag 10593090/2840001
687.78/684.86	c cleaning 74998 clauses out of 150012 with flag 10839729/2916001
706.15/703.18	c cleaning 76003 clauses out of 152016 with flag 11070115/2993003
724.85/721.88	c cleaning 77000 clauses out of 154011 with flag 11287163/3071001
744.21/741.16	c cleaning 77999 clauses out of 156010 with flag 11516146/3150000
761.92/758.75	c cleaning 79004 clauses out of 158013 with flag 11768918/3230002
778.83/775.64	c cleaning 80000 clauses out of 160008 with flag 12026280/3311001
797.38/794.15	c cleaning 80994 clauses out of 162008 with flag 12296709/3393001
815.77/812.45	c cleaning 82004 clauses out of 164013 with flag 12565365/3476000
835.27/831.88	c cleaning 82993 clauses out of 166009 with flag 12851076/3560000
855.76/852.31	c cleaning 83994 clauses out of 168016 with flag 13178908/3645000
876.33/872.82	c cleaning 85004 clauses out of 170023 with flag 13499930/3731001
897.31/893.72	c cleaning 86003 clauses out of 172018 with flag 13818158/3818000
919.59/915.94	c cleaning 87005 clauses out of 174015 with flag 14159833/3906000
941.39/937.63	c cleaning 87998 clauses out of 176010 with flag 14468997/3995000
965.40/961.68	c cleaning 88999 clauses out of 178012 with flag 14820047/4085000
988.16/984.34	c cleaning 90003 clauses out of 180014 with flag 15158809/4176001
1012.34/1008.46	c cleaning 90999 clauses out of 182011 with flag 15467142/4268001
1033.32/1029.34	c cleaning 92001 clauses out of 184012 with flag 15813483/4361001
1056.68/1052.67	c cleaning 93004 clauses out of 186011 with flag 16163282/4455001
1080.44/1076.36	c cleaning 94001 clauses out of 188009 with flag 16543110/4550003
1106.02/1101.82	c cleaning 94997 clauses out of 190006 with flag 16912643/4646001
1131.70/1127.44	c cleaning 95999 clauses out of 192008 with flag 17290370/4743000
1158.75/1154.41	c cleaning 96995 clauses out of 194009 with flag 17664344/4841000
1185.60/1181.29	c cleaning 97981 clauses out of 196014 with flag 18049568/4940000
1212.75/1208.33	c cleaning 99016 clauses out of 198033 with flag 18428907/5040000
1241.07/1236.44	c cleaning 99999 clauses out of 200017 with flag 18829358/5141000
1272.35/1267.67	c cleaning 101000 clauses out of 202018 with flag 19248647/5243000
1303.35/1298.58	c cleaning 102007 clauses out of 204020 with flag 19671479/5346002
1335.22/1330.38	c cleaning 102996 clauses out of 206011 with flag 20093069/5450000
1364.48/1359.47	c cleaning 104005 clauses out of 208015 with flag 20533233/5555000
1395.55/1390.49	c cleaning 104999 clauses out of 210010 with flag 20931363/5661000
1427.02/1421.83	c cleaning 105998 clauses out of 212011 with flag 21371242/5768000
1458.85/1453.52	c cleaning 106998 clauses out of 214013 with flag 21793930/5876000
1492.41/1487.03	c cleaning 108005 clauses out of 216015 with flag 22227983/5985000
1531.45/1525.90	c cleaning 108982 clauses out of 218010 with flag 22655140/6095000
1570.11/1564.47	c cleaning 110006 clauses out of 220029 with flag 23084326/6206001
1606.59/1600.88	c cleaning 111007 clauses out of 222024 with flag 23553587/6318002
1644.93/1639.00	c cleaning 111995 clauses out of 224015 with flag 23994705/6431000
1682.69/1676.65	c cleaning 113007 clauses out of 226020 with flag 24405361/6545000
1718.54/1712.39	c cleaning 114004 clauses out of 228013 with flag 24764902/6660000
1757.67/1751.32	c cleaning 114992 clauses out of 230009 with flag 25156560/6776000
1793.90/1787.44	c cleaning 116007 clauses out of 232020 with flag 25583958/6893003
1800.03/1793.50	c starts		: 3115
1800.03/1793.50	c timeout
1800.03/1793.50	c conflicts		: 6924656
1800.03/1793.50	c decisions		: 15105376
1800.03/1793.50	c propagations		: 131656924
1800.03/1793.50	c inspects		: 32881420322
1800.03/1793.50	c shortcuts		: 0
1800.03/1793.50	c learnt literals	: 0
1800.03/1793.50	c learnt binary clauses	: 0
1800.03/1793.50	c learnt ternary clauses	: 9431
1800.03/1793.50	c learnt constraints	: 6924656
1800.03/1793.50	c ignored constraints	: 0
1800.03/1793.50	c root simplifications	: 0
1800.03/1793.50	c removed literals (reason simplification)	: 0
1800.03/1793.50	c reason swapping (by a shorter reason)	: 0
1800.03/1793.50	c Calls to reduceDB	: 113
1800.03/1793.50	c Number of update (reduction) of LBD	: 2016412
1800.03/1793.50	c Imported unit clauses	: 0
1800.03/1793.50	c number of reductions to clauses (during analyze)	: 0
1800.03/1793.50	c number of learned constraints concerned by reduction	: 0
1800.03/1793.50	c number of learning phase by resolution	: 0
1800.03/1793.50	c number of learning phase by cutting planes	: 0
1800.03/1793.50	c speed (assignments/second)	: 73424.48160803707
1800.03/1793.50	c non guided choices	3126
1800.03/1793.53	c learnt constraints type 
1800.03/1793.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 147666
1800.03/1793.53	s UNKNOWN
1800.03/1793.53	c Total wall clock time (in seconds): 1793.42

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-4106945-1466282213/watcher-4106945-1466282213 -o /tmp/evaluation-result-4106945-1466282213/solver-4106945-1466282213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24567 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106945-1466282213.opb 

pid=29783
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.06 2.08 3/194 29786
/proc/meminfo: memFree=28952500/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 2 0 30268077 95129600 927 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 23225 927 703 9 0 16769 0
[pid=29786/tid=29787] ppid=29783 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 30268077 96370688 931 33554432000 1073741824 1073778376 140737161380448 140705093783080 242158234919 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 2.00 2.06 2.08 3/194 29786
/proc/meminfo: memFree=28952500/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 4409 0 1 0 9 1 0 0 20 0 18 0 30268077 9787879424 6039 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2389619 6039 2125 9 0 2380296 0
[pid=29786/tid=29787] ppid=29783 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2380 0 1 0 6 1 0 0 20 0 18 0 30268077 9787879424 6039 33554432000 1073741824 1073778376 140737161380448 140705093786528 140705101688230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200371 s]
/proc/loadavg: 2.00 2.06 2.08 3/194 29786
/proc/meminfo: memFree=28952500/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 4598 0 1 0 22 2 0 0 20 0 18 0 30268077 9787879424 6687 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2389619 6687 2202 9 0 2380296 0
[pid=29786/tid=29787] ppid=29783 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2402 0 1 0 16 1 0 0 20 0 18 0 30268077 9787879424 6687 33554432000 1073741824 1073778376 140737161380448 140705093765864 140704957409477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300267 s]
/proc/loadavg: 2.00 2.06 2.08 3/194 29786
/proc/meminfo: memFree=28952500/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 6067 0 1 0 44 3 0 0 20 0 18 0 30268077 9787879424 9267 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2389619 9267 2243 9 0 2380296 0
[pid=29786/tid=29787] ppid=29783 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2407 0 1 0 26 1 0 0 20 0 18 0 30268077 9787879424 9267 33554432000 1073741824 1073778376 140737161380448 140705093787736 140704957564396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700372 s]
/proc/loadavg: 2.00 2.06 2.08 3/194 29786
/proc/meminfo: memFree=28952500/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 13385 0 1 0 145 5 0 0 20 0 19 0 30268077 9856040960 15667 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2406260 15667 2264 9 0 2396937 0
[pid=29786/tid=29787] ppid=29783 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2421 0 1 0 66 1 0 0 20 0 19 0 30268077 9856040960 15667 33554432000 1073741824 1073778376 140737161380448 140705093787848 140704958114264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.00 2.06 2.08 3/213 29805
/proc/meminfo: memFree=28894052/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9625040 CPUtime=2.43 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 13404 0 1 0 238 5 0 0 20 0 19 0 30268077 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2406260 18240 2273 9 0 2396937 0
[pid=29786/tid=29787] ppid=29783 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2427 0 1 0 146 2 0 0 20 0 19 0 30268077 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705093786984 140704958098796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29789] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29789/stat : 29789 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705082850088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29790] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29790/stat : 29790 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705081797288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29791] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29791/stat : 29791 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705080745000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29792] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29792/stat : 29792 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705079692200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29793] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29793/stat : 29793 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705078638888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29794] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29794/stat : 29794 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705077586088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29795] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29795/stat : 29795 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140705076533800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29796] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29796/stat : 29796 (java) S 29783 29786 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704929757608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29797] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29797/stat : 29797 (java) S 29783 29786 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30268079 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704917560040 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29798] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29798/stat : 29798 (java) S 29783 29786 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704916506104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29799] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29799/stat : 29799 (java) S 29783 29786 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704915453704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29800] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29800/stat : 29800 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704914402192 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29801] ppid=29783 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/29786/task/29801/stat : 29801 (java) S 29783 29786 24550 0 -1 4202560 3249 0 0 0 43 0 0 0 20 0 19 0 30268082 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704913348792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29802] ppid=29783 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/29786/task/29802/stat : 29802 (java) S 29783 29786 24550 0 -1 4202560 6452 0 0 0 46 3 0 0 20 0 19 0 30268082 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704912295992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29803] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29803/stat : 29803 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704911243896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29804] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29804/stat : 29804 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704910191304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29805] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29805/stat : 29805 (java) S 29783 29786 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30268118 9856040960 18240 33554432000 1073741824 1073778376 140737161380448 140704909137320 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.00 2.06 2.08 3/213 29805
/proc/meminfo: memFree=28879592/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 13416 0 1 0 405 5 0 0 20 0 19 0 30268077 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2406260 23360 2273 9 0 2396937 0
[pid=29786/tid=29787] ppid=29783 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2439 0 1 0 305 2 0 0 20 0 19 0 30268077 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705093786184 140704957939340 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29789] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29789/stat : 29789 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705082850088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29790] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29790/stat : 29790 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705081797288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29791] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29791/stat : 29791 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705080745000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29792] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29792/stat : 29792 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705079692200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29793] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29793/stat : 29793 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705078638888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29794] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29794/stat : 29794 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705077586088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29795] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29795/stat : 29795 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140705076533800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29796] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29796/stat : 29796 (java) S 29783 29786 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704929757608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29797] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29797/stat : 29797 (java) S 29783 29786 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30268079 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704917560040 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29798] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29798/stat : 29798 (java) S 29783 29786 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704916506104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29799] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29799/stat : 29799 (java) S 29783 29786 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704915453704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29800] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29800/stat : 29800 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704914402192 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29801] ppid=29783 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/29786/task/29801/stat : 29801 (java) S 29783 29786 24550 0 -1 4202560 3249 0 0 0 49 0 0 0 20 0 19 0 30268082 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704913348792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29802] ppid=29783 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29786/task/29802/stat : 29802 (java) S 29783 29786 24550 0 -1 4202560 6452 0 0 0 47 3 0 0 20 0 19 0 30268082 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704912295992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29803] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29803/stat : 29803 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704911243896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29804] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29804/stat : 29804 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704910191304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29805] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29805/stat : 29805 (java) S 29783 29786 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30268118 9856040960 23360 33554432000 1073741824 1073778376 140737161380448 140704909137320 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.00 2.06 2.08 3/213 29805
/proc/meminfo: memFree=28842684/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9625040 CPUtime=7.3 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 13435 0 1 0 724 6 0 0 20 0 19 0 30268077 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2406260 31426 2274 9 0 2396937 0
[pid=29786/tid=29787] ppid=29783 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2457 0 1 0 625 2 0 0 20 0 19 0 30268077 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705093779152 140704958214265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29789] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29789/stat : 29789 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705082850088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29790] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29790/stat : 29790 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705081797288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29791] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29791/stat : 29791 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705080745000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29792] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29792/stat : 29792 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705079692200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29793] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29793/stat : 29793 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705078638888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29794] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29794/stat : 29794 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705077586088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29795] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29795/stat : 29795 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140705076533800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29796] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29796/stat : 29796 (java) S 29783 29786 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30268078 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140704929757608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29797] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29797/stat : 29797 (java) S 29783 29786 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30268079 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140704917560040 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29798] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29798/stat : 29798 (java) S 29783 29786 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140704916506104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29799] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29799/stat : 29799 (java) S 29783 29786 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140704915453704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29800] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29800/stat : 29800 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140704914402192 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29801] ppid=29783 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/29786/task/29801/stat : 29801 (java) S 29783 29786 24550 0 -1 4202560 3249 0 0 0 49 0 0 0 20 0 19 0 30268082 9856040960 31426 33554432000 1073741824 1073778376 140737161380448 140704913348792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29802] ppid=29783 vsize=9625040 CPUtime=0.5 cores=1,3,5,7

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

[pid=29786/tid=29798] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29798/stat : 29798 (java) S 29783 29786 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704916506104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29799] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29799/stat : 29799 (java) S 29783 29786 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704915453704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29800] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29800/stat : 29800 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704914402192 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29801] ppid=29783 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/29786/task/29801/stat : 29801 (java) S 29783 29786 24550 0 -1 4202560 3329 0 0 0 56 0 0 0 20 0 19 0 30268082 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704913348792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29802] ppid=29783 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29786/task/29802/stat : 29802 (java) S 29783 29786 24550 0 -1 4202560 6452 0 0 0 47 3 0 0 20 0 19 0 30268082 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704912295992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29803] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29803/stat : 29803 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704911243896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29804] ppid=29783 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/29786/task/29804/stat : 29804 (java) S 29783 29786 24550 0 -1 4202560 100 0 0 0 37 41 0 0 20 0 19 0 30268082 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704910191304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29805] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29805/stat : 29805 (java) S 29783 29786 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30268118 9856040960 115280 33554432000 1073741824 1073778376 140737161380448 140704909137320 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1728.57
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.06 3/213 29937
/proc/meminfo: memFree=30262016/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9625040 CPUtime=1788.8 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 18383 0 1 0 178781 99 0 0 20 0 19 0 30268077 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2406260 114448 2297 9 0 2396937 0
[pid=29786/tid=29787] ppid=29783 vsize=9625040 CPUtime=1779.29 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2547 0 1 0 177898 31 0 0 20 0 19 0 30268077 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705093786816 140704958214279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29789] ppid=29783 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/29786/task/29789/stat : 29789 (java) S 29783 29786 24550 0 -1 4202560 600 0 0 0 86 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705082850088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29790] ppid=29783 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/29786/task/29790/stat : 29790 (java) S 29783 29786 24550 0 -1 4202560 532 0 0 0 77 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705081797288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29791] ppid=29783 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/29786/task/29791/stat : 29791 (java) S 29783 29786 24550 0 -1 4202560 402 0 0 0 71 6 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705080745000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29792] ppid=29783 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/29786/task/29792/stat : 29792 (java) S 29783 29786 24550 0 -1 4202560 554 0 0 0 80 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705079692200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29793] ppid=29783 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/29786/task/29793/stat : 29793 (java) S 29783 29786 24550 0 -1 4202560 681 0 0 0 83 6 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705078638888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29794] ppid=29783 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/29786/task/29794/stat : 29794 (java) S 29783 29786 24550 0 -1 4202560 580 0 0 0 79 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705077586088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29795] ppid=29783 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/29786/task/29795/stat : 29795 (java) S 29783 29786 24550 0 -1 4202560 479 0 0 0 82 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705076533800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29796] ppid=29783 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/29786/task/29796/stat : 29796 (java) S 29783 29786 24550 0 -1 4202560 574 0 0 0 83 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704929757608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29797] ppid=29783 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/29786/task/29797/stat : 29797 (java) S 29783 29786 24550 0 -1 4202560 287 0 0 0 91 3 0 0 20 0 19 0 30268079 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704917560040 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29798] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29798/stat : 29798 (java) S 29783 29786 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704916506104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29799] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29799/stat : 29799 (java) S 29783 29786 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704915453704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29800] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29800/stat : 29800 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704914402192 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29801] ppid=29783 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/29786/task/29801/stat : 29801 (java) S 29783 29786 24550 0 -1 4202560 3329 0 0 0 56 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704913348792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29802] ppid=29783 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29786/task/29802/stat : 29802 (java) S 29783 29786 24550 0 -1 4202560 6452 0 0 0 47 3 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704912295992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29803] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29803/stat : 29803 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704911243896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29804] ppid=29783 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/29786/task/29804/stat : 29804 (java) S 29783 29786 24550 0 -1 4202560 104 0 0 0 38 43 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704910191304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29805] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29805/stat : 29805 (java) S 29783 29786 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30268118 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704909137320 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1788.8
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.5 s]
/proc/loadavg: 2.06 2.05 2.06 3/213 29937
/proc/meminfo: memFree=30273560/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 18386 0 1 0 179904 99 0 0 20 0 19 0 30268077 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2406260 114448 2297 9 0 2396937 0
[pid=29786/tid=29787] ppid=29783 vsize=9625040 CPUtime=1790.47 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2548 0 1 0 179016 31 0 0 20 0 19 0 30268077 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705093786816 140704958036990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29789] ppid=29783 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/29786/task/29789/stat : 29789 (java) S 29783 29786 24550 0 -1 4202560 600 0 0 0 86 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705082850088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29790] ppid=29783 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/29786/task/29790/stat : 29790 (java) S 29783 29786 24550 0 -1 4202560 532 0 0 0 78 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705081797288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29791] ppid=29783 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/29786/task/29791/stat : 29791 (java) S 29783 29786 24550 0 -1 4202560 402 0 0 0 72 6 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705080745000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29792] ppid=29783 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/29786/task/29792/stat : 29792 (java) S 29783 29786 24550 0 -1 4202560 554 0 0 0 80 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705079692200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29793] ppid=29783 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/29786/task/29793/stat : 29793 (java) S 29783 29786 24550 0 -1 4202560 681 0 0 0 83 6 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705078638888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29794] ppid=29783 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/29786/task/29794/stat : 29794 (java) S 29783 29786 24550 0 -1 4202560 580 0 0 0 80 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705077586088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29795] ppid=29783 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/29786/task/29795/stat : 29795 (java) S 29783 29786 24550 0 -1 4202560 479 0 0 0 82 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705076533800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29796] ppid=29783 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/29786/task/29796/stat : 29796 (java) S 29783 29786 24550 0 -1 4202560 574 0 0 0 84 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704929757608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29797] ppid=29783 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/29786/task/29797/stat : 29797 (java) S 29783 29786 24550 0 -1 4202560 289 0 0 0 91 3 0 0 20 0 19 0 30268079 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704917560040 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29798] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29798/stat : 29798 (java) S 29783 29786 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704916506104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29799] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29799/stat : 29799 (java) S 29783 29786 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704915453704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29800] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29800/stat : 29800 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704914402192 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29801] ppid=29783 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/29786/task/29801/stat : 29801 (java) S 29783 29786 24550 0 -1 4202560 3329 0 0 0 56 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704913348792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29802] ppid=29783 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29786/task/29802/stat : 29802 (java) S 29783 29786 24550 0 -1 4202560 6452 0 0 0 47 3 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704912295992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29803] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29803/stat : 29803 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704911243896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29804] ppid=29783 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/29786/task/29804/stat : 29804 (java) S 29783 29786 24550 0 -1 4202560 104 0 0 0 38 44 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704910191304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29805] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29805/stat : 29805 (java) S 29783 29786 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30268118 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704909137320 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 29786 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1793.5 s]
/proc/loadavg: 2.06 2.05 2.06 3/213 29937
/proc/meminfo: memFree=30273560/32872528 swapFree=338416/354768
[pid=29786] ppid=29783 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/29786/stat : 29786 (java) S 29783 29786 24550 0 -1 4202496 18386 0 1 0 179904 99 0 0 20 0 19 0 30268077 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140737161371584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29786/statm: 2406260 114448 2297 9 0 2396937 0
[pid=29786/tid=29787] ppid=29783 vsize=9625040 CPUtime=1790.47 cores=1,3,5,7
/proc/29786/task/29787/stat : 29787 (java) R 29783 29786 24550 0 -1 4202560 2548 0 1 0 179016 31 0 0 20 0 19 0 30268077 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705093786816 140704958036990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29789] ppid=29783 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/29786/task/29789/stat : 29789 (java) S 29783 29786 24550 0 -1 4202560 600 0 0 0 86 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705082850088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29790] ppid=29783 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/29786/task/29790/stat : 29790 (java) S 29783 29786 24550 0 -1 4202560 532 0 0 0 78 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705081797288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29791] ppid=29783 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/29786/task/29791/stat : 29791 (java) S 29783 29786 24550 0 -1 4202560 402 0 0 0 72 6 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705080745000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29792] ppid=29783 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/29786/task/29792/stat : 29792 (java) S 29783 29786 24550 0 -1 4202560 554 0 0 0 80 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705079692200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29793] ppid=29783 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/29786/task/29793/stat : 29793 (java) S 29783 29786 24550 0 -1 4202560 681 0 0 0 83 6 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705078638888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29794] ppid=29783 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/29786/task/29794/stat : 29794 (java) S 29783 29786 24550 0 -1 4202560 580 0 0 0 80 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705077586088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29795] ppid=29783 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/29786/task/29795/stat : 29795 (java) S 29783 29786 24550 0 -1 4202560 479 0 0 0 82 7 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140705076533800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29796] ppid=29783 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/29786/task/29796/stat : 29796 (java) S 29783 29786 24550 0 -1 4202560 574 0 0 0 84 8 0 0 20 0 19 0 30268078 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704929757608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29797] ppid=29783 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/29786/task/29797/stat : 29797 (java) S 29783 29786 24550 0 -1 4202560 289 0 0 0 91 3 0 0 20 0 19 0 30268079 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704917560040 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29786/tid=29798] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29798/stat : 29798 (java) S 29783 29786 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704916506104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29799] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29799/stat : 29799 (java) S 29783 29786 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30268080 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704915453704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29800] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29800/stat : 29800 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704914402192 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29786/tid=29801] ppid=29783 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/29786/task/29801/stat : 29801 (java) S 29783 29786 24550 0 -1 4202560 3329 0 0 0 56 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704913348792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29802] ppid=29783 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29786/task/29802/stat : 29802 (java) S 29783 29786 24550 0 -1 4202560 6452 0 0 0 47 3 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704912295992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29803] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29803/stat : 29803 (java) S 29783 29786 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704911243896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29786/tid=29804] ppid=29783 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/29786/task/29804/stat : 29804 (java) S 29783 29786 24550 0 -1 4202560 104 0 0 0 38 44 0 0 20 0 19 0 30268082 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704910191304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29786/tid=29805] ppid=29783 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29786/task/29805/stat : 29805 (java) S 29783 29786 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30268118 9856040960 114448 33554432000 1073741824 1073778376 140737161380448 140704909137320 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1793.54
CPU time (s): 1800.62
CPU user time (s): 1799.1
CPU system time (s): 1.52377
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.52377
maximum resident set size= 644544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18417
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39752
involuntary context switches= 12721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9323 second user time and 13.5239 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-18 22:36:53
IDJOB=4106945
IDBENCH=48335
IDSOLVER=2546
FILE ID=node126/4106945-1466282213
RUNJOBID= node126-1466264639-24567
PBS_JOBID= 19918224
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 2b927be10d6e21370847ee6c94426772
RANDOM SEED=1614814418

node126.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.121
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	: 5332.24
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.121
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.121
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.121
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.121
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		: 2666.121
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.121
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.121
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:        28953292 kB
Buffers:          149180 kB
Cached:           253340 kB
SwapCached:         1736 kB
Active:          2496572 kB
Inactive:         318688 kB
Active(anon):    2413292 kB
Inactive(anon):     1796 kB
Active(file):      83280 kB
Inactive(file):   316892 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       2774932 kB
Mapped:            16984 kB
Shmem:                 0 kB
Slab:             606720 kB
SReclaimable:      50316 kB
SUnreclaim:       556404 kB
KernelStack:        1568 kB
PageTables:         9672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3925008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2260992 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 node126 at 2016-06-18 23:06:47