Trace number 3458781

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.18 1797.67

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUMb1cb8dfc9613a6d80968091d3346a684
Bench CategoryOPT-MEDINT (optimisation, medium integers)
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 FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5507
Optimality of the best value was proved NO
Number of variables23384
Total number of constraints2806
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint14
Maximum length of a constraint1202
Number of terms in the objective function 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7037881
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/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@38540408
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-3458781-1307139822.opb
0.10/0.11	c reading problem ... 
0.92/0.50	c ... done. Wall clock time 0.393s.
0.92/0.50	c #vars     23384
0.92/0.50	c #constraints  2884
0.92/0.50	c constraints type 
0.92/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 39
0.92/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 39
0.92/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2806
7.83/6.97	c cleaning 2499 clauses out of 5001 with flag 5001/5001
17.01/16.02	c cleaning 4251 clauses out of 8502 with flag 11001/11001
25.14/24.19	c cleaning 5641 clauses out of 11289 with flag 18039/18039
42.24/41.25	c cleaning 6798 clauses out of 13614 with flag 26005/26005
53.71/52.62	c cleaning 7960 clauses out of 15942 with flag 35131/35131
70.94/69.86	c cleaning 8905 clauses out of 17853 with flag 45002/45002
117.49/116.37	c cleaning 9481 clauses out of 18989 with flag 55043/55043
141.65/140.41	c cleaning 9840 clauses out of 19700 with flag 65235/65235
176.57/175.35	c cleaning 9791 clauses out of 19625 with flag 75000/75000
199.11/197.88	c cleaning 9913 clauses out of 19850 with flag 85016/85016
216.23/214.97	c cleaning 9935 clauses out of 19931 with flag 95010/95010
245.16/243.83	c cleaning 10064 clauses out of 20137 with flag 105151/105151
294.82/293.48	c cleaning 9920 clauses out of 19933 with flag 115011/115011
317.37/315.91	c cleaning 9994 clauses out of 20027 with flag 125025/125025
341.42/339.99	c cleaning 9984 clauses out of 20010 with flag 135002/135002
398.84/397.30	c cleaning 9973 clauses out of 20029 with flag 145005/145005
456.88/455.41	c cleaning 9968 clauses out of 20055 with flag 155004/155004
479.70/478.20	c cleaning 10085 clauses out of 20295 with flag 165212/165212
499.42/497.80	c cleaning 9962 clauses out of 20001 with flag 175003/175003
514.06/512.48	c cleaning 10022 clauses out of 20066 with flag 185030/185030
528.60/526.94	c cleaning 9995 clauses out of 20022 with flag 195008/195008
542.60/540.92	c cleaning 10009 clauses out of 20063 with flag 205044/205044
686.82/685.14	c cleaning 9965 clauses out of 20039 with flag 215029/215029
719.99/718.24	c cleaning 10000 clauses out of 20046 with flag 225001/225001
835.39/833.69	c cleaning 10034 clauses out of 20152 with flag 235107/235107
847.51/845.71	c cleaning 9978 clauses out of 20023 with flag 245012/245012
875.24/873.44	c cleaning 9930 clauses out of 20033 with flag 255000/255000
895.64/893.86	c cleaning 10049 clauses out of 20103 with flag 265000/265000
918.55/916.76	c cleaning 10010 clauses out of 20075 with flag 275021/275021
945.68/943.85	c cleaning 10004 clauses out of 20068 with flag 285024/285024
983.30/981.49	c cleaning 9994 clauses out of 20041 with flag 295001/295001
1001.74/999.86	c cleaning 10006 clauses out of 20078 with flag 305032/305032
1091.87/1089.94	c cleaning 10000 clauses out of 20040 with flag 315000/315000
1136.40/1134.43	c cleaning 9986 clauses out of 20041 with flag 325001/325001
1150.62/1148.66	c cleaning 10012 clauses out of 20062 with flag 335008/335008
1167.25/1165.26	c cleaning 10002 clauses out of 20046 with flag 345004/345004
1194.38/1192.33	c cleaning 9998 clauses out of 20046 with flag 355006/355006
1250.41/1248.36	c cleaning 9993 clauses out of 20043 with flag 365001/365001
1300.95/1298.89	c cleaning 10002 clauses out of 20050 with flag 375001/375001
1353.87/1351.74	c cleaning 10000 clauses out of 20079 with flag 385032/385032
1413.20/1411.03	c cleaning 9965 clauses out of 20054 with flag 395007/395007
1437.92/1435.79	c cleaning 10009 clauses out of 20083 with flag 405001/405001
1463.84/1461.62	c cleaning 10029 clauses out of 20117 with flag 415044/415044
1529.28/1527.04	c cleaning 10030 clauses out of 20134 with flag 425090/425090
1548.21/1545.99	c cleaning 9985 clauses out of 20016 with flag 435002/435002
1583.34/1581.00	c cleaning 10035 clauses out of 20106 with flag 445077/445077
1602.27/1599.93	c cleaning 9969 clauses out of 20002 with flag 455008/455008
1655.80/1653.46	c cleaning 9956 clauses out of 20031 with flag 465006/465006
1778.85/1776.47	c cleaning 9980 clauses out of 20070 with flag 475001/475001
1800.11/1797.62	c starts		: 151
1800.11/1797.62	c conflicts		: 477298
1800.11/1797.62	c decisions		: 4612389
1800.11/1797.62	c propagations		: 92301932
1800.11/1797.62	c inspects		: 252371834
1800.11/1797.62	c shortcuts		: 0
1800.11/1797.62	c learnt literals	: 0
1800.11/1797.62	c learnt binary clauses	: 0
1800.11/1797.62	c learnt ternary clauses	: 2
1800.11/1797.62	c learnt constraints	: 477297
1800.11/1797.62	c ignored constraints	: 0
1800.11/1797.62	c root simplifications	: 0
1800.11/1797.62	c removed literals (reason simplification)	: 22256568
1800.11/1797.62	c reason swapping (by a shorter reason)	: 0
1800.11/1797.62	c Calls to reduceDB	: 49
1800.11/1797.62	c number of reductions to clauses (during analyze)	: 0
1800.11/1797.62	c number of learned constraints concerned by reduction	: 0
1800.11/1797.62	c number of learning phase by resolution	: 0
1800.11/1797.62	c number of learning phase by cutting planes	: 0
1800.11/1797.62	c speed (assignments/second)	: 51361.02875712251
1800.11/1797.62	c non guided choices	161795
1800.11/1797.63	c learnt constraints type 
1800.11/1797.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12387
1800.11/1797.63	c constraints type 
1800.11/1797.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 39
1800.11/1797.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 39
1800.11/1797.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2806
1800.11/1797.63	s UNKNOWN
1800.11/1797.63	c Total wall clock time (in seconds): 1797.523

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.00 3/545 15199
/proc/meminfo: memFree=24586768/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 4634 0 1 0 0 0 0 0 22 0 2 0 904212917 13850947584 4337 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3381579 4351 917 9 0 3372735 0
[pid=15199/tid=15200] ppid=15197 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 8042 0 1 0 0 1 0 0 24 0 2 0 904212918 13850947584 8858 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.043041 s]
/proc/loadavg: 2.01 2.04 2.00 3/545 15199
/proc/meminfo: memFree=24586768/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 13682 0 1 0 2 1 0 0 22 0 13 0 904212917 13874667520 13380 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3387370 13380 1659 9 0 3378118 0
[pid=15199/tid=15200] ppid=15197 vsize=13549480 CPUtime=0.02 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 12536 0 1 0 1 1 0 0 25 0 13 0 904212918 13874667520 13380 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 47316738618904 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.101033 s]
/proc/loadavg: 2.01 2.04 2.00 3/545 15199
/proc/meminfo: memFree=24586768/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13622052 CPUtime=0.1 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 15525 0 1 0 8 2 0 0 22 0 18 0 904212917 13948981248 15208 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3405513 15211 2092 9 0 3396247 0
[pid=15199/tid=15200] ppid=15197 vsize=13622052 CPUtime=0.08 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 13630 0 1 0 7 1 0 0 18 0 18 0 904212918 13948981248 15214 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622052

[startup+0.366979 s]
/proc/loadavg: 2.01 2.04 2.00 3/545 15199
/proc/meminfo: memFree=24586768/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13626236 CPUtime=0.74 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 25771 0 1 0 71 3 0 0 22 0 18 0 904212917 13953265664 24292 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406676 24320 2210 9 0 3397410 0
[pid=15199/tid=15200] ppid=15197 vsize=13626704 CPUtime=0.35 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 20611 0 1 0 32 3 0 0 18 0 18 0 904212918 13953744896 24340 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912505689613 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 13626236

[startup+0.700892 s]
/proc/loadavg: 2.01 2.04 2.00 3/545 15199
/proc/meminfo: memFree=24586768/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13627368 CPUtime=1.41 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 41255 0 1 0 136 5 0 0 22 0 19 0 904212917 13954424832 38491 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406842 38491 2226 9 0 3397576 0
[pid=15199/tid=15200] ppid=15197 vsize=13627368 CPUtime=0.68 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 34659 0 1 0 64 4 0 0 19 0 19 0 904212918 13954424832 38491 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912505878257 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 13627368

[startup+1.50079 s]
/proc/loadavg: 2.01 2.04 2.00 3/564 15218
/proc/meminfo: memFree=24438012/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13626796 CPUtime=2.43 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 43221 0 1 0 237 6 0 0 22 0 19 0 904212917 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406699 39303 2232 9 0 3397433 0
[pid=15199/tid=15200] ppid=15197 vsize=13626796 CPUtime=1.49 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 35580 0 1 0 144 5 0 0 20 0 19 0 904212918 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 47316740053843 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15199/tid=15202] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15203] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15204] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15205] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15206] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15207] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15208] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15209] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15210] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15199 11644 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 0 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15211] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15199 11644 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 904212921 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15212] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904212921 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15213] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216747002289 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15214] ppid=15197 vsize=13626796 CPUtime=0.41 cores=1,3,5,7
/proc/15199/task/15214/stat : 15214 (java) S 15197 15199 11644 0 -1 4202560 2430 0 0 0 41 0 0 0 21 0 19 0 904212923 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15215] ppid=15197 vsize=13626796 CPUtime=0.5 cores=1,3,5,7
/proc/15199/task/15215/stat : 15215 (java) S 15197 15199 11644 0 -1 4202560 4052 0 0 0 50 0 0 0 16 0 19 0 904212923 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15216] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15216/stat : 15216 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15217] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15217/stat : 15217 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904212923 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 5 0 0 0
[pid=15199/tid=15218] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15218/stat : 15218 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904212971 13953839104 39303 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13626796

[startup+3.1015 s]
/proc/loadavg: 2.01 2.04 2.00 3/564 15218
/proc/meminfo: memFree=24431440/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13626796 CPUtime=4.03 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 44888 0 1 0 397 6 0 0 22 0 19 0 904212917 13953839104 40969 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406699 40969 2232 9 0 3397433 0
[pid=15199/tid=15200] ppid=15197 vsize=13626796 CPUtime=3.09 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 37247 0 1 0 304 5 0 0 25 0 19 0 904212918 13953839104 40969 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912505870701 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15199/tid=15202] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15203] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15204] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15205] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15206] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15207] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15208] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15209] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15210] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15199 11644 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 0 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15211] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15199 11644 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 904212921 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15212] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904212921 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15213] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216747002289 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15214] ppid=15197 vsize=13626796 CPUtime=0.41 cores=1,3,5,7
/proc/15199/task/15214/stat : 15214 (java) S 15197 15199 11644 0 -1 4202560 2430 0 0 0 41 0 0 0 21 0 19 0 904212923 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15215] ppid=15197 vsize=13626796 CPUtime=0.5 cores=1,3,5,7
/proc/15199/task/15215/stat : 15215 (java) S 15197 15199 11644 0 -1 4202560 4052 0 0 0 50 0 0 0 16 0 19 0 904212923 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15216] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15216/stat : 15216 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15217] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15217/stat : 15217 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904212923 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 5 0 0 0
[pid=15199/tid=15218] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15218/stat : 15218 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904212971 13953839104 40971 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13626796

[startup+6.30094 s]
/proc/loadavg: 2.01 2.04 2.00 3/564 15219
/proc/meminfo: memFree=24414576/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13626796 CPUtime=7.23 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 49295 0 1 0 716 7 0 0 22 0 19 0 904212917 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406699 45367 2233 9 0 3397433 0
[pid=15199/tid=15200] ppid=15197 vsize=13626796 CPUtime=6.28 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 41653 0 1 0 623 5 0 0 25 0 19 0 904212918 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912505699812 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15199/tid=15202] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15203] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15204] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15205] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15206] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15207] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15208] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15209] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212920 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15210] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15199 11644 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 904212921 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 0 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15211] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15199 11644 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 904212921 13953839104 45367 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15212] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904212921 13953839104 45368 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15213] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 45368 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216747002289 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15214] ppid=15197 vsize=13626796 CPUtime=0.41 cores=1,3,5,7
/proc/15199/task/15214/stat : 15214 (java) S 15197 15199 11644 0 -1 4202560 2430 0 0 0 41 0 0 0 21 0 19 0 904212923 13953839104 45368 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15215] ppid=15197 vsize=13626796 CPUtime=0.5 cores=1,3,5,7
/proc/15199/task/15215/stat : 15215 (java) S 15197 15199 11644 0 -1 4202560 4052 0 0 0 50 0 0 0 16 0 19 0 904212923 13953839104 45368 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0

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

[pid=15199/tid=15207] ppid=15197 vsize=13626796 CPUtime=0.2 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15199 11644 0 -1 4202560 3939 0 0 0 20 0 0 0 15 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15208] ppid=15197 vsize=13626796 CPUtime=0.26 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15199 11644 0 -1 4202560 8673 0 0 0 25 1 0 0 15 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15209] ppid=15197 vsize=13626796 CPUtime=0.27 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15199 11644 0 -1 4202560 6880 0 0 0 26 1 0 0 16 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15210] ppid=15197 vsize=13626796 CPUtime=2.24 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15199 11644 0 -1 4202560 12438 0 0 0 223 1 0 0 15 0 19 0 904212921 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 0 0 16800975 18446604468695631168 0 0 -1 5 0 0 0
[pid=15199/tid=15211] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15199 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15212] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15199 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15213] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216747002289 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15214] ppid=15197 vsize=13626796 CPUtime=0.46 cores=1,3,5,7
/proc/15199/task/15214/stat : 15214 (java) S 15197 15199 11644 0 -1 4202560 2439 0 0 0 46 0 0 0 15 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15215] ppid=15197 vsize=13626796 CPUtime=0.58 cores=1,3,5,7
/proc/15199/task/15215/stat : 15215 (java) S 15197 15199 11644 0 -1 4202560 4074 0 0 0 58 0 0 0 15 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15216] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15216/stat : 15216 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15217] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15217/stat : 15217 (java) S 15197 15199 11644 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15218] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15218/stat : 15218 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904212971 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.73
Current children cumulated vsize (KiB) 13626796

[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/564 15315
/proc/meminfo: memFree=20068452/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13626796 CPUtime=1724.73 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 140791 0 1 0 172453 20 0 0 22 0 19 0 904212917 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406699 136383 2258 9 0 3397433 0
[pid=15199/tid=15200] ppid=15197 vsize=13626796 CPUtime=1719.32 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 58918 0 1 0 171923 9 0 0 25 0 19 0 904212918 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912505870633 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15199/tid=15202] ppid=15197 vsize=13626796 CPUtime=0.23 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15199 11644 0 -1 4202560 10136 0 0 0 22 1 0 0 15 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15203] ppid=15197 vsize=13626796 CPUtime=0.24 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15199 11644 0 -1 4202560 7811 0 0 0 24 0 0 0 16 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15204] ppid=15197 vsize=13626796 CPUtime=0.32 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15199 11644 0 -1 4202560 13152 0 0 0 30 2 0 0 15 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15205] ppid=15197 vsize=13626796 CPUtime=0.21 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15199 11644 0 -1 4202560 5590 0 0 0 21 0 0 0 15 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15206] ppid=15197 vsize=13626796 CPUtime=0.3 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15199 11644 0 -1 4202560 5493 0 0 0 30 0 0 0 16 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15207] ppid=15197 vsize=13626796 CPUtime=0.2 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15199 11644 0 -1 4202560 3939 0 0 0 20 0 0 0 15 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15208] ppid=15197 vsize=13626796 CPUtime=0.26 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15199 11644 0 -1 4202560 8673 0 0 0 25 1 0 0 15 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15209] ppid=15197 vsize=13626796 CPUtime=0.27 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15199 11644 0 -1 4202560 6880 0 0 0 26 1 0 0 16 0 19 0 904212920 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15210] ppid=15197 vsize=13626796 CPUtime=2.24 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15199 11644 0 -1 4202560 12438 0 0 0 223 1 0 0 15 0 19 0 904212921 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 0 0 16800975 18446604468695631168 0 0 -1 5 0 0 0
[pid=15199/tid=15211] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15199 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15212] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15199 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15213] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216747002289 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15214] ppid=15197 vsize=13626796 CPUtime=0.46 cores=1,3,5,7
/proc/15199/task/15214/stat : 15214 (java) S 15197 15199 11644 0 -1 4202560 2439 0 0 0 46 0 0 0 15 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15215] ppid=15197 vsize=13626796 CPUtime=0.58 cores=1,3,5,7
/proc/15199/task/15215/stat : 15215 (java) S 15197 15199 11644 0 -1 4202560 4074 0 0 0 58 0 0 0 15 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15216] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15216/stat : 15216 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15217] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15217/stat : 15217 (java) S 15197 15199 11644 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 904212923 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15218] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15218/stat : 15218 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904212971 13953839104 136383 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.73
Current children cumulated vsize (KiB) 13626796

[startup+1782.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/564 15317
/proc/meminfo: memFree=20062740/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13626796 CPUtime=1784.79 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 140804 0 1 0 178459 20 0 0 22 0 19 0 904212917 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406699 136389 2258 9 0 3397433 0
[pid=15199/tid=15200] ppid=15197 vsize=13626796 CPUtime=1779.25 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 58924 0 1 0 177916 9 0 0 25 0 19 0 904212918 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912505769775 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15199/tid=15202] ppid=15197 vsize=13626796 CPUtime=0.25 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15199 11644 0 -1 4202560 10136 0 0 0 24 1 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15203] ppid=15197 vsize=13626796 CPUtime=0.24 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15199 11644 0 -1 4202560 7811 0 0 0 24 0 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15204] ppid=15197 vsize=13626796 CPUtime=0.32 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15199 11644 0 -1 4202560 13152 0 0 0 30 2 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15205] ppid=15197 vsize=13626796 CPUtime=0.21 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15199 11644 0 -1 4202560 5590 0 0 0 21 0 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15206] ppid=15197 vsize=13626796 CPUtime=0.3 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15199 11644 0 -1 4202560 5493 0 0 0 30 0 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15207] ppid=15197 vsize=13626796 CPUtime=0.22 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15199 11644 0 -1 4202560 3940 0 0 0 22 0 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15208] ppid=15197 vsize=13626796 CPUtime=0.28 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15199 11644 0 -1 4202560 8673 0 0 0 27 1 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15209] ppid=15197 vsize=13626796 CPUtime=0.29 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15199 11644 0 -1 4202560 6880 0 0 0 28 1 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15210] ppid=15197 vsize=13626796 CPUtime=2.29 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15199 11644 0 -1 4202560 12440 0 0 0 228 1 0 0 15 0 19 0 904212921 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 0 0 16800975 18446604468695631168 0 0 -1 5 0 0 0
[pid=15199/tid=15211] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15199 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15212] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15199 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15213] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216747002289 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15214] ppid=15197 vsize=13626796 CPUtime=0.46 cores=1,3,5,7
/proc/15199/task/15214/stat : 15214 (java) S 15197 15199 11644 0 -1 4202560 2439 0 0 0 46 0 0 0 15 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15215] ppid=15197 vsize=13626796 CPUtime=0.58 cores=1,3,5,7
/proc/15199/task/15215/stat : 15215 (java) S 15197 15199 11644 0 -1 4202560 4074 0 0 0 58 0 0 0 15 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15216] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15216/stat : 15216 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15217] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15217/stat : 15217 (java) S 15197 15199 11644 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15218] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15218/stat : 15218 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904212971 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.79
Current children cumulated vsize (KiB) 13626796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.6 s]
/proc/loadavg: 2.12 2.06 2.01 3/564 15317
/proc/meminfo: memFree=20062788/32951124 swapFree=56241860/67111528
[pid=15199] ppid=15197 vsize=13626796 CPUtime=1800.11 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15199 11644 0 -1 4202496 140804 0 1 0 179991 20 0 0 22 0 19 0 904212917 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15199/statm: 3406699 136389 2258 9 0 3397433 0
[pid=15199/tid=15200] ppid=15197 vsize=13626796 CPUtime=1794.57 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15199 11644 0 -1 4202560 58924 0 1 0 179448 9 0 0 25 0 19 0 904212918 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 46912505769768 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15199/tid=15202] ppid=15197 vsize=13626796 CPUtime=0.25 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15199 11644 0 -1 4202560 10136 0 0 0 24 1 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15203] ppid=15197 vsize=13626796 CPUtime=0.24 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15199 11644 0 -1 4202560 7811 0 0 0 24 0 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15204] ppid=15197 vsize=13626796 CPUtime=0.32 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15199 11644 0 -1 4202560 13152 0 0 0 30 2 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15205] ppid=15197 vsize=13626796 CPUtime=0.21 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15199 11644 0 -1 4202560 5590 0 0 0 21 0 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15206] ppid=15197 vsize=13626796 CPUtime=0.3 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15199 11644 0 -1 4202560 5493 0 0 0 30 0 0 0 15 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15207] ppid=15197 vsize=13626796 CPUtime=0.22 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15199 11644 0 -1 4202560 3940 0 0 0 22 0 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15208] ppid=15197 vsize=13626796 CPUtime=0.28 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15199 11644 0 -1 4202560 8673 0 0 0 27 1 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15209] ppid=15197 vsize=13626796 CPUtime=0.29 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15199 11644 0 -1 4202560 6880 0 0 0 28 1 0 0 16 0 19 0 904212920 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15210] ppid=15197 vsize=13626796 CPUtime=2.29 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15199 11644 0 -1 4202560 12440 0 0 0 228 1 0 0 15 0 19 0 904212921 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 0 0 16800975 18446604468695631168 0 0 -1 5 0 0 0
[pid=15199/tid=15211] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15199 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15212] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15199 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904212921 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15213] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216747002289 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15214] ppid=15197 vsize=13626796 CPUtime=0.46 cores=1,3,5,7
/proc/15199/task/15214/stat : 15214 (java) S 15197 15199 11644 0 -1 4202560 2439 0 0 0 46 0 0 0 15 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
[pid=15199/tid=15215] ppid=15197 vsize=13626796 CPUtime=0.58 cores=1,3,5,7
/proc/15199/task/15215/stat : 15215 (java) S 15197 15199 11644 0 -1 4202560 4074 0 0 0 58 0 0 0 15 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15216] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15216/stat : 15216 (java) S 15197 15199 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746994585 0 4 0 16800975 18446604468695631168 0 0 -1 3 0 0 0
[pid=15199/tid=15217] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15217/stat : 15217 (java) S 15197 15199 11644 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 904212923 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 1 0 0 0
[pid=15199/tid=15218] ppid=15197 vsize=13626796 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15218/stat : 15218 (java) S 15197 15199 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904212971 13953839104 136389 33554432000 1073741824 1073778376 140736108129440 18446744073709551615 216746995200 0 4 0 16800975 18446604468695631168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 13626796

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.67
CPU time (s): 1800.18
CPU user time (s): 1799.95
CPU system time (s): 0.230964
CPU usage (%): 100.139
Max. virtual memory (cumulated for all children) (KiB): 13627460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.230964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140843
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= 38017
involuntary context switches= 22028

runsolver used 9.62254 second user time and 22.2316 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 00:23:43
IDJOB=3458781
IDBENCH=1520
IDSOLVER=1952
FILE ID=node119/3458781-1307139822
RUNJOBID= node119-1307133874-12997
PBS_JOBID= 13508797
Free space on /tmp= 73628 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458781-1307139822/watcher-3458781-1307139822 -o /tmp/evaluation-result-3458781-1307139822/solver-3458781-1307139822 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458781-1307139822.opb

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

MD5SUM BENCH= b1cb8dfc9613a6d80968091d3346a684
RANDOM SEED=330534538

node119.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.815
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.63
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.815
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	: 5332.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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:      24586924 kB
Buffers:        220668 kB
Cached:         565960 kB
SwapCached:      59076 kB
Active:        1071624 kB
Inactive:      6995252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24586924 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            1632 kB
Writeback:           0 kB
AnonPages:     7224924 kB
Mapped:          41640 kB
Slab:           149144 kB
PageTables:      80148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 177303352 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= 73596 MiB
End job on node119 at 2011-06-04 00:53:42