Trace number 3742552

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.08 905.562

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K141.opb
MD5SUMe981076bb5354ded6cb9b093a6d1a03e
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 variables16779
Total number of constraints17063
Number of constraints which are clauses16922
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint141
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 142
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3742552-1338770865.opb
0.11/0.11	c reading problem ... 
1.18/0.60	c ... done. Wall clock time 0.489s.
1.18/0.60	c #vars     16779
1.18/0.60	c #constraints  17063
1.18/0.60	c constraints type 
1.18/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15100
1.18/0.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 141
1.18/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1820
1.18/0.60	c constraints type 
1.18/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1820
1.18/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15100
1.18/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 141
8.19/3.45	c cleaning 2494 clauses out of 4991 with flag 5002/5002
14.74/6.65	c cleaning 4241 clauses out of 8494 with flag 11000/11000
21.75/10.11	c cleaning 5555 clauses out of 11249 with flag 18000/18000
29.90/14.27	c cleaning 6687 clauses out of 13689 with flag 26002/26002
38.27/18.50	c cleaning 7845 clauses out of 16000 with flag 35000/35000
47.63/23.14	c cleaning 8880 clauses out of 18154 with flag 45000/45000
59.55/29.13	c cleaning 9903 clauses out of 20274 with flag 56001/56001
71.27/35.02	c cleaning 10951 clauses out of 22367 with flag 68000/68000
85.57/42.23	c cleaning 11917 clauses out of 24414 with flag 81001/81001
104.90/51.98	c cleaning 13022 clauses out of 26493 with flag 95000/95000
127.08/63.05	c cleaning 13955 clauses out of 28470 with flag 110002/110002
146.44/72.79	c cleaning 15078 clauses out of 30512 with flag 126000/126000
170.91/85.00	c cleaning 15898 clauses out of 32430 with flag 143000/143000
190.89/95.07	c cleaning 17070 clauses out of 34524 with flag 161000/161000
210.19/104.75	c cleaning 17593 clauses out of 35453 with flag 179001/179001
233.24/116.35	c cleaning 17670 clauses out of 35845 with flag 197000/197000
257.89/128.72	c cleaning 17753 clauses out of 36176 with flag 215001/215001
282.40/141.02	c cleaning 17955 clauses out of 36421 with flag 233000/233000
308.14/153.96	c cleaning 18080 clauses out of 36468 with flag 251002/251002
327.61/163.74	c cleaning 17764 clauses out of 36385 with flag 269006/269006
363.16/181.63	c cleaning 18049 clauses out of 36614 with flag 287001/287001
389.01/194.65	c cleaning 16812 clauses out of 36566 with flag 305002/305002
413.61/207.06	c cleaning 16750 clauses out of 37753 with flag 323001/323001
439.25/219.97	c cleaning 16908 clauses out of 38997 with flag 341002/341002
475.83/238.32	c cleaning 17335 clauses out of 40092 with flag 359005/359005
505.47/253.30	c cleaning 17233 clauses out of 40748 with flag 377000/377000
525.12/263.10	c cleaning 16627 clauses out of 41513 with flag 395000/395000
551.01/276.13	c cleaning 17049 clauses out of 42887 with flag 413001/413001
610.96/306.27	c cleaning 17487 clauses out of 43840 with flag 431003/431003
649.64/325.69	c cleaning 17474 clauses out of 44354 with flag 449004/449004
690.01/345.92	c cleaning 17463 clauses out of 44877 with flag 467001/467001
722.49/362.29	c cleaning 17516 clauses out of 45414 with flag 485001/485001
750.80/376.51	c cleaning 17361 clauses out of 45897 with flag 503000/503000
771.18/386.85	c cleaning 17075 clauses out of 46536 with flag 521001/521001
794.15/398.43	c cleaning 16770 clauses out of 47466 with flag 539006/539006
814.71/408.83	c cleaning 17046 clauses out of 48691 with flag 557002/557002
878.38/440.88	c cleaning 17266 clauses out of 49646 with flag 575003/575003
912.21/457.82	c cleaning 17025 clauses out of 50377 with flag 593001/593001
938.72/471.26	c cleaning 16935 clauses out of 51351 with flag 611000/611000
965.29/484.66	c cleaning 16922 clauses out of 52416 with flag 629000/629000
1009.34/506.86	c cleaning 17163 clauses out of 53497 with flag 647003/647003
1034.31/519.45	c cleaning 17438 clauses out of 54332 with flag 665002/665002
1057.72/531.23	c cleaning 16747 clauses out of 54892 with flag 683000/683000
1146.34/575.65	c cleaning 17291 clauses out of 56146 with flag 701001/701001
1184.91/595.12	c cleaning 0 clauses out of 5000 with flag 0/5000
1195.96/600.74	c cleaning 17112 clauses out of 56856 with flag 719002/719002
1217.05/611.43	c cleaning 17058 clauses out of 57737 with flag 737000/737000
1242.94/624.50	c cleaning 17271 clauses out of 58681 with flag 755002/755002
1267.82/637.29	c cleaning 16968 clauses out of 59408 with flag 773000/773000
1297.30/652.19	c cleaning 17027 clauses out of 60440 with flag 791000/791000
1334.18/670.75	c cleaning 16789 clauses out of 61416 with flag 809003/809003
1380.97/694.21	c cleaning 17219 clauses out of 62625 with flag 827001/827001
1419.40/713.71	c cleaning 17544 clauses out of 63406 with flag 845001/845001
1456.68/732.60	c cleaning 17610 clauses out of 63862 with flag 863001/863001
1541.18/774.95	c cleaning 17159 clauses out of 64251 with flag 881000/881000
1621.88/815.36	c cleaning 17525 clauses out of 65094 with flag 899002/899002
1675.23/842.24	c cleaning 17507 clauses out of 65567 with flag 917000/917000
1709.28/859.41	c cleaning 17736 clauses out of 66061 with flag 935001/935001
1734.28/872.19	c cleaning 17211 clauses out of 66319 with flag 953000/953000
1758.07/884.23	c cleaning 17141 clauses out of 67107 with flag 971000/971000
1800.08/905.51	c starts		: 171
1800.08/905.51	c conflicts		: 987580
1800.08/905.51	c decisions		: 19487169
1800.08/905.51	c propagations		: 741430032
1800.08/905.51	c inspects		: 1349566483
1800.08/905.51	c shortcuts		: 0
1800.08/905.51	c learnt literals	: 104
1800.08/905.51	c learnt binary clauses	: 42772
1800.08/905.51	c learnt ternary clauses	: 50055
1800.08/905.51	c learnt constraints	: 987475
1800.08/905.51	c ignored constraints	: 0
1800.08/905.51	c root simplifications	: 0
1800.08/905.51	c removed literals (reason simplification)	: 13520026
1800.08/905.51	c reason swapping (by a shorter reason)	: 0
1800.08/905.51	c Calls to reduceDB	: 59
1800.08/905.51	c number of reductions to clauses (during analyze)	: 0
1800.08/905.51	c number of learned constraints concerned by reduction	: 0
1800.08/905.51	c number of learning phase by resolution	: 0
1800.08/905.51	c number of learning phase by cutting planes	: 0
1800.08/905.51	c speed (assignments/second)	: 819345.7125333599
1800.08/905.51	c non guided choices	8629
1800.08/905.54	c learnt constraints type 
1800.08/905.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 42773
1800.08/905.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 23782
1800.08/905.54	c constraints type 
1800.08/905.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15100
1800.08/905.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 141
1800.08/905.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1820
1800.08/905.54	c constraints type 
1800.08/905.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1820
1800.08/905.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15100
1800.08/905.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 141
1800.08/905.54	s UNKNOWN
1800.08/905.54	c Total wall clock time (in seconds): 905.428

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

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

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


[startup+0 s]
/proc/loadavg: 3.94 3.95 3.91 4/197 25262
/proc/meminfo: memFree=27363308/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25262/stat : 25262 (java) R 25260 25262 24098 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 343210882 23793664 714 33554432000 1073741824 1073778376 140736062544944 140736062534008 209874629992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 5809 714 529 9 0 128 0

[startup+0.059628 s]
/proc/loadavg: 3.94 3.95 3.91 4/197 25262
/proc/meminfo: memFree=27363308/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 3855 0 1 0 3 1 0 0 20 0 13 0 343210882 11523600384 12218 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2813379 12218 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100256 s]
/proc/loadavg: 3.94 3.95 3.91 4/197 25262
/proc/meminfo: memFree=27363308/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11586392 CPUtime=0.11 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 4821 0 1 0 9 2 0 0 20 0 18 0 343210882 11864465408 13175 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2896598 13175 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11586392

[startup+0.300223 s]
/proc/loadavg: 3.94 3.95 3.91 4/197 25262
/proc/meminfo: memFree=27363308/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11586392 CPUtime=0.57 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 7946 0 1 0 54 3 0 0 20 0 18 0 343210882 11864465408 18935 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2896598 18935 2225 9 0 2887285 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 11586392

[startup+0.700172 s]
/proc/loadavg: 3.94 3.95 3.91 4/197 25262
/proc/meminfo: memFree=27363308/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11852648 CPUtime=1.54 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 10445 0 1 0 149 5 0 0 20 0 22 0 343210882 12137111552 43463 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2963162 43463 2258 9 0 2953849 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 11852648

[startup+1.50078 s]
/proc/loadavg: 3.94 3.95 3.91 7/219 25284
/proc/meminfo: memFree=27095056/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11852648 CPUtime=4.34 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 19887 0 1 0 425 9 0 0 20 0 22 0 343210882 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2963162 90509 2265 9 0 2953849 0
[pid=25262/tid=25264] ppid=25260 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/25262/task/25264/stat : 25264 (java) S 25260 25262 24098 0 -1 4202560 2969 0 1 0 55 3 0 0 20 0 22 0 343210883 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684620633240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25265] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25265/stat : 25265 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684457875752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25266] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25266/stat : 25266 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684456822952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25267] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25267/stat : 25267 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684455770664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25268] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25268/stat : 25268 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684454717864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25269] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25269/stat : 25269 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684453665576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25270] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25270/stat : 25270 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684452612776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25271] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25271/stat : 25271 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684451560488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25272] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25272/stat : 25272 (java) S 25260 25262 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684450507688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25273] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25273/stat : 25273 (java) S 25260 25262 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684438096104 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25274] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25274/stat : 25274 (java) S 25260 25262 24098 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684437042168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25275] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25275/stat : 25275 (java) S 25260 25262 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684435989768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25276] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25276/stat : 25276 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684434938256 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25277] ppid=25260 vsize=11852648 CPUtime=0.93 cores=0,2,4,6
/proc/25262/task/25277/stat : 25277 (java) S 25260 25262 24098 0 -1 4202560 7845 0 0 0 91 2 0 0 20 0 22 0 343210888 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684433885880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25278] ppid=25260 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/25262/task/25278/stat : 25278 (java) S 25260 25262 24098 0 -1 4202560 7690 0 0 0 100 0 0 0 20 0 22 0 343210888 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684432833080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25279] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25279/stat : 25279 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684431780984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25280] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25280/stat : 25280 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684430728392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25281] ppid=25260 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/25262/task/25281/stat : 25281 (java) R 25260 25262 24098 0 -1 4202560 26 0 0 0 87 0 0 0 20 0 22 0 343210943 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684429671064 139684492975546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25282] ppid=25260 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/25262/task/25282/stat : 25282 (java) R 25260 25262 24098 0 -1 4202560 150 0 0 0 84 2 0 0 20 0 22 0 343210943 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684428619768 139684493131476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25283] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25283/stat : 25283 (java) S 25260 25262 24098 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684427568296 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25284] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25284/stat : 25284 (java) S 25260 25262 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 90509 33554432000 1073741824 1073778376 140736062544944 139684426515496 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 11852648

[startup+3.10077 s]
/proc/loadavg: 3.94 3.95 3.91 7/219 25284
/proc/meminfo: memFree=26703892/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11852648 CPUtime=7.58 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 20209 0 1 0 736 22 0 0 20 0 22 0 343210882 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2963162 250772 2266 9 0 2953849 0
[pid=25262/tid=25264] ppid=25260 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/25262/task/25264/stat : 25264 (java) S 25260 25262 24098 0 -1 4202560 2969 0 1 0 55 3 0 0 20 0 22 0 343210883 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684620633240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25265] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25265/stat : 25265 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684457875752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25266] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25266/stat : 25266 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684456822952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25267] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25267/stat : 25267 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684455770664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25268] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25268/stat : 25268 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684454717864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25269] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25269/stat : 25269 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684453665576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25270] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25270/stat : 25270 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684452612776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25271] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25271/stat : 25271 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684451560488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25272] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25272/stat : 25272 (java) S 25260 25262 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684450507688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25273] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25273/stat : 25273 (java) S 25260 25262 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684438096104 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25274] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25274/stat : 25274 (java) S 25260 25262 24098 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684437042168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25275] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25275/stat : 25275 (java) S 25260 25262 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684435989768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25276] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25276/stat : 25276 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684434938256 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25277] ppid=25260 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/25262/task/25277/stat : 25277 (java) S 25260 25262 24098 0 -1 4202560 7847 0 0 0 95 2 0 0 20 0 22 0 343210888 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684433885880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25278] ppid=25260 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/25262/task/25278/stat : 25278 (java) S 25260 25262 24098 0 -1 4202560 7695 0 0 0 103 0 0 0 20 0 22 0 343210888 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684432833080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25279] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25279/stat : 25279 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684431780984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25280] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25280/stat : 25280 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684430728392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25281] ppid=25260 vsize=11852648 CPUtime=2.45 cores=0,2,4,6
/proc/25262/task/25281/stat : 25281 (java) R 25260 25262 24098 0 -1 4202560 28 0 0 0 245 0 0 0 20 0 22 0 343210943 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684429670552 139684493118208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25282] ppid=25260 vsize=11852648 CPUtime=2.44 cores=0,2,4,6
/proc/25262/task/25282/stat : 25282 (java) R 25260 25262 24098 0 -1 4202560 463 0 0 0 230 14 0 0 20 0 22 0 343210943 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684428617664 139684493417372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25283] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25283/stat : 25283 (java) S 25260 25262 24098 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684427568296 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25284] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25284/stat : 25284 (java) S 25260 25262 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 250772 33554432000 1073741824 1073778376 140736062544944 139684426515496 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 11852648

[startup+6.30069 s]
/proc/loadavg: 3.94 3.95 3.91 5/219 25284
/proc/meminfo: memFree=25944580/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11852648 CPUtime=14.09 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 20459 0 1 0 1377 32 0 0 20 0 22 0 343210882 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2963162 339229 2290 9 0 2953849 0
[pid=25262/tid=25264] ppid=25260 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/25262/task/25264/stat : 25264 (java) S 25260 25262 24098 0 -1 4202560 2969 0 1 0 55 3 0 0 20 0 22 0 343210883 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684620633240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25265] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25265/stat : 25265 (java) S 25260 25262 24098 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684457875752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25266] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25266/stat : 25266 (java) S 25260 25262 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684456822952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25267] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25267/stat : 25267 (java) S 25260 25262 24098 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684455770664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25268] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25268/stat : 25268 (java) S 25260 25262 24098 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684454717864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25269] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25269/stat : 25269 (java) S 25260 25262 24098 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684453665576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25270] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25270/stat : 25270 (java) S 25260 25262 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684452612776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25271] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25271/stat : 25271 (java) S 25260 25262 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684451560488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25272] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25272/stat : 25272 (java) S 25260 25262 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343210884 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684450507688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25273] ppid=25260 vsize=11852648 CPUtime=0.05 cores=0,2,4,6
/proc/25262/task/25273/stat : 25273 (java) S 25260 25262 24098 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 343210886 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684438096104 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25274] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25274/stat : 25274 (java) S 25260 25262 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684437042168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25275] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25275/stat : 25275 (java) S 25260 25262 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684435989768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25276] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25276/stat : 25276 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684434938256 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25277] ppid=25260 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/25262/task/25277/stat : 25277 (java) S 25260 25262 24098 0 -1 4202560 7849 0 0 0 101 2 0 0 20 0 22 0 343210888 12137111552 339229 33554432000 1073741824 1073778376 140736062544944 139684433885880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/25262/statm: 2963162 960848 2291 9 0 2953849 0
[pid=25262/tid=25264] ppid=25260 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/25262/task/25264/stat : 25264 (java) S 25260 25262 24098 0 -1 4202560 2992 0 1 0 57 5 0 0 20 0 22 0 343210883 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684620633240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25265] ppid=25260 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/25262/task/25265/stat : 25265 (java) S 25260 25262 24098 0 -1 4202560 143 0 0 0 123 6 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684457875752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25266] ppid=25260 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/25262/task/25266/stat : 25266 (java) S 25260 25262 24098 0 -1 4202560 147 0 0 0 114 7 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684456822952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25267] ppid=25260 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/25262/task/25267/stat : 25267 (java) S 25260 25262 24098 0 -1 4202560 109 0 0 0 101 5 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684455770664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25268] ppid=25260 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/25262/task/25268/stat : 25268 (java) S 25260 25262 24098 0 -1 4202560 137 0 0 0 114 6 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684454717864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25269] ppid=25260 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/25262/task/25269/stat : 25269 (java) S 25260 25262 24098 0 -1 4202560 150 0 0 0 131 6 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684453665576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25270] ppid=25260 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/25262/task/25270/stat : 25270 (java) S 25260 25262 24098 0 -1 4202560 139 0 0 0 134 7 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684452612776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25271] ppid=25260 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/25262/task/25271/stat : 25271 (java) S 25260 25262 24098 0 -1 4202560 135 0 0 0 125 7 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684451560488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25272] ppid=25260 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/25262/task/25272/stat : 25272 (java) S 25260 25262 24098 0 -1 4202560 143 0 0 0 123 7 0 0 20 0 22 0 343210884 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684450507688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25273] ppid=25260 vsize=11852648 CPUtime=16.71 cores=0,2,4,6
/proc/25262/task/25273/stat : 25273 (java) S 25260 25262 24098 0 -1 4202560 156 0 0 0 1664 7 0 0 20 0 22 0 343210886 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684438096104 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25274] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25274/stat : 25274 (java) S 25260 25262 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684437042168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25275] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25275/stat : 25275 (java) S 25260 25262 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684435989768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25276] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25276/stat : 25276 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684434938256 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25277] ppid=25260 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/25262/task/25277/stat : 25277 (java) S 25260 25262 24098 0 -1 4202560 7856 0 0 0 115 2 0 0 20 0 22 0 343210888 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684433885880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25278] ppid=25260 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/25262/task/25278/stat : 25278 (java) S 25260 25262 24098 0 -1 4202560 9312 0 0 0 150 0 0 0 20 0 22 0 343210888 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684432833080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25279] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25279/stat : 25279 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684431780984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25280] ppid=25260 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/25262/task/25280/stat : 25280 (java) S 25260 25262 24098 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 343210888 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684430728392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25281] ppid=25260 vsize=11852648 CPUtime=859.74 cores=0,2,4,6
/proc/25262/task/25281/stat : 25281 (java) R 25260 25262 24098 0 -1 4202560 88 0 0 0 85960 14 0 0 20 0 22 0 343210943 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684429672656 139684493072832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25282] ppid=25260 vsize=11852648 CPUtime=859.73 cores=0,2,4,6
/proc/25262/task/25282/stat : 25282 (java) R 25260 25262 24098 0 -1 4202560 1643 0 0 0 85896 77 0 0 20 0 22 0 343210943 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684428617520 139684493138870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25283] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25283/stat : 25283 (java) S 25260 25262 24098 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684427568296 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25284] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25284/stat : 25284 (java) S 25260 25262 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 960848 33554432000 1073741824 1073778376 140736062544944 139684426515496 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1754.28
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+905.501 s]
/proc/loadavg: 3.92 3.98 3.92 3/197 25320
/proc/meminfo: memFree=24426104/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 24428 0 1 0 179865 143 0 0 20 0 22 0 343210882 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2963162 960875 2291 9 0 2953849 0
[pid=25262/tid=25264] ppid=25260 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/25262/task/25264/stat : 25264 (java) S 25260 25262 24098 0 -1 4202560 2992 0 1 0 57 5 0 0 20 0 22 0 343210883 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684620633240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25265] ppid=25260 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/25262/task/25265/stat : 25265 (java) S 25260 25262 24098 0 -1 4202560 143 0 0 0 127 6 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684457875752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25266] ppid=25260 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/25262/task/25266/stat : 25266 (java) S 25260 25262 24098 0 -1 4202560 148 0 0 0 116 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684456822952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25267] ppid=25260 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/25262/task/25267/stat : 25267 (java) S 25260 25262 24098 0 -1 4202560 112 0 0 0 105 5 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684455770664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25268] ppid=25260 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/25262/task/25268/stat : 25268 (java) S 25260 25262 24098 0 -1 4202560 149 0 0 0 116 6 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684454717864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25269] ppid=25260 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/25262/task/25269/stat : 25269 (java) S 25260 25262 24098 0 -1 4202560 151 0 0 0 135 6 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684453665576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25270] ppid=25260 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/25262/task/25270/stat : 25270 (java) S 25260 25262 24098 0 -1 4202560 139 0 0 0 138 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684452612776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25271] ppid=25260 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/25262/task/25271/stat : 25271 (java) S 25260 25262 24098 0 -1 4202560 144 0 0 0 132 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684451560488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25272] ppid=25260 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/25262/task/25272/stat : 25272 (java) S 25260 25262 24098 0 -1 4202560 144 0 0 0 126 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684450507688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25273] ppid=25260 vsize=11852648 CPUtime=17.45 cores=0,2,4,6
/proc/25262/task/25273/stat : 25273 (java) S 25260 25262 24098 0 -1 4202560 158 0 0 0 1738 7 0 0 20 0 22 0 343210886 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684438096104 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25274] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25274/stat : 25274 (java) S 25260 25262 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684437042168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25275] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25275/stat : 25275 (java) S 25260 25262 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684435989768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25276] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25276/stat : 25276 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684434938256 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25277] ppid=25260 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/25262/task/25277/stat : 25277 (java) S 25260 25262 24098 0 -1 4202560 7856 0 0 0 115 2 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684433885880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25278] ppid=25260 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/25262/task/25278/stat : 25278 (java) S 25260 25262 24098 0 -1 4202560 9312 0 0 0 150 0 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684432833080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25279] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25279/stat : 25279 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684431780984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25280] ppid=25260 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/25262/task/25280/stat : 25280 (java) S 25260 25262 24098 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684430728392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25281] ppid=25260 vsize=11852648 CPUtime=882.06 cores=0,2,4,6
/proc/25262/task/25281/stat : 25281 (java) R 25260 25262 24098 0 -1 4202560 90 0 0 0 88192 14 0 0 20 0 22 0 343210943 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684429670624 139684493118796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25282] ppid=25260 vsize=11852648 CPUtime=882.05 cores=0,2,4,6
/proc/25262/task/25282/stat : 25282 (java) R 25260 25262 24098 0 -1 4202560 1644 0 0 0 88128 77 0 0 20 0 22 0 343210943 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684428618560 139684492912096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25283] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25283/stat : 25283 (java) S 25260 25262 24098 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684427568296 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25284] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25284/stat : 25284 (java) S 25260 25262 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684426515496 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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.501 s]
/proc/loadavg: 3.92 3.98 3.92 3/197 25320
/proc/meminfo: memFree=24426104/32873844 swapFree=7632/7632
[pid=25262] ppid=25260 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6
/proc/25262/stat : 25262 (java) S 25260 25262 24098 0 -1 4202496 24428 0 1 0 179865 143 0 0 20 0 22 0 343210882 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 140736062536080 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25262/statm: 2963162 960875 2291 9 0 2953849 0
[pid=25262/tid=25264] ppid=25260 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/25262/task/25264/stat : 25264 (java) S 25260 25262 24098 0 -1 4202560 2992 0 1 0 57 5 0 0 20 0 22 0 343210883 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684620633240 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25265] ppid=25260 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/25262/task/25265/stat : 25265 (java) S 25260 25262 24098 0 -1 4202560 143 0 0 0 127 6 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684457875752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25266] ppid=25260 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/25262/task/25266/stat : 25266 (java) S 25260 25262 24098 0 -1 4202560 148 0 0 0 116 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684456822952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25267] ppid=25260 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/25262/task/25267/stat : 25267 (java) S 25260 25262 24098 0 -1 4202560 112 0 0 0 105 5 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684455770664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25268] ppid=25260 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/25262/task/25268/stat : 25268 (java) S 25260 25262 24098 0 -1 4202560 149 0 0 0 116 6 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684454717864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25269] ppid=25260 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/25262/task/25269/stat : 25269 (java) S 25260 25262 24098 0 -1 4202560 151 0 0 0 135 6 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684453665576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25270] ppid=25260 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/25262/task/25270/stat : 25270 (java) S 25260 25262 24098 0 -1 4202560 139 0 0 0 138 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684452612776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25271] ppid=25260 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/25262/task/25271/stat : 25271 (java) S 25260 25262 24098 0 -1 4202560 144 0 0 0 132 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684451560488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25272] ppid=25260 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/25262/task/25272/stat : 25272 (java) S 25260 25262 24098 0 -1 4202560 144 0 0 0 126 7 0 0 20 0 22 0 343210884 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684450507688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25273] ppid=25260 vsize=11852648 CPUtime=17.45 cores=0,2,4,6
/proc/25262/task/25273/stat : 25273 (java) S 25260 25262 24098 0 -1 4202560 158 0 0 0 1738 7 0 0 20 0 22 0 343210886 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684438096104 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25274] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25274/stat : 25274 (java) S 25260 25262 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684437042168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25275] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25275/stat : 25275 (java) S 25260 25262 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343210886 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684435989768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25276] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25276/stat : 25276 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684434938256 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25277] ppid=25260 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/25262/task/25277/stat : 25277 (java) S 25260 25262 24098 0 -1 4202560 7856 0 0 0 115 2 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684433885880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25278] ppid=25260 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/25262/task/25278/stat : 25278 (java) S 25260 25262 24098 0 -1 4202560 9312 0 0 0 150 0 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684432833080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25279] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25279/stat : 25279 (java) S 25260 25262 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684431780984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25280] ppid=25260 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/25262/task/25280/stat : 25280 (java) S 25260 25262 24098 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 343210888 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684430728392 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25262/tid=25281] ppid=25260 vsize=11852648 CPUtime=882.06 cores=0,2,4,6
/proc/25262/task/25281/stat : 25281 (java) R 25260 25262 24098 0 -1 4202560 90 0 0 0 88192 14 0 0 20 0 22 0 343210943 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684429670624 139684493118796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25262/tid=25282] ppid=25260 vsize=11852648 CPUtime=882.05 cores=0,2,4,6
/proc/25262/task/25282/stat : 25282 (java) R 25260 25262 24098 0 -1 4202560 1644 0 0 0 88128 77 0 0 20 0 22 0 343210943 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684428618560 139684492912096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25262/tid=25283] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25283/stat : 25283 (java) S 25260 25262 24098 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684427568296 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25262/tid=25284] ppid=25260 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25262/task/25284/stat : 25284 (java) S 25260 25262 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343210945 12137111552 960875 33554432000 1073741824 1073778376 140736062544944 139684426515496 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 905.562
CPU time (s): 1800.08
CPU user time (s): 1798.65
CPU system time (s): 1.43
CPU usage (%): 198.781
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 1.89471
maximum resident set size= 3845672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24462
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= 24365
involuntary context switches= 32318

runsolver used 3.12252 second user time and 7.96279 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-04 02:47:46
IDJOB=3742552
IDBENCH=90203
IDSOLVER=2328
FILE ID=node141/3742552-1338770865
RUNJOBID= node141-1338763554-24114
PBS_JOBID= 14636812
Free space on /tmp= 70720 MiB

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

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

MD5SUM BENCH= e981076bb5354ded6cb9b093a6d1a03e
RANDOM SEED=219725703

node141.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.744
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.48
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.744
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.744
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.93
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.744
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.92
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.744
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.744
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.744
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.744
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:       32873844 kB
MemFree:        27364200 kB
Buffers:          436176 kB
Cached:          3266952 kB
SwapCached:          216 kB
Active:          2171256 kB
Inactive:        2424660 kB
Active(anon):     883244 kB
Inactive(anon):    11288 kB
Active(file):    1288012 kB
Inactive(file):  2413372 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:              2992 kB
Writeback:            12 kB
AnonPages:        979716 kB
Mapped:            18916 kB
Shmem:               172 kB
Slab:             742584 kB
SReclaimable:     184268 kB
SUnreclaim:       558316 kB
KernelStack:        1632 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10457580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    919552 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= 70720 MiB
End job on node141 at 2012-06-04 03:02:53