Trace number 3741164

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0? (TO) 1800.01 908.781

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-70.opb
MD5SUM4f155d4f8b05885565510d4fbd89c993
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12552
Total number of constraints283802
Number of constraints which are clauses254979
Number of constraints which are cardinality constraints (but not clauses)914
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint1
Maximum length of a constraint270
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.08/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.09	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		9996466904
0.08/0.09	c Max memory 		10048897024
0.08/0.09	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3741164-1338751566.opb
0.10/0.12	c reading problem ... 
3.00/2.39	c ... done. Wall clock time 2.271s.
3.00/2.39	c #vars     12552
3.00/2.39	c #constraints  280926
3.00/2.39	c constraints type 
3.00/2.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 192016
3.00/2.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 905
3.00/2.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59964
3.00/2.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
3.00/2.39	c constraints type 
3.00/2.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 59964
3.00/2.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 192016
3.00/2.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 905
3.00/2.39	c org.sat4j.pb.constraints.pb.MaxWatchPb => 27909
10.41/5.64	c cleaning 0 clauses out of 5000 with flag 0/5000
19.23/10.05	c cleaning 2466 clauses out of 5000 with flag 5000/5000
30.46/15.70	c cleaning 4265 clauses out of 8541 with flag 11007/11007
36.33/18.77	c cleaning 0 clauses out of 11000 with flag 0/11000
40.90/21.19	c cleaning 5595 clauses out of 11269 with flag 18000/18000
50.98/26.21	c cleaning 6814 clauses out of 13674 with flag 26000/26000
59.17/30.45	c cleaning 7925 clauses out of 15861 with flag 35001/35001
67.98/34.93	c cleaning 8757 clauses out of 17935 with flag 45000/45000
72.08/37.12	c cleaning 0 clauses out of 18000 with flag 0/18000
76.86/39.64	c cleaning 9826 clauses out of 20178 with flag 56000/56000
87.24/44.93	c cleaning 11100 clauses out of 22352 with flag 68000/68000
98.13/50.47	c cleaning 12030 clauses out of 24252 with flag 81000/81000
109.82/56.45	c cleaning 13087 clauses out of 26223 with flag 95001/95001
123.40/63.30	c cleaning 14028 clauses out of 28135 with flag 110000/110000
135.01/69.25	c cleaning 0 clauses out of 26000 with flag 0/26000
135.39/69.51	c cleaning 15000 clauses out of 30103 with flag 126001/126001
146.45/75.24	c cleaning 16049 clauses out of 32104 with flag 143005/143005
157.21/80.70	c cleaning 16945 clauses out of 34049 with flag 161000/161000
168.58/86.55	c cleaning 18001 clauses out of 36104 with flag 180000/180000
181.15/92.96	c cleaning 18842 clauses out of 38104 with flag 200001/200001
190.23/97.69	c cleaning 19957 clauses out of 40261 with flag 221000/221000
200.38/102.85	c cleaning 21124 clauses out of 42304 with flag 243000/243000
216.34/110.92	c cleaning 0 clauses out of 35000 with flag 0/35000
219.51/112.70	c cleaning 22033 clauses out of 44180 with flag 266000/266000
234.17/120.14	c cleaning 23072 clauses out of 46149 with flag 290002/290002
245.92/126.14	c cleaning 23975 clauses out of 48075 with flag 315000/315000
256.89/131.73	c cleaning 24950 clauses out of 50100 with flag 341000/341000
269.25/138.03	c cleaning 25988 clauses out of 52150 with flag 368000/368000
281.30/144.20	c cleaning 27044 clauses out of 54162 with flag 396000/396000
294.67/151.02	c cleaning 27971 clauses out of 56117 with flag 425000/425000
309.42/158.59	c cleaning 29053 clauses out of 58147 with flag 455001/455001
339.65/173.75	c cleaning 30018 clauses out of 60092 with flag 486000/486000
359.06/183.69	c cleaning 30765 clauses out of 62074 with flag 518000/518000
383.24/195.80	c cleaning 32137 clauses out of 64310 with flag 551001/551001
415.42/212.09	c cleaning 33009 clauses out of 66173 with flag 585001/585001
440.99/224.90	c cleaning 34049 clauses out of 68164 with flag 620001/620001
481.06/245.20	c cleaning 34975 clauses out of 70114 with flag 656001/656001
496.80/253.14	c cleaning 0 clauses out of 45000 with flag 0/45000
502.09/255.93	c cleaning 36013 clauses out of 72138 with flag 693000/693000
550.46/280.22	c cleaning 37056 clauses out of 74124 with flag 731000/731000
573.85/292.13	c cleaning 37750 clauses out of 76068 with flag 770000/770000
599.80/305.27	c cleaning 39051 clauses out of 78320 with flag 810002/810002
637.18/324.06	c cleaning 40073 clauses out of 80267 with flag 851000/851000
687.58/349.35	c cleaning 41074 clauses out of 82194 with flag 893000/893000
722.00/366.76	c cleaning 42035 clauses out of 84120 with flag 936000/936000
749.11/380.47	c cleaning 42868 clauses out of 86085 with flag 980000/980000
799.25/405.69	c cleaning 44015 clauses out of 88221 with flag 1025004/1025004
838.42/425.35	c cleaning 44859 clauses out of 90202 with flag 1071000/1071000
885.64/449.17	c cleaning 45939 clauses out of 92343 with flag 1118000/1118000
922.99/467.97	c cleaning 47013 clauses out of 94404 with flag 1166000/1166000
957.94/485.50	c cleaning 48135 clauses out of 96393 with flag 1215002/1215002
1007.72/510.55	c cleaning 48964 clauses out of 98256 with flag 1265000/1265000
1050.14/531.91	c cleaning 50049 clauses out of 100292 with flag 1316000/1316000
1097.70/555.86	c cleaning 50959 clauses out of 102243 with flag 1368000/1368000
1137.88/576.00	c cleaning 51875 clauses out of 104284 with flag 1421000/1421000
1178.44/596.44	c cleaning 53042 clauses out of 106411 with flag 1475002/1475002
1238.25/626.57	c cleaning 54134 clauses out of 108369 with flag 1530002/1530002
1310.44/662.76	c cleaning 55046 clauses out of 110233 with flag 1586000/1586000
1374.41/694.87	c cleaning 55941 clauses out of 112187 with flag 1643000/1643000
1416.14/715.87	c cleaning 0 clauses out of 56000 with flag 0/56000
1449.53/732.70	c cleaning 57105 clauses out of 114247 with flag 1701001/1701001
1549.16/782.60	c cleaning 58065 clauses out of 116143 with flag 1760002/1760002
1613.55/814.90	c cleaning 59000 clauses out of 118076 with flag 1820000/1820000
1661.28/838.94	c cleaning 59950 clauses out of 120076 with flag 1881000/1881000
1709.49/863.27	c cleaning 60890 clauses out of 122126 with flag 1943000/1943000
1767.47/892.30	c cleaning 62012 clauses out of 124236 with flag 2006000/2006000
1800.01/908.71	c starts		: 223
1800.01/908.71	c conflicts		: 2043999
1800.01/908.71	c decisions		: 18372000
1800.01/908.71	c propagations		: 660945500
1800.01/908.71	c inspects		: 7158082865
1800.01/908.71	c shortcuts		: 0
1800.01/908.71	c learnt literals	: 13
1800.01/908.71	c learnt binary clauses	: 1846
1800.01/908.71	c learnt ternary clauses	: 3473
1800.01/908.71	c learnt constraints	: 2043986
1800.01/908.71	c ignored constraints	: 0
1800.01/908.71	c root simplifications	: 0
1800.01/908.71	c removed literals (reason simplification)	: 38011907
1800.01/908.71	c reason swapping (by a shorter reason)	: 0
1800.01/908.71	c Calls to reduceDB	: 59
1800.01/908.71	c number of reductions to clauses (during analyze)	: 0
1800.01/908.71	c number of learned constraints concerned by reduction	: 0
1800.01/908.71	c number of learning phase by resolution	: 0
1800.01/908.71	c number of learning phase by cutting planes	: 0
1800.01/908.71	c speed (assignments/second)	: 729268.1918187295
1800.01/908.71	c non guided choices	1275210
1800.01/908.75	c learnt constraints type 
1800.01/908.75	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1846
1800.01/908.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98401
1800.01/908.75	c constraints type 
1800.01/908.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 192016
1800.01/908.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 905
1800.01/908.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59964
1800.01/908.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
1800.01/908.75	c constraints type 
1800.01/908.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 59964
1800.01/908.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 192016
1800.01/908.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 905
1800.01/908.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 27909
1800.01/908.75	s UNKNOWN
1800.01/908.75	c Total wall clock time (in seconds): 908.627

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3741164-1338751566/watcher-3741164-1338751566 -o /tmp/evaluation-result-3741164-1338751566/solver-3741164-1338751566 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741164-1338751566.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.07 3.97 3.66 3/197 13439
/proc/meminfo: memFree=30680344/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/13439/stat : 13439 (java) R 13437 13439 13088 0 -1 4202496 1101 0 0 0 0 0 0 0 20 0 1 0 341281519 23793664 829 33554432000 1073741824 1073778376 140735117828544 140735117817608 139904011978208 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 5809 848 640 9 0 128 0

[startup+0.0913119 s]
/proc/loadavg: 4.07 3.97 3.66 3/197 13439
/proc/meminfo: memFree=30680344/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11586392 CPUtime=0.08 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 4689 0 1 0 6 2 0 0 20 0 18 0 341281519 11864465408 13052 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2896598 13052 1938 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.100211 s]
/proc/loadavg: 4.07 3.97 3.66 3/197 13439
/proc/meminfo: memFree=30680344/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 5230 0 1 0 8 2 0 0 20 0 18 0 341281519 11864465408 13585 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2896598 13589 2114 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.300222 s]
/proc/loadavg: 4.07 3.97 3.66 3/197 13439
/proc/meminfo: memFree=30680344/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11586392 CPUtime=0.47 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 6389 0 1 0 45 2 0 0 20 0 18 0 341281519 11864465408 16426 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2896598 16426 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586392

[startup+0.700227 s]
/proc/loadavg: 4.07 3.97 3.66 3/197 13439
/proc/meminfo: memFree=30680344/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11586392 CPUtime=1.25 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 10346 0 1 0 121 4 0 0 20 0 18 0 341281519 11864465408 52434 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2896598 52434 2238 9 0 2887285 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 11586392

[startup+1.50069 s]
/proc/loadavg: 4.07 3.97 3.66 4/215 13457
/proc/meminfo: memFree=30216376/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11586392 CPUtime=2.16 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 10550 0 1 0 206 10 0 0 20 0 18 0 341281519 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2896598 155859 2239 9 0 2887285 0
[pid=13439/tid=13441] ppid=13437 vsize=11586392 CPUtime=1.47 cores=0,2,4,6
/proc/13439/task/13441/stat : 13441 (java) R 13437 13439 13088 0 -1 4202560 3645 0 1 0 138 9 0 0 20 0 18 0 341281519 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139904008916960 139903879231985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13442] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13442/stat : 13442 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903997986984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13443] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13443/stat : 13443 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903844509992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13444] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13444/stat : 13444 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903843457448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903842404904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903841352360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903840299816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903839247272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341281521 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903838194728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341281522 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903825995880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341281523 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903824942200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341281523 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903823889544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281525 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903822838288 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11586392 CPUtime=0.32 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13088 0 -1 4202560 3414 0 0 0 32 0 0 0 20 0 18 0 341281525 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903821785656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11586392 CPUtime=0.31 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13088 0 -1 4202560 2307 0 0 0 31 0 0 0 20 0 18 0 341281525 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903820733112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13456] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13456/stat : 13456 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281525 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903819680760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13457] ppid=13437 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13457/stat : 13457 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341281526 11864465408 155859 33554432000 1073741824 1073778376 140735117828544 139903818628424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 11586392

[startup+3.1006 s]
/proc/loadavg: 4.07 3.97 3.66 2/212 13457
/proc/meminfo: memFree=29571940/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11852648 CPUtime=5.17 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 12884 0 1 0 496 21 0 0 20 0 22 0 341281519 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2963162 320893 2261 9 0 2953849 0
[pid=13439/tid=13441] ppid=13437 vsize=11852648 CPUtime=2.36 cores=0,2,4,6
/proc/13439/task/13441/stat : 13441 (java) S 13437 13439 13088 0 -1 4202560 3894 0 1 0 220 16 0 0 20 0 22 0 341281519 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139904008926360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13442] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13442/stat : 13442 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903997986984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13443] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13443/stat : 13443 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903844509992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13444] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13444/stat : 13444 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903843457448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903842404904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903841352360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903840299816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903839247272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341281521 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903838194728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13088 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341281522 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903825995880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903824942200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903823889544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903822838288 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13088 0 -1 4202560 5119 0 0 0 76 1 0 0 20 0 22 0 341281525 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903821785656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13088 0 -1 4202560 2491 0 0 0 58 0 0 0 20 0 22 0 341281525 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903820733112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13456] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13456/stat : 13456 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903819680760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13457] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13457/stat : 13457 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281526 12137111552 320893 33554432000 1073741824 1073778376 140735117828544 139903818628424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 11852648

[startup+6.30079 s]
/proc/loadavg: 3.83 3.92 3.64 4/215 13517
/proc/meminfo: memFree=28644216/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11852648 CPUtime=11.75 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 18921 0 1 0 1128 47 0 0 20 0 22 0 341281519 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2963162 583575 2288 9 0 2953849 0
[pid=13439/tid=13441] ppid=13437 vsize=11852648 CPUtime=2.36 cores=0,2,4,6
/proc/13439/task/13441/stat : 13441 (java) S 13437 13439 13088 0 -1 4202560 3894 0 1 0 220 16 0 0 20 0 22 0 341281519 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139904008926360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13442] ppid=13437 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/13439/task/13442/stat : 13442 (java) S 13437 13439 13088 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903997986984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13443] ppid=13437 vsize=11852648 CPUtime=0.08 cores=0,2,4,6
/proc/13439/task/13443/stat : 13443 (java) S 13437 13439 13088 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903844509992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13444] ppid=13437 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/13439/task/13444/stat : 13444 (java) S 13437 13439 13088 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903843457448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13088 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903842404904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13088 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903841352360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13088 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903840299816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13088 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903839247272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13088 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 341281521 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903838194728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13088 0 -1 4202560 72 0 0 0 27 1 0 0 20 0 22 0 341281522 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903825995880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903824942200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903823889544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903822838288 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13088 0 -1 4202560 5125 0 0 0 83 1 0 0 20 0 22 0 341281525 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903821785656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13088 0 -1 4202560 7855 0 0 0 83 0 0 0 20 0 22 0 341281525 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903820733112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13456] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13456/stat : 13456 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903819680760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13457] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13457/stat : 13457 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281526 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903818628424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13458] ppid=13437 vsize=11852648 CPUtime=3.47 cores=0,2,4,6
/proc/13439/task/13458/stat : 13458 (java) R 13437 13439 13088 0 -1 4202560 34 0 0 0 347 0 0 0 20 0 22 0 341281759 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903817572664 139903879507104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13459] ppid=13437 vsize=11852648 CPUtime=3.47 cores=0,2,4,6
/proc/13439/task/13459/stat : 13459 (java) R 13437 13439 13088 0 -1 4202560 582 0 0 0 330 17 0 0 20 0 22 0 341281759 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903816519848 139903879371380 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13460] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13460/stat : 13460 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903815468072 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 583575 33554432000 1073741824 1073778376 140735117828544 139903814415528 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 11852648

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

/proc/13439/statm: 2963162 920396 2291 9 0 2953849 0
[pid=13439/tid=13441] ppid=13437 vsize=11852648 CPUtime=2.41 cores=0,2,4,6
/proc/13439/task/13441/stat : 13441 (java) S 13437 13439 13088 0 -1 4202560 3924 0 1 0 223 18 0 0 20 0 22 0 341281519 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139904008926360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13442] ppid=13437 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/13439/task/13442/stat : 13442 (java) S 13437 13439 13088 0 -1 4202560 167 0 0 0 99 2 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903997986984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13443] ppid=13437 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/13439/task/13443/stat : 13443 (java) S 13437 13439 13088 0 -1 4202560 184 0 0 0 90 4 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903844509992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13444] ppid=13437 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/13439/task/13444/stat : 13444 (java) S 13437 13439 13088 0 -1 4202560 150 0 0 0 97 3 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903843457448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13088 0 -1 4202560 160 0 0 0 100 3 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903842404904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13088 0 -1 4202560 165 0 0 0 102 3 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903841352360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13088 0 -1 4202560 140 0 0 0 87 3 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903840299816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13088 0 -1 4202560 121 0 0 0 98 3 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903839247272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13088 0 -1 4202560 102 0 0 0 93 2 0 0 20 0 22 0 341281521 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903838194728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=20.26 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13088 0 -1 4202560 186 0 0 0 2021 5 0 0 20 0 22 0 341281522 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903825995880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903824942200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903823889544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903822838288 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13088 0 -1 4202560 5125 0 0 0 90 1 0 0 20 0 22 0 341281525 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903821785656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13088 0 -1 4202560 8293 0 0 0 128 2 0 0 20 0 22 0 341281525 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903820733112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13456] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13456/stat : 13456 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903819680760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13457] ppid=13437 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/13439/task/13457/stat : 13457 (java) S 13437 13439 13088 0 -1 4202560 50 0 0 0 15 15 0 0 20 0 22 0 341281526 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903818628424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13458] ppid=13437 vsize=11852648 CPUtime=854.98 cores=0,2,4,6
/proc/13439/task/13458/stat : 13458 (java) R 13437 13439 13088 0 -1 4202560 92 0 0 0 85484 14 0 0 20 0 22 0 341281759 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903817571536 139903879641971 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13459] ppid=13437 vsize=11852648 CPUtime=854.88 cores=0,2,4,6
/proc/13439/task/13459/stat : 13459 (java) R 13437 13439 13088 0 -1 4202560 1177 0 0 0 85436 52 0 0 20 0 22 0 341281759 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903816517888 139903879665664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13460] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13460/stat : 13460 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903815468072 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 920396 33554432000 1073741824 1073778376 140735117828544 139903814415528 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1747.43
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+908.701 s]
/proc/loadavg: 4.02 3.97 3.81 5/219 13531
/proc/meminfo: memFree=23492296/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11852648 CPUtime=1800.01 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 21278 0 1 0 179894 107 0 0 20 0 22 0 341281519 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2963162 920445 2291 9 0 2953849 0
[pid=13439/tid=13441] ppid=13437 vsize=11852648 CPUtime=2.41 cores=0,2,4,6
/proc/13439/task/13441/stat : 13441 (java) S 13437 13439 13088 0 -1 4202560 3924 0 1 0 223 18 0 0 20 0 22 0 341281519 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139904008926360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13442] ppid=13437 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/13439/task/13442/stat : 13442 (java) S 13437 13439 13088 0 -1 4202560 169 0 0 0 103 2 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903997986984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13443] ppid=13437 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/13439/task/13443/stat : 13443 (java) S 13437 13439 13088 0 -1 4202560 185 0 0 0 93 4 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903844509992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13444] ppid=13437 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/13439/task/13444/stat : 13444 (java) S 13437 13439 13088 0 -1 4202560 159 0 0 0 101 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903843457448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13088 0 -1 4202560 160 0 0 0 105 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903842404904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13088 0 -1 4202560 183 0 0 0 105 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903841352360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13088 0 -1 4202560 157 0 0 0 92 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903840299816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13088 0 -1 4202560 121 0 0 0 102 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903839247272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13088 0 -1 4202560 104 0 0 0 96 2 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903838194728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=20.62 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13088 0 -1 4202560 188 0 0 0 2057 5 0 0 20 0 22 0 341281522 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903825995880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903824942200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903823889544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903822838288 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13088 0 -1 4202560 5125 0 0 0 90 1 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903821785656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13088 0 -1 4202560 8293 0 0 0 128 2 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903820733112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13456] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13456/stat : 13456 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903819680760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13457] ppid=13437 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/13439/task/13457/stat : 13457 (java) S 13437 13439 13088 0 -1 4202560 52 0 0 0 16 16 0 0 20 0 22 0 341281526 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903818628424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13458] ppid=13437 vsize=11852648 CPUtime=880.87 cores=0,2,4,6
/proc/13439/task/13458/stat : 13458 (java) R 13437 13439 13088 0 -1 4202560 94 0 0 0 88072 15 0 0 20 0 22 0 341281759 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903817570640 139903879641612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13459] ppid=13437 vsize=11852648 CPUtime=880.78 cores=0,2,4,6
/proc/13439/task/13459/stat : 13459 (java) R 13437 13439 13088 0 -1 4202560 1178 0 0 0 88025 53 0 0 20 0 22 0 341281759 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903816518928 139903879476627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13460] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13460/stat : 13460 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903815468072 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903814415528 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 11852648

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

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

[startup+908.701 s]
/proc/loadavg: 4.02 3.97 3.81 5/219 13531
/proc/meminfo: memFree=23492296/32873844 swapFree=7116/7116
[pid=13439] ppid=13437 vsize=11852648 CPUtime=1800.01 cores=0,2,4,6
/proc/13439/stat : 13439 (java) S 13437 13439 13088 0 -1 4202496 21278 0 1 0 179894 107 0 0 20 0 22 0 341281519 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 140735117819680 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13439/statm: 2963162 920445 2291 9 0 2953849 0
[pid=13439/tid=13441] ppid=13437 vsize=11852648 CPUtime=2.41 cores=0,2,4,6
/proc/13439/task/13441/stat : 13441 (java) S 13437 13439 13088 0 -1 4202560 3924 0 1 0 223 18 0 0 20 0 22 0 341281519 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139904008926360 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13442] ppid=13437 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/13439/task/13442/stat : 13442 (java) S 13437 13439 13088 0 -1 4202560 169 0 0 0 103 2 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903997986984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13443] ppid=13437 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/13439/task/13443/stat : 13443 (java) S 13437 13439 13088 0 -1 4202560 185 0 0 0 93 4 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903844509992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13444] ppid=13437 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/13439/task/13444/stat : 13444 (java) S 13437 13439 13088 0 -1 4202560 159 0 0 0 101 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903843457448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13445] ppid=13437 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/13439/task/13445/stat : 13445 (java) S 13437 13439 13088 0 -1 4202560 160 0 0 0 105 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903842404904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13446] ppid=13437 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/13439/task/13446/stat : 13446 (java) S 13437 13439 13088 0 -1 4202560 183 0 0 0 105 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903841352360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13447] ppid=13437 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/13439/task/13447/stat : 13447 (java) S 13437 13439 13088 0 -1 4202560 157 0 0 0 92 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903840299816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13448] ppid=13437 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/13439/task/13448/stat : 13448 (java) S 13437 13439 13088 0 -1 4202560 121 0 0 0 102 3 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903839247272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13449] ppid=13437 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/13439/task/13449/stat : 13449 (java) S 13437 13439 13088 0 -1 4202560 104 0 0 0 96 2 0 0 20 0 22 0 341281521 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903838194728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13450] ppid=13437 vsize=11852648 CPUtime=20.62 cores=0,2,4,6
/proc/13439/task/13450/stat : 13450 (java) S 13437 13439 13088 0 -1 4202560 188 0 0 0 2057 5 0 0 20 0 22 0 341281522 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903825995880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13451] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13451/stat : 13451 (java) S 13437 13439 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903824942200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13452] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13452/stat : 13452 (java) S 13437 13439 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341281523 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903823889544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13453] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13453/stat : 13453 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903822838288 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13454] ppid=13437 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/13439/task/13454/stat : 13454 (java) S 13437 13439 13088 0 -1 4202560 5125 0 0 0 90 1 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903821785656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13439/tid=13455] ppid=13437 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/13439/task/13455/stat : 13455 (java) S 13437 13439 13088 0 -1 4202560 8293 0 0 0 128 2 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903820733112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13456] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13456/stat : 13456 (java) S 13437 13439 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341281525 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903819680760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13439/tid=13457] ppid=13437 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/13439/task/13457/stat : 13457 (java) S 13437 13439 13088 0 -1 4202560 52 0 0 0 16 16 0 0 20 0 22 0 341281526 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903818628424 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13458] ppid=13437 vsize=11852648 CPUtime=880.87 cores=0,2,4,6
/proc/13439/task/13458/stat : 13458 (java) R 13437 13439 13088 0 -1 4202560 94 0 0 0 88072 15 0 0 20 0 22 0 341281759 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903817570640 139903879641612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13459] ppid=13437 vsize=11852648 CPUtime=880.78 cores=0,2,4,6
/proc/13439/task/13459/stat : 13459 (java) R 13437 13439 13088 0 -1 4202560 1178 0 0 0 88025 53 0 0 20 0 22 0 341281759 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903816518928 139903879476627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13439/tid=13460] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13460/stat : 13460 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903815468072 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13439/tid=13461] ppid=13437 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13439/task/13461/stat : 13461 (java) S 13437 13439 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341281761 12137111552 920445 33554432000 1073741824 1073778376 140735117828544 139903814415528 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13439 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=359215
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=502771
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 908.781
CPU time (s): 1800.01
CPU user time (s): 1798.94
CPU system time (s): 1.07
CPU usage (%): 198.069
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 1.50277
maximum resident set size= 3681904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21312
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24526
involuntary context switches= 31724

runsolver used 3.22151 second user time and 8.29274 second system time

The end

Launcher Data

Begin job on node146 at 2012-06-03 21:26:06
IDJOB=3741164
IDBENCH=89796
IDSOLVER=2328
FILE ID=node146/3741164-1338751566
RUNJOBID= node146-1338749727-13104
PBS_JOBID= 14636806
Free space on /tmp= 70892 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-70.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741164-1338751566/watcher-3741164-1338751566 -o /tmp/evaluation-result-3741164-1338751566/solver-3741164-1338751566 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741164-1338751566.opb

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

MD5SUM BENCH= 4f155d4f8b05885565510d4fbd89c993
RANDOM SEED=1149519203

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30680616 kB
Buffers:          311412 kB
Cached:           471784 kB
SwapCached:         1792 kB
Active:          1005728 kB
Inactive:         346604 kB
Active(anon):     570304 kB
Inactive(anon):     1664 kB
Active(file):     435424 kB
Inactive(file):   344940 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:             14704 kB
Writeback:             0 kB
AnonPages:        594368 kB
Mapped:            17276 kB
Shmem:                 0 kB
Slab:             678860 kB
SReclaimable:     118088 kB
SUnreclaim:       560772 kB
KernelStack:        1624 kB
PageTables:         5428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10456064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    542720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70848 MiB
End job on node146 at 2012-06-03 21:41:17