Trace number 3687980

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
SAT 4j PB RES // CP 2.3.2 Snapshot? (TO) 1800.07 903.165

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
MD5SUM2d610c35d7c8dd61a03deef28cf982c0
Bench CategoryDEC-MEDINT (no optimisation, medium integers)
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 benchmark1.08683
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables86
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint86
Maximum length of a constraint86
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 45094584
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 553509859
Number of bits of the biggest sum of numbers30
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.2.v20120418
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 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
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 lightweight component caching from RSAT taking into account the objective function
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=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
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 taking into account the objective function
0.09/0.12	c No 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=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3687980-1337875332.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c ... done. Wall clock time 0.017s.
0.09/0.13	c declared #vars     86
0.09/0.13	c #constraints  2
0.09/0.13	c constraints type 
0.09/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.09/0.13	c 2 constraints processed.
0.09/0.13	c constraints type 
0.09/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
0.09/0.13	c 2 constraints processed.
1.56/0.58	c cleaning 2499 clauses out of 5002 with flag 5002/5002
2.72/0.88	c cleaning 4247 clauses out of 8501 with flag 11000/11000
3.76/1.19	c cleaning 5628 clauses out of 11255 with flag 18001/18001
4.56/1.59	c cleaning 6809 clauses out of 13627 with flag 26001/26001
5.38/2.00	c cleaning 7909 clauses out of 15818 with flag 35001/35001
6.30/2.37	c cleaning 8953 clauses out of 17908 with flag 45000/45000
7.28/2.87	c cleaning 9978 clauses out of 19955 with flag 56000/56000
8.49/3.41	c cleaning 10982 clauses out of 21977 with flag 68000/68000
9.64/4.03	c cleaning 11998 clauses out of 23997 with flag 81002/81002
10.63/4.54	c cleaning 12992 clauses out of 25998 with flag 95001/95001
12.00/5.22	c cleaning 13999 clauses out of 28006 with flag 110001/110001
13.16/5.82	c cleaning 14998 clauses out of 30008 with flag 126002/126002
14.91/6.71	c cleaning 15999 clauses out of 32012 with flag 143004/143004
16.90/7.74	c cleaning 17002 clauses out of 34009 with flag 161000/161000
18.45/8.59	c cleaning 17996 clauses out of 36007 with flag 180000/180000
20.41/9.55	c cleaning 18996 clauses out of 38012 with flag 200001/200001
22.73/10.72	c cleaning 20005 clauses out of 40016 with flag 221001/221001
24.69/11.72	c cleaning 20993 clauses out of 42010 with flag 243000/243000
26.43/12.62	c cleaning 22008 clauses out of 44017 with flag 266000/266000
28.98/13.91	c cleaning 23005 clauses out of 46010 with flag 290001/290001
32.31/15.67	c cleaning 23999 clauses out of 48004 with flag 315000/315000
36.27/17.67	c cleaning 24998 clauses out of 50007 with flag 341002/341002
39.99/19.52	c cleaning 26000 clauses out of 52007 with flag 368000/368000
43.13/21.12	c cleaning 27003 clauses out of 54007 with flag 396000/396000
47.43/23.32	c cleaning 28002 clauses out of 56004 with flag 425000/425000
53.23/26.20	c cleaning 29000 clauses out of 58003 with flag 455001/455001
57.56/28.49	c cleaning 29994 clauses out of 60003 with flag 486001/486001
62.35/30.81	c cleaning 31003 clauses out of 62010 with flag 518002/518002
66.66/33.08	c cleaning 32004 clauses out of 64007 with flag 551002/551002
72.41/35.95	c cleaning 32996 clauses out of 66001 with flag 585000/585000
77.57/38.54	c cleaning 34002 clauses out of 68007 with flag 620002/620002
79.10/39.36	c cleaning 0 clauses out of 5000 with flag 0/5000
83.12/41.09	c cleaning 34994 clauses out of 70003 with flag 656000/656000
90.67/44.81	c cleaning 36002 clauses out of 72009 with flag 693000/693000
100.44/49.60	c cleaning 37002 clauses out of 74007 with flag 731000/731000
108.83/53.87	c cleaning 37998 clauses out of 76006 with flag 770001/770001
117.80/58.37	c cleaning 38998 clauses out of 78007 with flag 810000/810000
127.78/63.37	c cleaning 40003 clauses out of 80010 with flag 851001/851001
135.70/67.31	c cleaning 41003 clauses out of 82006 with flag 893000/893000
144.40/71.74	c cleaning 41993 clauses out of 84003 with flag 936000/936000
151.87/75.53	c cleaning 43003 clauses out of 86012 with flag 980002/980002
160.56/79.99	c cleaning 43999 clauses out of 88007 with flag 1025000/1025000
170.87/85.12	c cleaning 45000 clauses out of 90008 with flag 1071000/1071000
179.18/89.39	c cleaning 45999 clauses out of 92011 with flag 1118003/1118003
187.63/93.61	c cleaning 47002 clauses out of 94009 with flag 1166000/1166000
195.93/97.89	c cleaning 47994 clauses out of 96009 with flag 1215002/1215002
204.23/102.06	c cleaning 49009 clauses out of 98018 with flag 1265005/1265005
213.11/106.60	c cleaning 50000 clauses out of 100006 with flag 1316002/1316002
220.57/110.31	c cleaning 50996 clauses out of 102004 with flag 1368000/1368000
234.90/117.57	c cleaning 52000 clauses out of 104008 with flag 1421000/1421000
245.61/122.92	c cleaning 53003 clauses out of 106008 with flag 1475000/1475000
252.90/126.63	c cleaning 53993 clauses out of 108005 with flag 1530000/1530000
259.72/130.13	c cleaning 55001 clauses out of 110013 with flag 1586001/1586001
267.61/134.17	c cleaning 56004 clauses out of 112011 with flag 1643000/1643000
285.73/143.27	c cleaning 57004 clauses out of 114008 with flag 1701001/1701001
303.88/152.38	c cleaning 58002 clauses out of 116006 with flag 1760003/1760003
319.94/160.47	c cleaning 58993 clauses out of 118001 with flag 1820000/1820000
336.44/168.73	c cleaning 60001 clauses out of 120009 with flag 1881001/1881001
350.92/176.07	c cleaning 61000 clauses out of 122008 with flag 1943001/1943001
364.37/182.84	c cleaning 61997 clauses out of 124007 with flag 2006000/2006000
375.76/188.63	c cleaning 63003 clauses out of 126010 with flag 2070000/2070000
387.62/194.69	c cleaning 64000 clauses out of 128008 with flag 2135001/2135001
402.27/202.07	c cleaning 65001 clauses out of 130008 with flag 2201001/2201001
404.14/203.09	c cleaning 0 clauses out of 11002 with flag 0/11002
425.58/213.80	c cleaning 66001 clauses out of 132006 with flag 2268000/2268000
437.22/219.75	c cleaning 67000 clauses out of 134005 with flag 2336000/2336000
449.85/226.11	c cleaning 68002 clauses out of 136005 with flag 2405000/2405000
463.09/232.87	c cleaning 69000 clauses out of 138005 with flag 2475002/2475002
477.67/240.24	c cleaning 70003 clauses out of 140005 with flag 2546002/2546002
494.37/248.63	c cleaning 70997 clauses out of 142000 with flag 2618000/2618000
508.79/255.98	c cleaning 71996 clauses out of 144004 with flag 2691001/2691001
531.52/267.37	c cleaning 73000 clauses out of 146008 with flag 2765001/2765001
549.93/276.67	c cleaning 74001 clauses out of 148008 with flag 2840001/2840001
569.24/286.37	c cleaning 75002 clauses out of 150006 with flag 2916000/2916000
594.21/298.85	c cleaning 75999 clauses out of 152006 with flag 2993002/2993002
608.86/306.26	c cleaning 76998 clauses out of 154005 with flag 3071000/3071000
624.63/314.28	c cleaning 77994 clauses out of 156007 with flag 3150000/3150000
639.54/321.74	c cleaning 79007 clauses out of 158013 with flag 3230000/3230000
657.25/330.62	c cleaning 79998 clauses out of 160008 with flag 3311002/3311002
681.78/342.93	c cleaning 80997 clauses out of 162008 with flag 3393000/3393000
704.02/354.17	c cleaning 82006 clauses out of 164011 with flag 3476000/3476000
744.78/374.54	c cleaning 82994 clauses out of 166005 with flag 3560000/3560000
775.56/389.93	c cleaning 84000 clauses out of 168011 with flag 3645000/3645000
812.84/408.56	c cleaning 85000 clauses out of 170012 with flag 3731001/3731001
852.81/428.52	c cleaning 86006 clauses out of 172012 with flag 3818001/3818001
884.47/444.35	c cleaning 86998 clauses out of 174005 with flag 3906000/3906000
922.92/463.51	c cleaning 88002 clauses out of 176007 with flag 3995000/3995000
960.98/482.60	c cleaning 88998 clauses out of 178005 with flag 4085000/4085000
998.92/501.60	c cleaning 89996 clauses out of 180008 with flag 4176001/4176001
1028.49/516.33	c cleaning 91001 clauses out of 182011 with flag 4268000/4268000
1073.13/538.62	c cleaning 92000 clauses out of 184010 with flag 4361000/4361000
1102.88/553.53	c cleaning 0 clauses out of 18000 with flag 0/18000
1104.33/554.49	c cleaning 93003 clauses out of 186010 with flag 4455000/4455000
1123.83/564.28	c cleaning 94000 clauses out of 188007 with flag 4550000/4550000
1152.44/578.60	c cleaning 94995 clauses out of 190007 with flag 4646000/4646000
1183.77/594.23	c cleaning 96000 clauses out of 192014 with flag 4743002/4743002
1214.38/609.64	c cleaning 97001 clauses out of 194013 with flag 4841001/4841001
1242.09/623.60	c cleaning 97999 clauses out of 196011 with flag 4940000/4940000
1275.28/640.17	c cleaning 99003 clauses out of 198012 with flag 5040000/5040000
1305.64/655.34	c cleaning 100003 clauses out of 200012 with flag 5141003/5141003
1334.38/669.79	c cleaning 100994 clauses out of 202006 with flag 5243000/5243000
1361.11/683.12	c cleaning 102005 clauses out of 204013 with flag 5346001/5346001
1388.04/696.69	c cleaning 103003 clauses out of 206007 with flag 5450000/5450000
1411.99/708.68	c cleaning 103998 clauses out of 208006 with flag 5555002/5555002
1444.24/724.82	c cleaning 105002 clauses out of 210006 with flag 5661000/5661000
1482.36/743.91	c cleaning 105998 clauses out of 212004 with flag 5768000/5768000
1520.57/763.04	c cleaning 107000 clauses out of 214007 with flag 5876001/5876001
1554.73/780.11	c cleaning 107999 clauses out of 216008 with flag 5985002/5985002
1600.45/803.07	c cleaning 108998 clauses out of 218007 with flag 6095000/6095000
1633.74/819.72	c cleaning 109998 clauses out of 220009 with flag 6206000/6206000
1668.85/837.39	c cleaning 111001 clauses out of 222011 with flag 6318000/6318000
1703.95/854.99	c cleaning 111999 clauses out of 224012 with flag 6431002/6431002
1741.16/873.62	c cleaning 113003 clauses out of 226011 with flag 6545000/6545000
1783.61/894.86	c cleaning 113996 clauses out of 228009 with flag 6660001/6660001
1800.07/903.12	c starts		: 286
1800.07/903.12	c conflicts		: 6736153
1800.07/903.12	c decisions		: 6751309
1800.07/903.12	c propagations		: 36330834
1800.07/903.12	c inspects		: 6832993748
1800.07/903.12	c shortcuts		: 0
1800.07/903.12	c learnt literals	: 0
1800.07/903.12	c learnt binary clauses	: 0
1800.07/903.12	c learnt ternary clauses	: 0
1800.07/903.12	c learnt constraints	: 6736153
1800.07/903.12	c ignored constraints	: 0
1800.07/903.12	c root simplifications	: 0
1800.07/903.12	c removed literals (reason simplification)	: 56192412
1800.07/903.12	c reason swapping (by a shorter reason)	: 0
1800.07/903.12	c Calls to reduceDB	: 111
1800.07/903.12	c number of reductions to clauses (during analyze)	: 0
1800.07/903.12	c number of learned constraints concerned by reduction	: 0
1800.07/903.12	c number of learning phase by resolution	: 0
1800.07/903.12	c number of learning phase by cutting planes	: 0
1800.07/903.12	c speed (assignments/second)	: 40234.372854326786
1800.07/903.12	c non guided choices	74
1800.07/903.16	c learnt constraints type 
1800.07/903.16	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 190170
1800.07/903.16	c constraints type 
1800.07/903.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.07/903.16	c 2 constraints processed.
1800.07/903.16	c constraints type 
1800.07/903.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
1800.07/903.16	c 2 constraints processed.
1800.07/903.16	s UNKNOWN
1800.07/903.16	c Total wall clock time (in seconds): 903.038

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.85 3.76 3.58 4/197 25179
/proc/meminfo: memFree=25193864/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25179/stat : 25179 (java) D 25177 25179 24080 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253657563 9515008 182 33554432000 1073741824 1073778376 140737349513664 140737349504696 209883840181 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25179/statm: 2323 182 140 9 0 71 0

[startup+0.0661569 s]
/proc/loadavg: 3.85 3.76 3.58 4/197 25179
/proc/meminfo: memFree=25193864/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 3180 0 1 0 3 1 0 0 20 0 18 0 253657563 9787813888 4389 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2389603 4391 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.100331 s]
/proc/loadavg: 3.85 3.76 3.58 4/197 25179
/proc/meminfo: memFree=25193864/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 4275 0 1 0 8 1 0 0 20 0 18 0 253657563 9787813888 5476 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2389603 5476 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300201 s]
/proc/loadavg: 3.85 3.76 3.58 4/197 25179
/proc/meminfo: memFree=25193864/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 6919 0 1 0 74 2 0 0 20 0 22 0 253657563 10060460032 9895 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2456167 9895 2216 9 0 2446860 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 9824668

[startup+0.700226 s]
/proc/loadavg: 3.85 3.76 3.58 4/197 25179
/proc/meminfo: memFree=25193864/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 18498 0 1 0 226 6 0 0 20 0 22 0 253657563 10060460032 28821 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2456167 28821 2254 9 0 2446860 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9824668

[startup+1.50087 s]
/proc/loadavg: 3.85 3.76 3.58 7/219 25201
/proc/meminfo: memFree=25070620/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9824668 CPUtime=4.56 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 21527 0 1 0 449 7 0 0 20 0 22 0 253657563 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2456167 37551 2266 9 0 2446860 0
[pid=25179/tid=25181] ppid=25177 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/25179/task/25181/stat : 25181 (java) S 25177 25179 24080 0 -1 4202560 2436 0 1 0 9 1 0 0 20 0 22 0 253657564 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895708713976 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25182] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25182/stat : 25182 (java) S 25177 25179 24080 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895681165992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25183] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25183/stat : 25183 (java) S 25177 25179 24080 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895680113448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25184] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25184/stat : 25184 (java) S 25177 25179 24080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895679060904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25185] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25185/stat : 25185 (java) S 25177 25179 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895678008360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25186] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25186/stat : 25186 (java) S 25177 25179 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895676954792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25187] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25187/stat : 25187 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895675902248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25188] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25188/stat : 25188 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895546358184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25189] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25189/stat : 25189 (java) S 25177 25179 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895545305640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25190] ppid=25177 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25179/task/25190/stat : 25190 (java) S 25177 25179 24080 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 22 0 253657566 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895062358632 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25191] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25191/stat : 25191 (java) S 25177 25179 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895061304952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25192] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25192/stat : 25192 (java) S 25177 25179 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895060252296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25193] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25193/stat : 25193 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895059201040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25194] ppid=25177 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/25179/task/25194/stat : 25194 (java) S 25177 25179 24080 0 -1 4202560 7791 0 0 0 85 1 0 0 20 0 22 0 253657569 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895058147384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25195] ppid=25177 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/25179/task/25195/stat : 25195 (java) S 25177 25179 24080 0 -1 4202560 9863 0 0 0 89 3 0 0 20 0 22 0 253657569 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895057094840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25196] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25196/stat : 25196 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895056042488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25197] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25197/stat : 25197 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895054990152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25198] ppid=25177 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/25179/task/25198/stat : 25198 (java) R 25177 25179 24080 0 -1 4202560 49 0 0 0 127 0 0 0 20 0 22 0 253657577 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895053935272 139895558207900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25199] ppid=25177 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/25179/task/25199/stat : 25199 (java) R 25177 25179 24080 0 -1 4202560 109 0 0 0 124 1 0 0 20 0 22 0 253657577 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895052881000 139895557823370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25200] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25200/stat : 25200 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895051830824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25201] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25201/stat : 25201 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 37551 33554432000 1073741824 1073778376 140736977641472 139895050778280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 9824668

[startup+3.10088 s]
/proc/loadavg: 4.02 3.79 3.59 6/219 25201
/proc/meminfo: memFree=25022896/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9824668 CPUtime=7.86 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 21722 0 1 0 777 9 0 0 20 0 22 0 253657563 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2456167 46817 2273 9 0 2446860 0
[pid=25179/tid=25181] ppid=25177 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/25179/task/25181/stat : 25181 (java) S 25177 25179 24080 0 -1 4202560 2436 0 1 0 9 1 0 0 20 0 22 0 253657564 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895708713976 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25182] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25182/stat : 25182 (java) S 25177 25179 24080 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895681165992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25183] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25183/stat : 25183 (java) S 25177 25179 24080 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895680113448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25184] ppid=25177 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25179/task/25184/stat : 25184 (java) S 25177 25179 24080 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895679060904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25185] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25185/stat : 25185 (java) S 25177 25179 24080 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895678008360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25186] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25186/stat : 25186 (java) S 25177 25179 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895676954792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25187] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25187/stat : 25187 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895675902248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25188] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25188/stat : 25188 (java) S 25177 25179 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895546358184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25189] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25189/stat : 25189 (java) S 25177 25179 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895545305640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25190] ppid=25177 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25179/task/25190/stat : 25190 (java) S 25177 25179 24080 0 -1 4202560 37 0 0 0 16 0 0 0 20 0 22 0 253657566 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895062358632 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25191] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25191/stat : 25191 (java) S 25177 25179 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895061304952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25192] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25192/stat : 25192 (java) S 25177 25179 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895060252296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25193] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25193/stat : 25193 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895059201040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25194] ppid=25177 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/25179/task/25194/stat : 25194 (java) S 25177 25179 24080 0 -1 4202560 7932 0 0 0 102 1 0 0 20 0 22 0 253657569 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895058147384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25195] ppid=25177 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/25179/task/25195/stat : 25195 (java) S 25177 25179 24080 0 -1 4202560 9863 0 0 0 91 3 0 0 20 0 22 0 253657569 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895057094840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25196] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25196/stat : 25196 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895056042488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25197] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25197/stat : 25197 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895054990152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25198] ppid=25177 vsize=9824668 CPUtime=2.73 cores=1,3,5,7
/proc/25179/task/25198/stat : 25198 (java) R 25177 25179 24080 0 -1 4202560 52 0 0 0 273 0 0 0 20 0 22 0 253657577 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895053935152 139895557754782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25199] ppid=25177 vsize=9824668 CPUtime=2.72 cores=1,3,5,7
/proc/25179/task/25199/stat : 25199 (java) R 25177 25179 24080 0 -1 4202560 124 0 0 0 270 2 0 0 20 0 22 0 253657577 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895052880880 139895557823165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25200] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25200/stat : 25200 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895051830824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25201] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25201/stat : 25201 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 46817 33554432000 1073741824 1073778376 140736977641472 139895050778280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 9824668

[startup+6.30089 s]
/proc/loadavg: 4.02 3.79 3.59 5/219 25201
/proc/meminfo: memFree=24991004/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9824668 CPUtime=14.09 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 21765 0 1 0 1399 10 0 0 20 0 22 0 253657563 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2456167 52568 2273 9 0 2446860 0
[pid=25179/tid=25181] ppid=25177 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/25179/task/25181/stat : 25181 (java) S 25177 25179 24080 0 -1 4202560 2436 0 1 0 9 1 0 0 20 0 22 0 253657564 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895708713976 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25182] ppid=25177 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25179/task/25182/stat : 25182 (java) S 25177 25179 24080 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895681165992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25183] ppid=25177 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25179/task/25183/stat : 25183 (java) S 25177 25179 24080 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895680113448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25184] ppid=25177 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25179/task/25184/stat : 25184 (java) S 25177 25179 24080 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895679060904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25185] ppid=25177 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25179/task/25185/stat : 25185 (java) S 25177 25179 24080 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895678008360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25186] ppid=25177 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25179/task/25186/stat : 25186 (java) S 25177 25179 24080 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895676954792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25187] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25187/stat : 25187 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895675902248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25188] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25188/stat : 25188 (java) S 25177 25179 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895546358184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25189] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25189/stat : 25189 (java) S 25177 25179 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253657565 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895545305640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25190] ppid=25177 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/25179/task/25190/stat : 25190 (java) S 25177 25179 24080 0 -1 4202560 40 0 0 0 39 0 0 0 20 0 22 0 253657566 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895062358632 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25191] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25191/stat : 25191 (java) S 25177 25179 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895061304952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25192] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25192/stat : 25192 (java) S 25177 25179 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895060252296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25193] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25193/stat : 25193 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895059201040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25194] ppid=25177 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/25179/task/25194/stat : 25194 (java) S 25177 25179 24080 0 -1 4202560 7932 0 0 0 105 1 0 0 20 0 22 0 253657569 10060460032 52568 33554432000 1073741824 1073778376 140736977641472 139895058147384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

/proc/25179/statm: 2456167 162888 2274 9 0 2446860 0
[pid=25179/tid=25181] ppid=25177 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25179/task/25181/stat : 25181 (java) S 25177 25179 24080 0 -1 4202560 2484 0 1 0 13 3 0 0 20 0 22 0 253657564 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895708713976 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25182] ppid=25177 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/25179/task/25182/stat : 25182 (java) S 25177 25179 24080 0 -1 4202560 489 0 0 0 317 10 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895681165992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25183] ppid=25177 vsize=9824668 CPUtime=3.24 cores=1,3,5,7
/proc/25179/task/25183/stat : 25183 (java) S 25177 25179 24080 0 -1 4202560 410 0 0 0 314 10 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895680113448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25184] ppid=25177 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/25179/task/25184/stat : 25184 (java) S 25177 25179 24080 0 -1 4202560 522 0 0 0 311 8 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895679060904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25185] ppid=25177 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/25179/task/25185/stat : 25185 (java) S 25177 25179 24080 0 -1 4202560 739 0 0 0 307 11 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895678008360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25186] ppid=25177 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/25179/task/25186/stat : 25186 (java) S 25177 25179 24080 0 -1 4202560 642 0 0 0 322 11 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895676954792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25187] ppid=25177 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/25179/task/25187/stat : 25187 (java) S 25177 25179 24080 0 -1 4202560 678 0 0 0 322 10 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895675902248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25188] ppid=25177 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/25179/task/25188/stat : 25188 (java) S 25177 25179 24080 0 -1 4202560 577 0 0 0 310 9 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895546358184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25189] ppid=25177 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/25179/task/25189/stat : 25189 (java) S 25177 25179 24080 0 -1 4202560 619 0 0 0 325 11 0 0 20 0 22 0 253657565 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895545305640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25190] ppid=25177 vsize=9824668 CPUtime=20.74 cores=1,3,5,7
/proc/25179/task/25190/stat : 25190 (java) S 25177 25179 24080 0 -1 4202560 1094 0 0 0 2048 26 0 0 20 0 22 0 253657566 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895062358632 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25191] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25191/stat : 25191 (java) S 25177 25179 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895061304952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25192] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25192/stat : 25192 (java) S 25177 25179 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895060252296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25193] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25193/stat : 25193 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895059201040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25194] ppid=25177 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/25179/task/25194/stat : 25194 (java) S 25177 25179 24080 0 -1 4202560 14433 0 0 0 217 3 0 0 20 0 22 0 253657569 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895058147384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25195] ppid=25177 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/25179/task/25195/stat : 25195 (java) S 25177 25179 24080 0 -1 4202560 9863 0 0 0 95 3 0 0 20 0 22 0 253657569 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895057094840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25196] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25196/stat : 25196 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895056042488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25197] ppid=25177 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/25179/task/25197/stat : 25197 (java) S 25177 25179 24080 0 -1 4202560 51 0 0 0 17 23 0 0 20 0 22 0 253657569 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895054990152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25198] ppid=25177 vsize=9824668 CPUtime=851.81 cores=1,3,5,7
/proc/25179/task/25198/stat : 25198 (java) R 25177 25179 24080 0 -1 4202560 459 0 0 0 85165 16 0 0 20 0 22 0 253657577 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895053934224 139895557795214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25199] ppid=25177 vsize=9824668 CPUtime=851.67 cores=1,3,5,7
/proc/25179/task/25199/stat : 25199 (java) R 25177 25179 24080 0 -1 4202560 2842 0 0 0 85133 34 0 0 20 0 22 0 253657577 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895052880800 139895557890090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25200] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25200/stat : 25200 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895051830824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25201] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25201/stat : 25201 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 162888 33554432000 1073741824 1073778376 140736977641472 139895050778280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1758.37
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+903.108 s]
/proc/loadavg: 3.68 3.81 3.76 5/219 25359
/proc/meminfo: memFree=26364444/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9824668 CPUtime=1800.07 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 37137 0 1 0 179844 163 0 0 20 0 22 0 253657563 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2456167 153669 2274 9 0 2446860 0
[pid=25179/tid=25181] ppid=25177 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25179/task/25181/stat : 25181 (java) S 25177 25179 24080 0 -1 4202560 2485 0 1 0 13 3 0 0 20 0 22 0 253657564 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895708713976 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25182] ppid=25177 vsize=9824668 CPUtime=3.37 cores=1,3,5,7
/proc/25179/task/25182/stat : 25182 (java) S 25177 25179 24080 0 -1 4202560 491 0 0 0 327 10 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895681165992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25183] ppid=25177 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/25179/task/25183/stat : 25183 (java) S 25177 25179 24080 0 -1 4202560 412 0 0 0 326 10 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895680113448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25184] ppid=25177 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/25179/task/25184/stat : 25184 (java) S 25177 25179 24080 0 -1 4202560 524 0 0 0 325 8 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895679060904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25185] ppid=25177 vsize=9824668 CPUtime=3.28 cores=1,3,5,7
/proc/25179/task/25185/stat : 25185 (java) S 25177 25179 24080 0 -1 4202560 741 0 0 0 317 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895678008360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25186] ppid=25177 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/25179/task/25186/stat : 25186 (java) S 25177 25179 24080 0 -1 4202560 645 0 0 0 335 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895676954792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25187] ppid=25177 vsize=9824668 CPUtime=3.39 cores=1,3,5,7
/proc/25179/task/25187/stat : 25187 (java) S 25177 25179 24080 0 -1 4202560 679 0 0 0 328 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895675902248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25188] ppid=25177 vsize=9824668 CPUtime=3.31 cores=1,3,5,7
/proc/25179/task/25188/stat : 25188 (java) S 25177 25179 24080 0 -1 4202560 581 0 0 0 322 9 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895546358184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25189] ppid=25177 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/25179/task/25189/stat : 25189 (java) S 25177 25179 24080 0 -1 4202560 619 0 0 0 334 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895545305640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25190] ppid=25177 vsize=9824668 CPUtime=21.07 cores=1,3,5,7
/proc/25179/task/25190/stat : 25190 (java) S 25177 25179 24080 0 -1 4202560 1117 0 0 0 2081 26 0 0 20 0 22 0 253657566 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895062358632 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25191] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25191/stat : 25191 (java) S 25177 25179 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895061304952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25192] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25192/stat : 25192 (java) S 25177 25179 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895060252296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25193] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25193/stat : 25193 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895059201040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25194] ppid=25177 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/25179/task/25194/stat : 25194 (java) S 25177 25179 24080 0 -1 4202560 14433 0 0 0 217 3 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895058147384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25195] ppid=25177 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/25179/task/25195/stat : 25195 (java) S 25177 25179 24080 0 -1 4202560 9863 0 0 0 95 3 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895057094840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25196] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25196/stat : 25196 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895056042488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25197] ppid=25177 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/25179/task/25197/stat : 25197 (java) S 25177 25179 24080 0 -1 4202560 53 0 0 0 18 23 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895054990152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25198] ppid=25177 vsize=9824668 CPUtime=872 cores=1,3,5,7
/proc/25179/task/25198/stat : 25198 (java) R 25177 25179 24080 0 -1 4202560 460 0 0 0 87183 17 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895053933360 139895558096887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25199] ppid=25177 vsize=9824668 CPUtime=871.86 cores=1,3,5,7
/proc/25179/task/25199/stat : 25199 (java) R 25177 25179 24080 0 -1 4202560 2847 0 0 0 87151 35 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895052881616 139895557824041 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25200] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25200/stat : 25200 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895051830824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25201] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25201/stat : 25201 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895050778280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668

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

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

[startup+903.108 s]
/proc/loadavg: 3.68 3.81 3.76 5/219 25359
/proc/meminfo: memFree=26364444/32873844 swapFree=7616/7616
[pid=25179] ppid=25177 vsize=9824668 CPUtime=1800.07 cores=1,3,5,7
/proc/25179/stat : 25179 (java) S 25177 25179 24080 0 -1 4202496 37137 0 1 0 179844 163 0 0 20 0 22 0 253657563 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 140736977632608 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25179/statm: 2456167 153669 2274 9 0 2446860 0
[pid=25179/tid=25181] ppid=25177 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25179/task/25181/stat : 25181 (java) S 25177 25179 24080 0 -1 4202560 2485 0 1 0 13 3 0 0 20 0 22 0 253657564 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895708713976 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25182] ppid=25177 vsize=9824668 CPUtime=3.37 cores=1,3,5,7
/proc/25179/task/25182/stat : 25182 (java) S 25177 25179 24080 0 -1 4202560 491 0 0 0 327 10 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895681165992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25183] ppid=25177 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/25179/task/25183/stat : 25183 (java) S 25177 25179 24080 0 -1 4202560 412 0 0 0 326 10 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895680113448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25184] ppid=25177 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/25179/task/25184/stat : 25184 (java) S 25177 25179 24080 0 -1 4202560 524 0 0 0 325 8 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895679060904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25185] ppid=25177 vsize=9824668 CPUtime=3.28 cores=1,3,5,7
/proc/25179/task/25185/stat : 25185 (java) S 25177 25179 24080 0 -1 4202560 741 0 0 0 317 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895678008360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25186] ppid=25177 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/25179/task/25186/stat : 25186 (java) S 25177 25179 24080 0 -1 4202560 645 0 0 0 335 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895676954792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25179/tid=25187] ppid=25177 vsize=9824668 CPUtime=3.39 cores=1,3,5,7
/proc/25179/task/25187/stat : 25187 (java) S 25177 25179 24080 0 -1 4202560 679 0 0 0 328 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895675902248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25188] ppid=25177 vsize=9824668 CPUtime=3.31 cores=1,3,5,7
/proc/25179/task/25188/stat : 25188 (java) S 25177 25179 24080 0 -1 4202560 581 0 0 0 322 9 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895546358184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25189] ppid=25177 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/25179/task/25189/stat : 25189 (java) S 25177 25179 24080 0 -1 4202560 619 0 0 0 334 11 0 0 20 0 22 0 253657565 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895545305640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25190] ppid=25177 vsize=9824668 CPUtime=21.07 cores=1,3,5,7
/proc/25179/task/25190/stat : 25190 (java) S 25177 25179 24080 0 -1 4202560 1117 0 0 0 2081 26 0 0 20 0 22 0 253657566 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895062358632 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25191] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25191/stat : 25191 (java) S 25177 25179 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895061304952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25192] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25192/stat : 25192 (java) S 25177 25179 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253657567 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895060252296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25193] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25193/stat : 25193 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895059201040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25194] ppid=25177 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/25179/task/25194/stat : 25194 (java) S 25177 25179 24080 0 -1 4202560 14433 0 0 0 217 3 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895058147384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25179/tid=25195] ppid=25177 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/25179/task/25195/stat : 25195 (java) S 25177 25179 24080 0 -1 4202560 9863 0 0 0 95 3 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895057094840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25196] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25196/stat : 25196 (java) S 25177 25179 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895056042488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25197] ppid=25177 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/25179/task/25197/stat : 25197 (java) S 25177 25179 24080 0 -1 4202560 53 0 0 0 18 23 0 0 20 0 22 0 253657569 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895054990152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25198] ppid=25177 vsize=9824668 CPUtime=872 cores=1,3,5,7
/proc/25179/task/25198/stat : 25198 (java) R 25177 25179 24080 0 -1 4202560 460 0 0 0 87183 17 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895053933360 139895558096887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25199] ppid=25177 vsize=9824668 CPUtime=871.86 cores=1,3,5,7
/proc/25179/task/25199/stat : 25199 (java) R 25177 25179 24080 0 -1 4202560 2847 0 0 0 87151 35 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895052881616 139895557824041 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25179/tid=25200] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25200/stat : 25200 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895051830824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25179/tid=25201] ppid=25177 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25179/task/25201/stat : 25201 (java) S 25177 25179 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253657577 10060460032 153669 33554432000 1073741824 1073778376 140736977641472 139895050778280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25179 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=8269
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=73684
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 903.165
CPU time (s): 1800.07
CPU user time (s): 1798.44
CPU system time (s): 1.63
CPU usage (%): 199.307
Max. virtual memory (cumulated for all children) (KiB): 9826040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 2.07368
maximum resident set size= 1036548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37183
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29902
involuntary context switches= 55156

runsolver used 3.55046 second user time and 8.94464 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-24 18:02:12
IDJOB=3687980
IDBENCH=2556
IDSOLVER=2268
FILE ID=node141/3687980-1337875332
RUNJOBID= node141-1337871880-24098
PBS_JOBID= 14620063
Free space on /tmp= 71688 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687980-1337875332/watcher-3687980-1337875332 -o /tmp/evaluation-result-3687980-1337875332/solver-3687980-1337875332 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687980-1337875332.opb

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

MD5SUM BENCH= 2d610c35d7c8dd61a03deef28cf982c0
RANDOM SEED=1669505031

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:        25195036 kB
Buffers:          212728 kB
Cached:          3035332 kB
SwapCached:            0 kB
Active:          4047960 kB
Inactive:        2855328 kB
Active(anon):    3657932 kB
Inactive(anon):        0 kB
Active(file):     390028 kB
Inactive(file):  2855328 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:       3663096 kB
Mapped:            22548 kB
Shmem:               200 kB
Slab:             629552 kB
SReclaimable:      72184 kB
SUnreclaim:       557368 kB
KernelStack:        1624 kB
PageTables:        11364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4035764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3569664 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= 71684 MiB
End job on node141 at 2012-05-24 18:17:17