Trace number 4085411

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)15 1800.08 1798.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
MD5SUM863d0ff562dc066d0163e86da5775aea
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint10
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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@587bd9f2
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@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4085411-1465242168.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.10/0.15	c ... done. Wall clock time 0.042s.
0.10/0.15	c declared #vars     100
0.10/0.15	c #constraints  100
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.10/0.15	c 100 constraints processed.
0.10/0.15	c objective function length is 100 literals
0.10/0.16	c SATISFIABLE
0.10/0.16	c OPTIMIZING...
0.10/0.16	c Got one! Elapsed wall clock time (in seconds):0.047
0.10/0.16	o 18
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.145
0.27/0.26	o 17
0.27/0.27	c Got one! Elapsed wall clock time (in seconds):0.157
0.27/0.27	o 16
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.241
0.52/0.35	o 15
0.66/0.47	c cleaning 3255 clauses out of 6522 with flag 7604/6522
1.09/0.62	c cleaning 4625 clauses out of 9267 with flag 22232/12522
1.30/0.83	c cleaning 5814 clauses out of 11641 with flag 39228/19521
1.51/1.09	c cleaning 6903 clauses out of 13827 with flag 58620/27521
1.93/1.46	c cleaning 7946 clauses out of 15924 with flag 79823/36521
2.33/1.86	c cleaning 8982 clauses out of 17979 with flag 103948/46522
2.83/2.40	c cleaning 9984 clauses out of 19996 with flag 130404/57521
3.43/2.96	c cleaning 10992 clauses out of 22012 with flag 159394/69521
4.03/3.57	c cleaning 11997 clauses out of 24024 with flag 190487/82525
4.73/4.29	c cleaning 13001 clauses out of 26027 with flag 223575/96525
5.63/5.19	c cleaning 14000 clauses out of 28022 with flag 259325/111521
6.62/6.15	c cleaning 14999 clauses out of 30026 with flag 298238/127525
7.57/7.05	c cleaning 16012 clauses out of 32023 with flag 341285/144521
8.57/8.05	c cleaning 17006 clauses out of 34011 with flag 386451/162521
9.77/9.22	c cleaning 18000 clauses out of 36006 with flag 433810/181522
11.07/10.57	c cleaning 19004 clauses out of 38007 with flag 483748/201523
12.68/12.13	c cleaning 20001 clauses out of 40001 with flag 534924/222521
14.37/13.89	c cleaning 20996 clauses out of 42001 with flag 588215/244522
16.07/15.59	c cleaning 21999 clauses out of 44004 with flag 646345/267521
18.17/17.64	c cleaning 22995 clauses out of 46005 with flag 707134/291521
20.28/19.72	c cleaning 23997 clauses out of 48012 with flag 769524/316523
22.28/21.79	c cleaning 25002 clauses out of 50014 with flag 832973/342522
24.78/24.29	c cleaning 26007 clauses out of 52013 with flag 898891/369523
27.27/26.75	c cleaning 26996 clauses out of 54004 with flag 968251/397521
30.17/29.69	c cleaning 28002 clauses out of 56008 with flag 1039949/426521
33.17/32.69	c cleaning 28999 clauses out of 58006 with flag 1112304/456521
36.17/35.63	c cleaning 30004 clauses out of 60008 with flag 1187533/487522
39.28/38.79	c cleaning 30996 clauses out of 62003 with flag 1269338/519521
42.78/42.27	c cleaning 32005 clauses out of 64010 with flag 1352086/552524
46.38/45.86	c cleaning 32999 clauses out of 66002 with flag 1434722/586521
49.68/49.12	c cleaning 33995 clauses out of 68003 with flag 1523845/621521
53.98/53.47	c cleaning 34999 clauses out of 70008 with flag 1614646/657521
58.18/57.65	c cleaning 36000 clauses out of 72009 with flag 1708797/694521
62.68/62.14	c cleaning 37002 clauses out of 74010 with flag 1804871/732522
67.28/66.76	c cleaning 37994 clauses out of 76007 with flag 1901463/771521
71.88/71.33	c cleaning 38998 clauses out of 78013 with flag 2000367/811521
77.28/76.72	c cleaning 40004 clauses out of 80015 with flag 2098733/852521
82.52/81.90	c cleaning 41001 clauses out of 82012 with flag 2209547/894522
87.42/86.84	c cleaning 42005 clauses out of 84015 with flag 2320568/937526
92.52/91.93	c cleaning 43000 clauses out of 86006 with flag 2434971/981522
97.42/96.83	c cleaning 43999 clauses out of 88006 with flag 2561152/1026522
102.92/102.32	c cleaning 44999 clauses out of 90006 with flag 2685500/1072521
108.92/108.32	c cleaning 45999 clauses out of 92007 with flag 2808475/1119521
115.13/114.57	c cleaning 47000 clauses out of 94008 with flag 2930466/1167521
121.63/121.04	c cleaning 47997 clauses out of 96008 with flag 3051712/1216521
128.23/127.62	c cleaning 49001 clauses out of 98011 with flag 3172968/1266521
135.22/134.60	c cleaning 50003 clauses out of 100010 with flag 3302042/1317521
142.92/142.33	c cleaning 50990 clauses out of 102008 with flag 3432276/1369522
150.62/150.05	c cleaning 52006 clauses out of 104017 with flag 3566342/1422521
158.22/157.62	c cleaning 53002 clauses out of 106012 with flag 3705638/1476522
166.13/165.59	c cleaning 54000 clauses out of 108010 with flag 3843616/1531522
174.73/174.18	c cleaning 55003 clauses out of 110009 with flag 3983167/1587521
184.13/183.58	c cleaning 56000 clauses out of 112007 with flag 4124125/1644522
193.03/192.46	c cleaning 56998 clauses out of 114007 with flag 4267176/1702522
203.05/202.50	c cleaning 57995 clauses out of 116009 with flag 4417845/1761522
212.60/211.96	c cleaning 58997 clauses out of 118013 with flag 4569983/1821521
222.49/221.90	c cleaning 60002 clauses out of 120019 with flag 4726846/1882524
232.81/232.12	c cleaning 61000 clauses out of 122014 with flag 4888365/1944521
244.40/243.79	c cleaning 61994 clauses out of 124014 with flag 5050615/2007521
255.62/254.98	c cleaning 63001 clauses out of 126020 with flag 5216980/2071521
267.72/267.03	c cleaning 64002 clauses out of 128019 with flag 5384242/2136521
280.02/279.34	c cleaning 65004 clauses out of 130017 with flag 5558439/2202521
292.53/291.90	c cleaning 66002 clauses out of 132016 with flag 5728435/2269524
305.54/304.88	c cleaning 66998 clauses out of 134011 with flag 5902028/2337521
318.83/318.11	c cleaning 67999 clauses out of 136013 with flag 6081065/2406521
332.63/331.99	c cleaning 69003 clauses out of 138015 with flag 6263251/2476522
348.24/347.58	c cleaning 70001 clauses out of 140011 with flag 6454665/2547521
363.55/362.89	c cleaning 71005 clauses out of 142010 with flag 6636523/2619521
378.22/377.42	c cleaning 71995 clauses out of 144007 with flag 6817908/2692523
392.81/392.09	c cleaning 72996 clauses out of 146010 with flag 7003370/2766521
409.81/409.09	c cleaning 74000 clauses out of 148014 with flag 7192493/2841521
427.91/427.12	c cleaning 75005 clauses out of 150015 with flag 7383199/2917522
445.82/445.07	c cleaning 76002 clauses out of 152009 with flag 7577495/2994521
463.02/462.24	c cleaning 76998 clauses out of 154008 with flag 7781840/3072522
481.42/480.64	c cleaning 78005 clauses out of 156011 with flag 7988371/3151523
497.82/497.08	c cleaning 78990 clauses out of 158005 with flag 8201831/3231522
514.83/514.04	c cleaning 80004 clauses out of 160015 with flag 8428306/3312522
530.83/530.05	c cleaning 80998 clauses out of 162011 with flag 8654113/3394522
547.93/547.17	c cleaning 81996 clauses out of 164012 with flag 8887016/3477521
566.35/565.58	c cleaning 83003 clauses out of 166016 with flag 9118078/3561521
587.42/586.59	c cleaning 83998 clauses out of 168014 with flag 9362140/3646522
608.12/607.24	c cleaning 84999 clauses out of 170015 with flag 9606640/3732521
627.21/626.35	c cleaning 86003 clauses out of 172016 with flag 9861173/3819521
648.61/647.72	c cleaning 87002 clauses out of 174014 with flag 10119887/3907522
673.11/672.25	c cleaning 87989 clauses out of 176012 with flag 10348658/3996522
699.00/698.15	c cleaning 89002 clauses out of 178022 with flag 10585704/4086521
727.20/726.31	c cleaning 90007 clauses out of 180021 with flag 10820263/4177522
755.09/754.24	c cleaning 91003 clauses out of 182013 with flag 11055062/4269521
784.59/783.72	c cleaning 91994 clauses out of 184013 with flag 11303838/4362524
816.39/815.56	c cleaning 93002 clauses out of 186016 with flag 11555643/4456521
848.71/847.74	c cleaning 94003 clauses out of 188015 with flag 11810678/4551522
881.41/880.48	c cleaning 95002 clauses out of 190011 with flag 12069361/4647521
913.79/912.85	c cleaning 95997 clauses out of 192010 with flag 12325269/4744522
944.60/943.62	c cleaning 96992 clauses out of 194012 with flag 12571665/4842521
973.09/972.19	c cleaning 98000 clauses out of 196020 with flag 12821107/4941521
1000.89/999.97	c cleaning 99002 clauses out of 198020 with flag 13078148/5041521
1026.68/1025.78	c cleaning 100005 clauses out of 200020 with flag 13337401/5142523
1053.48/1052.57	c cleaning 101000 clauses out of 202013 with flag 13609013/5244521
1081.68/1080.77	c cleaning 101991 clauses out of 204014 with flag 13881468/5347522
1109.39/1108.36	c cleaning 102995 clauses out of 206022 with flag 14158307/5451521
1139.39/1138.34	c cleaning 104009 clauses out of 208027 with flag 14439627/5556521
1167.99/1166.91	c cleaning 105005 clauses out of 210021 with flag 14726876/5662524
1197.48/1196.47	c cleaning 105996 clauses out of 212013 with flag 15012336/5769521
1225.68/1224.63	c cleaning 107009 clauses out of 214019 with flag 15298776/5877523
1254.68/1253.68	c cleaning 107995 clauses out of 216008 with flag 15580855/5986521
1285.77/1284.80	c cleaning 109002 clauses out of 218013 with flag 15867131/6096521
1317.47/1316.41	c cleaning 110005 clauses out of 220017 with flag 16158028/6207527
1351.11/1349.94	c cleaning 111002 clauses out of 222006 with flag 16448355/6319521
1384.80/1383.60	c cleaning 111991 clauses out of 224004 with flag 16733140/6432521
1418.99/1417.89	c cleaning 113006 clauses out of 226013 with flag 17019398/6546521
1452.49/1451.32	c cleaning 113997 clauses out of 228007 with flag 17307366/6661521
1487.18/1486.01	c cleaning 114997 clauses out of 230011 with flag 17601055/6777522
1519.98/1518.87	c cleaning 115991 clauses out of 232013 with flag 17898141/6894521
1556.59/1555.41	c cleaning 117006 clauses out of 234022 with flag 18192201/7012521
1589.40/1588.18	c cleaning 117996 clauses out of 236017 with flag 18490190/7131522
1627.69/1626.43	c cleaning 118998 clauses out of 238020 with flag 18792981/7251521
1673.49/1672.24	c cleaning 120003 clauses out of 240022 with flag 19099308/7372521
1716.68/1715.41	c cleaning 120996 clauses out of 242020 with flag 19405205/7494522
1757.38/1756.17	c cleaning 122008 clauses out of 244025 with flag 19712558/7617523
1800.08/1798.80	c starts		: 349
1800.08/1798.80	c conflicts		: 7739441
1800.08/1798.80	c decisions		: 15379117
1800.08/1798.80	c propagations		: 97277587
1800.08/1798.80	c inspects		: 43047434171
1800.08/1798.80	c shortcuts		: 0
1800.08/1798.80	c learnt literals	: 0
1800.08/1798.80	c learnt binary clauses	: 0
1800.08/1798.80	c learnt ternary clauses	: 0
1800.08/1798.80	c learnt constraints	: 7739442
1800.08/1798.80	c ignored constraints	: 0
1800.08/1798.80	c root simplifications	: 0
1800.08/1798.80	c removed literals (reason simplification)	: 0
1800.08/1798.80	c reason swapping (by a shorter reason)	: 0
1800.08/1798.80	c Calls to reduceDB	: 119
1800.08/1798.80	c Number of update (reduction) of LBD	: 1436797
1800.08/1798.80	c Imported unit clauses	: 0
1800.08/1798.80	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.80	c number of learned constraints concerned by reduction	: 0
1800.08/1798.80	c number of learning phase by resolution	: 0
1800.08/1798.80	c number of learning phase by cutting planes	: 0
1800.08/1798.80	c speed (assignments/second)	: 54083.72677700139
1800.08/1798.80	c non guided choices	0
1800.08/1798.83	c learnt constraints type 
1800.08/1798.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 243936
1800.08/1798.83	s SATISFIABLE
1800.08/1798.83	c Found 4 solution(s)
1800.08/1798.83	v -x1 -x2 -x3 -x4 x5 -x6 x7 x8 x9 -x10 -x11 -x12 x13 x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 x33 -x34 -x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.08/1798.83	c objective function=15
1800.08/1798.83	c Total wall clock time (in seconds): 1798.723

Verifier Data 

OK	15

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-4085411-1465242168/watcher-4085411-1465242168 -o /tmp/evaluation-result-4085411-1465242168/solver-4085411-1465242168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085411-1465242168.opb 

pid=11920
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.36 2.29 2.24 3/194 11923
/proc/meminfo: memFree=29513028/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/11923/stat : 11923 (java) R 11920 11923 9017 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 106148801 278528 33 33554432000 1073741824 1073778376 140734061942448 140734672774680 248781040935 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11923/statm: 68 33 25 9 0 25 0

[startup+0.100163 s]
/proc/loadavg: 2.36 2.29 2.24 3/194 11923
/proc/meminfo: memFree=29513028/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 4411 0 1 0 9 1 0 0 20 0 18 0 106148801 9787879424 6037 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.36 2.29 2.24 3/194 11923
/proc/meminfo: memFree=29513028/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 6730 0 1 0 25 2 0 0 20 0 19 0 106148801 9856040960 7808 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 7808 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040

[startup+0.30032 s]
/proc/loadavg: 2.36 2.29 2.24 3/194 11923
/proc/meminfo: memFree=29513028/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 7685 0 1 0 50 2 0 0 20 0 19 0 106148801 9856040960 8350 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 8350 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700185 s]
/proc/loadavg: 2.36 2.29 2.24 3/194 11923
/proc/meminfo: memFree=29513028/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 14790 0 1 0 117 3 0 0 20 0 19 0 106148801 9856040960 14025 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 14025 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.36 2.29 2.24 3/213 11942
/proc/meminfo: memFree=29463684/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 14794 0 1 0 200 3 0 0 20 0 19 0 106148801 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 14539 2249 9 0 2396937 0
[pid=11923/tid=11925] ppid=11920 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/11923/task/11925/stat : 11925 (java) R 11920 11923 9017 0 -1 4202560 2413 0 1 0 145 1 0 0 20 0 19 0 106148802 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460758030904 140460614405108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11926] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11926/stat : 11926 (java) S 11920 11923 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460736133800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11927] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11927/stat : 11927 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460735081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11928] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11928/stat : 11928 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460734028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11929] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11929/stat : 11929 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460732976168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11930] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11930/stat : 11930 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460395849896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11931] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11931/stat : 11931 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460394797352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11932] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11932/stat : 11932 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460393744808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11933] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11933/stat : 11933 (java) S 11920 11923 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460392692264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11934] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11934/stat : 11934 (java) S 11920 11923 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106148804 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460380494440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11935] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11935/stat : 11935 (java) S 11920 11923 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460379440760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11936] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11936/stat : 11936 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460378388104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11937] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11937/stat : 11937 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460377336848 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11938] ppid=11920 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11923/task/11938/stat : 11938 (java) S 11920 11923 9017 0 -1 4202560 2984 0 0 0 22 0 0 0 20 0 19 0 106148807 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460376283192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11939] ppid=11920 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/11923/task/11939/stat : 11939 (java) S 11920 11923 9017 0 -1 4202560 8127 0 0 0 28 1 0 0 20 0 19 0 106148807 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460375230648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11940] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11940/stat : 11940 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460374178296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11941] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11941/stat : 11941 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460373125960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11942] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11942/stat : 11942 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148817 9856040960 14539 33554432000 1073741824 1073778376 140734061942448 140460372071720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.36 2.29 2.24 3/213 11942
/proc/meminfo: memFree=29458980/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 14797 0 1 0 360 3 0 0 20 0 19 0 106148801 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 16075 2249 9 0 2396937 0
[pid=11923/tid=11925] ppid=11920 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/11923/task/11925/stat : 11925 (java) R 11920 11923 9017 0 -1 4202560 2416 0 1 0 305 1 0 0 20 0 19 0 106148802 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460758023872 140460614426720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11926] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11926/stat : 11926 (java) S 11920 11923 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460736133800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11927] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11927/stat : 11927 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460735081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11928] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11928/stat : 11928 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460734028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11929] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11929/stat : 11929 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460732976168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11930] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11930/stat : 11930 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460395849896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11931] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11931/stat : 11931 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460394797352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11932] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11932/stat : 11932 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460393744808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11933] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11933/stat : 11933 (java) S 11920 11923 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460392692264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11934] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11934/stat : 11934 (java) S 11920 11923 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106148804 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460380494440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11935] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11935/stat : 11935 (java) S 11920 11923 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460379440760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11936] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11936/stat : 11936 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460378388104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11937] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11937/stat : 11937 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460377336848 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11938] ppid=11920 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11923/task/11938/stat : 11938 (java) S 11920 11923 9017 0 -1 4202560 2984 0 0 0 22 0 0 0 20 0 19 0 106148807 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460376283192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11939] ppid=11920 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/11923/task/11939/stat : 11939 (java) S 11920 11923 9017 0 -1 4202560 8127 0 0 0 28 1 0 0 20 0 19 0 106148807 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460375230648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11940] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11940/stat : 11940 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460374178296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11941] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11941/stat : 11941 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460373125960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11942] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11942/stat : 11942 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148817 9856040960 16075 33554432000 1073741824 1073778376 140734061942448 140460372071720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.33 2.28 2.24 3/213 11942
/proc/meminfo: memFree=29466948/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=6.87 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 15771 0 1 0 684 3 0 0 20 0 19 0 106148801 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 14634 2251 9 0 2396937 0
[pid=11923/tid=11925] ppid=11920 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/11923/task/11925/stat : 11925 (java) R 11920 11923 9017 0 -1 4202560 2421 0 1 0 624 1 0 0 20 0 19 0 106148802 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460758023872 140460614446407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11926] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11926/stat : 11926 (java) S 11920 11923 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460736133800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11927] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11927/stat : 11927 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460735081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11928] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11928/stat : 11928 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460734028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11929] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11929/stat : 11929 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460732976168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11930] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11930/stat : 11930 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460395849896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11931] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11931/stat : 11931 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460394797352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11932] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11932/stat : 11932 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460393744808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11933] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11933/stat : 11933 (java) S 11920 11923 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106148803 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460392692264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11934] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11934/stat : 11934 (java) S 11920 11923 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106148804 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460380494440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11935] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11935/stat : 11935 (java) S 11920 11923 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460379440760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11936] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11936/stat : 11936 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460378388104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11937] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11937/stat : 11937 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460377336848 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11938] ppid=11920 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11923/task/11938/stat : 11938 (java) S 11920 11923 9017 0 -1 4202560 2984 0 0 0 22 0 0 0 20 0 19 0 106148807 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460376283192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11939] ppid=11920 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/11923/task/11939/stat : 11939 (java) S 11920 11923 9017 0 -1 4202560 9095 0 0 0 33 1 0 0 20 0 19 0 106148807 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460375230648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11940] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11940/stat : 11940 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460374178296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11941] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11941/stat : 11941 (java) S 11920 11923 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460373125960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11942] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11942/stat : 11942 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148817 9856040960 14634 33554432000 1073741824 1073778376 140734061942448 140460372071720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 9625040


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

[pid=11923/tid=11942] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11942/stat : 11942 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148817 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460372071720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1663.6
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.29 2.31 2.27 3/213 12204
/proc/meminfo: memFree=29717924/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=1723.58 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 17051 0 1 0 172318 40 0 0 20 0 19 0 106148801 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 77054 2266 9 0 2396937 0
[pid=11923/tid=11925] ppid=11920 vsize=9625040 CPUtime=1717.28 cores=0,2,4,6
/proc/11923/task/11925/stat : 11925 (java) R 11920 11923 9017 0 -1 4202560 2483 0 1 0 171697 31 0 0 20 0 19 0 106148802 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460758023856 140460614464061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11926] ppid=11920 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/11923/task/11926/stat : 11926 (java) S 11920 11923 9017 0 -1 4202560 92 0 0 0 15 3 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460736133800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11927] ppid=11920 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11923/task/11927/stat : 11927 (java) S 11920 11923 9017 0 -1 4202560 184 0 0 0 13 3 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460735081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11928] ppid=11920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/11923/task/11928/stat : 11928 (java) S 11920 11923 9017 0 -1 4202560 176 0 0 0 10 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460734028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11929] ppid=11920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/11923/task/11929/stat : 11929 (java) S 11920 11923 9017 0 -1 4202560 94 0 0 0 9 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460732976168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11930] ppid=11920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11923/task/11930/stat : 11930 (java) S 11920 11923 9017 0 -1 4202560 33 0 0 0 8 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460395849896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11931] ppid=11920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11923/task/11931/stat : 11931 (java) S 11920 11923 9017 0 -1 4202560 105 0 0 0 8 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460394797352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11932] ppid=11920 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/11923/task/11932/stat : 11932 (java) S 11920 11923 9017 0 -1 4202560 48 0 0 0 11 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460393744808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11933] ppid=11920 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/11923/task/11933/stat : 11933 (java) S 11920 11923 9017 0 -1 4202560 238 0 0 0 9 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460392692264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11934] ppid=11920 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/11923/task/11934/stat : 11934 (java) S 11920 11923 9017 0 -1 4202560 63 0 0 0 0 1 0 0 20 0 19 0 106148804 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460380494440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11935] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11935/stat : 11935 (java) S 11920 11923 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460379440760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11936] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11936/stat : 11936 (java) S 11920 11923 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460378388104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11937] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11937/stat : 11937 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460377336848 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11938] ppid=11920 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11923/task/11938/stat : 11938 (java) S 11920 11923 9017 0 -1 4202560 2984 0 0 0 22 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460376283192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11939] ppid=11920 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/11923/task/11939/stat : 11939 (java) S 11920 11923 9017 0 -1 4202560 9192 0 0 0 35 2 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460375230648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11940] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11940/stat : 11940 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460374178296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11941] ppid=11920 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/11923/task/11941/stat : 11941 (java) S 11920 11923 9017 0 -1 4202560 102 0 0 0 24 22 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460373125960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11942] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11942/stat : 11942 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148817 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460372071720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1723.58
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/213 12205
/proc/meminfo: memFree=29722900/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=1783.57 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 17053 0 1 0 178316 41 0 0 20 0 19 0 106148801 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 77054 2266 9 0 2396937 0
[pid=11923/tid=11925] ppid=11920 vsize=9625040 CPUtime=1777.11 cores=0,2,4,6
/proc/11923/task/11925/stat : 11925 (java) R 11920 11923 9017 0 -1 4202560 2483 0 1 0 177678 33 0 0 20 0 19 0 106148802 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460758023856 140460614445938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11926] ppid=11920 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/11923/task/11926/stat : 11926 (java) S 11920 11923 9017 0 -1 4202560 92 0 0 0 15 3 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460736133800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11927] ppid=11920 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11923/task/11927/stat : 11927 (java) S 11920 11923 9017 0 -1 4202560 184 0 0 0 13 3 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460735081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11928] ppid=11920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/11923/task/11928/stat : 11928 (java) S 11920 11923 9017 0 -1 4202560 176 0 0 0 10 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460734028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11929] ppid=11920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/11923/task/11929/stat : 11929 (java) S 11920 11923 9017 0 -1 4202560 94 0 0 0 9 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460732976168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11930] ppid=11920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11923/task/11930/stat : 11930 (java) S 11920 11923 9017 0 -1 4202560 33 0 0 0 8 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460395849896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11931] ppid=11920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11923/task/11931/stat : 11931 (java) S 11920 11923 9017 0 -1 4202560 105 0 0 0 8 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460394797352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11932] ppid=11920 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/11923/task/11932/stat : 11932 (java) S 11920 11923 9017 0 -1 4202560 48 0 0 0 11 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460393744808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11933] ppid=11920 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/11923/task/11933/stat : 11933 (java) S 11920 11923 9017 0 -1 4202560 238 0 0 0 9 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460392692264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11934] ppid=11920 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/11923/task/11934/stat : 11934 (java) S 11920 11923 9017 0 -1 4202560 63 0 0 0 0 1 0 0 20 0 19 0 106148804 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460380494440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11935] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11935/stat : 11935 (java) S 11920 11923 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460379440760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11936] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11936/stat : 11936 (java) S 11920 11923 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460378388104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11937] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11937/stat : 11937 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460377336848 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11938] ppid=11920 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11923/task/11938/stat : 11938 (java) S 11920 11923 9017 0 -1 4202560 2984 0 0 0 22 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460376283192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11939] ppid=11920 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/11923/task/11939/stat : 11939 (java) S 11920 11923 9017 0 -1 4202560 9192 0 0 0 35 2 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460375230648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11940] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11940/stat : 11940 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460374178296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11941] ppid=11920 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/11923/task/11941/stat : 11941 (java) S 11920 11923 9017 0 -1 4202560 104 0 0 0 25 23 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460373125960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11942] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11942/stat : 11942 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148817 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460372071720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.8 s]
/proc/loadavg: 2.32 2.32 2.27 3/213 12206
/proc/meminfo: memFree=29746236/32872528 swapFree=17452/1581112
[pid=11923] ppid=11920 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/11923/stat : 11923 (java) S 11920 11923 9017 0 -1 4202496 17055 0 1 0 179966 42 0 0 20 0 19 0 106148801 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140734061933584 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11923/statm: 2406260 77054 2266 9 0 2396937 0
[pid=11923/tid=11925] ppid=11920 vsize=9625040 CPUtime=1793.57 cores=0,2,4,6
/proc/11923/task/11925/stat : 11925 (java) R 11920 11923 9017 0 -1 4202560 2483 0 1 0 179324 33 0 0 20 0 19 0 106148802 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460758023856 140460614464146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11926] ppid=11920 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/11923/task/11926/stat : 11926 (java) S 11920 11923 9017 0 -1 4202560 92 0 0 0 15 3 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460736133800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11927] ppid=11920 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/11923/task/11927/stat : 11927 (java) S 11920 11923 9017 0 -1 4202560 184 0 0 0 13 3 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460735081256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11928] ppid=11920 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/11923/task/11928/stat : 11928 (java) S 11920 11923 9017 0 -1 4202560 176 0 0 0 10 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460734028712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11929] ppid=11920 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/11923/task/11929/stat : 11929 (java) S 11920 11923 9017 0 -1 4202560 94 0 0 0 9 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460732976168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11930] ppid=11920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11923/task/11930/stat : 11930 (java) S 11920 11923 9017 0 -1 4202560 33 0 0 0 8 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460395849896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11931] ppid=11920 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11923/task/11931/stat : 11931 (java) S 11920 11923 9017 0 -1 4202560 105 0 0 0 8 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460394797352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11932] ppid=11920 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/11923/task/11932/stat : 11932 (java) S 11920 11923 9017 0 -1 4202560 48 0 0 0 11 2 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460393744808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11933] ppid=11920 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/11923/task/11933/stat : 11933 (java) S 11920 11923 9017 0 -1 4202560 238 0 0 0 9 1 0 0 20 0 19 0 106148803 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460392692264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11934] ppid=11920 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/11923/task/11934/stat : 11934 (java) S 11920 11923 9017 0 -1 4202560 63 0 0 0 0 1 0 0 20 0 19 0 106148804 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460380494440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11923/tid=11935] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11935/stat : 11935 (java) S 11920 11923 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460379440760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11936] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11936/stat : 11936 (java) S 11920 11923 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106148805 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460378388104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11937] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11937/stat : 11937 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460377336848 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11938] ppid=11920 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11923/task/11938/stat : 11938 (java) S 11920 11923 9017 0 -1 4202560 2984 0 0 0 22 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460376283192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11939] ppid=11920 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/11923/task/11939/stat : 11939 (java) S 11920 11923 9017 0 -1 4202560 9192 0 0 0 35 2 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460375230648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11923/tid=11940] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11940/stat : 11940 (java) S 11920 11923 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460374178296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11923/tid=11941] ppid=11920 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/11923/task/11941/stat : 11941 (java) S 11920 11923 9017 0 -1 4202560 106 0 0 0 25 23 0 0 20 0 19 0 106148807 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460373125960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11923/tid=11942] ppid=11920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11923/task/11942/stat : 11942 (java) S 11920 11923 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106148817 9856040960 77054 33554432000 1073741824 1073778376 140734061942448 140460372071720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 11923 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 11923 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=100103
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=880866
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.84
CPU time (s): 1800.08
CPU user time (s): 1799.66
CPU system time (s): 0.42
CPU usage (%): 100.069
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 0.880866
maximum resident set size= 308412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17112
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38281
involuntary context switches= 28424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9233 second user time and 13.262 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-06 21:42:49
IDJOB=4085411
IDBENCH=2860
IDSOLVER=2546
FILE ID=node139/4085411-1465242168
RUNJOBID= node139-1465220260-9033
PBS_JOBID= 19843218
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_10.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085411-1465242168/watcher-4085411-1465242168 -o /tmp/evaluation-result-4085411-1465242168/solver-4085411-1465242168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085411-1465242168.opb

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

MD5SUM BENCH= 863d0ff562dc066d0163e86da5775aea
RANDOM SEED=153360017

node139.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.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
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.868
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.868
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		: 2666.868
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.868
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.868
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.868
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.868
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:        29513580 kB
Buffers:           34508 kB
Cached:            94212 kB
SwapCached:         1464 kB
Active:           998660 kB
Inactive:          74580 kB
Active(anon):     944984 kB
Inactive(anon):     2172 kB
Active(file):      53676 kB
Inactive(file):    72408 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099760 kB
Dirty:               956 kB
Writeback:             0 kB
AnonPages:       2527020 kB
Mapped:            15292 kB
Shmem:                 0 kB
Slab:             568120 kB
SReclaimable:      11532 kB
SUnreclaim:       556588 kB
KernelStack:        1568 kB
PageTables:         9276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2794344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2473984 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 node139 at 2016-06-06 22:12:47