Trace number 3742240

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.8 905.771

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K200.opb
MD5SUM4ffc81aa318dee614e51a62344fd339d
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 variables23800
Total number of constraints24202
Number of constraints which are clauses24002
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.1.v20110525
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3742240-1338765159.opb
0.07/0.13	c reading problem ... 
1.13/0.67	c ... done. Wall clock time 0.542s.
1.13/0.67	c #vars     23800
1.13/0.67	c #constraints  24202
1.13/0.67	c constraints type 
1.13/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21413
1.13/0.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 200
1.13/0.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2587
1.13/0.67	c constraints type 
1.13/0.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2587
1.13/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21413
1.13/0.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 200
9.20/3.98	c cleaning 2480 clauses out of 4992 with flag 5002/5002
16.10/7.39	c cleaning 4226 clauses out of 8506 with flag 11000/11000
24.25/11.40	c cleaning 5458 clauses out of 11278 with flag 18002/18002
33.87/16.21	c cleaning 6530 clauses out of 13816 with flag 26002/26002
44.63/21.67	c cleaning 7726 clauses out of 16277 with flag 35000/35000
57.37/28.06	c cleaning 8803 clauses out of 18548 with flag 45000/45000
70.57/34.65	c cleaning 10016 clauses out of 20742 with flag 56000/56000
86.08/42.46	c cleaning 10910 clauses out of 22723 with flag 68002/68002
101.38/50.12	c cleaning 11904 clauses out of 24807 with flag 81000/81000
120.89/59.97	c cleaning 12927 clauses out of 26904 with flag 95003/95003
145.82/72.44	c cleaning 14009 clauses out of 28972 with flag 110003/110003
164.91/82.05	c cleaning 15084 clauses out of 30960 with flag 126001/126001
187.80/93.58	c cleaning 15875 clauses out of 32874 with flag 143000/143000
209.70/104.57	c cleaning 16952 clauses out of 35000 with flag 161001/161001
235.01/117.20	c cleaning 18018 clauses out of 37039 with flag 180000/180000
274.99/137.29	c cleaning 19348 clauses out of 39020 with flag 200000/200000
300.20/149.95	c cleaning 19874 clauses out of 40672 with flag 221000/221000
329.07/164.43	c cleaning 20757 clauses out of 42798 with flag 243000/243000
360.34/180.13	c cleaning 22046 clauses out of 45039 with flag 266000/266000
400.43/200.26	c cleaning 22990 clauses out of 46991 with flag 290001/290001
434.57/217.45	c cleaning 23288 clauses out of 48993 with flag 315001/315001
467.02/233.78	c cleaning 23677 clauses out of 50704 with flag 340001/340001
500.05/250.35	c cleaning 23065 clauses out of 52025 with flag 365000/365000
535.12/267.91	c cleaning 23277 clauses out of 53958 with flag 390000/390000
567.87/284.47	c cleaning 23189 clauses out of 55681 with flag 415001/415001
609.46/305.26	c cleaning 0 clauses out of 5001 with flag 0/5001
611.27/306.12	c cleaning 23899 clauses out of 57490 with flag 440000/440000
648.06/324.62	c cleaning 23546 clauses out of 58589 with flag 465000/465000
718.00/359.75	c cleaning 23597 clauses out of 60040 with flag 490000/490000
751.39/376.53	c cleaning 22925 clauses out of 61442 with flag 515000/515000
789.62/395.77	c cleaning 23354 clauses out of 63517 with flag 540000/540000
823.77/412.92	c cleaning 23819 clauses out of 65162 with flag 565000/565000
860.39/431.44	c cleaning 23671 clauses out of 66345 with flag 590002/590002
892.19/447.47	c cleaning 22699 clauses out of 67671 with flag 615001/615001
926.23/464.58	c cleaning 23171 clauses out of 69968 with flag 640000/640000
960.19/481.68	c cleaning 22878 clauses out of 71798 with flag 665001/665001
1012.43/507.95	c cleaning 23949 clauses out of 73917 with flag 690000/690000
1045.96/524.85	c cleaning 23099 clauses out of 74968 with flag 715000/715000
1079.87/541.98	c cleaning 23312 clauses out of 76870 with flag 740001/740001
1117.18/560.74	c cleaning 22871 clauses out of 78553 with flag 765001/765001
1154.90/579.85	c cleaning 23342 clauses out of 80677 with flag 790000/790000
1190.63/597.89	c cleaning 23377 clauses out of 82334 with flag 815000/815000
1226.38/615.90	c cleaning 23846 clauses out of 83957 with flag 840002/840002
1263.43/634.51	c cleaning 23445 clauses out of 85104 with flag 865000/865000
1298.37/652.27	c cleaning 23405 clauses out of 86659 with flag 890000/890000
1331.41/668.97	c cleaning 23418 clauses out of 88253 with flag 915000/915000
1364.34/685.59	c cleaning 23257 clauses out of 89836 with flag 940001/940001
1439.78/723.37	c cleaning 23983 clauses out of 91575 with flag 965000/965000
1497.51/752.46	c cleaning 23642 clauses out of 92592 with flag 990001/990001
1529.25/768.47	c cleaning 23010 clauses out of 93946 with flag 1015001/1015001
1562.15/785.05	c cleaning 24033 clauses out of 95936 with flag 1040001/1040001
1594.79/801.52	c cleaning 22849 clauses out of 96903 with flag 1065001/1065001
1626.76/817.83	c cleaning 23323 clauses out of 99051 with flag 1090000/1090000
1661.24/835.20	c cleaning 23411 clauses out of 100727 with flag 1115000/1115000
1696.53/853.00	c cleaning 23614 clauses out of 102313 with flag 1140000/1140000
1729.17/869.60	c cleaning 23210 clauses out of 103696 with flag 1165000/1165000
1761.10/885.85	c cleaning 23296 clauses out of 105486 with flag 1190001/1190001
1792.30/901.65	c cleaning 23275 clauses out of 107186 with flag 1215000/1215000
1800.11/905.71	c starts		: 168
1800.11/905.71	c conflicts		: 1222194
1800.11/905.71	c decisions		: 68074992
1800.11/905.71	c propagations		: 1080482215
1800.11/905.71	c inspects		: 1919182519
1800.11/905.71	c shortcuts		: 0
1800.11/905.71	c learnt literals	: 134
1800.11/905.71	c learnt binary clauses	: 74111
1800.11/905.71	c learnt ternary clauses	: 72365
1800.11/905.71	c learnt constraints	: 1222059
1800.11/905.71	c ignored constraints	: 0
1800.11/905.71	c root simplifications	: 0
1800.11/905.71	c removed literals (reason simplification)	: 7825610
1800.11/905.71	c reason swapping (by a shorter reason)	: 0
1800.11/905.71	c Calls to reduceDB	: 57
1800.11/905.71	c number of reductions to clauses (during analyze)	: 0
1800.11/905.71	c number of learned constraints concerned by reduction	: 0
1800.11/905.71	c number of learning phase by resolution	: 0
1800.11/905.71	c number of learning phase by cutting planes	: 0
1800.11/905.71	c speed (assignments/second)	: 1193852.8713711468
1800.11/905.71	c non guided choices	140298
1800.11/905.74	c learnt constraints type 
1800.11/905.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 74112
1800.11/905.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17061
1800.11/905.74	c constraints type 
1800.11/905.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21413
1800.11/905.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 200
1800.11/905.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2587
1800.11/905.74	c constraints type 
1800.11/905.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2587
1800.11/905.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21413
1800.11/905.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 200
1800.11/905.74	s UNKNOWN
1800.11/905.74	c Total wall clock time (in seconds): 905.615

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-3742240-1338765159/watcher-3742240-1338765159 -o /tmp/evaluation-result-3742240-1338765159/solver-3742240-1338765159 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742240-1338765159.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: 3.95 3.92 3.89 4/196 1059
/proc/meminfo: memFree=23550744/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/1059/stat : 1059 (java) D 1057 1059 30010 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 342642706 278528 33 33554432000 1073741824 1073778376 140736103176416 140736103173592 271778409767 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1059/statm: 68 33 25 9 0 25 0

[startup+0.0902871 s]
/proc/loadavg: 3.95 3.92 3.89 4/196 1059
/proc/meminfo: memFree=23550744/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 4469 0 1 0 5 1 0 0 20 0 18 0 342642706 11864465408 12833 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2896598 12833 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.100264 s]
/proc/loadavg: 3.95 3.92 3.89 4/196 1059
/proc/meminfo: memFree=23550744/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 4723 0 1 0 6 1 0 0 20 0 18 0 342642706 11864465408 13087 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2896598 13087 1940 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300238 s]
/proc/loadavg: 3.95 3.92 3.89 4/196 1059
/proc/meminfo: memFree=23550744/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11586392 CPUtime=0.53 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 8239 0 1 0 51 2 0 0 20 0 18 0 342642706 11864465408 19041 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2896598 19041 2225 9 0 2887285 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 11586392

[startup+0.700183 s]
/proc/loadavg: 3.95 3.92 3.89 4/196 1059
/proc/meminfo: memFree=23550744/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11719520 CPUtime=1.32 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 10266 0 1 0 127 5 0 0 20 0 20 0 342642706 12000788480 57647 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2929880 57647 2252 9 0 2920567 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 11719520

[startup+1.50074 s]
/proc/loadavg: 3.95 3.92 3.89 7/218 1081
/proc/meminfo: memFree=23303316/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11852648 CPUtime=4.26 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 25498 0 1 0 417 9 0 0 20 0 22 0 342642706 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2963162 83700 2263 9 0 2953849 0
[pid=1059/tid=1061] ppid=1057 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/1059/task/1061/stat : 1061 (java) S 1057 1059 30010 0 -1 4202560 3455 0 1 0 60 4 0 0 20 0 22 0 342642707 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231370019992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1062] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1062/stat : 1062 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231359081128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1063] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1063/stat : 1063 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231358028584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1064] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1064/stat : 1064 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231356976040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1065] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1065/stat : 1065 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231355923496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1066] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1066/stat : 1066 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231354869928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1067] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1067/stat : 1067 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231201548584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1068] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1068/stat : 1068 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231200496040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1069] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1069/stat : 1069 (java) S 1057 1059 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231199443496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1070] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1070/stat : 1070 (java) S 1057 1059 30010 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231187245672 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1071] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1071/stat : 1071 (java) S 1057 1059 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231186191992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1072] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1072/stat : 1072 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231185139336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1073] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1073/stat : 1073 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231184088080 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1074] ppid=1057 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/1059/task/1074/stat : 1074 (java) S 1057 1059 30010 0 -1 4202560 11201 0 0 0 97 2 0 0 20 0 22 0 342642713 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231183034424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1075] ppid=1057 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/1059/task/1075/stat : 1075 (java) S 1057 1059 30010 0 -1 4202560 9507 0 0 0 96 2 0 0 20 0 22 0 342642713 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231181981880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1076] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1076/stat : 1076 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231180929528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1077] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1077/stat : 1077 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231179877192 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1078] ppid=1057 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/1059/task/1078/stat : 1078 (java) R 1057 1059 30010 0 -1 4202560 29 0 0 0 81 0 0 0 20 0 22 0 342642773 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231178822168 140231236095040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1079] ppid=1057 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/1059/task/1079/stat : 1079 (java) R 1057 1059 30010 0 -1 4202560 107 0 0 0 77 2 0 0 20 0 22 0 342642773 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231177769736 140231236906957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1080] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1080/stat : 1080 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231176717864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1081] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1081/stat : 1081 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 83700 33554432000 1073741824 1073778376 140735131778272 140231175665320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 11852648

[startup+3.1008 s]
/proc/loadavg: 3.95 3.92 3.89 5/219 1082
/proc/meminfo: memFree=23071836/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11852648 CPUtime=7.59 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 25712 0 1 0 743 16 0 0 20 0 22 0 342642706 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2963162 184579 2264 9 0 2953849 0
[pid=1059/tid=1061] ppid=1057 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/1059/task/1061/stat : 1061 (java) S 1057 1059 30010 0 -1 4202560 3455 0 1 0 60 4 0 0 20 0 22 0 342642707 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231370019992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1062] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1062/stat : 1062 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231359081128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1063] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1063/stat : 1063 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231358028584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1064] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1064/stat : 1064 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231356976040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1065] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1065/stat : 1065 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231355923496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1066] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1066/stat : 1066 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231354869928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1067] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1067/stat : 1067 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231201548584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1068] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1068/stat : 1068 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231200496040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1069] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1069/stat : 1069 (java) S 1057 1059 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231199443496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1070] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1070/stat : 1070 (java) S 1057 1059 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231187245672 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1071] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1071/stat : 1071 (java) S 1057 1059 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231186191992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1072] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1072/stat : 1072 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231185139336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1073] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1073/stat : 1073 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231184088080 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1074] ppid=1057 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/1059/task/1074/stat : 1074 (java) S 1057 1059 30010 0 -1 4202560 11211 0 0 0 110 2 0 0 20 0 22 0 342642713 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231183034424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1075] ppid=1057 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/1059/task/1075/stat : 1075 (java) S 1057 1059 30010 0 -1 4202560 9511 0 0 0 98 2 0 0 20 0 22 0 342642713 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231181981880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1076] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1076/stat : 1076 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231180929528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1077] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1077/stat : 1077 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231179877192 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1078] ppid=1057 vsize=11852648 CPUtime=2.4 cores=1,3,5,7
/proc/1059/task/1078/stat : 1078 (java) R 1057 1059 30010 0 -1 4202560 32 0 0 0 240 0 0 0 20 0 22 0 342642773 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231178822648 140231236609222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1079] ppid=1057 vsize=11852648 CPUtime=2.38 cores=1,3,5,7
/proc/1059/task/1079/stat : 1079 (java) R 1057 1059 30010 0 -1 4202560 303 0 0 0 229 9 0 0 20 0 22 0 342642773 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231177769432 140231236883066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1080] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1080/stat : 1080 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231176717864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1081] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1081/stat : 1081 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 184579 33554432000 1073741824 1073778376 140735131778272 140231175665320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 11852648

[startup+6.30085 s]
/proc/loadavg: 3.95 3.92 3.89 5/219 1082
/proc/meminfo: memFree=22426308/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11852648 CPUtime=14.05 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 25986 0 1 0 1381 24 0 0 20 0 22 0 342642706 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2963162 280434 2290 9 0 2953849 0
[pid=1059/tid=1061] ppid=1057 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/1059/task/1061/stat : 1061 (java) S 1057 1059 30010 0 -1 4202560 3455 0 1 0 60 4 0 0 20 0 22 0 342642707 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231370019992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1062] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1062/stat : 1062 (java) S 1057 1059 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231359081128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1063] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1063/stat : 1063 (java) S 1057 1059 30010 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231358028584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1064] ppid=1057 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/1059/task/1064/stat : 1064 (java) S 1057 1059 30010 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231356976040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1065] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1065/stat : 1065 (java) S 1057 1059 30010 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231355923496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1066] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1066/stat : 1066 (java) S 1057 1059 30010 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231354869928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1067] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1067/stat : 1067 (java) S 1057 1059 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231201548584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1068] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1068/stat : 1068 (java) S 1057 1059 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231200496040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1069] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1069/stat : 1069 (java) S 1057 1059 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342642709 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231199443496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1070] ppid=1057 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/1059/task/1070/stat : 1070 (java) S 1057 1059 30010 0 -1 4202560 40 0 0 0 5 0 0 0 20 0 22 0 342642710 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231187245672 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1071] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1071/stat : 1071 (java) S 1057 1059 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231186191992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1072] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1072/stat : 1072 (java) S 1057 1059 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231185139336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1073] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1073/stat : 1073 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231184088080 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1074] ppid=1057 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/1059/task/1074/stat : 1074 (java) S 1057 1059 30010 0 -1 4202560 11212 0 0 0 115 2 0 0 20 0 22 0 342642713 12137111552 280434 33554432000 1073741824 1073778376 140735131778272 140231183034424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=1059/tid=1079] ppid=1057 vsize=11852648 CPUtime=803.57 cores=1,3,5,7
/proc/1059/task/1079/stat : 1079 (java) R 1057 1059 30010 0 -1 4202560 1624 0 0 0 80292 65 0 0 20 0 22 0 342642773 12137111552 965540 33554432000 1073741824 1073778376 140735131778272 140231177767504 140231236982589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1080] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1080/stat : 1080 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965540 33554432000 1073741824 1073778376 140735131778272 140231176717864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1081] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1081/stat : 1081 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965540 33554432000 1073741824 1073778376 140735131778272 140231175665320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1635.4
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.88 3.91 3.90 5/219 1149
/proc/meminfo: memFree=19410228/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11852648 CPUtime=1754.1 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 28837 0 1 0 175286 124 0 0 20 0 22 0 342642706 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2963162 965563 2291 9 0 2953849 0
[pid=1059/tid=1061] ppid=1057 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/1059/task/1061/stat : 1061 (java) S 1057 1059 30010 0 -1 4202560 3477 0 1 0 62 6 0 0 20 0 22 0 342642707 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231370019992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1062] ppid=1057 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/1059/task/1062/stat : 1062 (java) S 1057 1059 30010 0 -1 4202560 155 0 0 0 118 5 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231359081128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1063] ppid=1057 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/1059/task/1063/stat : 1063 (java) S 1057 1059 30010 0 -1 4202560 114 0 0 0 113 4 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231358028584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1064] ppid=1057 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/1059/task/1064/stat : 1064 (java) S 1057 1059 30010 0 -1 4202560 142 0 0 0 112 4 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231356976040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1065] ppid=1057 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/1059/task/1065/stat : 1065 (java) S 1057 1059 30010 0 -1 4202560 142 0 0 0 121 6 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231355923496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1066] ppid=1057 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/1059/task/1066/stat : 1066 (java) S 1057 1059 30010 0 -1 4202560 134 0 0 0 115 6 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231354869928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1067] ppid=1057 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/1059/task/1067/stat : 1067 (java) S 1057 1059 30010 0 -1 4202560 164 0 0 0 126 4 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231201548584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1068] ppid=1057 vsize=11852648 CPUtime=1.28 cores=1,3,5,7
/proc/1059/task/1068/stat : 1068 (java) S 1057 1059 30010 0 -1 4202560 138 0 0 0 123 5 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231200496040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1069] ppid=1057 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/1059/task/1069/stat : 1069 (java) S 1057 1059 30010 0 -1 4202560 179 0 0 0 119 7 0 0 20 0 22 0 342642709 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231199443496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1070] ppid=1057 vsize=11852648 CPUtime=16.82 cores=1,3,5,7
/proc/1059/task/1070/stat : 1070 (java) S 1057 1059 30010 0 -1 4202560 168 0 0 0 1674 8 0 0 20 0 22 0 342642710 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231187245672 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1071] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1071/stat : 1071 (java) S 1057 1059 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231186191992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1072] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1072/stat : 1072 (java) S 1057 1059 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231185139336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1073] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1073/stat : 1073 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231184088080 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1074] ppid=1057 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/1059/task/1074/stat : 1074 (java) S 1057 1059 30010 0 -1 4202560 11538 0 0 0 146 2 0 0 20 0 22 0 342642713 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231183034424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1075] ppid=1057 vsize=11852648 CPUtime=1.33 cores=1,3,5,7
/proc/1059/task/1075/stat : 1075 (java) S 1057 1059 30010 0 -1 4202560 9531 0 0 0 131 2 0 0 20 0 22 0 342642713 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231181981880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1076] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1076/stat : 1076 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231180929528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1077] ppid=1057 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/1059/task/1077/stat : 1077 (java) S 1057 1059 30010 0 -1 4202560 51 0 0 0 16 18 0 0 20 0 22 0 342642713 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231179877192 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1078] ppid=1057 vsize=11852648 CPUtime=861.97 cores=1,3,5,7
/proc/1059/task/1078/stat : 1078 (java) R 1057 1059 30010 0 -1 4202560 92 0 0 0 86184 13 0 0 20 0 22 0 342642773 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231178822224 140231236753053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1079] ppid=1057 vsize=11852648 CPUtime=861.87 cores=1,3,5,7
/proc/1059/task/1079/stat : 1079 (java) R 1057 1059 30010 0 -1 4202560 1626 0 0 0 86120 67 0 0 20 0 22 0 342642773 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231177767584 140231236982560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1080] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1080/stat : 1080 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231176717864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1081] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1081/stat : 1081 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965563 33554432000 1073741824 1073778376 140735131778272 140231175665320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1754.1
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+905.701 s]
/proc/loadavg: 3.92 3.91 3.90 5/219 1149
/proc/meminfo: memFree=19379264/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11852648 CPUtime=1800.11 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 28848 0 1 0 179886 125 0 0 20 0 22 0 342642706 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2963162 965568 2291 9 0 2953849 0
[pid=1059/tid=1061] ppid=1057 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/1059/task/1061/stat : 1061 (java) S 1057 1059 30010 0 -1 4202560 3478 0 1 0 62 6 0 0 20 0 22 0 342642707 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231370019992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1062] ppid=1057 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/1059/task/1062/stat : 1062 (java) S 1057 1059 30010 0 -1 4202560 156 0 0 0 120 5 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231359081128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1063] ppid=1057 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/1059/task/1063/stat : 1063 (java) S 1057 1059 30010 0 -1 4202560 118 0 0 0 115 4 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231358028584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1064] ppid=1057 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/1059/task/1064/stat : 1064 (java) S 1057 1059 30010 0 -1 4202560 142 0 0 0 113 4 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231356976040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1065] ppid=1057 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/1059/task/1065/stat : 1065 (java) S 1057 1059 30010 0 -1 4202560 142 0 0 0 123 6 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231355923496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1066] ppid=1057 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/1059/task/1066/stat : 1066 (java) S 1057 1059 30010 0 -1 4202560 134 0 0 0 116 6 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231354869928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1067] ppid=1057 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/1059/task/1067/stat : 1067 (java) S 1057 1059 30010 0 -1 4202560 164 0 0 0 128 4 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231201548584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1068] ppid=1057 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/1059/task/1068/stat : 1068 (java) S 1057 1059 30010 0 -1 4202560 138 0 0 0 124 5 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231200496040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1069] ppid=1057 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/1059/task/1069/stat : 1069 (java) S 1057 1059 30010 0 -1 4202560 179 0 0 0 120 7 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231199443496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1070] ppid=1057 vsize=11852648 CPUtime=17.68 cores=1,3,5,7
/proc/1059/task/1070/stat : 1070 (java) S 1057 1059 30010 0 -1 4202560 170 0 0 0 1760 8 0 0 20 0 22 0 342642710 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231187245672 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1071] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1071/stat : 1071 (java) S 1057 1059 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231186191992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1072] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1072/stat : 1072 (java) S 1057 1059 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231185139336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1073] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1073/stat : 1073 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231184088080 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1074] ppid=1057 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/1059/task/1074/stat : 1074 (java) S 1057 1059 30010 0 -1 4202560 11538 0 0 0 146 2 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231183034424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1075] ppid=1057 vsize=11852648 CPUtime=1.33 cores=1,3,5,7
/proc/1059/task/1075/stat : 1075 (java) S 1057 1059 30010 0 -1 4202560 9531 0 0 0 131 2 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231181981880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1076] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1076/stat : 1076 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231180929528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1077] ppid=1057 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/1059/task/1077/stat : 1077 (java) S 1057 1059 30010 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231179877192 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1078] ppid=1057 vsize=11852648 CPUtime=884.47 cores=1,3,5,7
/proc/1059/task/1078/stat : 1078 (java) R 1057 1059 30010 0 -1 4202560 93 0 0 0 88432 15 0 0 20 0 22 0 342642773 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231178822224 140231236549558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1079] ppid=1057 vsize=11852648 CPUtime=884.38 cores=1,3,5,7
/proc/1059/task/1079/stat : 1079 (java) R 1057 1059 30010 0 -1 4202560 1626 0 0 0 88371 67 0 0 20 0 22 0 342642773 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231177767584 140231237254175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1080] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1080/stat : 1080 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231176717864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1081] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1081/stat : 1081 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231175665320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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+905.701 s]
/proc/loadavg: 3.92 3.91 3.90 5/219 1149
/proc/meminfo: memFree=19379264/32873648 swapFree=6852/6852
[pid=1059] ppid=1057 vsize=11852648 CPUtime=1800.11 cores=1,3,5,7
/proc/1059/stat : 1059 (java) S 1057 1059 30010 0 -1 4202496 28848 0 1 0 179886 125 0 0 20 0 22 0 342642706 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140735131769408 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1059/statm: 2963162 965568 2291 9 0 2953849 0
[pid=1059/tid=1061] ppid=1057 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/1059/task/1061/stat : 1061 (java) S 1057 1059 30010 0 -1 4202560 3478 0 1 0 62 6 0 0 20 0 22 0 342642707 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231370019992 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1062] ppid=1057 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/1059/task/1062/stat : 1062 (java) S 1057 1059 30010 0 -1 4202560 156 0 0 0 120 5 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231359081128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1063] ppid=1057 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/1059/task/1063/stat : 1063 (java) S 1057 1059 30010 0 -1 4202560 118 0 0 0 115 4 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231358028584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1064] ppid=1057 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/1059/task/1064/stat : 1064 (java) S 1057 1059 30010 0 -1 4202560 142 0 0 0 113 4 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231356976040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1065] ppid=1057 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/1059/task/1065/stat : 1065 (java) S 1057 1059 30010 0 -1 4202560 142 0 0 0 123 6 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231355923496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1066] ppid=1057 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/1059/task/1066/stat : 1066 (java) S 1057 1059 30010 0 -1 4202560 134 0 0 0 116 6 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231354869928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1067] ppid=1057 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/1059/task/1067/stat : 1067 (java) S 1057 1059 30010 0 -1 4202560 164 0 0 0 128 4 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231201548584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1068] ppid=1057 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/1059/task/1068/stat : 1068 (java) S 1057 1059 30010 0 -1 4202560 138 0 0 0 124 5 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231200496040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1069] ppid=1057 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/1059/task/1069/stat : 1069 (java) S 1057 1059 30010 0 -1 4202560 179 0 0 0 120 7 0 0 20 0 22 0 342642709 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231199443496 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1070] ppid=1057 vsize=11852648 CPUtime=17.68 cores=1,3,5,7
/proc/1059/task/1070/stat : 1070 (java) S 1057 1059 30010 0 -1 4202560 170 0 0 0 1760 8 0 0 20 0 22 0 342642710 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231187245672 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1071] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1071/stat : 1071 (java) S 1057 1059 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231186191992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1072] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1072/stat : 1072 (java) S 1057 1059 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342642710 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231185139336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1073] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1073/stat : 1073 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231184088080 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1074] ppid=1057 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/1059/task/1074/stat : 1074 (java) S 1057 1059 30010 0 -1 4202560 11538 0 0 0 146 2 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231183034424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1059/tid=1075] ppid=1057 vsize=11852648 CPUtime=1.33 cores=1,3,5,7
/proc/1059/task/1075/stat : 1075 (java) S 1057 1059 30010 0 -1 4202560 9531 0 0 0 131 2 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231181981880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1076] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1076/stat : 1076 (java) S 1057 1059 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231180929528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1077] ppid=1057 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/1059/task/1077/stat : 1077 (java) S 1057 1059 30010 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 342642713 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231179877192 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1078] ppid=1057 vsize=11852648 CPUtime=884.47 cores=1,3,5,7
/proc/1059/task/1078/stat : 1078 (java) R 1057 1059 30010 0 -1 4202560 93 0 0 0 88432 15 0 0 20 0 22 0 342642773 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231178822224 140231236549558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1059/tid=1079] ppid=1057 vsize=11852648 CPUtime=884.38 cores=1,3,5,7
/proc/1059/task/1079/stat : 1079 (java) R 1057 1059 30010 0 -1 4202560 1626 0 0 0 88371 67 0 0 20 0 22 0 342642773 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231177767584 140231237254175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1059/tid=1080] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1080/stat : 1080 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231176717864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1059/tid=1081] ppid=1057 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1059/task/1081/stat : 1081 (java) S 1057 1059 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342642776 12137111552 965568 33554432000 1073741824 1073778376 140735131778272 140231175665320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 905.771
CPU time (s): 1800.8
CPU user time (s): 1799.04
CPU system time (s): 1.76173
CPU usage (%): 198.814
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.76173
maximum resident set size= 3864448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28883
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24504
involuntary context switches= 33473

runsolver used 3.07253 second user time and 8.48271 second system time

The end

Launcher Data 

Begin job on node115 at 2012-06-04 01:12:39
IDJOB=3742240
IDBENCH=90143
IDSOLVER=2328
FILE ID=node115/3742240-1338765159
RUNJOBID= node115-1338748926-30027
PBS_JOBID= 14636792
Free space on /tmp= 70828 MiB

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

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

MD5SUM BENCH= 4ffc81aa318dee614e51a62344fd339d
RANDOM SEED=783107076

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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		: 2666.462
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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		: 2666.462
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		: 2666.462
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        23551124 kB
Buffers:         1444416 kB
Cached:          3622440 kB
SwapCached:         1016 kB
Active:          6085180 kB
Inactive:        2309600 kB
Active(anon):    3316212 kB
Inactive(anon):     9868 kB
Active(file):    2768968 kB
Inactive(file):  2299732 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106440 kB
Dirty:              1652 kB
Writeback:             0 kB
AnonPages:       3339272 kB
Mapped:            19872 kB
Shmem:                96 kB
Slab:             771988 kB
SReclaimable:     216044 kB
SUnreclaim:       555944 kB
KernelStack:        1728 kB
PageTables:        10764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10460348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3293184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70828 MiB
End job on node115 at 2012-06-04 01:27:47