Trace number 4084639

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 1788.68

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K82.opb
MD5SUM007cb74ee15cb0b4c01d23d6abd9d82b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5576
Total number of constraints5742
Number of constraints which are clauses5660
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint82
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 83
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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4084639-1465284186.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.55/0.37	c ... done. Wall clock time 0.251s.
0.55/0.37	c declared #vars     5576
0.55/0.37	c #constraints  5742
0.55/0.37	c constraints type 
0.55/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4605
0.55/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 82
0.55/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.55/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1053
0.55/0.37	c 5742 constraints processed.
1.68/1.09	c cleaning 2483 clauses out of 4991 with flag 26976/5000
2.56/1.82	c cleaning 4242 clauses out of 8500 with flag 65962/11000
3.36/2.69	c cleaning 5606 clauses out of 11257 with flag 119298/18001
4.36/3.62	c cleaning 6747 clauses out of 13651 with flag 177027/26005
5.49/4.73	c cleaning 7945 clauses out of 15899 with flag 246528/35002
6.69/5.95	c cleaning 8940 clauses out of 17949 with flag 318654/45000
8.09/7.34	c cleaning 9960 clauses out of 20009 with flag 389267/56000
9.59/8.81	c cleaning 10600 clauses out of 22050 with flag 460520/68001
11.19/10.44	c cleaning 11398 clauses out of 24449 with flag 537394/81000
13.08/12.31	c cleaning 12109 clauses out of 27050 with flag 623739/95000
14.99/14.28	c cleaning 12903 clauses out of 29939 with flag 719458/110000
17.30/16.59	c cleaning 13696 clauses out of 33037 with flag 822046/126002
19.79/19.03	c cleaning 14833 clauses out of 36335 with flag 931497/143000
22.49/21.73	c cleaning 15576 clauses out of 39502 with flag 1049810/161000
25.32/24.58	c cleaning 16737 clauses out of 42926 with flag 1177319/180001
28.32/27.56	c cleaning 17116 clauses out of 46190 with flag 1316693/200002
31.52/30.75	c cleaning 18410 clauses out of 50072 with flag 1457015/221000
34.92/34.17	c cleaning 19250 clauses out of 53662 with flag 1610167/243000
38.62/37.88	c cleaning 19850 clauses out of 57411 with flag 1767493/266000
42.62/41.83	c cleaning 21239 clauses out of 61561 with flag 1933883/290000
46.61/45.82	c cleaning 21979 clauses out of 65322 with flag 2105780/315000
50.91/50.13	c cleaning 22965 clauses out of 69344 with flag 2281344/341001
55.51/54.78	c cleaning 24001 clauses out of 73377 with flag 2471840/368000
60.65/59.85	c cleaning 24885 clauses out of 77377 with flag 2670765/396001
66.25/65.49	c cleaning 25630 clauses out of 81492 with flag 2881859/425002
72.36/71.54	c cleaning 26785 clauses out of 85861 with flag 3120644/455001
78.65/77.81	c cleaning 27750 clauses out of 90075 with flag 3364515/486000
85.15/84.39	c cleaning 28610 clauses out of 94326 with flag 3614054/518001
92.05/91.22	c cleaning 29647 clauses out of 98715 with flag 3874588/551000
99.26/98.46	c cleaning 30475 clauses out of 103069 with flag 4139743/585001
106.96/106.18	c cleaning 31680 clauses out of 107593 with flag 4434195/620000
114.97/114.17	c cleaning 32537 clauses out of 111913 with flag 4742845/656000
122.67/121.89	c cleaning 33625 clauses out of 116378 with flag 5044599/693002
131.06/130.13	c cleaning 34450 clauses out of 120751 with flag 5369045/731000
140.66/139.76	c cleaning 35348 clauses out of 125302 with flag 5721718/770001
151.05/150.11	c cleaning 36533 clauses out of 129954 with flag 6075461/810001
161.05/160.19	c cleaning 37561 clauses out of 134422 with flag 6473440/851002
171.24/170.34	c cleaning 38178 clauses out of 138859 with flag 6855325/893000
181.69/180.67	c cleaning 39707 clauses out of 143682 with flag 7250388/936001
192.79/191.71	c cleaning 40552 clauses out of 147975 with flag 7655619/980001
204.09/203.08	c cleaning 41867 clauses out of 152423 with flag 8078498/1025001
216.28/215.07	c cleaning 42590 clauses out of 156555 with flag 8507282/1071000
228.99/227.75	c cleaning 43589 clauses out of 160967 with flag 8953663/1118002
242.78/241.32	c cleaning 44656 clauses out of 165376 with flag 9431332/1166000
256.57/255.11	c cleaning 45518 clauses out of 169720 with flag 9921002/1215000
271.38/269.91	c cleaning 46722 clauses out of 174203 with flag 10485247/1265001
286.89/285.25	c cleaning 47665 clauses out of 178481 with flag 11013127/1316001
303.49/301.66	c cleaning 48592 clauses out of 182815 with flag 11602680/1368000
320.39/318.52	c cleaning 49859 clauses out of 187223 with flag 12337792/1421000
336.42/334.35	c cleaning 51061 clauses out of 191367 with flag 12908247/1475003
353.48/351.32	c cleaning 51803 clauses out of 195303 with flag 13477229/1530000
371.79/369.58	c cleaning 52747 clauses out of 199499 with flag 14073669/1586000
391.38/389.00	c cleaning 53794 clauses out of 203752 with flag 14707952/1643000
411.09/408.78	c cleaning 54821 clauses out of 207958 with flag 15439489/1701000
430.18/427.70	c cleaning 56137 clauses out of 212137 with flag 16073033/1760000
450.25/447.78	c cleaning 56966 clauses out of 216000 with flag 16765125/1820000
470.84/468.29	c cleaning 58153 clauses out of 220036 with flag 17424198/1881002
493.23/490.59	c cleaning 59188 clauses out of 223883 with flag 18254738/1943002
515.31/512.51	c cleaning 60307 clauses out of 227693 with flag 19051279/2006000
536.99/534.15	c cleaning 61086 clauses out of 231390 with flag 19791675/2070004
560.53/557.50	c cleaning 62107 clauses out of 235301 with flag 20601220/2135001
584.11/581.07	c cleaning 63184 clauses out of 239193 with flag 21444253/2201000
609.42/606.29	c cleaning 64105 clauses out of 243009 with flag 22344491/2268000
635.00/631.79	c cleaning 64901 clauses out of 246905 with flag 23207636/2336001
661.28/657.86	c cleaning 66472 clauses out of 251003 with flag 24109322/2405000
688.08/684.57	c cleaning 67348 clauses out of 254531 with flag 25070454/2475000
715.84/712.18	c cleaning 68534 clauses out of 258183 with flag 26038474/2546000
745.18/741.44	c cleaning 69463 clauses out of 261649 with flag 27146465/2618000
775.23/771.37	c cleaning 70824 clauses out of 265190 with flag 28255184/2691004
805.59/801.54	c cleaning 71249 clauses out of 268363 with flag 29225572/2765001
836.26/832.08	c cleaning 72403 clauses out of 272113 with flag 30305967/2840001
871.10/866.72	c cleaning 73723 clauses out of 275709 with flag 31549658/2916000
903.47/898.98	c cleaning 74706 clauses out of 278986 with flag 32622607/2993000
935.44/930.77	c cleaning 75789 clauses out of 282281 with flag 33677621/3071001
971.18/966.39	c cleaning 76438 clauses out of 285491 with flag 34980374/3150000
1007.33/1002.33	c cleaning 77313 clauses out of 289054 with flag 36458733/3230001
1043.11/1037.90	c cleaning 78688 clauses out of 292739 with flag 38008379/3311000
1080.62/1075.22	c cleaning 79980 clauses out of 296051 with flag 39744521/3393000
1122.73/1117.12	c cleaning 81144 clauses out of 299072 with flag 41586948/3476001
1162.88/1157.20	c cleaning 81875 clauses out of 301927 with flag 43072900/3560000
1201.35/1195.32	c cleaning 82711 clauses out of 305053 with flag 44379715/3645001
1243.66/1237.47	c cleaning 83859 clauses out of 308341 with flag 46094626/3731000
1284.12/1277.67	c cleaning 85328 clauses out of 311482 with flag 47704778/3818000
1323.45/1316.73	c cleaning 85957 clauses out of 314154 with flag 49059359/3906000
1366.45/1359.41	c cleaning 87088 clauses out of 317198 with flag 50439544/3995001
1410.38/1403.04	c cleaning 88032 clauses out of 320109 with flag 51804912/4085000
1454.97/1447.39	c cleaning 88799 clauses out of 323077 with flag 53150902/4176000
1501.72/1493.61	c cleaning 90125 clauses out of 326281 with flag 54751263/4268003
1554.02/1545.53	c cleaning 90640 clauses out of 329154 with flag 56590517/4361001
1603.38/1594.44	c cleaning 92474 clauses out of 332514 with flag 58469217/4455001
1652.91/1643.50	c cleaning 93025 clauses out of 335039 with flag 60258993/4550000
1705.67/1695.64	c cleaning 94341 clauses out of 338014 with flag 62195955/4646000
1755.58/1744.96	c cleaning 94826 clauses out of 340673 with flag 63740419/4743000
1800.00/1788.61	c starts		: 42328
1800.00/1788.61	c conflicts		: 4833114
1800.00/1788.61	c decisions		: 60568864
1800.00/1788.61	c propagations		: 1698184271
1800.00/1788.61	c inspects		: 19399163561
1800.00/1788.61	c shortcuts		: 0
1800.00/1788.61	c learnt literals	: 43
1800.00/1788.61	c learnt binary clauses	: 87862
1800.00/1788.61	c learnt ternary clauses	: 95448
1800.00/1788.61	c learnt constraints	: 4833071
1800.00/1788.61	c ignored constraints	: 0
1800.00/1788.61	c root simplifications	: 0
1800.00/1788.61	c removed literals (reason simplification)	: 0
1800.00/1788.61	c reason swapping (by a shorter reason)	: 0
1800.00/1788.61	c Calls to reduceDB	: 93
1800.00/1788.61	c Number of update (reduction) of LBD	: 4378404
1800.00/1788.61	c Imported unit clauses	: 0
1800.00/1788.61	c number of reductions to clauses (during analyze)	: 0
1800.00/1788.61	c number of learned constraints concerned by reduction	: 0
1800.00/1788.61	c number of learning phase by resolution	: 0
1800.00/1788.61	c number of learning phase by cutting planes	: 0
1800.00/1788.61	c speed (assignments/second)	: 949643.2776694773
1800.00/1788.61	c non guided choices	3880
1800.00/1788.61	c timeout
1800.00/1788.67	c learnt constraints type 
1800.00/1788.67	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 87862
1800.00/1788.67	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 248099
1800.00/1788.67	s UNKNOWN
1800.00/1788.67	c Total wall clock time (in seconds): 1788.553

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-4084639-1465284186/watcher-4084639-1465284186 -o /tmp/evaluation-result-4084639-1465284186/solver-4084639-1465284186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3501 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084639-1465284186.opb 

pid=10411
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.16 2.14 2.11 3/193 10414
/proc/meminfo: memFree=30710980/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/10414/stat : 10414 (runsolver) D 10411 10414 3485 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 1 0 110353048 24911872 159 33554432000 4194304 4338465 140733587944336 140733587941528 213866147255 0 0 4096 24578 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/10414/statm: 6082 159 113 36 0 2655 0

[startup+0.100059 s]
/proc/loadavg: 2.16 2.14 2.11 3/193 10414
/proc/meminfo: memFree=30710980/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 4389 0 1 0 7 1 0 0 20 0 18 0 110353048 9787879424 6027 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2389619 6027 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200214 s]
/proc/loadavg: 2.16 2.14 2.11 3/193 10414
/proc/meminfo: memFree=30710980/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 4909 0 1 0 26 1 0 0 20 0 18 0 110353048 9787879424 6963 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2389619 6963 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 2.16 2.14 2.11 3/193 10414
/proc/meminfo: memFree=30710980/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 7101 0 1 0 53 2 0 0 20 0 18 0 110353048 9787879424 9849 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2389619 9849 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700172 s]
/proc/loadavg: 2.16 2.14 2.11 3/193 10414
/proc/meminfo: memFree=30710980/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 8686 0 1 0 134 2 0 0 20 0 19 0 110353048 9856040960 15861 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2406260 15861 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.5007 s]
/proc/loadavg: 2.14 2.13 2.11 5/212 10433
/proc/meminfo: memFree=30658252/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 8696 0 1 0 221 2 0 0 20 0 19 0 110353048 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2406260 16892 2267 9 0 2396937 0
[pid=10414/tid=10416] ppid=10411 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/10414/task/10416/stat : 10416 (java) R 10411 10414 3485 0 -1 4202560 2424 0 1 0 144 2 0 0 20 0 19 0 110353049 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732550823792 139732416374845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10417] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10417/stat : 10417 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732539885864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10418] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10418/stat : 10418 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732538833064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10419] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10419/stat : 10419 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732537780776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10420] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10420/stat : 10420 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732536727976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10421] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10421/stat : 10421 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732535675688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10422] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10422/stat : 10422 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732534622888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10423] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10423/stat : 10423 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732388101160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10424] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10424/stat : 10424 (java) S 10411 10414 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732387048360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10425] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10425/stat : 10425 (java) S 10411 10414 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110353051 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732374849768 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10426] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10426/stat : 10426 (java) S 10411 10414 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732373795832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10427] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10427/stat : 10427 (java) S 10411 10414 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732372743432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10428] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10428/stat : 10428 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732371691920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10429] ppid=10411 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10414/task/10429/stat : 10429 (java) S 10411 10414 3485 0 -1 4202560 2485 0 0 0 44 0 0 0 20 0 19 0 110353054 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732370639544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10430] ppid=10411 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/10414/task/10430/stat : 10430 (java) S 10411 10414 3485 0 -1 4202560 2510 0 0 0 30 0 0 0 20 0 19 0 110353054 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732369586744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10431] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10431/stat : 10431 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732368534648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10432] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10432/stat : 10432 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732367482056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10433] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10433/stat : 10433 (java) S 10411 10414 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110353086 9856040960 16892 33554432000 1073741824 1073778376 140735486596272 139732366427048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.14 2.13 2.11 3/213 10434
/proc/meminfo: memFree=30651232/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 8701 0 1 0 384 2 0 0 20 0 19 0 110353048 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2406260 18940 2267 9 0 2396937 0
[pid=10414/tid=10416] ppid=10411 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/10414/task/10416/stat : 10416 (java) R 10411 10414 3485 0 -1 4202560 2429 0 1 0 303 2 0 0 20 0 19 0 110353049 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732550815440 139732416426930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10417] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10417/stat : 10417 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732539885864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10418] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10418/stat : 10418 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732538833064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10419] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10419/stat : 10419 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732537780776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10420] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10420/stat : 10420 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732536727976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10421] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10421/stat : 10421 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732535675688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10422] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10422/stat : 10422 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732534622888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10423] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10423/stat : 10423 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732388101160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10424] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10424/stat : 10424 (java) S 10411 10414 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732387048360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10425] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10425/stat : 10425 (java) S 10411 10414 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110353051 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732374849768 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10426] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10426/stat : 10426 (java) S 10411 10414 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732373795832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10427] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10427/stat : 10427 (java) S 10411 10414 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732372743432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10428] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10428/stat : 10428 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732371691920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10429] ppid=10411 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/10414/task/10429/stat : 10429 (java) S 10411 10414 3485 0 -1 4202560 2485 0 0 0 46 0 0 0 20 0 19 0 110353054 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732370639544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10430] ppid=10411 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10414/task/10430/stat : 10430 (java) S 10411 10414 3485 0 -1 4202560 2510 0 0 0 32 0 0 0 20 0 19 0 110353054 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732369586744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10431] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10431/stat : 10431 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732368534648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10432] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10432/stat : 10432 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732367482056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10433] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10433/stat : 10433 (java) S 10411 10414 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110353086 9856040960 18940 33554432000 1073741824 1073778376 140735486596272 139732366427048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.13 2.13 2.11 3/213 10434
/proc/meminfo: memFree=30636384/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9625040 CPUtime=7.09 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 8710 0 1 0 706 3 0 0 20 0 19 0 110353048 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2406260 22483 2268 9 0 2396937 0
[pid=10414/tid=10416] ppid=10411 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/10414/task/10416/stat : 10416 (java) R 10411 10414 3485 0 -1 4202560 2437 0 1 0 621 2 0 0 20 0 19 0 110353049 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732550815424 139732416358344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10417] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10417/stat : 10417 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732539885864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10418] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10418/stat : 10418 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732538833064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10419] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10419/stat : 10419 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732537780776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10420] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10420/stat : 10420 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732536727976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10421] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10421/stat : 10421 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732535675688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10422] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10422/stat : 10422 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732534622888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10423] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10423/stat : 10423 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732388101160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10424] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10424/stat : 10424 (java) S 10411 10414 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110353050 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732387048360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10425] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10425/stat : 10425 (java) S 10411 10414 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110353051 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732374849768 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10426] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10426/stat : 10426 (java) S 10411 10414 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732373795832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10427] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10427/stat : 10427 (java) S 10411 10414 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732372743432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10428] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10428/stat : 10428 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732371691920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10429] ppid=10411 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/10414/task/10429/stat : 10429 (java) S 10411 10414 3485 0 -1 4202560 2485 0 0 0 47 0 0 0 20 0 19 0 110353054 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732370639544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10430] ppid=10411 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10414/task/10430/stat : 10430 (java) S 10411 10414 3485 0 -1 4202560 2510 0 0 0 32 0 0 0 20 0 19 0 110353054 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732369586744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10431] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10431/stat : 10431 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732368534648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10432] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10432/stat : 10432 (java) S 10411 10414 3485 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732367482056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10433] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10433/stat : 10433 (java) S 10411 10414 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110353086 9856040960 22483 33554432000 1073741824 1073778376 140735486596272 139732366427048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625040


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

/proc/10414/task/10433/stat : 10433 (java) S 10411 10414 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110353086 9856040960 57198 33554432000 1073741824 1073778376 140735486596272 139732366427048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1672.08
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.74 2.35 2.20 3/213 10607
/proc/meminfo: memFree=30482388/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9625040 CPUtime=1732.8 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 15478 0 1 0 173162 118 0 0 20 0 19 0 110353048 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2406260 59350 2290 9 0 2396937 0
[pid=10414/tid=10416] ppid=10411 vsize=9625040 CPUtime=1710.58 cores=0,2,4,6
/proc/10414/task/10416/stat : 10416 (java) R 10411 10414 3485 0 -1 4202560 2649 0 1 0 171027 31 0 0 20 0 19 0 110353049 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732550823232 139732416319267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10417] ppid=10411 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/10414/task/10417/stat : 10417 (java) S 10411 10414 3485 0 -1 4202560 666 0 0 0 162 14 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732539885864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10418] ppid=10411 vsize=9625040 CPUtime=1.64 cores=0,2,4,6
/proc/10414/task/10418/stat : 10418 (java) S 10411 10414 3485 0 -1 4202560 552 0 0 0 155 9 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732538833064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10419] ppid=10411 vsize=9625040 CPUtime=1.7 cores=0,2,4,6
/proc/10414/task/10419/stat : 10419 (java) S 10411 10414 3485 0 -1 4202560 490 0 0 0 161 9 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732537780776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10420] ppid=10411 vsize=9625040 CPUtime=1.62 cores=0,2,4,6
/proc/10414/task/10420/stat : 10420 (java) S 10411 10414 3485 0 -1 4202560 564 0 0 0 149 13 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732536727976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10421] ppid=10411 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/10414/task/10421/stat : 10421 (java) S 10411 10414 3485 0 -1 4202560 723 0 0 0 154 11 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732535675688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10422] ppid=10411 vsize=9625040 CPUtime=1.64 cores=0,2,4,6
/proc/10414/task/10422/stat : 10422 (java) S 10411 10414 3485 0 -1 4202560 840 0 0 0 155 9 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732534622888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10423] ppid=10411 vsize=9625040 CPUtime=1.64 cores=0,2,4,6
/proc/10414/task/10423/stat : 10423 (java) S 10411 10414 3485 0 -1 4202560 698 0 0 0 151 13 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732388101160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10424] ppid=10411 vsize=9625040 CPUtime=1.71 cores=0,2,4,6
/proc/10414/task/10424/stat : 10424 (java) S 10411 10414 3485 0 -1 4202560 1210 0 0 0 161 10 0 0 20 0 19 0 110353050 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732387048360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10425] ppid=10411 vsize=9625040 CPUtime=3.19 cores=0,2,4,6
/proc/10414/task/10425/stat : 10425 (java) S 10411 10414 3485 0 -1 4202560 724 0 0 0 314 5 0 0 20 0 19 0 110353051 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732374849768 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10426] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10426/stat : 10426 (java) S 10411 10414 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732373795832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10427] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10427/stat : 10427 (java) S 10411 10414 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732372743432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10428] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10428/stat : 10428 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732371691920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10429] ppid=10411 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10414/task/10429/stat : 10429 (java) S 10411 10414 3485 0 -1 4202560 2485 0 0 0 48 0 0 0 20 0 19 0 110353054 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732370639544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10430] ppid=10411 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/10414/task/10430/stat : 10430 (java) S 10411 10414 3485 0 -1 4202560 2514 0 0 0 35 0 0 0 20 0 19 0 110353054 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732369586744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10431] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10431/stat : 10431 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732368534648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10432] ppid=10411 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/10414/task/10432/stat : 10432 (java) S 10411 10414 3485 0 -1 4202560 100 0 0 0 30 29 0 0 20 0 19 0 110353054 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732367482056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10433] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10433/stat : 10433 (java) S 10411 10414 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110353086 9856040960 59350 33554432000 1073741824 1073778376 140735486596272 139732366427048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1732.8
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.39 2.31 2.19 3/213 10608
/proc/meminfo: memFree=30220868/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9625040 CPUtime=1793.66 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 16508 0 1 0 179241 125 0 0 20 0 19 0 110353048 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2406260 66060 2290 9 0 2396937 0
[pid=10414/tid=10416] ppid=10411 vsize=9625040 CPUtime=1769.78 cores=0,2,4,6
/proc/10414/task/10416/stat : 10416 (java) R 10411 10414 3485 0 -1 4202560 2675 0 1 0 176947 31 0 0 20 0 19 0 110353049 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732550823216 139732416292553 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10417] ppid=10411 vsize=9625040 CPUtime=1.9 cores=0,2,4,6
/proc/10414/task/10417/stat : 10417 (java) S 10411 10414 3485 0 -1 4202560 839 0 0 0 176 14 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732539885864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10418] ppid=10411 vsize=9625040 CPUtime=1.81 cores=0,2,4,6
/proc/10414/task/10418/stat : 10418 (java) S 10411 10414 3485 0 -1 4202560 672 0 0 0 171 10 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732538833064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10419] ppid=10411 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/10414/task/10419/stat : 10419 (java) S 10411 10414 3485 0 -1 4202560 507 0 0 0 179 10 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732537780776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10420] ppid=10411 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/10414/task/10420/stat : 10420 (java) S 10411 10414 3485 0 -1 4202560 735 0 0 0 165 14 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732536727976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10421] ppid=10411 vsize=9625040 CPUtime=1.8 cores=0,2,4,6
/proc/10414/task/10421/stat : 10421 (java) S 10411 10414 3485 0 -1 4202560 818 0 0 0 168 12 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732535675688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10422] ppid=10411 vsize=9625040 CPUtime=1.77 cores=0,2,4,6
/proc/10414/task/10422/stat : 10422 (java) S 10411 10414 3485 0 -1 4202560 1060 0 0 0 168 9 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732534622888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10423] ppid=10411 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/10414/task/10423/stat : 10423 (java) S 10411 10414 3485 0 -1 4202560 704 0 0 0 166 13 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732388101160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10424] ppid=10411 vsize=9625040 CPUtime=1.84 cores=0,2,4,6
/proc/10414/task/10424/stat : 10424 (java) S 10411 10414 3485 0 -1 4202560 1327 0 0 0 173 11 0 0 20 0 19 0 110353050 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732387048360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10425] ppid=10411 vsize=9625040 CPUtime=3.46 cores=0,2,4,6
/proc/10414/task/10425/stat : 10425 (java) S 10411 10414 3485 0 -1 4202560 805 0 0 0 341 5 0 0 20 0 19 0 110353051 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732374849768 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10426] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10426/stat : 10426 (java) S 10411 10414 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732373795832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10427] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10427/stat : 10427 (java) S 10411 10414 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732372743432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10428] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10428/stat : 10428 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732371691920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10429] ppid=10411 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10414/task/10429/stat : 10429 (java) S 10411 10414 3485 0 -1 4202560 2485 0 0 0 48 0 0 0 20 0 19 0 110353054 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732370639544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10430] ppid=10411 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/10414/task/10430/stat : 10430 (java) S 10411 10414 3485 0 -1 4202560 2514 0 0 0 35 0 0 0 20 0 19 0 110353054 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732369586744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10431] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10431/stat : 10431 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732368534648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10432] ppid=10411 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/10414/task/10432/stat : 10432 (java) S 10411 10414 3485 0 -1 4202560 104 0 0 0 32 29 0 0 20 0 19 0 110353054 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732367482056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10433] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10433/stat : 10433 (java) S 10411 10414 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110353086 9856040960 66060 33554432000 1073741824 1073778376 140735486596272 139732366427048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.6 s]
/proc/loadavg: 2.36 2.31 2.19 3/213 10608
/proc/meminfo: memFree=30220868/32872528 swapFree=12352/737972
[pid=10414] ppid=10411 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/10414/stat : 10414 (java) S 10411 10414 3485 0 -1 4202496 16509 0 1 0 179875 125 0 0 20 0 19 0 110353048 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 140735486587408 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10414/statm: 2406260 66059 2290 9 0 2396937 0
[pid=10414/tid=10416] ppid=10411 vsize=9625040 CPUtime=1776.05 cores=0,2,4,6
/proc/10414/task/10416/stat : 10416 (java) R 10411 10414 3485 0 -1 4202560 2676 0 1 0 177574 31 0 0 20 0 19 0 110353049 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732550823232 139732416292256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10417] ppid=10411 vsize=9625040 CPUtime=1.91 cores=0,2,4,6
/proc/10414/task/10417/stat : 10417 (java) S 10411 10414 3485 0 -1 4202560 839 0 0 0 177 14 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732539885864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10418] ppid=10411 vsize=9625040 CPUtime=1.82 cores=0,2,4,6
/proc/10414/task/10418/stat : 10418 (java) S 10411 10414 3485 0 -1 4202560 672 0 0 0 172 10 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732538833064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10419] ppid=10411 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/10414/task/10419/stat : 10419 (java) S 10411 10414 3485 0 -1 4202560 507 0 0 0 179 10 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732537780776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10420] ppid=10411 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/10414/task/10420/stat : 10420 (java) S 10411 10414 3485 0 -1 4202560 735 0 0 0 165 14 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732536727976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10421] ppid=10411 vsize=9625040 CPUtime=1.8 cores=0,2,4,6
/proc/10414/task/10421/stat : 10421 (java) S 10411 10414 3485 0 -1 4202560 818 0 0 0 168 12 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732535675688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10422] ppid=10411 vsize=9625040 CPUtime=1.77 cores=0,2,4,6
/proc/10414/task/10422/stat : 10422 (java) S 10411 10414 3485 0 -1 4202560 1060 0 0 0 168 9 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732534622888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10423] ppid=10411 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/10414/task/10423/stat : 10423 (java) S 10411 10414 3485 0 -1 4202560 704 0 0 0 166 13 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732388101160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10414/tid=10424] ppid=10411 vsize=9625040 CPUtime=1.85 cores=0,2,4,6
/proc/10414/task/10424/stat : 10424 (java) S 10411 10414 3485 0 -1 4202560 1327 0 0 0 174 11 0 0 20 0 19 0 110353050 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732387048360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10425] ppid=10411 vsize=9625040 CPUtime=3.46 cores=0,2,4,6
/proc/10414/task/10425/stat : 10425 (java) S 10411 10414 3485 0 -1 4202560 805 0 0 0 341 5 0 0 20 0 19 0 110353051 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732374849768 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10426] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10426/stat : 10426 (java) S 10411 10414 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732373795832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10427] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10427/stat : 10427 (java) S 10411 10414 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110353052 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732372743432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10428] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10428/stat : 10428 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732371691920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10429] ppid=10411 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10414/task/10429/stat : 10429 (java) S 10411 10414 3485 0 -1 4202560 2485 0 0 0 48 0 0 0 20 0 19 0 110353054 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732370639544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10414/tid=10430] ppid=10411 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/10414/task/10430/stat : 10430 (java) S 10411 10414 3485 0 -1 4202560 2514 0 0 0 35 0 0 0 20 0 19 0 110353054 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732369586744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10414/tid=10431] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10431/stat : 10431 (java) S 10411 10414 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110353054 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732368534648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10432] ppid=10411 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/10414/task/10432/stat : 10432 (java) S 10411 10414 3485 0 -1 4202560 104 0 0 0 32 29 0 0 20 0 19 0 110353054 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732367482056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10414/tid=10433] ppid=10411 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10414/task/10433/stat : 10433 (java) S 10411 10414 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110353086 9856040960 66059 33554432000 1073741824 1073778376 140735486596272 139732366427048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 10414 sig 9
??? kill -10414 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 10414 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=198240
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=722738
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1788.68
CPU time (s): 1800
CPU user time (s): 1798.75
CPU system time (s): 1.25
CPU usage (%): 100.633
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 1.72274
maximum resident set size= 681340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16545
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43944
involuntary context switches= 34602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5704 second user time and 13.086 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 09:23:06
IDJOB=4084639
IDBENCH=90125
IDSOLVER=2546
FILE ID=node112/4084639-1465284186
RUNJOBID= node112-1465252319-3501
PBS_JOBID= 19843261
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084639-1465284186/watcher-4084639-1465284186 -o /tmp/evaluation-result-4084639-1465284186/solver-4084639-1465284186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3501 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084639-1465284186.opb

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

MD5SUM BENCH= 007cb74ee15cb0b4c01d23d6abd9d82b
RANDOM SEED=1702832467

node112.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.783
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.56
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.783
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.783
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.783
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.56
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.783
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.54
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.783
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.72
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.783
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.783
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:        30711516 kB
Buffers:          114500 kB
Cached:           153172 kB
SwapCached:         1624 kB
Active:           505016 kB
Inactive:         185104 kB
Active(anon):     423940 kB
Inactive(anon):      608 kB
Active(file):      81076 kB
Inactive(file):   184496 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:              1232 kB
Writeback:             0 kB
AnonPages:       1282520 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             599576 kB
SReclaimable:      43120 kB
SUnreclaim:       556456 kB
KernelStack:        1752 kB
PageTables:         6604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1307256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1243136 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= 71744 MiB
End job on node112 at 2016-06-07 09:52:55