Trace number 3710058

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
SAT4J PB specific settings 2.3.2 snapshot? (TO) 1800.05 1794.57

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K95.opb
MD5SUMf5b402df79463ae0743ac9fe7c0d237d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark389.31
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6460
Total number of constraints6652
Number of constraints which are clauses6557
Number of constraints which are cardinality constraints (but not clauses)95
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint95
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 96
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710058-1338214180.opb
0.09/0.12	c reading problem ... 
0.54/0.38	c ... done. Wall clock time 0.262s.
0.54/0.38	c declared #vars     6460
0.54/0.38	c #constraints  6652
0.54/0.38	c constraints type 
0.54/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5333
0.54/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 95
0.54/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.54/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1222
0.54/0.38	c 6652 constraints processed.
2.23/1.66	c cleaning 2482 clauses out of 4977 with flag 5000/5000
3.89/2.89	c cleaning 4226 clauses out of 8489 with flag 11000/11000
5.40/4.40	c cleaning 5570 clauses out of 11255 with flag 18000/18000
7.11/6.10	c cleaning 6795 clauses out of 13685 with flag 26000/26000
9.26/8.12	c cleaning 7865 clauses out of 15887 with flag 35000/35000
11.27/10.17	c cleaning 8927 clauses out of 18020 with flag 45000/45000
13.57/12.45	c cleaning 9924 clauses out of 20091 with flag 56000/56000
16.18/15.09	c cleaning 11049 clauses out of 22164 with flag 68000/68000
19.29/18.13	c cleaning 11914 clauses out of 24110 with flag 81000/81000
22.50/21.36	c cleaning 12869 clauses out of 26196 with flag 95000/95000
26.00/24.85	c cleaning 13414 clauses out of 28327 with flag 110000/110000
30.46/29.29	c cleaning 14425 clauses out of 30913 with flag 126000/126000
35.19/33.93	c cleaning 15909 clauses out of 33486 with flag 143000/143000
39.52/38.27	c cleaning 16389 clauses out of 35578 with flag 161001/161001
43.75/42.42	c cleaning 16954 clauses out of 38190 with flag 180002/180002
49.96/48.69	c cleaning 19253 clauses out of 41234 with flag 200000/200000
55.38/54.06	c cleaning 19230 clauses out of 42981 with flag 221000/221000
61.00/59.65	c cleaning 20082 clauses out of 45751 with flag 243000/243000
66.81/65.47	c cleaning 21045 clauses out of 48669 with flag 266000/266000
74.42/73.04	c cleaning 22366 clauses out of 51624 with flag 290000/290000
80.76/79.33	c cleaning 23126 clauses out of 54256 with flag 315000/315000
88.47/87.09	c cleaning 24200 clauses out of 57130 with flag 341000/341000
96.80/95.34	c cleaning 25321 clauses out of 59931 with flag 368001/368001
105.11/103.61	c cleaning 26221 clauses out of 62607 with flag 396000/396000
113.43/111.95	c cleaning 27120 clauses out of 65386 with flag 425000/425000
121.85/120.39	c cleaning 27916 clauses out of 68267 with flag 455001/455001
130.17/128.69	c cleaning 28792 clauses out of 71350 with flag 486000/486000
143.60/142.04	c cleaning 30005 clauses out of 74558 with flag 518000/518000
153.46/151.85	c cleaning 31212 clauses out of 77554 with flag 551001/551001
167.69/166.09	c cleaning 32675 clauses out of 80341 with flag 585002/585002
184.84/183.16	c cleaning 33581 clauses out of 82665 with flag 620001/620001
197.91/196.18	c cleaning 33940 clauses out of 85086 with flag 656003/656003
208.74/206.91	c cleaning 34984 clauses out of 88143 with flag 693000/693000
222.77/220.90	c cleaning 36654 clauses out of 91161 with flag 731002/731002
236.79/234.95	c cleaning 37502 clauses out of 93506 with flag 770003/770003
250.93/249.09	c cleaning 38634 clauses out of 96001 with flag 810000/810000
264.57/262.61	c cleaning 39694 clauses out of 98367 with flag 851000/851000
280.12/278.14	c cleaning 40722 clauses out of 100677 with flag 893004/893004
297.75/295.71	c cleaning 41081 clauses out of 102951 with flag 936000/936000
312.51/310.40	c cleaning 41939 clauses out of 105870 with flag 980000/980000
329.54/327.47	c cleaning 42966 clauses out of 108927 with flag 1025000/1025000
344.48/342.31	c cleaning 44540 clauses out of 111962 with flag 1071001/1071001
364.31/362.16	c cleaning 45273 clauses out of 114421 with flag 1118000/1118000
383.07/380.84	c cleaning 46303 clauses out of 117149 with flag 1166001/1166001
402.04/399.78	c cleaning 47559 clauses out of 119845 with flag 1215000/1215000
427.01/424.67	c cleaning 48955 clauses out of 122289 with flag 1265003/1265003
444.33/441.85	c cleaning 48985 clauses out of 124334 with flag 1316003/1316003
465.66/463.14	c cleaning 50532 clauses out of 127347 with flag 1368001/1368001
492.41/489.82	c cleaning 51825 clauses out of 129815 with flag 1421001/1421001
512.29/509.66	c cleaning 52245 clauses out of 131989 with flag 1475000/1475000
535.62/532.95	c cleaning 54087 clauses out of 134745 with flag 1530001/1530001
557.47/554.79	c cleaning 54289 clauses out of 136659 with flag 1586002/1586002
577.80/575.08	c cleaning 54968 clauses out of 139368 with flag 1643000/1643000
615.85/613.03	c cleaning 56671 clauses out of 142400 with flag 1701000/1701000
641.15/638.29	c cleaning 57827 clauses out of 144729 with flag 1760000/1760000
670.83/667.89	c cleaning 59163 clauses out of 146902 with flag 1820000/1820000
701.86/698.84	c cleaning 60478 clauses out of 148739 with flag 1881000/1881000
735.84/732.74	c cleaning 60664 clauses out of 150261 with flag 1943000/1943000
768.93/765.75	c cleaning 61409 clauses out of 152597 with flag 2006000/2006000
806.51/803.29	c cleaning 62880 clauses out of 155189 with flag 2070001/2070001
833.11/829.74	c cleaning 63519 clauses out of 157310 with flag 2135002/2135002
859.98/856.54	c cleaning 64303 clauses out of 159789 with flag 2201000/2201000
902.65/899.12	c cleaning 65864 clauses out of 162484 with flag 2268000/2268000
935.84/932.29	c cleaning 67252 clauses out of 164620 with flag 2336000/2336000
965.52/961.84	c cleaning 67874 clauses out of 166368 with flag 2405000/2405000
995.68/991.93	c cleaning 68535 clauses out of 168494 with flag 2475000/2475000
1027.95/1024.14	c cleaning 70350 clauses out of 170959 with flag 2546000/2546000
1072.01/1068.13	c cleaning 71224 clauses out of 172617 with flag 2618008/2618008
1126.68/1122.58	c cleaning 72085 clauses out of 174387 with flag 2691002/2691002
1158.41/1154.26	c cleaning 72716 clauses out of 176301 with flag 2765001/2765001
1196.88/1192.61	c cleaning 73858 clauses out of 178586 with flag 2840002/2840002
1243.85/1239.58	c cleaning 75004 clauses out of 180726 with flag 2916000/2916000
1302.42/1297.93	c cleaning 75902 clauses out of 182724 with flag 2993002/2993002
1342.61/1338.06	c cleaning 76857 clauses out of 184821 with flag 3071001/3071001
1374.68/1370.01	c cleaning 77662 clauses out of 186964 with flag 3150001/3150001
1406.12/1401.41	c cleaning 78710 clauses out of 189301 with flag 3230000/3230000
1460.90/1456.05	c cleaning 80037 clauses out of 191594 with flag 3311003/3311003
1502.43/1497.50	c cleaning 80970 clauses out of 193556 with flag 3393002/3393002
1543.38/1538.43	c cleaning 81412 clauses out of 195585 with flag 3476001/3476001
1589.56/1584.52	c cleaning 83182 clauses out of 198175 with flag 3560003/3560003
1626.86/1621.75	c cleaning 83517 clauses out of 199990 with flag 3645000/3645000
1669.91/1664.78	c cleaning 84858 clauses out of 202473 with flag 3731000/3731000
1714.00/1708.78	c cleaning 85532 clauses out of 204615 with flag 3818000/3818000
1768.67/1763.24	c cleaning 86728 clauses out of 207083 with flag 3906000/3906000
1800.05/1794.51	c starts		: 252
1800.05/1794.51	c conflicts		: 3965364
1800.05/1794.51	c decisions		: 11860666
1800.05/1794.51	c propagations		: 1260196781
1800.05/1794.51	c inspects		: 8376233393
1800.05/1794.51	c shortcuts		: 0
1800.05/1794.51	c learnt literals	: 37
1800.05/1794.51	c learnt binary clauses	: 99076
1800.05/1794.51	c learnt ternary clauses	: 138220
1800.05/1794.51	c learnt constraints	: 3965327
1800.05/1794.51	c ignored constraints	: 0
1800.05/1794.51	c root simplifications	: 289
1800.05/1794.51	c removed literals (reason simplification)	: 189808594
1800.05/1794.51	c reason swapping (by a shorter reason)	: 0
1800.05/1794.51	c Calls to reduceDB	: 84
1800.05/1794.51	c number of reductions to clauses (during analyze)	: 0
1800.05/1794.51	c number of learned constraints concerned by reduction	: 0
1800.05/1794.51	c number of learning phase by resolution	: 0
1800.05/1794.51	c number of learning phase by cutting planes	: 0
1800.05/1794.51	c speed (assignments/second)	: 702406.6962337377
1800.05/1794.51	c non guided choices	3952
1800.05/1794.56	c learnt constraints type 
1800.05/1794.56	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 99050
1800.05/1794.56	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80742
1800.05/1794.56	c constraints type 
1800.05/1794.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5333
1800.05/1794.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 95
1800.05/1794.56	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1800.05/1794.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1222
1800.05/1794.56	c 6652 constraints processed.
1800.05/1794.56	s UNKNOWN
1800.05/1794.56	c Total wall clock time (in seconds): 1794.437

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-3710058-1338214180/watcher-3710058-1338214180 -o /tmp/evaluation-result-3710058-1338214180/solver-3710058-1338214180 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710058-1338214180.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: 2.06 2.03 2.00 3/194 15807
/proc/meminfo: memFree=27127668/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/15807/stat : 15807 (java) R 15805 15807 13800 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 287543722 9515008 182 33554432000 1073741824 1073778376 140737062280144 140737062271176 270330052277 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15807/statm: 2323 182 140 9 0 71 0

[startup+0.081801 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 15807
/proc/meminfo: memFree=27127668/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 3449 0 1 0 5 1 0 0 20 0 18 0 287543722 9787842560 4657 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2389610 4657 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100257 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 15807
/proc/meminfo: memFree=27127668/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 4283 0 1 0 8 1 0 0 20 0 18 0 287543722 9787842560 5490 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2389610 5492 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300223 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 15807
/proc/meminfo: memFree=27127668/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9558440 CPUtime=0.54 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 7323 0 1 0 52 2 0 0 20 0 18 0 287543722 9787842560 9849 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2389610 9849 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440

[startup+0.700165 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 15807
/proc/meminfo: memFree=27127668/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 7800 0 1 0 126 2 0 0 20 0 19 0 287543722 9856004096 16189 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2406251 16189 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625004

[startup+1.50054 s]
/proc/loadavg: 2.06 2.03 2.00 4/213 15826
/proc/meminfo: memFree=27069488/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9625004 CPUtime=2.13 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 7807 0 1 0 211 2 0 0 20 0 19 0 287543722 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2406251 16706 2259 9 0 2396937 0
[pid=15807/tid=15809] ppid=15805 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/15807/task/15809/stat : 15809 (java) R 15805 15807 13800 0 -1 4202560 2535 0 1 0 144 1 0 0 20 0 19 0 287543723 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140398021534336 140397867852076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15810] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15810/stat : 15810 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397993986216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15811] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15811/stat : 15811 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397992933672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15812] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15812/stat : 15812 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397991881128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15813] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15813/stat : 15813 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397990828584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15814] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15814/stat : 15814 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397989776040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15815] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15815/stat : 15815 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397988723496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15816] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15816/stat : 15816 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397987670952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15817] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15817/stat : 15817 (java) S 15805 15807 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397986618408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15818] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15818/stat : 15818 (java) S 15805 15807 13800 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287543725 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397374310504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15819] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15819/stat : 15819 (java) S 15805 15807 13800 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397373256824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15820] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15820/stat : 15820 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397372204168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15821] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15821/stat : 15821 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397371152912 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15822] ppid=15805 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/15807/task/15822/stat : 15822 (java) S 15805 15807 13800 0 -1 4202560 2111 0 0 0 34 0 0 0 20 0 19 0 287543728 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397370100280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15823] ppid=15805 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/15807/task/15823/stat : 15823 (java) S 15805 15807 13800 0 -1 4202560 1964 0 0 0 29 0 0 0 20 0 19 0 287543728 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397369047736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15824] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15824/stat : 15824 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397367995384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15825] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15825/stat : 15825 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397366943048 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15826] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15826/stat : 15826 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543762 9856004096 16706 33554432000 1073741824 1073778376 140736489335936 140397365887784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9625004

[startup+3.10061 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 15826
/proc/meminfo: memFree=27035184/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9625004 CPUtime=4.19 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 13935 0 1 0 415 4 0 0 20 0 19 0 287543722 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2406251 23810 2284 9 0 2396937 0
[pid=15807/tid=15809] ppid=15805 vsize=9625004 CPUtime=3.01 cores=0,2,4,6
/proc/15807/task/15809/stat : 15809 (java) R 15805 15807 13800 0 -1 4202560 2539 0 1 0 300 1 0 0 20 0 19 0 287543723 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140398021534000 140397867785184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15810] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15810/stat : 15810 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397993986216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15811] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15811/stat : 15811 (java) S 15805 15807 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397992933672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15812] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15812/stat : 15812 (java) S 15805 15807 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397991881128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15813] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15813/stat : 15813 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397990828584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15814] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15814/stat : 15814 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397989776040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15815] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15815/stat : 15815 (java) S 15805 15807 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397988723496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15816] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15816/stat : 15816 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397987670952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15817] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15817/stat : 15817 (java) S 15805 15807 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397986618408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15818] ppid=15805 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/15807/task/15818/stat : 15818 (java) S 15805 15807 13800 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 287543725 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397374310504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15819] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15819/stat : 15819 (java) S 15805 15807 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397373256824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15820] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15820/stat : 15820 (java) S 15805 15807 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397372204168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15821] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15821/stat : 15821 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397371152912 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15822] ppid=15805 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/15807/task/15822/stat : 15822 (java) S 15805 15807 13800 0 -1 4202560 8137 0 0 0 74 2 0 0 20 0 19 0 287543728 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397370100280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15823] ppid=15805 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/15807/task/15823/stat : 15823 (java) S 15805 15807 13800 0 -1 4202560 2000 0 0 0 32 0 0 0 20 0 19 0 287543728 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397369047736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15824] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15824/stat : 15824 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397367995384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15825] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15825/stat : 15825 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397366943048 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15826] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15826/stat : 15826 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543762 9856004096 23810 33554432000 1073741824 1073778376 140736489335936 140397365887784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9625004

[startup+6.30061 s]
/proc/loadavg: 2.06 2.03 2.00 4/213 15826
/proc/meminfo: memFree=27033136/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9625004 CPUtime=7.46 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 13976 0 1 0 742 4 0 0 20 0 19 0 287543722 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2406251 23877 2284 9 0 2396937 0
[pid=15807/tid=15809] ppid=15805 vsize=9625004 CPUtime=6.16 cores=0,2,4,6
/proc/15807/task/15809/stat : 15809 (java) R 15805 15807 13800 0 -1 4202560 2540 0 1 0 615 1 0 0 20 0 19 0 287543723 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140398021534000 140397867785243 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15810] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15810/stat : 15810 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397993986216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15811] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15811/stat : 15811 (java) S 15805 15807 13800 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397992933672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15812] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15812/stat : 15812 (java) S 15805 15807 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397991881128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15813] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15813/stat : 15813 (java) S 15805 15807 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397990828584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15814] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15814/stat : 15814 (java) S 15805 15807 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397989776040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15815] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15815/stat : 15815 (java) S 15805 15807 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397988723496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15816] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15816/stat : 15816 (java) S 15805 15807 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397987670952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15817] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15817/stat : 15817 (java) S 15805 15807 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287543724 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397986618408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15818] ppid=15805 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/15807/task/15818/stat : 15818 (java) S 15805 15807 13800 0 -1 4202560 53 0 0 0 5 0 0 0 20 0 19 0 287543725 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397374310504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15819] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15819/stat : 15819 (java) S 15805 15807 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397373256824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15820] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15820/stat : 15820 (java) S 15805 15807 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397372204168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15821] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15821/stat : 15821 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397371152912 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15822] ppid=15805 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/15807/task/15822/stat : 15822 (java) S 15805 15807 13800 0 -1 4202560 8146 0 0 0 80 2 0 0 20 0 19 0 287543728 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397370100280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15823] ppid=15805 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/15807/task/15823/stat : 15823 (java) S 15805 15807 13800 0 -1 4202560 2000 0 0 0 32 0 0 0 20 0 19 0 287543728 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397369047736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15824] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15824/stat : 15824 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397367995384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15825] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15825/stat : 15825 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397366943048 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15826] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15826/stat : 15826 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543762 9856004096 23877 33554432000 1073741824 1073778376 140736489335936 140397365887784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=15807/tid=15822] ppid=15805 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/15807/task/15822/stat : 15822 (java) S 15805 15807 13800 0 -1 4202560 8150 0 0 0 82 2 0 0 20 0 19 0 287543728 9856004096 103729 33554432000 1073741824 1073778376 140736489335936 140397370100280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15823] ppid=15805 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/15807/task/15823/stat : 15823 (java) S 15805 15807 13800 0 -1 4202560 2000 0 0 0 32 0 0 0 20 0 19 0 287543728 9856004096 103729 33554432000 1073741824 1073778376 140736489335936 140397369047736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15824] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15824/stat : 15824 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 103729 33554432000 1073741824 1073778376 140736489335936 140397367995384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15825] ppid=15805 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/15807/task/15825/stat : 15825 (java) S 15805 15807 13800 0 -1 4202560 99 0 0 0 19 18 0 0 20 0 19 0 287543728 9856004096 103729 33554432000 1073741824 1073778376 140736489335936 140397366943048 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15826] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15826/stat : 15826 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543762 9856004096 103729 33554432000 1073741824 1073778376 140736489335936 140397365887784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1727.65
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15901
/proc/meminfo: memFree=26666464/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9625004 CPUtime=1787.84 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 15812 0 1 0 178728 56 0 0 20 0 19 0 287543722 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2406251 106289 2285 9 0 2396937 0
[pid=15807/tid=15809] ppid=15805 vsize=9625004 CPUtime=1772.54 cores=0,2,4,6
/proc/15807/task/15809/stat : 15809 (java) R 15805 15807 13800 0 -1 4202560 2668 0 1 0 177224 30 0 0 20 0 19 0 287543723 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140398021534000 140397867867527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15810] ppid=15805 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/15807/task/15810/stat : 15810 (java) S 15805 15807 13800 0 -1 4202560 262 0 0 0 69 4 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397993986216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15811] ppid=15805 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/15807/task/15811/stat : 15811 (java) S 15805 15807 13800 0 -1 4202560 240 0 0 0 68 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397992933672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15812] ppid=15805 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/15807/task/15812/stat : 15812 (java) S 15805 15807 13800 0 -1 4202560 167 0 0 0 65 2 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397991881128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15813] ppid=15805 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/15807/task/15813/stat : 15813 (java) S 15805 15807 13800 0 -1 4202560 325 0 0 0 71 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397990828584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15814] ppid=15805 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/15807/task/15814/stat : 15814 (java) S 15805 15807 13800 0 -1 4202560 82 0 0 0 69 2 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397989776040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15815] ppid=15805 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/15807/task/15815/stat : 15815 (java) S 15805 15807 13800 0 -1 4202560 137 0 0 0 80 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397988723496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15816] ppid=15805 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/15807/task/15816/stat : 15816 (java) S 15805 15807 13800 0 -1 4202560 260 0 0 0 61 4 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397987670952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15817] ppid=15805 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/15807/task/15817/stat : 15817 (java) S 15805 15807 13800 0 -1 4202560 85 0 0 0 75 3 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397986618408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15818] ppid=15805 vsize=9625004 CPUtime=3.25 cores=0,2,4,6
/proc/15807/task/15818/stat : 15818 (java) S 15805 15807 13800 0 -1 4202560 151 0 0 0 324 1 0 0 20 0 19 0 287543725 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397374310504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15819] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15819/stat : 15819 (java) S 15805 15807 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397373256824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15820] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15820/stat : 15820 (java) S 15805 15807 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397372204168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15821] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15821/stat : 15821 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397371152912 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15822] ppid=15805 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/15807/task/15822/stat : 15822 (java) S 15805 15807 13800 0 -1 4202560 8150 0 0 0 82 2 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397370100280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15823] ppid=15805 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/15807/task/15823/stat : 15823 (java) S 15805 15807 13800 0 -1 4202560 2000 0 0 0 32 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397369047736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15824] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15824/stat : 15824 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397367995384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15825] ppid=15805 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/15807/task/15825/stat : 15825 (java) S 15805 15807 13800 0 -1 4202560 103 0 0 0 21 18 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397366943048 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15826] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15826/stat : 15826 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543762 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397365887784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1787.84
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15901
/proc/meminfo: memFree=26656908/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 15812 0 1 0 179949 56 0 0 20 0 19 0 287543722 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2406251 106289 2285 9 0 2396937 0
[pid=15807/tid=15809] ppid=15805 vsize=9625004 CPUtime=1784.72 cores=0,2,4,6
/proc/15807/task/15809/stat : 15809 (java) R 15805 15807 13800 0 -1 4202560 2668 0 1 0 178441 31 0 0 20 0 19 0 287543723 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140398021534000 140397867836822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15810] ppid=15805 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/15807/task/15810/stat : 15810 (java) S 15805 15807 13800 0 -1 4202560 262 0 0 0 69 4 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397993986216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15811] ppid=15805 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/15807/task/15811/stat : 15811 (java) S 15805 15807 13800 0 -1 4202560 240 0 0 0 68 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397992933672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15812] ppid=15805 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/15807/task/15812/stat : 15812 (java) S 15805 15807 13800 0 -1 4202560 167 0 0 0 65 2 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397991881128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15813] ppid=15805 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/15807/task/15813/stat : 15813 (java) S 15805 15807 13800 0 -1 4202560 325 0 0 0 71 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397990828584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15814] ppid=15805 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/15807/task/15814/stat : 15814 (java) S 15805 15807 13800 0 -1 4202560 82 0 0 0 69 2 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397989776040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15815] ppid=15805 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/15807/task/15815/stat : 15815 (java) S 15805 15807 13800 0 -1 4202560 137 0 0 0 80 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397988723496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15816] ppid=15805 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/15807/task/15816/stat : 15816 (java) S 15805 15807 13800 0 -1 4202560 260 0 0 0 61 4 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397987670952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15817] ppid=15805 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/15807/task/15817/stat : 15817 (java) S 15805 15807 13800 0 -1 4202560 85 0 0 0 75 3 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397986618408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15818] ppid=15805 vsize=9625004 CPUtime=3.25 cores=0,2,4,6
/proc/15807/task/15818/stat : 15818 (java) S 15805 15807 13800 0 -1 4202560 151 0 0 0 324 1 0 0 20 0 19 0 287543725 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397374310504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15819] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15819/stat : 15819 (java) S 15805 15807 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397373256824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15820] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15820/stat : 15820 (java) S 15805 15807 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397372204168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15821] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15821/stat : 15821 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397371152912 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15822] ppid=15805 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/15807/task/15822/stat : 15822 (java) S 15805 15807 13800 0 -1 4202560 8150 0 0 0 82 2 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397370100280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15823] ppid=15805 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/15807/task/15823/stat : 15823 (java) S 15805 15807 13800 0 -1 4202560 2000 0 0 0 32 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397369047736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15824] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15824/stat : 15824 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397367995384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15825] ppid=15805 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/15807/task/15825/stat : 15825 (java) S 15805 15807 13800 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397366943048 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15826] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15826/stat : 15826 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543762 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397365887784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1794.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15901
/proc/meminfo: memFree=26656908/32873660 swapFree=7120/7120
[pid=15807] ppid=15805 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/15807/stat : 15807 (java) S 15805 15807 13800 0 -1 4202496 15812 0 1 0 179949 56 0 0 20 0 19 0 287543722 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140736489327072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15807/statm: 2406251 106289 2285 9 0 2396937 0
[pid=15807/tid=15809] ppid=15805 vsize=9625004 CPUtime=1784.72 cores=0,2,4,6
/proc/15807/task/15809/stat : 15809 (java) R 15805 15807 13800 0 -1 4202560 2668 0 1 0 178441 31 0 0 20 0 19 0 287543723 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140398021534000 140397867836822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15810] ppid=15805 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/15807/task/15810/stat : 15810 (java) S 15805 15807 13800 0 -1 4202560 262 0 0 0 69 4 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397993986216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15811] ppid=15805 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/15807/task/15811/stat : 15811 (java) S 15805 15807 13800 0 -1 4202560 240 0 0 0 68 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397992933672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15812] ppid=15805 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/15807/task/15812/stat : 15812 (java) S 15805 15807 13800 0 -1 4202560 167 0 0 0 65 2 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397991881128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15813] ppid=15805 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/15807/task/15813/stat : 15813 (java) S 15805 15807 13800 0 -1 4202560 325 0 0 0 71 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397990828584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15814] ppid=15805 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/15807/task/15814/stat : 15814 (java) S 15805 15807 13800 0 -1 4202560 82 0 0 0 69 2 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397989776040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15815] ppid=15805 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/15807/task/15815/stat : 15815 (java) S 15805 15807 13800 0 -1 4202560 137 0 0 0 80 5 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397988723496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15816] ppid=15805 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/15807/task/15816/stat : 15816 (java) S 15805 15807 13800 0 -1 4202560 260 0 0 0 61 4 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397987670952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15817] ppid=15805 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/15807/task/15817/stat : 15817 (java) S 15805 15807 13800 0 -1 4202560 85 0 0 0 75 3 0 0 20 0 19 0 287543724 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397986618408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15818] ppid=15805 vsize=9625004 CPUtime=3.25 cores=0,2,4,6
/proc/15807/task/15818/stat : 15818 (java) S 15805 15807 13800 0 -1 4202560 151 0 0 0 324 1 0 0 20 0 19 0 287543725 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397374310504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15819] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15819/stat : 15819 (java) S 15805 15807 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397373256824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15820] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15820/stat : 15820 (java) S 15805 15807 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287543726 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397372204168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15821] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15821/stat : 15821 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397371152912 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15807/tid=15822] ppid=15805 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/15807/task/15822/stat : 15822 (java) S 15805 15807 13800 0 -1 4202560 8150 0 0 0 82 2 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397370100280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15807/tid=15823] ppid=15805 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/15807/task/15823/stat : 15823 (java) S 15805 15807 13800 0 -1 4202560 2000 0 0 0 32 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397369047736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15824] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15824/stat : 15824 (java) S 15805 15807 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397367995384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15807/tid=15825] ppid=15805 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/15807/task/15825/stat : 15825 (java) S 15805 15807 13800 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 287543728 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397366943048 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15807/tid=15826] ppid=15805 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15807/task/15826/stat : 15826 (java) S 15805 15807 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287543762 9856004096 106289 33554432000 1073741824 1073778376 140736489335936 140397365887784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15807 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=839142
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=971852
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.57
CPU time (s): 1800.05
CPU user time (s): 1799.49
CPU system time (s): 0.56
CPU usage (%): 100.306
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 0.971852
maximum resident set size= 425296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15851
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40473
involuntary context switches= 19590

runsolver used 7.2009 second user time and 12.932 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-28 16:09:40
IDJOB=3710058
IDBENCH=90134
IDSOLVER=2289
FILE ID=node117/3710058-1338214180
RUNJOBID= node117-1338194296-13816
PBS_JOBID= 14624597
Free space on /tmp= 70048 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K95.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710058-1338214180/watcher-3710058-1338214180 -o /tmp/evaluation-result-3710058-1338214180/solver-3710058-1338214180 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710058-1338214180.opb

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

MD5SUM BENCH= f5b402df79463ae0743ac9fe7c0d237d
RANDOM SEED=209659120

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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:       32873660 kB
MemFree:        27128048 kB
Buffers:          585784 kB
Cached:          4118332 kB
SwapCached:            0 kB
Active:          2591704 kB
Inactive:        2227444 kB
Active(anon):      99448 kB
Inactive(anon):    11352 kB
Active(file):    2492256 kB
Inactive(file):  2216092 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1244 kB
Writeback:             0 kB
AnonPages:        129192 kB
Mapped:            22544 kB
Shmem:               200 kB
Slab:             773664 kB
SReclaimable:     217488 kB
SUnreclaim:       556176 kB
KernelStack:        1600 kB
PageTables:         4340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     699752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70048 MiB
End job on node117 at 2012-05-28 16:39:36