Trace number 3742253

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.04 905.163

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K183.opb
MD5SUM0350ceeb14af28f3be070cadc324c0d3
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 variables21777
Total number of constraints22145
Number of constraints which are clauses21962
Number of constraints which are cardinality constraints (but not clauses)183
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint183
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 184
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.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		9996466904
0.08/0.10	c Max memory 		10048897024
0.08/0.10	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3742253-1338765211.opb
0.08/0.13	c reading problem ... 
1.16/0.65	c ... done. Wall clock time 0.527s.
1.16/0.65	c #vars     21777
1.16/0.65	c #constraints  22145
1.16/0.65	c constraints type 
1.16/0.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19594
1.16/0.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 183
1.16/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2366
1.16/0.65	c constraints type 
1.16/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2366
1.16/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 19594
1.16/0.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 183
8.74/3.71	c cleaning 2490 clauses out of 4993 with flag 5001/5001
14.81/6.73	c cleaning 4163 clauses out of 8499 with flag 11000/11000
24.34/11.30	c cleaning 5623 clauses out of 11332 with flag 18000/18000
32.68/15.59	c cleaning 6682 clauses out of 13702 with flag 26000/26000
43.90/21.18	c cleaning 7764 clauses out of 16011 with flag 35000/35000
55.02/26.75	c cleaning 8856 clauses out of 18240 with flag 45000/45000
67.76/33.11	c cleaning 10025 clauses out of 20382 with flag 56000/56000
81.46/40.09	c cleaning 10780 clauses out of 22357 with flag 68000/68000
95.77/47.23	c cleaning 11924 clauses out of 24573 with flag 81002/81002
113.87/56.32	c cleaning 12716 clauses out of 26646 with flag 95000/95000
131.76/65.36	c cleaning 13865 clauses out of 28927 with flag 110001/110001
153.52/76.20	c cleaning 15413 clauses out of 31062 with flag 126001/126001
182.38/90.74	c cleaning 15982 clauses out of 32643 with flag 143002/143002
207.09/103.13	c cleaning 16854 clauses out of 34655 with flag 161000/161000
232.78/116.02	c cleaning 18130 clauses out of 36798 with flag 180000/180000
258.08/128.70	c cleaning 18803 clauses out of 38668 with flag 200000/200000
285.48/142.52	c cleaning 19993 clauses out of 40864 with flag 221000/221000
314.79/157.30	c cleaning 20796 clauses out of 42870 with flag 243001/243001
347.06/173.44	c cleaning 22012 clauses out of 45074 with flag 266002/266002
383.12/191.55	c cleaning 22325 clauses out of 46059 with flag 289002/289002
420.10/210.18	c cleaning 22732 clauses out of 46730 with flag 312002/312002
459.57/229.93	c cleaning 21534 clauses out of 46996 with flag 335000/335000
491.82/246.12	c cleaning 22152 clauses out of 48462 with flag 358000/358000
523.05/261.81	c cleaning 20917 clauses out of 49309 with flag 381001/381001
552.58/276.78	c cleaning 21533 clauses out of 51390 with flag 404000/404000
594.10/297.57	c cleaning 21697 clauses out of 52851 with flag 427000/427000
683.92/342.49	c cleaning 22359 clauses out of 54154 with flag 450000/450000
724.39/362.76	c cleaning 22257 clauses out of 54793 with flag 473000/473000
770.16/385.73	c cleaning 21139 clauses out of 55536 with flag 496001/496001
803.62/402.60	c cleaning 21154 clauses out of 57396 with flag 519001/519001
855.62/428.62	c cleaning 21661 clauses out of 59241 with flag 542000/542000
886.00/443.93	c cleaning 21430 clauses out of 60572 with flag 565003/565003
920.63/461.44	c cleaning 21437 clauses out of 62138 with flag 588001/588001
958.20/480.36	c cleaning 21352 clauses out of 63700 with flag 611000/611000
993.39/498.03	c cleaning 21584 clauses out of 65348 with flag 634000/634000
1027.18/515.10	c cleaning 21717 clauses out of 66763 with flag 657000/657000
1065.03/534.15	c cleaning 21283 clauses out of 68048 with flag 680004/680004
1074.60/539.05	c cleaning 0 clauses out of 5000 with flag 0/5000
1096.65/550.07	c cleaning 21757 clauses out of 69762 with flag 703001/703001
1135.02/569.39	c cleaning 22006 clauses out of 71005 with flag 726001/726001
1164.22/584.14	c cleaning 21876 clauses out of 71998 with flag 749000/749000
1196.55/600.45	c cleaning 21479 clauses out of 73122 with flag 772000/772000
1228.92/616.71	c cleaning 21468 clauses out of 74643 with flag 795002/795002
1262.85/633.88	c cleaning 21538 clauses out of 76173 with flag 818001/818001
1294.85/650.05	c cleaning 21535 clauses out of 77637 with flag 841004/841004
1347.83/676.63	c cleaning 22509 clauses out of 79098 with flag 864000/864000
1377.34/691.54	c cleaning 21352 clauses out of 79589 with flag 887000/887000
1414.91/710.41	c cleaning 21641 clauses out of 81237 with flag 910000/910000
1444.52/725.43	c cleaning 21500 clauses out of 82596 with flag 933000/933000
1483.29/744.91	c cleaning 21616 clauses out of 84095 with flag 956000/956000
1509.65/758.25	c cleaning 21453 clauses out of 85479 with flag 979000/979000
1538.40/772.76	c cleaning 21504 clauses out of 87026 with flag 1002000/1002000
1566.35/786.96	c cleaning 22145 clauses out of 88525 with flag 1025003/1025003
1601.29/804.57	c cleaning 21996 clauses out of 89377 with flag 1048000/1048000
1628.84/818.45	c cleaning 21943 clauses out of 90381 with flag 1071000/1071000
1660.20/834.22	c cleaning 21733 clauses out of 91437 with flag 1094000/1094000
1697.88/853.40	c cleaning 21422 clauses out of 92704 with flag 1117000/1117000
1732.54/870.89	c cleaning 21576 clauses out of 94285 with flag 1140003/1140003
1764.46/886.93	c cleaning 21977 clauses out of 95706 with flag 1163000/1163000
1797.00/903.38	c cleaning 21817 clauses out of 96729 with flag 1186000/1186000
1800.04/905.11	c starts		: 180
1800.04/905.11	c conflicts		: 1188296
1800.04/905.11	c decisions		: 52525533
1800.04/905.11	c propagations		: 1001096411
1800.04/905.11	c inspects		: 1796085895
1800.04/905.11	c shortcuts		: 0
1800.04/905.11	c learnt literals	: 111
1800.04/905.11	c learnt binary clauses	: 65271
1800.04/905.11	c learnt ternary clauses	: 67547
1800.04/905.11	c learnt constraints	: 1188185
1800.04/905.11	c ignored constraints	: 0
1800.04/905.11	c root simplifications	: 0
1800.04/905.11	c removed literals (reason simplification)	: 8746068
1800.04/905.11	c reason swapping (by a shorter reason)	: 0
1800.04/905.11	c Calls to reduceDB	: 59
1800.04/905.11	c number of reductions to clauses (during analyze)	: 0
1800.04/905.11	c number of learned constraints concerned by reduction	: 0
1800.04/905.11	c number of learning phase by resolution	: 0
1800.04/905.11	c number of learning phase by cutting planes	: 0
1800.04/905.11	c speed (assignments/second)	: 1106850.0336113642
1800.04/905.11	c non guided choices	51254
1800.04/905.14	c learnt constraints type 
1800.04/905.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 65275
1800.04/905.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11987
1800.04/905.14	c constraints type 
1800.04/905.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19594
1800.04/905.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 183
1800.04/905.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2366
1800.04/905.14	c constraints type 
1800.04/905.14	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2366
1800.04/905.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 19594
1800.04/905.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 183
1800.04/905.14	s UNKNOWN
1800.04/905.14	c Total wall clock time (in seconds): 905.017

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-3742253-1338765211/watcher-3742253-1338765211 -o /tmp/evaluation-result-3742253-1338765211/solver-3742253-1338765211 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742253-1338765211.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.72 3.88 3.84 4/195 5050
/proc/meminfo: memFree=25455788/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5050/stat : 5050 (java) D 5048 5050 1918 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 342646528 9515008 182 33554432000 1073741824 1073778376 140733776976976 140733776968008 252263087797 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/5050/statm: 2323 182 140 9 0 71 0

[startup+0.0785641 s]
/proc/loadavg: 3.72 3.88 3.84 4/195 5050
/proc/meminfo: memFree=25455788/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11586364 CPUtime=0.06 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 4396 0 1 0 5 1 0 0 20 0 18 0 342646528 11864436736 12760 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2896591 12761 1754 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586364

[startup+0.100331 s]
/proc/loadavg: 3.72 3.88 3.84 4/195 5050
/proc/meminfo: memFree=25455788/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 4710 0 1 0 7 1 0 0 20 0 18 0 342646528 11864465408 13074 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2896598 13074 1940 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300306 s]
/proc/loadavg: 3.72 3.88 3.84 4/195 5050
/proc/meminfo: memFree=25455788/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11586392 CPUtime=0.55 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 8293 0 1 0 53 2 0 0 20 0 18 0 342646528 11864465408 18888 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2896598 18888 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 11586392

[startup+0.700204 s]
/proc/loadavg: 3.72 3.88 3.84 4/195 5050
/proc/meminfo: memFree=25455788/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 10151 0 1 0 135 6 0 0 20 0 22 0 342646528 12137111552 53648 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2963162 53648 2255 9 0 2953849 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 11852648

[startup+1.50089 s]
/proc/loadavg: 3.72 3.88 3.84 7/217 5072
/proc/meminfo: memFree=25214340/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11852648 CPUtime=4.29 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 21639 0 1 0 418 11 0 0 20 0 22 0 342646528 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2963162 93583 2263 9 0 2953849 0
[pid=5050/tid=5052] ppid=5048 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/5050/task/5052/stat : 5052 (java) S 5048 5050 1918 0 -1 4202560 3451 0 1 0 58 4 0 0 20 0 22 0 342646529 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534900413592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5053] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5053/stat : 5053 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534889474856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5054] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5054/stat : 5054 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534888422056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5055] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5055/stat : 5055 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534734941224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5056] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5056/stat : 5056 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534733888424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5057] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5057/stat : 5057 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534732835112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5058] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5058/stat : 5058 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534731782312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5059] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5059/stat : 5059 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534730730024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5060] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5060/stat : 5060 (java) S 5048 5050 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534729677224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5061] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5061/stat : 5061 (java) S 5048 5050 1918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342646533 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534717479656 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5062] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5062/stat : 5062 (java) S 5048 5050 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534716425720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5063] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5063/stat : 5063 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534715373320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5064] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5064/stat : 5064 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534714321808 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5065] ppid=5048 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/5050/task/5065/stat : 5065 (java) S 5048 5050 1918 0 -1 4202560 5928 0 0 0 99 0 0 0 20 0 22 0 342646536 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534713268408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5066] ppid=5048 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/5050/task/5066/stat : 5066 (java) S 5048 5050 1918 0 -1 4202560 10895 0 0 0 93 3 0 0 20 0 22 0 342646536 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534712215608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5067] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5067/stat : 5067 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534711163512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5068] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5068/stat : 5068 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534710110920 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5069] ppid=5048 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/5050/task/5069/stat : 5069 (java) R 5048 5050 1918 0 -1 4202560 26 0 0 0 82 0 0 0 20 0 22 0 342646594 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534709056344 140534770124321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5070] ppid=5048 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/5050/task/5070/stat : 5070 (java) R 5048 5050 1918 0 -1 4202560 139 0 0 0 79 3 0 0 20 0 22 0 342646594 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534708003288 140534770056421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5071] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5071/stat : 5071 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534706951848 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5072] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5072/stat : 5072 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 93583 33554432000 1073741824 1073778376 140734408173888 140534705899048 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 11852648

[startup+3.10091 s]
/proc/loadavg: 3.72 3.88 3.84 5/217 5072
/proc/meminfo: memFree=25087120/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11852648 CPUtime=7.48 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 21643 0 1 0 737 11 0 0 20 0 22 0 342646528 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2963162 94608 2263 9 0 2953849 0
[pid=5050/tid=5052] ppid=5048 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/5050/task/5052/stat : 5052 (java) S 5048 5050 1918 0 -1 4202560 3451 0 1 0 58 4 0 0 20 0 22 0 342646529 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534900413592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5053] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5053/stat : 5053 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534889474856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5054] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5054/stat : 5054 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534888422056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5055] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5055/stat : 5055 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534734941224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5056] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5056/stat : 5056 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534733888424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5057] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5057/stat : 5057 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534732835112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5058] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5058/stat : 5058 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534731782312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5059] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5059/stat : 5059 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534730730024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5060] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5060/stat : 5060 (java) S 5048 5050 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534729677224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5061] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5061/stat : 5061 (java) S 5048 5050 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342646533 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534717479656 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5062] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5062/stat : 5062 (java) S 5048 5050 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534716425720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5063] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5063/stat : 5063 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534715373320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5064] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5064/stat : 5064 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534714321808 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5065] ppid=5048 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/5050/task/5065/stat : 5065 (java) S 5048 5050 1918 0 -1 4202560 5928 0 0 0 99 0 0 0 20 0 22 0 342646536 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534713268408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5066] ppid=5048 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/5050/task/5066/stat : 5066 (java) S 5048 5050 1918 0 -1 4202560 10895 0 0 0 93 3 0 0 20 0 22 0 342646536 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534712215608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5067] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5067/stat : 5067 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534711163512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5068] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5068/stat : 5068 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534710110920 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5069] ppid=5048 vsize=11852648 CPUtime=2.42 cores=1,3,5,7
/proc/5050/task/5069/stat : 5069 (java) R 5048 5050 1918 0 -1 4202560 28 0 0 0 242 0 0 0 20 0 22 0 342646594 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534709054616 140534770067014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5070] ppid=5048 vsize=11852648 CPUtime=2.41 cores=1,3,5,7
/proc/5050/task/5070/stat : 5070 (java) R 5048 5050 1918 0 -1 4202560 140 0 0 0 238 3 0 0 20 0 22 0 342646594 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534708001472 140534770056668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5071] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5071/stat : 5071 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534706951848 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5072] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5072/stat : 5072 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 94608 33554432000 1073741824 1073778376 140734408173888 140534705899048 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 11852648

[startup+6.3009 s]
/proc/loadavg: 3.74 3.88 3.84 5/217 5072
/proc/meminfo: memFree=25047956/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11852648 CPUtime=14.02 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 21743 0 1 0 1387 15 0 0 20 0 22 0 342646528 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2963162 103624 2289 9 0 2953849 0
[pid=5050/tid=5052] ppid=5048 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/5050/task/5052/stat : 5052 (java) S 5048 5050 1918 0 -1 4202560 3452 0 1 0 58 4 0 0 20 0 22 0 342646529 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534900413592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5053] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5053/stat : 5053 (java) S 5048 5050 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534889474856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5054] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5054/stat : 5054 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534888422056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5055] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5055/stat : 5055 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534734941224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5056] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5056/stat : 5056 (java) S 5048 5050 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534733888424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5057] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5057/stat : 5057 (java) S 5048 5050 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534732835112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5058] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5058/stat : 5058 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534731782312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5059] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5059/stat : 5059 (java) S 5048 5050 1918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534730730024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5060] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5060/stat : 5060 (java) S 5048 5050 1918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342646532 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534729677224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5061] ppid=5048 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/5050/task/5061/stat : 5061 (java) S 5048 5050 1918 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 22 0 342646533 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534717479656 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5062] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5062/stat : 5062 (java) S 5048 5050 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534716425720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5063] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5063/stat : 5063 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534715373320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5064] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5064/stat : 5064 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534714321808 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5065] ppid=5048 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/5050/task/5065/stat : 5065 (java) S 5048 5050 1918 0 -1 4202560 5931 0 0 0 107 1 0 0 20 0 22 0 342646536 12137111552 103624 33554432000 1073741824 1073778376 140734408173888 140534713268408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

/proc/5050/statm: 2963162 954563 2291 9 0 2953849 0
[pid=5050/tid=5052] ppid=5048 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/5050/task/5052/stat : 5052 (java) S 5048 5050 1918 0 -1 4202560 3479 0 1 0 60 7 0 0 20 0 22 0 342646529 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534900413592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5053] ppid=5048 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/5050/task/5053/stat : 5053 (java) S 5048 5050 1918 0 -1 4202560 139 0 0 0 97 6 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534889474856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5054] ppid=5048 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/5050/task/5054/stat : 5054 (java) S 5048 5050 1918 0 -1 4202560 155 0 0 0 103 6 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534888422056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5055] ppid=5048 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/5050/task/5055/stat : 5055 (java) S 5048 5050 1918 0 -1 4202560 128 0 0 0 107 5 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534734941224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5056] ppid=5048 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/5050/task/5056/stat : 5056 (java) S 5048 5050 1918 0 -1 4202560 107 0 0 0 97 4 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534733888424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5057] ppid=5048 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/5050/task/5057/stat : 5057 (java) S 5048 5050 1918 0 -1 4202560 108 0 0 0 98 4 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534732835112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5058] ppid=5048 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/5050/task/5058/stat : 5058 (java) S 5048 5050 1918 0 -1 4202560 105 0 0 0 95 4 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534731782312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5059] ppid=5048 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/5050/task/5059/stat : 5059 (java) S 5048 5050 1918 0 -1 4202560 149 0 0 0 90 7 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534730730024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5060] ppid=5048 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/5050/task/5060/stat : 5060 (java) S 5048 5050 1918 0 -1 4202560 144 0 0 0 95 5 0 0 20 0 22 0 342646532 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534729677224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5061] ppid=5048 vsize=11852648 CPUtime=15.54 cores=1,3,5,7
/proc/5050/task/5061/stat : 5061 (java) S 5048 5050 1918 0 -1 4202560 163 0 0 0 1549 5 0 0 20 0 22 0 342646533 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534717479656 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5062] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5062/stat : 5062 (java) S 5048 5050 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534716425720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5063] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5063/stat : 5063 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534715373320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5064] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5064/stat : 5064 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534714321808 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5065] ppid=5048 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/5050/task/5065/stat : 5065 (java) S 5048 5050 1918 0 -1 4202560 5942 0 0 0 125 2 0 0 20 0 22 0 342646536 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534713268408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5066] ppid=5048 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/5050/task/5066/stat : 5066 (java) S 5048 5050 1918 0 -1 4202560 12283 0 0 0 179 3 0 0 20 0 22 0 342646536 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534712215608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5067] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5067/stat : 5067 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534711163512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5068] ppid=5048 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/5050/task/5068/stat : 5068 (java) S 5048 5050 1918 0 -1 4202560 50 0 0 0 18 24 0 0 20 0 22 0 342646536 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534710110920 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5069] ppid=5048 vsize=11852648 CPUtime=861.41 cores=1,3,5,7
/proc/5050/task/5069/stat : 5069 (java) R 5048 5050 1918 0 -1 4202560 73 0 0 0 86127 14 0 0 20 0 22 0 342646594 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534709056208 140534770114560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5070] ppid=5048 vsize=11852648 CPUtime=861.32 cores=1,3,5,7
/proc/5050/task/5070/stat : 5070 (java) R 5048 5050 1918 0 -1 4202560 1625 0 0 0 86061 71 0 0 20 0 22 0 342646594 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534708001488 140534770257216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5071] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5071/stat : 5071 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534706951848 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5072] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5072/stat : 5072 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 954563 33554432000 1073741824 1073778376 140734408173888 140534705899048 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1755.21
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+905.101 s]
/proc/loadavg: 3.99 3.92 3.86 5/217 5140
/proc/meminfo: memFree=20852988/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11852648 CPUtime=1800.04 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 25896 0 1 0 179861 143 0 0 20 0 22 0 342646528 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2963162 954614 2291 9 0 2953849 0
[pid=5050/tid=5052] ppid=5048 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/5050/task/5052/stat : 5052 (java) S 5048 5050 1918 0 -1 4202560 3479 0 1 0 60 7 0 0 20 0 22 0 342646529 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534900413592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5053] ppid=5048 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/5050/task/5053/stat : 5053 (java) S 5048 5050 1918 0 -1 4202560 158 0 0 0 104 6 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534889474856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5054] ppid=5048 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/5050/task/5054/stat : 5054 (java) S 5048 5050 1918 0 -1 4202560 158 0 0 0 107 6 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534888422056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5055] ppid=5048 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/5050/task/5055/stat : 5055 (java) S 5048 5050 1918 0 -1 4202560 147 0 0 0 112 5 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534734941224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5056] ppid=5048 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/5050/task/5056/stat : 5056 (java) S 5048 5050 1918 0 -1 4202560 108 0 0 0 101 4 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534733888424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5057] ppid=5048 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/5050/task/5057/stat : 5057 (java) S 5048 5050 1918 0 -1 4202560 111 0 0 0 103 4 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534732835112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5058] ppid=5048 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/5050/task/5058/stat : 5058 (java) S 5048 5050 1918 0 -1 4202560 109 0 0 0 99 4 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534731782312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5059] ppid=5048 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/5050/task/5059/stat : 5059 (java) S 5048 5050 1918 0 -1 4202560 149 0 0 0 97 7 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534730730024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5060] ppid=5048 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/5050/task/5060/stat : 5060 (java) S 5048 5050 1918 0 -1 4202560 146 0 0 0 99 5 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534729677224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5061] ppid=5048 vsize=11852648 CPUtime=16.51 cores=1,3,5,7
/proc/5050/task/5061/stat : 5061 (java) S 5048 5050 1918 0 -1 4202560 165 0 0 0 1646 5 0 0 20 0 22 0 342646533 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534717479656 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5062] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5062/stat : 5062 (java) S 5048 5050 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534716425720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5063] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5063/stat : 5063 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534715373320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5064] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5064/stat : 5064 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534714321808 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5065] ppid=5048 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/5050/task/5065/stat : 5065 (java) S 5048 5050 1918 0 -1 4202560 5942 0 0 0 125 2 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534713268408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5066] ppid=5048 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/5050/task/5066/stat : 5066 (java) S 5048 5050 1918 0 -1 4202560 12283 0 0 0 179 3 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534712215608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5067] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5067/stat : 5067 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534711163512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5068] ppid=5048 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/5050/task/5068/stat : 5068 (java) S 5048 5050 1918 0 -1 4202560 52 0 0 0 18 24 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534710110920 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5069] ppid=5048 vsize=11852648 CPUtime=883.06 cores=1,3,5,7
/proc/5050/task/5069/stat : 5069 (java) R 5048 5050 1918 0 -1 4202560 76 0 0 0 88292 14 0 0 20 0 22 0 342646594 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534709056208 140534769513633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5070] ppid=5048 vsize=11852648 CPUtime=882.98 cores=1,3,5,7
/proc/5050/task/5070/stat : 5070 (java) R 5048 5050 1918 0 -1 4202560 1626 0 0 0 88227 71 0 0 20 0 22 0 342646594 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534708001136 140534770228005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5071] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5071/stat : 5071 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534706951848 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5072] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5072/stat : 5072 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534705899048 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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.101 s]
/proc/loadavg: 3.99 3.92 3.86 5/217 5140
/proc/meminfo: memFree=20852988/32873852 swapFree=7624/7624
[pid=5050] ppid=5048 vsize=11852648 CPUtime=1800.04 cores=1,3,5,7
/proc/5050/stat : 5050 (java) S 5048 5050 1918 0 -1 4202496 25896 0 1 0 179861 143 0 0 20 0 22 0 342646528 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140734408165024 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5050/statm: 2963162 954614 2291 9 0 2953849 0
[pid=5050/tid=5052] ppid=5048 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/5050/task/5052/stat : 5052 (java) S 5048 5050 1918 0 -1 4202560 3479 0 1 0 60 7 0 0 20 0 22 0 342646529 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534900413592 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5053] ppid=5048 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/5050/task/5053/stat : 5053 (java) S 5048 5050 1918 0 -1 4202560 158 0 0 0 104 6 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534889474856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5054] ppid=5048 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/5050/task/5054/stat : 5054 (java) S 5048 5050 1918 0 -1 4202560 158 0 0 0 107 6 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534888422056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5055] ppid=5048 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/5050/task/5055/stat : 5055 (java) S 5048 5050 1918 0 -1 4202560 147 0 0 0 112 5 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534734941224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5056] ppid=5048 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/5050/task/5056/stat : 5056 (java) S 5048 5050 1918 0 -1 4202560 108 0 0 0 101 4 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534733888424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5057] ppid=5048 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/5050/task/5057/stat : 5057 (java) S 5048 5050 1918 0 -1 4202560 111 0 0 0 103 4 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534732835112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5058] ppid=5048 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/5050/task/5058/stat : 5058 (java) S 5048 5050 1918 0 -1 4202560 109 0 0 0 99 4 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534731782312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5059] ppid=5048 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/5050/task/5059/stat : 5059 (java) S 5048 5050 1918 0 -1 4202560 149 0 0 0 97 7 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534730730024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5060] ppid=5048 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/5050/task/5060/stat : 5060 (java) S 5048 5050 1918 0 -1 4202560 146 0 0 0 99 5 0 0 20 0 22 0 342646532 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534729677224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5061] ppid=5048 vsize=11852648 CPUtime=16.51 cores=1,3,5,7
/proc/5050/task/5061/stat : 5061 (java) S 5048 5050 1918 0 -1 4202560 165 0 0 0 1646 5 0 0 20 0 22 0 342646533 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534717479656 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5062] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5062/stat : 5062 (java) S 5048 5050 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534716425720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5063] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5063/stat : 5063 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646534 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534715373320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5064] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5064/stat : 5064 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534714321808 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5065] ppid=5048 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/5050/task/5065/stat : 5065 (java) S 5048 5050 1918 0 -1 4202560 5942 0 0 0 125 2 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534713268408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5066] ppid=5048 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/5050/task/5066/stat : 5066 (java) S 5048 5050 1918 0 -1 4202560 12283 0 0 0 179 3 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534712215608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5067] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5067/stat : 5067 (java) S 5048 5050 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534711163512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5050/tid=5068] ppid=5048 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/5050/task/5068/stat : 5068 (java) S 5048 5050 1918 0 -1 4202560 52 0 0 0 18 24 0 0 20 0 22 0 342646536 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534710110920 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5069] ppid=5048 vsize=11852648 CPUtime=883.06 cores=1,3,5,7
/proc/5050/task/5069/stat : 5069 (java) R 5048 5050 1918 0 -1 4202560 76 0 0 0 88292 14 0 0 20 0 22 0 342646594 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534709056208 140534769513633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5050/tid=5070] ppid=5048 vsize=11852648 CPUtime=882.98 cores=1,3,5,7
/proc/5050/task/5070/stat : 5070 (java) R 5048 5050 1918 0 -1 4202560 1626 0 0 0 88227 71 0 0 20 0 22 0 342646594 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534708001136 140534770228005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5050/tid=5071] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5071/stat : 5071 (java) S 5048 5050 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534706951848 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5050/tid=5072] ppid=5048 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5050/task/5072/stat : 5072 (java) S 5048 5050 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342646596 12137111552 954614 33554432000 1073741824 1073778376 140734408173888 140534705899048 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5050 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=960276
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=840720
# CPU time returned by wait4() is 1795.8
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 905.163
CPU time (s): 1800.04
CPU user time (s): 1798.61
CPU system time (s): 1.43
CPU usage (%): 198.864
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 1.84072
maximum resident set size= 3820632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25931
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24048
involuntary context switches= 28189

runsolver used 3.16152 second user time and 8.88465 second system time

The end

Launcher Data

Begin job on node131 at 2012-06-04 01:13:31
IDJOB=3742253
IDBENCH=90144
IDSOLVER=2328
FILE ID=node131/3742253-1338765211
RUNJOBID= node131-1338749255-1935
PBS_JOBID= 14636797
Free space on /tmp= 71400 MiB

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

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

MD5SUM BENCH= 0350ceeb14af28f3be070cadc324c0d3
RANDOM SEED=1207928802

node131.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.805
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	: 5333.61
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.805
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.805
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		: 2666.805
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.805
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		: 2666.805
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25455796 kB
Buffers:          567212 kB
Cached:          3134456 kB
SwapCached:         2348 kB
Active:          4274240 kB
Inactive:        2264984 kB
Active(anon):    2833388 kB
Inactive(anon):     3664 kB
Active(file):    1440852 kB
Inactive(file):  2261320 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              1988 kB
Writeback:             0 kB
AnonPages:       2845472 kB
Mapped:            22424 kB
Shmem:                 0 kB
Slab:             729092 kB
SReclaimable:     171384 kB
SUnreclaim:       557708 kB
KernelStack:        1608 kB
PageTables:         9780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10461352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2779136 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= 71400 MiB
End job on node131 at 2012-06-04 01:28:38