Trace number 3459833

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 Resolution 2.3.0? (TO) 1800.16 1797.68

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_3-sat.opb
MD5SUMcf899369697891a2aa5256c136e26408
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 variables55660
Total number of constraints186884
Number of constraints which are clauses185968
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints916
Minimum length of a constraint1
Maximum length of a constraint120
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3459833-1307169415.opb
0.10/0.11	c reading problem ... 
2.11/1.43	c ... done. Wall clock time 1.32s.
2.11/1.43	c #vars     55660
2.11/1.43	c #constraints  176296
2.11/1.43	c constraints type 
2.11/1.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 24246
2.11/1.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 146919
2.11/1.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 916
5.15/4.01	c cleaning 2493 clauses out of 4999 with flag 5000/5000
7.83/6.55	c cleaning 4249 clauses out of 8505 with flag 11000/11000
10.81/9.56	c cleaning 5613 clauses out of 11256 with flag 18000/18000
14.02/12.76	c cleaning 6820 clauses out of 13644 with flag 26001/26001
17.79/16.47	c cleaning 7900 clauses out of 15822 with flag 35000/35000
21.77/20.40	c cleaning 8950 clauses out of 17922 with flag 45000/45000
26.99/25.61	c cleaning 9947 clauses out of 19972 with flag 56001/56001
31.79/30.41	c cleaning 11003 clauses out of 22024 with flag 68000/68000
37.49/36.15	c cleaning 12004 clauses out of 24021 with flag 81000/81000
43.70/42.31	c cleaning 12997 clauses out of 26019 with flag 95002/95002
49.84/48.44	c cleaning 13963 clauses out of 28020 with flag 110000/110000
57.12/55.73	c cleaning 15011 clauses out of 30060 with flag 126003/126003
64.15/62.74	c cleaning 16015 clauses out of 32048 with flag 143002/143002
71.03/69.67	c cleaning 17003 clauses out of 34032 with flag 161001/161001
81.14/79.75	c cleaning 17993 clauses out of 36028 with flag 180000/180000
88.45/87.08	c cleaning 18983 clauses out of 38035 with flag 200000/200000
97.17/95.72	c cleaning 19995 clauses out of 40052 with flag 221000/221000
106.46/105.09	c cleaning 21013 clauses out of 42057 with flag 243000/243000
117.57/116.14	c cleaning 22007 clauses out of 44044 with flag 266000/266000
127.78/126.33	c cleaning 23009 clauses out of 46037 with flag 290000/290000
137.90/136.42	c cleaning 24004 clauses out of 48029 with flag 315002/315002
147.59/146.15	c cleaning 24979 clauses out of 50023 with flag 341000/341000
158.30/156.88	c cleaning 26013 clauses out of 52045 with flag 368001/368001
171.01/169.54	c cleaning 27010 clauses out of 54033 with flag 396002/396002
183.22/181.70	c cleaning 27983 clauses out of 56021 with flag 425000/425000
196.73/195.27	c cleaning 29008 clauses out of 58039 with flag 455001/455001
209.35/207.87	c cleaning 29974 clauses out of 60030 with flag 486000/486000
225.74/224.29	c cleaning 31008 clauses out of 62056 with flag 518000/518000
239.96/238.46	c cleaning 31970 clauses out of 64048 with flag 551000/551000
256.97/255.49	c cleaning 32945 clauses out of 66080 with flag 585002/585002
272.38/270.86	c cleaning 34035 clauses out of 68134 with flag 620001/620001
288.49/287.02	c cleaning 35048 clauses out of 70099 with flag 656001/656001
307.20/305.66	c cleaning 36017 clauses out of 72051 with flag 693001/693001
326.21/324.63	c cleaning 36989 clauses out of 74033 with flag 731000/731000
345.32/343.70	c cleaning 38003 clauses out of 76046 with flag 770002/770002
363.83/362.20	c cleaning 38964 clauses out of 78041 with flag 810000/810000
381.07/379.47	c cleaning 39987 clauses out of 80077 with flag 851000/851000
397.95/396.30	c cleaning 41041 clauses out of 82093 with flag 893003/893003
417.27/415.72	c cleaning 41979 clauses out of 84049 with flag 936000/936000
437.78/436.19	c cleaning 43029 clauses out of 86070 with flag 980000/980000
460.59/458.91	c cleaning 43998 clauses out of 88041 with flag 1025000/1025000
484.71/483.04	c cleaning 45001 clauses out of 90045 with flag 1071002/1071002
509.52/507.86	c cleaning 45993 clauses out of 92042 with flag 1118000/1118000
541.64/539.91	c cleaning 47012 clauses out of 94049 with flag 1166000/1166000
565.86/564.13	c cleaning 47967 clauses out of 96037 with flag 1215000/1215000
584.97/583.23	c cleaning 49007 clauses out of 98072 with flag 1265002/1265002
605.60/603.84	c cleaning 49973 clauses out of 100063 with flag 1316000/1316000
626.80/625.06	c cleaning 51019 clauses out of 102091 with flag 1368001/1368001
649.52/647.78	c cleaning 52012 clauses out of 104072 with flag 1421001/1421001
680.33/678.57	c cleaning 52969 clauses out of 106060 with flag 1475001/1475001
710.55/708.76	c cleaning 53994 clauses out of 108090 with flag 1530000/1530000
742.76/740.94	c cleaning 55028 clauses out of 110096 with flag 1586000/1586000
772.07/770.22	c cleaning 55997 clauses out of 112068 with flag 1643000/1643000
798.49/796.61	c cleaning 56970 clauses out of 114071 with flag 1701000/1701000
826.01/824.18	c cleaning 57991 clauses out of 116103 with flag 1760002/1760002
857.42/855.50	c cleaning 59024 clauses out of 118111 with flag 1820001/1820001
898.75/896.80	c cleaning 60022 clauses out of 120088 with flag 1881002/1881002
941.38/939.49	c cleaning 61018 clauses out of 122064 with flag 1943000/1943000
983.47/981.53	c cleaning 62017 clauses out of 124048 with flag 2006002/2006002
1012.20/1010.25	c cleaning 62975 clauses out of 126030 with flag 2070001/2070001
1042.53/1040.58	c cleaning 64017 clauses out of 128055 with flag 2135001/2135001
1077.85/1075.83	c cleaning 64977 clauses out of 130037 with flag 2201000/2201000
1112.25/1110.21	c cleaning 65977 clauses out of 132060 with flag 2268000/2268000
1146.87/1144.83	c cleaning 67006 clauses out of 134084 with flag 2336001/2336001
1191.39/1189.39	c cleaning 67991 clauses out of 136078 with flag 2405001/2405001
1233.03/1230.94	c cleaning 69019 clauses out of 138087 with flag 2475001/2475001
1274.13/1272.04	c cleaning 70020 clauses out of 140067 with flag 2546000/2546000
1320.15/1318.00	c cleaning 70998 clauses out of 142047 with flag 2618000/2618000
1359.18/1357.04	c cleaning 71963 clauses out of 144050 with flag 2691001/2691001
1395.60/1393.41	c cleaning 72977 clauses out of 146088 with flag 2765002/2765002
1437.32/1435.11	c cleaning 74007 clauses out of 148110 with flag 2840001/2840001
1478.05/1475.88	c cleaning 75016 clauses out of 150102 with flag 2916000/2916000
1517.86/1515.68	c cleaning 76003 clauses out of 152086 with flag 2993000/2993000
1550.88/1548.67	c cleaning 77010 clauses out of 154083 with flag 3071000/3071000
1588.80/1586.58	c cleaning 78031 clauses out of 156074 with flag 3150001/3150001
1635.02/1632.74	c cleaning 78992 clauses out of 158042 with flag 3230000/3230000
1679.25/1676.93	c cleaning 79989 clauses out of 160051 with flag 3311001/3311001
1737.09/1734.74	c cleaning 80974 clauses out of 162061 with flag 3393000/3393000
1776.80/1774.47	c cleaning 81983 clauses out of 164088 with flag 3476001/3476001
1800.04/1797.62	c starts		: 251
1800.04/1797.62	c conflicts		: 3522892
1800.04/1797.62	c decisions		: 4493984
1800.04/1797.62	c propagations		: 3296992910
1800.04/1797.62	c inspects		: 11805047116
1800.04/1797.62	c shortcuts		: 0
1800.04/1797.62	c learnt literals	: 5
1800.04/1797.62	c learnt binary clauses	: 61
1800.04/1797.62	c learnt ternary clauses	: 2316
1800.04/1797.62	c learnt constraints	: 3522886
1800.04/1797.62	c ignored constraints	: 0
1800.04/1797.62	c root simplifications	: 0
1800.04/1797.62	c removed literals (reason simplification)	: 65401507
1800.04/1797.62	c reason swapping (by a shorter reason)	: 0
1800.04/1797.62	c Calls to reduceDB	: 79
1800.04/1797.62	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.62	c number of learned constraints concerned by reduction	: 0
1800.04/1797.62	c number of learning phase by resolution	: 0
1800.04/1797.62	c number of learning phase by cutting planes	: 0
1800.04/1797.62	c speed (assignments/second)	: 1835543.8833444496
1800.04/1797.62	c non guided choices	13228
1800.04/1797.65	c learnt constraints type 
1800.04/1797.65	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 61
1800.04/1797.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 128989
1800.04/1797.65	c constraints type 
1800.04/1797.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 24246
1800.04/1797.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 146919
1800.04/1797.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 916
1800.04/1797.65	s UNKNOWN
1800.04/1797.65	c Total wall clock time (in seconds): 1797.544

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3459833-1307169415/watcher-3459833-1307169415 -o /tmp/evaluation-result-3459833-1307169415/solver-3459833-1307169415 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459833-1307169415.opb 

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: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 9643 0 1 0 0 0 0 0 25 0 2 0 828541863 13850947584 9345 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3381579 9358 917 9 0 3372735 0
[pid=29698/tid=29699] ppid=29696 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 8593 0 1 0 0 0 0 0 25 0 2 0 828541864 13850947584 9409 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0502471 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13615016 CPUtime=0.04 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 13839 0 1 0 3 1 0 0 25 0 13 0 828541863 13941776384 13536 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3403754 13537 1680 9 0 3394502 0
[pid=29698/tid=29699] ppid=29696 vsize=13615016 CPUtime=0.03 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 12692 0 1 0 2 1 0 0 18 0 13 0 828541864 13941776384 13538 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 47736456779288 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13615016

[startup+0.101235 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13622032 CPUtime=0.1 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 15503 0 1 0 9 1 0 0 25 0 18 0 828541863 13948960768 15200 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3405508 15201 2093 9 0 3396242 0
[pid=29698/tid=29699] ppid=29696 vsize=13622032 CPUtime=0.08 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 13641 0 1 0 7 1 0 0 23 0 18 0 828541864 13948960768 15201 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253640520737 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622032

[startup+0.305898 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13624652 CPUtime=0.49 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 19537 0 1 0 47 2 0 0 25 0 18 0 828541863 13951643648 18690 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406163 18691 2202 9 0 3396897 0
[pid=29698/tid=29699] ppid=29696 vsize=13624652 CPUtime=0.28 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 15890 0 1 0 27 1 0 0 24 0 18 0 828541864 13951643648 18691 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505562733 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13624652

[startup+0.701106 s]
/proc/loadavg: 1.85 2.00 1.99 2/547 29698
/proc/meminfo: memFree=21091680/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13626192 CPUtime=1.19 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 51726 0 1 0 112 7 0 0 25 0 18 0 828541863 13953220608 49602 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406548 49606 2222 9 0 3397282 0
[pid=29698/tid=29699] ppid=29696 vsize=13626192 CPUtime=0.68 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 45765 0 1 0 63 5 0 0 18 0 18 0 828541864 13953220608 49608 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505617692 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13626192

[startup+1.50098 s]
/proc/loadavg: 1.85 2.00 1.99 3/566 29722
/proc/meminfo: memFree=20781972/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=2.31 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 121618 0 1 0 214 17 0 0 25 0 19 0 828541863 13954408448 116520 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 116521 2229 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1.48 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112437 0 1 0 133 15 0 0 19 0 19 0 828541864 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505859322 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.43 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) R 29696 29698 29102 0 -1 4202560 5133 0 0 0 43 0 0 0 15 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 47736452921075 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.37 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) R 29696 29698 29102 0 -1 4202560 2893 0 0 0 37 0 0 0 15 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 47736457431008 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 116521 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 13627352

[startup+3.1007 s]
/proc/loadavg: 1.86 2.00 1.99 4/586 29758
/proc/meminfo: memFree=20613460/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=4.22 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 122675 0 1 0 404 18 0 0 25 0 19 0 828541863 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 116780 2235 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=3.08 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112648 0 1 0 293 15 0 0 18 0 19 0 828541864 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912506041990 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828541866 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828541867 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828541867 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.58 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5950 0 0 0 58 0 0 0 15 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.52 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2914 0 0 0 52 0 0 0 15 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 116780 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13627352

[startup+6.3011 s]
/proc/loadavg: 1.86 2.00 1.99 4/587 29850
/proc/meminfo: memFree=20405696/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=7.61 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 134562 0 1 0 741 20 0 0 25 0 19 0 828541863 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 128370 2263 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=6.17 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112782 0 1 0 601 16 0 0 19 0 19 0 828541864 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505902896 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.02 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 1948 0 0 0 2 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.01 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 1134 0 0 0 1 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 495 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.02 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 2303 0 0 0 2 0 0 0 18 0 19 0 828541866 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=0.07 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 5867 0 0 0 7 0 0 0 15 0 19 0 828541867 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.62 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5950 0 0 0 62 0 0 0 16 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.6 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 60 0 0 0 16 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 128370 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0

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

[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.29 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1321 0 0 0 29 0 0 0 16 0 19 0 828541866 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.24 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3393 0 0 0 24 0 0 0 16 0 19 0 828541866 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=7.77 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 18221 0 0 0 774 3 0 0 15 0 19 0 828541867 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 145644 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.65
Current children cumulated vsize (KiB) 13627352

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/587 30863
/proc/meminfo: memFree=20370744/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=1724.67 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 152251 0 1 0 172443 24 0 0 25 0 19 0 828541863 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 145793 2264 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1713.73 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112859 0 1 0 171357 16 0 0 25 0 19 0 828541864 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505996021 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.16 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 2041 0 0 0 16 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 384 0 0 0 20 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 2106 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1174 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0.17 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 31 0 0 0 17 0 0 0 15 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.3 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1322 0 0 0 30 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 20 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.24 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3393 0 0 0 24 0 0 0 16 0 19 0 828541866 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=7.88 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 18367 0 0 0 785 3 0 0 15 0 19 0 828541867 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 145793 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.67
Current children cumulated vsize (KiB) 13627352

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 30864
/proc/meminfo: memFree=20365648/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=1784.72 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 153418 0 1 0 178448 24 0 0 25 0 19 0 828541863 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 146950 2264 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1773.48 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112861 0 1 0 177332 16 0 0 25 0 19 0 828541864 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912505846847 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.17 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 2041 0 0 0 17 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 384 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 2106 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1174 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 105 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.32 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1454 0 0 0 32 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.26 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3455 0 0 0 26 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=8.11 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 19260 0 0 0 808 3 0 0 15 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.72
Current children cumulated vsize (KiB) 13627352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 30865
/proc/meminfo: memFree=20365520/32951124 swapFree=53733252/67111528
[pid=29698] ppid=29696 vsize=13627352 CPUtime=1800.04 cores=0,2,4,6
/proc/29698/stat : 29698 (java) S 29696 29698 29102 0 -1 4202496 153418 0 1 0 179980 24 0 0 25 0 19 0 828541863 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 3406838 146950 2264 9 0 3397572 0
[pid=29698/tid=29699] ppid=29696 vsize=13627352 CPUtime=1788.8 cores=0,2,4,6
/proc/29698/task/29699/stat : 29699 (java) R 29696 29698 29102 0 -1 4202560 112861 0 1 0 178864 16 0 0 25 0 19 0 828541864 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 46912506014094 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29698/tid=29701] ppid=29696 vsize=13627352 CPUtime=0.17 cores=0,2,4,6
/proc/29698/task/29701/stat : 29701 (java) S 29696 29698 29102 0 -1 4202560 2041 0 0 0 17 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29702] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29702/stat : 29702 (java) S 29696 29698 29102 0 -1 4202560 384 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29703] ppid=29696 vsize=13627352 CPUtime=0.19 cores=0,2,4,6
/proc/29698/task/29703/stat : 29703 (java) S 29696 29698 29102 0 -1 4202560 2106 0 0 0 19 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29704] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29704/stat : 29704 (java) S 29696 29698 29102 0 -1 4202560 1174 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29705] ppid=29696 vsize=13627352 CPUtime=0.18 cores=0,2,4,6
/proc/29698/task/29705/stat : 29705 (java) S 29696 29698 29102 0 -1 4202560 105 0 0 0 18 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29706] ppid=29696 vsize=13627352 CPUtime=0.32 cores=0,2,4,6
/proc/29698/task/29706/stat : 29706 (java) S 29696 29698 29102 0 -1 4202560 1454 0 0 0 32 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29707] ppid=29696 vsize=13627352 CPUtime=0.2 cores=0,2,4,6
/proc/29698/task/29707/stat : 29707 (java) S 29696 29698 29102 0 -1 4202560 443 0 0 0 20 0 0 0 15 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29708] ppid=29696 vsize=13627352 CPUtime=0.26 cores=0,2,4,6
/proc/29698/task/29708/stat : 29708 (java) S 29696 29698 29102 0 -1 4202560 3455 0 0 0 26 0 0 0 16 0 19 0 828541866 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29709] ppid=29696 vsize=13627352 CPUtime=8.11 cores=0,2,4,6
/proc/29698/task/29709/stat : 29709 (java) S 29696 29698 29102 0 -1 4202560 19260 0 0 0 808 3 0 0 15 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=29698/tid=29710] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29710/stat : 29710 (java) S 29696 29698 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29711] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29711/stat : 29711 (java) S 29696 29698 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828541867 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29712] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29712/stat : 29712 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29713] ppid=29696 vsize=13627352 CPUtime=0.7 cores=0,2,4,6
/proc/29698/task/29713/stat : 29713 (java) S 29696 29698 29102 0 -1 4202560 5956 0 0 0 70 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29714] ppid=29696 vsize=13627352 CPUtime=0.61 cores=0,2,4,6
/proc/29698/task/29714/stat : 29714 (java) S 29696 29698 29102 0 -1 4202560 2927 0 0 0 61 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=29698/tid=29715] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29715/stat : 29715 (java) S 29696 29698 29102 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=29698/tid=29716] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29716/stat : 29716 (java) S 29696 29698 29102 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828541869 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=29698/tid=29729] ppid=29696 vsize=13627352 CPUtime=0 cores=0,2,4,6
/proc/29698/task/29729/stat : 29729 (java) S 29696 29698 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828542013 13954408448 146950 33554432000 1073741824 1073778376 140735427871008 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627352

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.68
CPU time (s): 1800.16
CPU user time (s): 1799.89
CPU system time (s): 0.268959
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 13631844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.268959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153448
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38673
involuntary context switches= 31264

runsolver used 10.6474 second user time and 22.1686 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 08:36:55
IDJOB=3459833
IDBENCH=74391
IDSOLVER=1952
FILE ID=node106/3459833-1307169415
RUNJOBID= node106-1307164011-29120
PBS_JOBID= 13508822
Free space on /tmp= 73700 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459833-1307169415/watcher-3459833-1307169415 -o /tmp/evaluation-result-3459833-1307169415/solver-3459833-1307169415 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459833-1307169415.opb

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

MD5SUM BENCH= cf899369697891a2aa5256c136e26408
RANDOM SEED=523666720

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21091960 kB
Buffers:        398020 kB
Cached:        6050500 kB
SwapCached:      22744 kB
Active:        5962708 kB
Inactive:      5554780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21091960 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:           15112 kB
Writeback:           0 kB
AnonPages:     5065212 kB
Mapped:          25876 kB
Slab:           192468 kB
PageTables:      77916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167537692 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73752 MiB
End job on node106 at 2011-06-04 09:06:54