Trace number 3454565

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 Res//CP 2.3.0? (TO) 1800.4 918.397

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3708.opb
MD5SUM0f95e02b74e4e0d269b94f6526e7c8b5
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13264865571
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3625993486
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29705729356859
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29705729356859
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.11/0.12	c Pseudo Boolean Optimization
0.11/0.12	c ManyCore solver with 2 solvers running in parallel
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.12	c Expensive reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.12	c No reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-3454565-1307189880.opb
0.11/0.12	c reading problem ... 
2.33/1.99	c ... done. Wall clock time 1.88s.
2.33/1.99	c #vars     155000
2.33/1.99	c #constraints  63826
2.33/1.99	c constraints type 
2.33/2.00	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5300
2.33/2.00	c constraints type 
2.33/2.00	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
63.56/31.99	c cleaning 2503 clauses out of 5013 with flag 5013/5013
69.53/35.02	c cleaning 4254 clauses out of 8508 with flag 11011/11011
75.62/38.22	c cleaning 5628 clauses out of 11256 with flag 18013/18013
83.33/42.29	c cleaning 6809 clauses out of 13617 with flag 26002/26002
92.77/47.12	c cleaning 7906 clauses out of 15812 with flag 35006/35006
103.09/52.45	c cleaning 8955 clauses out of 17909 with flag 45009/45009
114.77/58.43	c cleaning 9480 clauses out of 18960 with flag 55015/55015
124.66/63.59	c cleaning 9742 clauses out of 19484 with flag 65019/65019
135.01/68.90	c cleaning 9866 clauses out of 19732 with flag 75009/75009
146.34/74.81	c cleaning 9941 clauses out of 19882 with flag 85025/85025
157.60/80.56	c cleaning 9966 clauses out of 19932 with flag 95016/95016
167.48/85.71	c cleaning 9985 clauses out of 19970 with flag 105020/105020
178.25/91.25	c cleaning 9988 clauses out of 19975 with flag 115010/115010
187.49/96.02	c cleaning 9992 clauses out of 19984 with flag 125007/125007
196.57/100.74	c cleaning 9997 clauses out of 19994 with flag 135009/135009
206.26/105.72	c cleaning 9996 clauses out of 19992 with flag 145004/145004
216.01/110.82	c cleaning 10006 clauses out of 20011 with flag 155019/155019
225.89/115.99	c cleaning 9999 clauses out of 19997 with flag 165011/165011
238.57/122.48	c cleaning 9994 clauses out of 19988 with flag 175001/175001
250.69/128.64	c cleaning 9997 clauses out of 19993 with flag 185000/185000
261.99/134.56	c cleaning 10004 clauses out of 20008 with flag 195012/195012
273.65/140.51	c cleaning 10004 clauses out of 20009 with flag 205017/205017
284.57/146.11	c cleaning 9997 clauses out of 19997 with flag 215009/215009
294.45/151.26	c cleaning 9996 clauses out of 19998 with flag 225007/225007
305.19/156.82	c cleaning 10001 clauses out of 20002 with flag 235007/235007
318.04/163.41	c cleaning 9999 clauses out of 20000 with flag 245006/245006
330.28/169.73	c cleaning 9998 clauses out of 19995 with flag 255000/255000
341.73/175.65	c cleaning 10002 clauses out of 20011 with flag 265014/265014
351.24/180.66	c cleaning 10000 clauses out of 20000 with flag 275005/275005
361.09/185.80	c cleaning 10005 clauses out of 20010 with flag 285015/285015
371.94/191.32	c cleaning 10003 clauses out of 20005 with flag 295015/295015
384.35/197.78	c cleaning 10003 clauses out of 20006 with flag 305019/305019
399.42/205.53	c cleaning 9992 clauses out of 19986 with flag 315002/315002
412.25/212.18	c cleaning 9993 clauses out of 19996 with flag 325004/325004
426.47/219.44	c cleaning 9996 clauses out of 19999 with flag 335000/335000
438.34/225.59	c cleaning 9991 clauses out of 20003 with flag 345000/345000
448.96/231.17	c cleaning 9999 clauses out of 20013 with flag 355001/355001
461.62/237.68	c cleaning 9994 clauses out of 20013 with flag 365000/365000
481.81/247.90	c cleaning 10001 clauses out of 20020 with flag 375001/375001
502.07/258.28	c cleaning 10000 clauses out of 20019 with flag 385001/385001
520.12/267.51	c cleaning 10006 clauses out of 20018 with flag 395000/395000
536.78/276.04	c cleaning 9971 clauses out of 20012 with flag 405000/405000
591.86/303.70	c cleaning 10012 clauses out of 20042 with flag 415001/415001
606.09/311.01	c cleaning 10009 clauses out of 20030 with flag 425001/425001
618.91/317.79	c cleaning 10005 clauses out of 20021 with flag 435001/435001
633.52/325.26	c cleaning 10003 clauses out of 20015 with flag 445000/445000
648.34/332.85	c cleaning 9999 clauses out of 20012 with flag 455000/455000
662.55/340.14	c cleaning 10001 clauses out of 20013 with flag 465000/465000
678.82/348.56	c cleaning 10001 clauses out of 20013 with flag 475001/475001
693.43/356.04	c cleaning 10003 clauses out of 20013 with flag 485002/485002
708.05/363.51	c cleaning 9998 clauses out of 20008 with flag 495000/495000
723.06/371.23	c cleaning 9998 clauses out of 20010 with flag 505000/505000
738.71/379.40	c cleaning 10001 clauses out of 20012 with flag 515000/515000
755.71/388.03	c cleaning 9999 clauses out of 20011 with flag 525000/525000
771.36/396.04	c cleaning 10001 clauses out of 20012 with flag 535000/535000
787.94/404.51	c cleaning 10000 clauses out of 20012 with flag 545001/545001
803.63/412.62	c cleaning 9997 clauses out of 20011 with flag 555000/555000
818.84/420.41	c cleaning 9997 clauses out of 20014 with flag 565000/565000
834.26/428.30	c cleaning 10000 clauses out of 20018 with flag 575001/575001
850.06/436.48	c cleaning 10002 clauses out of 20017 with flag 585000/585000
863.18/443.31	c cleaning 10001 clauses out of 20016 with flag 595001/595001
876.94/450.37	c cleaning 10003 clauses out of 20015 with flag 605001/605001
891.96/458.10	c cleaning 9998 clauses out of 20012 with flag 615001/615001
906.97/465.74	c cleaning 10000 clauses out of 20014 with flag 625001/625001
921.61/473.33	c cleaning 10002 clauses out of 20014 with flag 635001/635001
935.83/480.69	c cleaning 9997 clauses out of 20011 with flag 645000/645000
951.98/488.91	c cleaning 9999 clauses out of 20014 with flag 655000/655000
966.17/496.30	c cleaning 10007 clauses out of 20016 with flag 665001/665001
981.38/504.16	c cleaning 9997 clauses out of 20009 with flag 675001/675001
996.36/511.88	c cleaning 10001 clauses out of 20011 with flag 685000/685000
1013.15/520.42	c cleaning 10000 clauses out of 20011 with flag 695001/695001
1029.34/528.77	c cleaning 10000 clauses out of 20010 with flag 705000/705000
1043.96/536.32	c cleaning 9997 clauses out of 20011 with flag 715001/715001
1059.97/544.58	c cleaning 10002 clauses out of 20014 with flag 725001/725001
1075.31/552.48	c cleaning 10000 clauses out of 20012 with flag 735001/735001
1091.29/560.66	c cleaning 10000 clauses out of 20012 with flag 745001/745001
1107.52/569.03	c cleaning 10003 clauses out of 20011 with flag 755000/755000
1139.95/585.44	c cleaning 9985 clauses out of 20008 with flag 765000/765000
1207.01/619.13	c cleaning 10001 clauses out of 20023 with flag 775000/775000
1226.40/629.04	c cleaning 9992 clauses out of 20022 with flag 785000/785000
1273.19/652.77	c cleaning 9971 clauses out of 20031 with flag 795001/795001
1314.56/673.60	c cleaning 9990 clauses out of 20059 with flag 805000/805000
1369.74/701.43	c cleaning 10004 clauses out of 20069 with flag 815000/815000
1405.93/719.74	c cleaning 10001 clauses out of 20065 with flag 825000/825000
1443.32/738.78	c cleaning 10002 clauses out of 20064 with flag 835000/835000
1482.70/758.67	c cleaning 10006 clauses out of 20065 with flag 845003/845003
1520.90/777.92	c cleaning 9995 clauses out of 20056 with flag 855000/855000
1560.07/797.77	c cleaning 9999 clauses out of 20061 with flag 865000/865000
1653.92/844.95	c cleaning 9905 clauses out of 20063 with flag 875001/875001
1800.17/918.22	c starts		: 171
1800.17/918.22	c conflicts		: 878668
1800.17/918.22	c decisions		: 1830626
1800.17/918.22	c propagations		: 34081949
1800.17/918.22	c inspects		: 618097463
1800.17/918.22	c shortcuts		: 0
1800.17/918.22	c learnt literals	: 0
1800.17/918.22	c learnt binary clauses	: 0
1800.17/918.22	c learnt ternary clauses	: 0
1800.17/918.22	c learnt constraints	: 878667
1800.17/918.22	c ignored constraints	: 0
1800.17/918.22	c root simplifications	: 0
1800.17/918.22	c removed literals (reason simplification)	: 8443720
1800.17/918.22	c reason swapping (by a shorter reason)	: 0
1800.17/918.22	c Calls to reduceDB	: 89
1800.17/918.22	c number of reductions to clauses (during analyze)	: 0
1800.17/918.22	c number of learned constraints concerned by reduction	: 0
1800.17/918.22	c number of learning phase by resolution	: 0
1800.17/918.22	c number of learning phase by cutting planes	: 0
1800.17/918.22	c speed (assignments/second)	: 37198.14958520105
1800.17/918.22	c non guided choices	555403
1800.17/918.24	c learnt constraints type 
1800.17/918.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13825
1800.17/918.24	c constraints type 
1800.17/918.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5300
1800.17/918.24	c constraints type 
1800.17/918.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5300
1800.17/918.24	s UNKNOWN
1800.17/918.24	c Total wall clock time (in seconds): 918.123

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-3454565-1307189880/watcher-3454565-1307189880 -o /tmp/evaluation-result-3454565-1307189880/solver-3454565-1307189880 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454565-1307189880.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: 1.85 2.62 3.24 4/516 18983
/proc/meminfo: memFree=21508408/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 2543 0 1 0 0 0 0 0 18 0 2 0 830584724 10681323520 2244 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2607745 2259 906 9 0 2598901 0
[pid=18982/tid=18985] ppid=18979 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) R 18979 18982 15618 0 -1 4202560 4832 0 1 0 0 0 0 0 17 0 2 0 830584724 10694979584 5648 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0276531 s]
/proc/loadavg: 1.85 2.62 3.24 4/516 18983
/proc/meminfo: memFree=21508408/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 9974 0 1 0 0 1 0 0 18 0 10 0 830584724 10703900672 9675 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2613257 9675 969 9 0 2604413 0
[pid=18982/tid=18985] ppid=18979 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) R 18979 18982 15618 0 -1 4202560 8854 0 1 0 0 0 0 0 18 0 10 0 830584724 10703900672 9680 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 47215989893126 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.105615 s]
/proc/loadavg: 1.85 2.62 3.24 4/516 18983
/proc/meminfo: memFree=21508408/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10539644 CPUtime=0.11 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 13022 0 1 0 9 2 0 0 18 0 18 0 830584724 10792595456 12718 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2634911 12718 2092 9 0 2625645 0
[pid=18982/tid=18985] ppid=18979 vsize=10539644 CPUtime=0.08 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) R 18979 18982 15618 0 -1 4202560 11096 0 1 0 7 1 0 0 18 0 18 0 830584724 10792595456 12718 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912496211717 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539644

[startup+0.300563 s]
/proc/loadavg: 1.85 2.62 3.24 4/516 18983
/proc/meminfo: memFree=21508408/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10541320 CPUtime=0.46 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 21524 0 1 0 44 2 0 0 18 0 18 0 830584724 10794311680 20619 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2635330 20622 2199 9 0 2626064 0
[pid=18982/tid=18985] ppid=18979 vsize=10541320 CPUtime=0.28 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) R 18979 18982 15618 0 -1 4202560 17991 0 1 0 26 2 0 0 18 0 18 0 830584724 10794311680 20623 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541320

[startup+0.700477 s]
/proc/loadavg: 1.85 2.62 3.24 4/516 18983
/proc/meminfo: memFree=21508408/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10541456 CPUtime=1.07 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 50677 0 1 0 101 6 0 0 18 0 18 0 830584724 10794450944 49771 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2635364 49774 2204 9 0 2626098 0
[pid=18982/tid=18985] ppid=18979 vsize=10541456 CPUtime=0.67 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) R 18979 18982 15618 0 -1 4202560 47027 0 1 0 62 5 0 0 18 0 18 0 830584724 10794450944 49776 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912505561590 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10541456

[startup+1.50132 s]
/proc/loadavg: 1.85 2.62 3.24 4/552 19019
/proc/meminfo: memFree=20861852/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10541456 CPUtime=1.87 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 128543 0 1 0 173 14 0 0 18 0 18 0 830584724 10794450944 127637 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2635364 127641 2204 9 0 2626098 0
[pid=18982/tid=18985] ppid=18979 vsize=10541456 CPUtime=1.47 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) R 18979 18982 15618 0 -1 4202560 124893 0 1 0 134 13 0 0 19 0 18 0 830584724 10794450944 127642 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912505561453 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18982/tid=18988] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18988/stat : 18988 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 830584726 10794450944 127645 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18990] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18990/stat : 18990 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830584726 10794450944 127647 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18991] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18991/stat : 18991 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830584726 10794450944 127649 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18993] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18993/stat : 18993 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830584726 10794450944 127651 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18995] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18995/stat : 18995 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830584726 10794450944 127652 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18997] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18997/stat : 18997 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830584726 10794450944 127655 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18999] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18999/stat : 18999 (java) S 18979 18982 15618 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 18 0 830584726 10794450944 127656 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19001] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19001/stat : 19001 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830584726 10794450944 127658 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19005] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19005/stat : 19005 (java) S 18979 18982 15618 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830584727 10794450944 127659 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 0 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19007] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19007/stat : 19007 (java) S 18979 18982 15618 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 830584728 10794450944 127661 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19009] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19009/stat : 19009 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 830584728 10794450944 127663 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19011] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19011/stat : 19011 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830584730 10794450944 127663 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512515505 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19013] ppid=18979 vsize=10541456 CPUtime=0.2 cores=1,3,5,7
/proc/18982/task/19013/stat : 19013 (java) S 18979 18982 15618 0 -1 4202560 790 0 0 0 20 0 0 0 17 0 18 0 830584730 10794450944 127669 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19016] ppid=18979 vsize=10541456 CPUtime=0.18 cores=1,3,5,7
/proc/18982/task/19016/stat : 19016 (java) S 18979 18982 15618 0 -1 4202560 1712 0 0 0 18 0 0 0 15 0 18 0 830584730 10794450944 127674 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19018] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19018/stat : 19018 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830584730 10794450944 127686 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19019] ppid=18979 vsize=10541456 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19019/stat : 19019 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830584730 10794450944 127695 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10541456

[startup+3.10093 s]
/proc/loadavg: 1.85 2.62 3.24 8/554 19021
/proc/meminfo: memFree=20140528/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10546148 CPUtime=5.31 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 240757 0 1 0 506 25 0 0 18 0 22 0 830584724 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2636537 237267 2231 9 0 2627271 0
[pid=18982/tid=18985] ppid=18979 vsize=10546148 CPUtime=1.98 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) S 18979 18982 15618 0 -1 4202560 168241 0 1 0 180 18 0 0 15 0 22 0 830584724 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=18988] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18988/stat : 18988 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18990] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18990/stat : 18990 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18991] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18991/stat : 18991 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18993] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18993/stat : 18993 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18995] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18995/stat : 18995 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18997] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18997/stat : 18997 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18999] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18999/stat : 18999 (java) S 18979 18982 15618 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19001] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19001/stat : 19001 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19005] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19005/stat : 19005 (java) S 18979 18982 15618 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830584727 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 0 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19007] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19007/stat : 19007 (java) S 18979 18982 15618 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830584728 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19009] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19009/stat : 19009 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830584728 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19011] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19011/stat : 19011 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584730 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512515505 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19013] ppid=18979 vsize=10546148 CPUtime=0.5 cores=1,3,5,7
/proc/18982/task/19013/stat : 19013 (java) S 18979 18982 15618 0 -1 4202560 2013 0 0 0 50 0 0 0 16 0 22 0 830584730 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19016] ppid=18979 vsize=10546148 CPUtime=0.64 cores=1,3,5,7
/proc/18982/task/19016/stat : 19016 (java) S 18979 18982 15618 0 -1 4202560 4306 0 0 0 64 0 0 0 15 0 22 0 830584730 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19018] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19018/stat : 19018 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830584730 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19019] ppid=18979 vsize=10546148 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19019/stat : 19019 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830584730 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19020] ppid=18979 vsize=10546148 CPUtime=1.09 cores=1,3,5,7
/proc/18982/task/19020/stat : 19020 (java) R 18979 18982 15618 0 -1 4202560 2379 0 0 0 109 0 0 0 20 0 22 0 830584924 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912505652550 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18982/tid=19021] ppid=18979 vsize=10546148 CPUtime=1.06 cores=1,3,5,7
/proc/18982/task/19021/stat : 19021 (java) R 18979 18982 15618 0 -1 4202560 62649 0 0 0 101 5 0 0 18 0 22 0 830584924 10799255552 237267 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912506038811 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 10546148

[startup+6.30135 s]
/proc/loadavg: 2.02 2.65 3.24 6/560 19028
/proc/meminfo: memFree=19499048/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10546844 CPUtime=11.84 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 299318 0 1 0 1152 32 0 0 18 0 22 0 830584724 10799968256 295677 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2636711 295677 2237 9 0 2627445 0
[pid=18982/tid=18985] ppid=18979 vsize=10546844 CPUtime=1.98 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) S 18979 18982 15618 0 -1 4202560 168241 0 1 0 180 18 0 0 15 0 22 0 830584724 10799968256 295677 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=18988] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18988/stat : 18988 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830584726 10799968256 295677 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18990] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18990/stat : 18990 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799968256 295677 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18991] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18991/stat : 18991 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799968256 295677 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18993] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18993/stat : 18993 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799968256 295677 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18995] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18995/stat : 18995 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799968256 295678 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18997] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18997/stat : 18997 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799968256 295678 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18999] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/18999/stat : 18999 (java) S 18979 18982 15618 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 22 0 830584726 10799968256 295678 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19001] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19001/stat : 19001 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584726 10799968256 295679 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19005] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19005/stat : 19005 (java) S 18979 18982 15618 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830584727 10799968256 295679 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 0 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19007] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19007/stat : 19007 (java) S 18979 18982 15618 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830584728 10799968256 295679 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19009] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19009/stat : 19009 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830584728 10799968256 295680 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19011] ppid=18979 vsize=10546844 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19011/stat : 19011 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584730 10799968256 295680 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512515505 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19013] ppid=18979 vsize=10546844 CPUtime=0.58 cores=1,3,5,7
/proc/18982/task/19013/stat : 19013 (java) S 18979 18982 15618 0 -1 4202560 2029 0 0 0 58 0 0 0 15 0 22 0 830584730 10799968256 295681 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19016] ppid=18979 vsize=10546844 CPUtime=0.69 cores=1,3,5,7
/proc/18982/task/19016/stat : 19016 (java) S 18979 18982 15618 0 -1 4202560 4436 0 0 0 69 0 0 0 15 0 22 0 830584730 10799968256 295681 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=13525976/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10546976 CPUtime=1608.71 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 1000349 0 1 0 160757 114 0 0 18 0 22 0 830584724 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2636744 992437 2264 9 0 2627478 0
[pid=18982/tid=18985] ppid=18979 vsize=10546976 CPUtime=1.98 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) S 18979 18982 15618 0 -1 4202560 168255 0 1 0 180 18 0 0 15 0 22 0 830584724 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18988] ppid=18979 vsize=10546976 CPUtime=0.66 cores=1,3,5,7
/proc/18982/task/18988/stat : 18988 (java) S 18979 18982 15618 0 -1 4202560 20971 0 0 0 63 3 0 0 15 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=18990] ppid=18979 vsize=10546976 CPUtime=0.58 cores=1,3,5,7
/proc/18982/task/18990/stat : 18990 (java) S 18979 18982 15618 0 -1 4202560 10912 0 0 0 57 1 0 0 15 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18991] ppid=18979 vsize=10546976 CPUtime=0.67 cores=1,3,5,7
/proc/18982/task/18991/stat : 18991 (java) S 18979 18982 15618 0 -1 4202560 17487 0 0 0 65 2 0 0 15 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18993] ppid=18979 vsize=10546976 CPUtime=0.69 cores=1,3,5,7
/proc/18982/task/18993/stat : 18993 (java) S 18979 18982 15618 0 -1 4202560 14561 0 0 0 68 1 0 0 16 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=18995] ppid=18979 vsize=10546976 CPUtime=0.69 cores=1,3,5,7
/proc/18982/task/18995/stat : 18995 (java) S 18979 18982 15618 0 -1 4202560 9153 0 0 0 68 1 0 0 16 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18997] ppid=18979 vsize=10546976 CPUtime=0.57 cores=1,3,5,7
/proc/18982/task/18997/stat : 18997 (java) S 18979 18982 15618 0 -1 4202560 23796 0 0 0 54 3 0 0 15 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18999] ppid=18979 vsize=10546976 CPUtime=0.91 cores=1,3,5,7
/proc/18982/task/18999/stat : 18999 (java) S 18979 18982 15618 0 -1 4202560 34116 0 0 0 88 3 0 0 15 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19001] ppid=18979 vsize=10546976 CPUtime=0.66 cores=1,3,5,7
/proc/18982/task/19001/stat : 19001 (java) S 18979 18982 15618 0 -1 4202560 20093 0 0 0 64 2 0 0 16 0 22 0 830584726 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19005] ppid=18979 vsize=10546976 CPUtime=37.92 cores=1,3,5,7
/proc/18982/task/19005/stat : 19005 (java) S 18979 18982 15618 0 -1 4202560 89471 0 0 0 3782 10 0 0 15 0 22 0 830584727 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 0 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19007] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19007/stat : 19007 (java) S 18979 18982 15618 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830584728 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19009] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19009/stat : 19009 (java) S 18979 18982 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830584728 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19011] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19011/stat : 19011 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584730 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512515505 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19013] ppid=18979 vsize=10546976 CPUtime=0.89 cores=1,3,5,7
/proc/18982/task/19013/stat : 19013 (java) S 18979 18982 15618 0 -1 4202560 3408 0 0 0 89 0 0 0 15 0 22 0 830584730 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19016] ppid=18979 vsize=10546976 CPUtime=1.01 cores=1,3,5,7
/proc/18982/task/19016/stat : 19016 (java) S 18979 18982 15618 0 -1 4202560 6003 0 0 0 101 0 0 0 15 0 22 0 830584730 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19018] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19018/stat : 19018 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830584730 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19019] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19019/stat : 19019 (java) S 18979 18982 15618 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830584730 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19020] ppid=18979 vsize=10546976 CPUtime=780.72 cores=1,3,5,7
/proc/18982/task/19020/stat : 19020 (java) R 18979 18982 15618 0 -1 4202560 4268 0 0 0 78071 1 0 0 25 0 22 0 830584924 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912506102002 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18982/tid=19021] ppid=18979 vsize=10546976 CPUtime=780.6 cores=1,3,5,7
/proc/18982/task/19021/stat : 19021 (java) R 18979 18982 15618 0 -1 4202560 576646 0 0 0 78000 60 0 0 25 0 22 0 830584924 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912506052248 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18982/tid=19024] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19024/stat : 19024 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830584940 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19025] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19025/stat : 19025 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830584942 10800103424 992437 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1608.71
Current children cumulated vsize (KiB) 10546976

[startup+882.301 s]
/proc/loadavg: 4.02 3.92 3.67 6/560 19054
/proc/meminfo: memFree=13525448/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10546976 CPUtime=1728.32 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 1000437 0 1 0 172718 114 0 0 18 0 22 0 830584724 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2636744 992506 2264 9 0 2627478 0
[pid=18982/tid=18985] ppid=18979 vsize=10546976 CPUtime=1.98 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) S 18979 18982 15618 0 -1 4202560 168256 0 1 0 180 18 0 0 15 0 22 0 830584724 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18988] ppid=18979 vsize=10546976 CPUtime=0.68 cores=1,3,5,7
/proc/18982/task/18988/stat : 18988 (java) S 18979 18982 15618 0 -1 4202560 20971 0 0 0 65 3 0 0 16 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=18990] ppid=18979 vsize=10546976 CPUtime=0.59 cores=1,3,5,7
/proc/18982/task/18990/stat : 18990 (java) S 18979 18982 15618 0 -1 4202560 10924 0 0 0 58 1 0 0 15 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18991] ppid=18979 vsize=10546976 CPUtime=0.68 cores=1,3,5,7
/proc/18982/task/18991/stat : 18991 (java) S 18979 18982 15618 0 -1 4202560 17487 0 0 0 66 2 0 0 15 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=18993] ppid=18979 vsize=10546976 CPUtime=0.72 cores=1,3,5,7
/proc/18982/task/18993/stat : 18993 (java) S 18979 18982 15618 0 -1 4202560 14561 0 0 0 71 1 0 0 15 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18995] ppid=18979 vsize=10546976 CPUtime=0.72 cores=1,3,5,7
/proc/18982/task/18995/stat : 18995 (java) S 18979 18982 15618 0 -1 4202560 9155 0 0 0 71 1 0 0 15 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=18997] ppid=18979 vsize=10546976 CPUtime=0.59 cores=1,3,5,7
/proc/18982/task/18997/stat : 18997 (java) S 18979 18982 15618 0 -1 4202560 23800 0 0 0 56 3 0 0 16 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=18999] ppid=18979 vsize=10546976 CPUtime=0.94 cores=1,3,5,7
/proc/18982/task/18999/stat : 18999 (java) S 18979 18982 15618 0 -1 4202560 34123 0 0 0 91 3 0 0 16 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19001] ppid=18979 vsize=10546976 CPUtime=0.68 cores=1,3,5,7
/proc/18982/task/19001/stat : 19001 (java) S 18979 18982 15618 0 -1 4202560 20093 0 0 0 66 2 0 0 16 0 22 0 830584726 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=19005] ppid=18979 vsize=10546976 CPUtime=38.37 cores=1,3,5,7
/proc/18982/task/19005/stat : 19005 (java) S 18979 18982 15618 0 -1 4202560 89519 0 0 0 3826 11 0 0 15 0 22 0 830584727 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 0 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=19007] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19007/stat : 19007 (java) S 18979 18982 15618 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830584728 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19009] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19009/stat : 19009 (java) S 18979 18982 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830584728 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19011] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19011/stat : 19011 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584730 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512515505 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19013] ppid=18979 vsize=10546976 CPUtime=0.89 cores=1,3,5,7
/proc/18982/task/19013/stat : 19013 (java) S 18979 18982 15618 0 -1 4202560 3408 0 0 0 89 0 0 0 15 0 22 0 830584730 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19016] ppid=18979 vsize=10546976 CPUtime=1.01 cores=1,3,5,7
/proc/18982/task/19016/stat : 19016 (java) S 18979 18982 15618 0 -1 4202560 6003 0 0 0 101 0 0 0 15 0 22 0 830584730 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19018] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19018/stat : 19018 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830584730 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19019] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19019/stat : 19019 (java) S 18979 18982 15618 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830584730 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19020] ppid=18979 vsize=10546976 CPUtime=840.22 cores=1,3,5,7
/proc/18982/task/19020/stat : 19020 (java) R 18979 18982 15618 0 -1 4202560 4277 0 0 0 84021 1 0 0 25 0 22 0 830584924 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912506101899 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18982/tid=19021] ppid=18979 vsize=10546976 CPUtime=840.1 cores=1,3,5,7
/proc/18982/task/19021/stat : 19021 (java) R 18979 18982 15618 0 -1 4202560 576647 0 0 0 83950 60 0 0 25 0 22 0 830584924 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912506039068 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18982/tid=19024] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19024/stat : 19024 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830584940 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19025] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19025/stat : 19025 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830584942 10800103424 992506 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1728.32
Current children cumulated vsize (KiB) 10546976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+918.202 s]
/proc/loadavg: 4.01 3.93 3.68 5/560 19055
/proc/meminfo: memFree=13525656/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=10546976 CPUtime=1800.17 cores=1,3,5,7
/proc/18982/stat : 18982 (java) S 18979 18982 15618 0 -1 4202496 1000447 0 1 0 179903 114 0 0 18 0 22 0 830584724 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 2636744 992511 2264 9 0 2627478 0
[pid=18982/tid=18985] ppid=18979 vsize=10546976 CPUtime=1.98 cores=1,3,5,7
/proc/18982/task/18985/stat : 18985 (java) S 18979 18982 15618 0 -1 4202560 168256 0 1 0 180 18 0 0 15 0 22 0 830584724 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18988] ppid=18979 vsize=10546976 CPUtime=0.69 cores=1,3,5,7
/proc/18982/task/18988/stat : 18988 (java) S 18979 18982 15618 0 -1 4202560 20971 0 0 0 66 3 0 0 16 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=18990] ppid=18979 vsize=10546976 CPUtime=0.6 cores=1,3,5,7
/proc/18982/task/18990/stat : 18990 (java) S 18979 18982 15618 0 -1 4202560 10925 0 0 0 59 1 0 0 15 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18991] ppid=18979 vsize=10546976 CPUtime=0.68 cores=1,3,5,7
/proc/18982/task/18991/stat : 18991 (java) S 18979 18982 15618 0 -1 4202560 17487 0 0 0 66 2 0 0 15 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=18993] ppid=18979 vsize=10546976 CPUtime=0.72 cores=1,3,5,7
/proc/18982/task/18993/stat : 18993 (java) S 18979 18982 15618 0 -1 4202560 14565 0 0 0 71 1 0 0 16 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18995] ppid=18979 vsize=10546976 CPUtime=0.73 cores=1,3,5,7
/proc/18982/task/18995/stat : 18995 (java) S 18979 18982 15618 0 -1 4202560 9155 0 0 0 72 1 0 0 15 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=18997] ppid=18979 vsize=10546976 CPUtime=0.59 cores=1,3,5,7
/proc/18982/task/18997/stat : 18997 (java) S 18979 18982 15618 0 -1 4202560 23800 0 0 0 56 3 0 0 15 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=18999] ppid=18979 vsize=10546976 CPUtime=0.94 cores=1,3,5,7
/proc/18982/task/18999/stat : 18999 (java) S 18979 18982 15618 0 -1 4202560 34123 0 0 0 91 3 0 0 15 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 7 0 0 0
[pid=18982/tid=19001] ppid=18979 vsize=10546976 CPUtime=0.69 cores=1,3,5,7
/proc/18982/task/19001/stat : 19001 (java) S 18979 18982 15618 0 -1 4202560 20093 0 0 0 67 2 0 0 16 0 22 0 830584726 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19005] ppid=18979 vsize=10546976 CPUtime=38.38 cores=1,3,5,7
/proc/18982/task/19005/stat : 19005 (java) S 18979 18982 15618 0 -1 4202560 89519 0 0 0 3827 11 0 0 15 0 22 0 830584727 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 0 0 16800975 18446604459391697920 0 0 -1 1 0 0 0
[pid=18982/tid=19007] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19007/stat : 19007 (java) S 18979 18982 15618 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830584728 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19009] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19009/stat : 19009 (java) S 18979 18982 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830584728 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19011] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19011/stat : 19011 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830584730 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512515505 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19013] ppid=18979 vsize=10546976 CPUtime=0.89 cores=1,3,5,7
/proc/18982/task/19013/stat : 19013 (java) S 18979 18982 15618 0 -1 4202560 3408 0 0 0 89 0 0 0 15 0 22 0 830584730 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19016] ppid=18979 vsize=10546976 CPUtime=1.01 cores=1,3,5,7
/proc/18982/task/19016/stat : 19016 (java) S 18979 18982 15618 0 -1 4202560 6003 0 0 0 101 0 0 0 15 0 22 0 830584730 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19018] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19018/stat : 19018 (java) S 18979 18982 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830584730 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512507801 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19019] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19019/stat : 19019 (java) S 18979 18982 15618 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830584730 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
[pid=18982/tid=19020] ppid=18979 vsize=10546976 CPUtime=876.13 cores=1,3,5,7
/proc/18982/task/19020/stat : 19020 (java) R 18979 18982 15618 0 -1 4202560 4280 0 0 0 87612 1 0 0 25 0 22 0 830584924 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912506101917 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18982/tid=19021] ppid=18979 vsize=10546976 CPUtime=876 cores=1,3,5,7
/proc/18982/task/19021/stat : 19021 (java) R 18979 18982 15618 0 -1 4202560 576647 0 0 0 87540 60 0 0 25 0 22 0 830584924 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 46912506038796 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18982/tid=19024] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19024/stat : 19024 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830584940 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 5 0 0 0
[pid=18982/tid=19025] ppid=18979 vsize=10546976 CPUtime=0 cores=1,3,5,7
/proc/18982/task/19025/stat : 19025 (java) S 18979 18982 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830584942 10800103424 992511 33554432000 1073741824 1073778376 140735086711584 18446744073709551615 254512508416 0 4 0 16800975 18446604459391697920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10546976

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

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

[startup+918.326 s]
/proc/loadavg: 4.01 3.93 3.68 5/560 19055
/proc/meminfo: memFree=13525656/32950928 swapFree=34259960/67111528
[pid=18982] ppid=18979 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/18982/stat : 18982 (java) Z 18979 18982 15618 0 -1 4203548 1000480 0 1 0 179909 122 0 0 17 0 2 0 830584724 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18982/statm: 0 0 0 0 0 0 0
[pid=18982/tid=19020] ppid=18979 vsize=0 CPUtime=876.23 cores=1,3,5,7
/proc/18982/task/19020/stat : 19020 (java) R 18979 18982 15618 0 -1 4203588 4280 0 0 0 87614 9 0 0 25 0 2 0 830584924 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 918.397
CPU time (s): 1800.4
CPU user time (s): 1799.1
CPU system time (s): 1.3008
CPU usage (%): 196.037
Max. virtual memory (cumulated for all children) (KiB): 10550508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.3008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1000480
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= 25767
involuntary context switches= 8981

runsolver used 5.01824 second user time and 11.7982 second system time

The end

Launcher Data

Begin job on node149 at 2011-06-04 14:18:00
IDJOB=3454565
IDBENCH=2285
IDSOLVER=1950
FILE ID=node149/3454565-1307189880
RUNJOBID= node149-1307189880-18965
PBS_JOBID= 13508817
Free space on /tmp= 73748 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454565-1307189880/watcher-3454565-1307189880 -o /tmp/evaluation-result-3454565-1307189880/solver-3454565-1307189880 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454565-1307189880.opb

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

MD5SUM BENCH= 0f95e02b74e4e0d269b94f6526e7c8b5
RANDOM SEED=287588390

node149.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.806
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.61
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.806
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.806
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.82
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21508860 kB
Buffers:        337852 kB
Cached:        3292580 kB
SwapCached:     123196 kB
Active:         385852 kB
Inactive:     10718824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21508860 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:           17900 kB
Writeback:           0 kB
AnonPages:     7374960 kB
Mapped:          17584 kB
Slab:           148812 kB
PageTables:     117460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173078616 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= 73748 MiB
End job on node149 at 2011-06-04 14:33:21