Trace number 3687859

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 NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)834 1800.04 1781.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM4e682317a6045f4869b1783c80734344
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark813
Best CPU time to get the best result obtained on this benchmark0.19097
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 813
Optimality of the best value was proved YES
Number of variables2289
Total number of constraints764
Number of constraints which are clauses360
Number of constraints which are cardinality constraints (but not clauses)404
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 1798
Biggest coefficient in the objective function 349
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 104116
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 349
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 104116
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.2.v20120418
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3687859-1337877266.opb
0.06/0.13	c reading problem ... 
0.25/0.29	c ... done. Wall clock time 0.156s.
0.25/0.29	c declared #vars     2289
0.25/0.29	c #constraints  1141
0.25/0.29	c constraints type 
0.25/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 377
0.25/0.29	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
0.25/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.25/0.29	c ignored satisfied constraints => 1
0.25/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 360
0.25/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.25/0.29	c 1142 constraints processed.
0.25/0.29	c objective function length is 1798 literals
0.47/0.39	c SATISFIABLE
0.47/0.39	c OPTIMIZING...
0.47/0.39	c Got one! Elapsed wall clock time (in seconds):0.265
0.47/0.40	o 845
0.73/0.47	c Got one! Elapsed wall clock time (in seconds):0.339
0.73/0.47	o 834
1.94/1.11	c cleaning 2508 clauses out of 5029 with flag 5001/5029
2.73/1.84	c cleaning 4255 clauses out of 8520 with flag 11000/11028
3.65/2.72	c cleaning 5629 clauses out of 11265 with flag 18000/18028
4.57/3.63	c cleaning 6814 clauses out of 13636 with flag 26000/26028
5.67/4.70	c cleaning 7912 clauses out of 15823 with flag 35001/35029
6.90/5.84	c cleaning 8954 clauses out of 17910 with flag 45000/45028
8.21/7.15	c cleaning 9976 clauses out of 19957 with flag 56001/56029
9.43/8.39	c cleaning 10975 clauses out of 21980 with flag 68000/68028
10.74/9.64	c cleaning 12001 clauses out of 24006 with flag 81001/81029
12.05/10.97	c cleaning 13000 clauses out of 26004 with flag 95000/95028
13.58/12.43	c cleaning 14001 clauses out of 28004 with flag 110000/110028
15.11/13.98	c cleaning 15001 clauses out of 30007 with flag 126004/126032
17.02/15.88	c cleaning 16001 clauses out of 32002 with flag 143000/143028
19.04/17.88	c cleaning 16999 clauses out of 34002 with flag 161001/161029
21.19/19.99	c cleaning 17995 clauses out of 36002 with flag 180000/180028
23.50/22.20	c cleaning 19003 clauses out of 38008 with flag 200001/200029
25.93/24.62	c cleaning 20001 clauses out of 40004 with flag 221000/221028
28.66/27.31	c cleaning 20995 clauses out of 42003 with flag 243000/243028
31.30/29.97	c cleaning 21994 clauses out of 44008 with flag 266000/266028
34.12/32.74	c cleaning 23001 clauses out of 46017 with flag 290003/290031
37.26/35.80	c cleaning 24006 clauses out of 48013 with flag 315000/315028
40.49/39.06	c cleaning 25001 clauses out of 50007 with flag 341000/341028
43.89/42.35	c cleaning 25996 clauses out of 52006 with flag 368000/368028
47.61/46.00	c cleaning 27000 clauses out of 54010 with flag 396000/396028
51.16/49.55	c cleaning 28005 clauses out of 56013 with flag 425003/425031
55.69/54.03	c cleaning 28998 clauses out of 58005 with flag 455000/455028
59.92/58.22	c cleaning 29996 clauses out of 60007 with flag 486000/486028
64.06/62.35	c cleaning 30999 clauses out of 62012 with flag 518001/518029
68.39/66.64	c cleaning 31995 clauses out of 64012 with flag 551000/551028
72.53/70.74	c cleaning 33008 clauses out of 66017 with flag 585000/585028
76.87/75.00	c cleaning 33999 clauses out of 68011 with flag 620002/620030
81.29/79.42	c cleaning 35002 clauses out of 70010 with flag 656000/656028
86.33/84.41	c cleaning 35994 clauses out of 72009 with flag 693001/693029
91.26/89.35	c cleaning 37007 clauses out of 74014 with flag 731000/731028
96.23/94.23	c cleaning 38003 clauses out of 76007 with flag 770000/770028
101.71/99.61	c cleaning 39002 clauses out of 78005 with flag 810001/810029
107.24/105.14	c cleaning 39995 clauses out of 80002 with flag 851000/851028
112.56/110.49	c cleaning 40996 clauses out of 82007 with flag 893000/893028
118.10/115.99	c cleaning 42006 clauses out of 84011 with flag 936000/936028
123.91/121.77	c cleaning 42998 clauses out of 86005 with flag 980000/980028
130.41/128.10	c cleaning 43997 clauses out of 88007 with flag 1025000/1025028
136.97/134.63	c cleaning 45003 clauses out of 90013 with flag 1071003/1071031
143.29/140.85	c cleaning 46000 clauses out of 92007 with flag 1118000/1118028
149.94/147.45	c cleaning 47003 clauses out of 94008 with flag 1166001/1166029
156.76/154.11	c cleaning 48000 clauses out of 96006 with flag 1215002/1215030
163.73/161.04	c cleaning 49002 clauses out of 98008 with flag 1265004/1265032
170.43/167.65	c cleaning 50002 clauses out of 100004 with flag 1316002/1316030
177.21/174.20	c cleaning 50991 clauses out of 102000 with flag 1368000/1368028
184.55/181.52	c cleaning 51999 clauses out of 104009 with flag 1421000/1421028
192.42/189.37	c cleaning 53001 clauses out of 106011 with flag 1475001/1475029
201.19/198.06	c cleaning 54006 clauses out of 108012 with flag 1530003/1530031
208.97/205.79	c cleaning 55001 clauses out of 110005 with flag 1586002/1586030
217.14/213.86	c cleaning 56002 clauses out of 112003 with flag 1643001/1643029
225.41/222.04	c cleaning 56996 clauses out of 114001 with flag 1701001/1701029
233.54/230.14	c cleaning 57995 clauses out of 116004 with flag 1760000/1760028
241.51/238.09	c cleaning 58997 clauses out of 118011 with flag 1820002/1820030
251.73/248.29	c cleaning 59995 clauses out of 120012 with flag 1881000/1881028
262.32/258.76	c cleaning 61009 clauses out of 122018 with flag 1943001/1943029
272.31/268.62	c cleaning 61998 clauses out of 124010 with flag 2006002/2006030
281.16/277.45	c cleaning 63000 clauses out of 126010 with flag 2070000/2070028
291.46/287.56	c cleaning 64002 clauses out of 128011 with flag 2135001/2135029
301.42/297.38	c cleaning 64997 clauses out of 130009 with flag 2201001/2201029
312.74/308.60	c cleaning 65988 clauses out of 132011 with flag 2268000/2268028
323.06/318.85	c cleaning 67012 clauses out of 134023 with flag 2336000/2336028
337.16/332.87	c cleaning 68006 clauses out of 136011 with flag 2405000/2405028
349.81/345.39	c cleaning 69004 clauses out of 138013 with flag 2475008/2475036
363.19/358.61	c cleaning 70001 clauses out of 140002 with flag 2546001/2546029
376.70/372.07	c cleaning 70999 clauses out of 142000 with flag 2618000/2618028
388.91/384.13	c cleaning 71998 clauses out of 144001 with flag 2691000/2691028
401.47/396.69	c cleaning 73000 clauses out of 146005 with flag 2765002/2765030
415.55/410.62	c cleaning 73997 clauses out of 148005 with flag 2840002/2840030
428.72/423.77	c cleaning 75000 clauses out of 150006 with flag 2916000/2916028
442.52/437.43	c cleaning 75998 clauses out of 152006 with flag 2993000/2993028
454.52/449.33	c cleaning 77002 clauses out of 154011 with flag 3071003/3071031
466.88/461.64	c cleaning 77999 clauses out of 156006 with flag 3150000/3150028
479.14/473.83	c cleaning 78999 clauses out of 158009 with flag 3230002/3230030
492.44/487.13	c cleaning 80005 clauses out of 160009 with flag 3311001/3311029
507.26/501.99	c cleaning 81001 clauses out of 162004 with flag 3393001/3393029
521.47/516.08	c cleaning 81995 clauses out of 164002 with flag 3476000/3476028
537.93/532.44	c cleaning 83000 clauses out of 166007 with flag 3560000/3560028
552.94/547.35	c cleaning 83998 clauses out of 168007 with flag 3645000/3645028
567.06/561.46	c cleaning 85002 clauses out of 170011 with flag 3731002/3731030
581.96/576.28	c cleaning 85996 clauses out of 172007 with flag 3818000/3818028
597.09/591.31	c cleaning 87005 clauses out of 174011 with flag 3906000/3906028
612.29/606.49	c cleaning 87992 clauses out of 176008 with flag 3995002/3995030
628.02/622.13	c cleaning 88998 clauses out of 178017 with flag 4085003/4085031
643.96/637.99	c cleaning 89997 clauses out of 180016 with flag 4176000/4176028
660.36/654.34	c cleaning 90999 clauses out of 182019 with flag 4268000/4268028
676.66/670.59	c cleaning 92005 clauses out of 184020 with flag 4361000/4361028
694.05/687.51	c cleaning 93006 clauses out of 186017 with flag 4455002/4455030
708.64/701.85	c cleaning 94002 clauses out of 188011 with flag 4550002/4550030
724.28/717.46	c cleaning 95000 clauses out of 190007 with flag 4646000/4646028
740.77/733.85	c cleaning 95994 clauses out of 192007 with flag 4743000/4743028
756.98/749.90	c cleaning 97004 clauses out of 194013 with flag 4841000/4841028
774.54/767.46	c cleaning 98000 clauses out of 196009 with flag 4940000/4940028
792.99/785.83	c cleaning 99001 clauses out of 198009 with flag 5040000/5040028
812.48/805.15	c cleaning 99999 clauses out of 200008 with flag 5141000/5141028
831.79/824.30	c cleaning 101002 clauses out of 202011 with flag 5243002/5243030
851.43/843.82	c cleaning 101994 clauses out of 204007 with flag 5346000/5346028
871.58/863.89	c cleaning 103001 clauses out of 206013 with flag 5450000/5450028
889.61/881.88	c cleaning 104001 clauses out of 208012 with flag 5555000/5555028
909.44/901.62	c cleaning 105001 clauses out of 210011 with flag 5661000/5661028
929.71/921.76	c cleaning 106001 clauses out of 212010 with flag 5768000/5768028
950.52/942.48	c cleaning 107002 clauses out of 214009 with flag 5876000/5876028
971.90/963.72	c cleaning 107996 clauses out of 216007 with flag 5985000/5985028
992.75/984.57	c cleaning 109005 clauses out of 218017 with flag 6095006/6095034
1014.16/1005.89	c cleaning 109995 clauses out of 220007 with flag 6206001/6206029
1036.28/1027.84	c cleaning 110998 clauses out of 222012 with flag 6318001/6318029
1058.49/1049.94	c cleaning 112002 clauses out of 224013 with flag 6431000/6431028
1080.52/1071.99	c cleaning 113000 clauses out of 226011 with flag 6545000/6545028
1103.39/1094.67	c cleaning 114000 clauses out of 228011 with flag 6660000/6660028
1122.81/1114.02	c cleaning 115001 clauses out of 230016 with flag 6776005/6776033
1142.76/1133.93	c cleaning 116005 clauses out of 232010 with flag 6893000/6893028
1163.58/1154.65	c cleaning 117003 clauses out of 234005 with flag 7011000/7011028
1187.40/1178.37	c cleaning 117997 clauses out of 236003 with flag 7130001/7130029
1209.32/1199.99	c cleaning 119001 clauses out of 238005 with flag 7250000/7250028
1233.14/1223.65	c cleaning 120001 clauses out of 240007 with flag 7371003/7371031
1256.89/1247.23	c cleaning 120997 clauses out of 242005 with flag 7493002/7493030
1281.39/1271.67	c cleaning 122002 clauses out of 244006 with flag 7616000/7616028
1305.17/1295.33	c cleaning 123002 clauses out of 246006 with flag 7740002/7740030
1329.72/1319.81	c cleaning 123990 clauses out of 248002 with flag 7865000/7865028
1351.56/1341.50	c cleaning 124987 clauses out of 250013 with flag 7991001/7991029
1373.93/1363.83	c cleaning 126001 clauses out of 252025 with flag 8118000/8118028
1398.87/1388.28	c cleaning 127001 clauses out of 254025 with flag 8246001/8246029
1426.92/1415.34	c cleaning 128006 clauses out of 256024 with flag 8375001/8375029
1455.00/1442.80	c cleaning 129001 clauses out of 258019 with flag 8505002/8505030
1482.47/1469.76	c cleaning 130008 clauses out of 260017 with flag 8636001/8636029
1511.07/1497.85	c cleaning 131001 clauses out of 262009 with flag 8768001/8768029
1539.78/1525.98	c cleaning 131990 clauses out of 264007 with flag 8901000/8901028
1567.39/1553.03	c cleaning 133001 clauses out of 266018 with flag 9035001/9035029
1596.65/1581.65	c cleaning 133998 clauses out of 268016 with flag 9170000/9170028
1626.54/1611.04	c cleaning 134998 clauses out of 270019 with flag 9306001/9306029
1655.21/1639.19	c cleaning 136001 clauses out of 272020 with flag 9443000/9443028
1684.56/1667.91	c cleaning 137002 clauses out of 274019 with flag 9581000/9581028
1715.14/1697.95	c cleaning 138005 clauses out of 276017 with flag 9720000/9720028
1745.95/1728.22	c cleaning 139005 clauses out of 278012 with flag 9860000/9860028
1775.91/1757.51	c cleaning 140004 clauses out of 280009 with flag 10001002/10001030
1800.04/1781.11	c starts		: 316
1800.04/1781.11	c conflicts		: 10143029
1800.04/1781.11	c decisions		: 16135624
1800.04/1781.11	c propagations		: 1748110698
1800.04/1781.11	c inspects		: 6234949784
1800.04/1781.11	c shortcuts		: 0
1800.04/1781.11	c learnt literals	: 0
1800.04/1781.11	c learnt binary clauses	: 0
1800.04/1781.11	c learnt ternary clauses	: 28
1800.04/1781.11	c learnt constraints	: 10143029
1800.04/1781.11	c ignored constraints	: 0
1800.04/1781.11	c root simplifications	: 0
1800.04/1781.11	c removed literals (reason simplification)	: 0
1800.04/1781.11	c reason swapping (by a shorter reason)	: 0
1800.04/1781.11	c Calls to reduceDB	: 138
1800.04/1781.11	c number of reductions to clauses (during analyze)	: 0
1800.04/1781.11	c number of learned constraints concerned by reduction	: 0
1800.04/1781.11	c number of learning phase by resolution	: 0
1800.04/1781.11	c number of learning phase by cutting planes	: 0
1800.04/1781.11	c speed (assignments/second)	: 981641.820010411
1800.04/1781.11	c non guided choices	54
1800.04/1781.14	c learnt constraints type 
1800.04/1781.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 282004
1800.04/1781.14	c constraints type 
1800.04/1781.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 377
1800.04/1781.14	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1800.04/1781.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1800.04/1781.14	c ignored satisfied constraints => 1
1800.04/1781.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 360
1800.04/1781.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.04/1781.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.04/1781.14	c 1143 constraints processed.
1800.04/1781.14	s SATISFIABLE
1800.04/1781.15	v x1 -x2 -x3 x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 x32 x33 -x34 x35 x36 x37 x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 x137 -x138 -x139 x140 x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 -x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 x228 -x229 -x230 x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253 x254 x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 x290 -x291 -x292 x293 x294 -x295 -x296 -x297 x298 -x299 x300 x301 -x302 x303 x304 -x305 x306 -x307 x308 -x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 x341 x342 x343 -x344 x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 x456 x457 x458 x459 -x460 -x461 x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 x508 x509 -x510 -x511 -x512 -x513 -x514 x515 x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 x528 x529 -x530 x531 x532 x533 x534 -x535 x536 x537 x538 x539 x540 -x541 -x542 x543 x544 x545 x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 x560 x561 -x562 -x563 x564 -x565 -x566 x567 x568 -x569 -x570 x571 x572 x573 x574 -x575 -x576 x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 x599 x600 x601 x602 -x603 x604 -x605 x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 x614 x615 -x616 x617 -x618 -x619 -x620 -x621 x622 x623 -x624 -x625 x626 x627 x628 x629 -x630 x631 x632 -x633 x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 x827 x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 x1031 x1032 x1033 -x1034 x1035 -x1036 x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 x1067 x1068 -x1069 x1070 -x1071 -x1072 x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 x1090 x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 x1470 x1471 -x1472 -x1473 -x1474 x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 x1688 x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 x1755 -x1756 x1757 x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 -x1861 x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 x2021 -x2022 x2023 -x2024 x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 x2267 x2268 -x2269 x2270 x2271 -x2272 -x2273 -x2274 x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 x2287 -x2288 -x2289 
1800.04/1781.15	c objective function=834
1800.04/1781.15	c Total wall clock time (in seconds): 1781.024

Verifier Data 

OK	834

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-3687859-1337877266/watcher-3687859-1337877266 -o /tmp/evaluation-result-3687859-1337877266/solver-3687859-1337877266 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687859-1337877266.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: 1.89 1.99 1.96 3/194 15008
/proc/meminfo: memFree=28744324/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/15008/stat : 15008 (java) R 15006 15008 14581 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 253851465 2560000 46 33554432000 1073741824 1073778376 140736554295248 140736554292376 233211784487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15008/statm: 625 46 37 9 0 29 0

[startup+0.0793389 s]
/proc/loadavg: 1.89 1.99 1.96 3/194 15008
/proc/meminfo: memFree=28744324/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 3238 0 1 0 4 0 0 0 20 0 18 0 253851465 9787813888 3936 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2389603 3937 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.100332 s]
/proc/loadavg: 1.89 1.99 1.96 3/194 15008
/proc/meminfo: memFree=28744324/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 3464 0 1 0 6 0 0 0 20 0 18 0 253851465 9787813888 4162 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2389603 4162 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.300304 s]
/proc/loadavg: 1.89 1.99 1.96 3/194 15008
/proc/meminfo: memFree=28744324/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 6073 0 1 0 45 2 0 0 20 0 18 0 253851465 9787813888 9520 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2389603 9520 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700309 s]
/proc/loadavg: 1.89 1.99 1.96 3/194 15008
/proc/meminfo: memFree=28744324/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 11475 0 1 0 148 3 0 0 20 0 19 0 253851465 9855975424 13283 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2406244 13283 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9624976

[startup+1.50077 s]
/proc/loadavg: 1.89 1.99 1.96 3/213 15027
/proc/meminfo: memFree=28692380/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9624976 CPUtime=2.39 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 11557 0 1 0 235 4 0 0 20 0 19 0 253851465 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2406244 19999 2274 9 0 2396937 0
[pid=15008/tid=15010] ppid=15006 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) R 15006 15008 14581 0 -1 4202560 2529 0 1 0 142 1 0 0 20 0 19 0 253851466 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599510921624 140599451208916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15011] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15011/stat : 15011 (java) S 15006 15008 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599449652264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599448599464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599447546664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599446493864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599350737448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599349684648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599348631848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599347579048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14581 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 253851469 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599335169000 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599334115064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599333062152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599332010640 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14581 0 -1 4202560 3481 0 0 0 40 1 0 0 20 0 19 0 253851472 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599330957752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14581 0 -1 4202560 4300 0 0 0 46 0 0 0 20 0 19 0 253851472 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599329904952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599328852344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599327799752 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851496 9855975424 19999 33554432000 1073741824 1073778376 140733273705872 140599326746280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9624976

[startup+3.10073 s]
/proc/loadavg: 1.89 1.99 1.96 3/213 15027
/proc/meminfo: memFree=28658488/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9624976 CPUtime=4.07 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 11606 0 1 0 401 6 0 0 20 0 19 0 253851465 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2406244 25645 2274 9 0 2396937 0
[pid=15008/tid=15010] ppid=15006 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) R 15006 15008 14581 0 -1 4202560 2531 0 1 0 298 1 0 0 20 0 19 0 253851466 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599510921504 140599451380425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15011] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15011/stat : 15011 (java) S 15006 15008 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599449652264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599448599464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599447546664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14581 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599446493864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599350737448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599349684648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599348631848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14581 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599347579048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14581 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 253851469 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599335169000 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599334115064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599333062152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599332010640 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14581 0 -1 4202560 3483 0 0 0 43 1 0 0 20 0 19 0 253851472 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599330957752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14581 0 -1 4202560 4306 0 0 0 49 0 0 0 20 0 19 0 253851472 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599329904952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599328852344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599327799752 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851496 9855975424 25645 33554432000 1073741824 1073778376 140733273705872 140599326746280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 9624976

[startup+6.3008 s]
/proc/loadavg: 1.90 1.99 1.96 3/213 15027
/proc/meminfo: memFree=28632616/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9624976 CPUtime=7.41 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 11655 0 1 0 733 8 0 0 20 0 19 0 253851465 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2406244 30308 2274 9 0 2396937 0
[pid=15008/tid=15010] ppid=15006 vsize=9624976 CPUtime=6.08 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) R 15006 15008 14581 0 -1 4202560 2534 0 1 0 607 1 0 0 20 0 19 0 253851466 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599510921504 140599451278001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15011] ppid=15006 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/15008/task/15011/stat : 15011 (java) S 15006 15008 14581 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599449652264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599448599464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14581 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599447546664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14581 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599446493864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14581 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599350737448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599349684648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599348631848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14581 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253851468 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599347579048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14581 0 -1 4202560 42 0 0 0 9 0 0 0 20 0 19 0 253851469 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599335169000 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599334115064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599333062152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599332010640 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14581 0 -1 4202560 3484 0 0 0 43 1 0 0 20 0 19 0 253851472 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599330957752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14581 0 -1 4202560 4314 0 0 0 55 0 0 0 20 0 19 0 253851472 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599329904952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599328852344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599327799752 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851496 9855975424 30308 33554432000 1073741824 1073778376 140733273705872 140599326746280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=15008/tid=15023] ppid=15006 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14581 0 -1 4202560 3484 0 0 0 43 1 0 0 20 0 19 0 253851472 9855975424 227195 33554432000 1073741824 1073778376 140733273705872 140599330957752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14581 0 -1 4202560 4328 0 0 0 58 0 0 0 20 0 19 0 253851472 9855975424 227195 33554432000 1073741824 1073778376 140733273705872 140599329904952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 227195 33554432000 1073741824 1073778376 140733273705872 140599328852344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14581 0 -1 4202560 97 0 0 0 38 27 0 0 20 0 19 0 253851472 9855975424 227195 33554432000 1073741824 1073778376 140733273705872 140599327799752 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851496 9855975424 227195 33554432000 1073741824 1073778376 140733273705872 140599326746280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1678.96
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15125
/proc/meminfo: memFree=27659968/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9624976 CPUtime=1740.05 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 21628 0 1 0 173831 174 0 0 20 0 19 0 253851465 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2406244 224098 2275 9 0 2396937 0
[pid=15008/tid=15010] ppid=15006 vsize=9624976 CPUtime=1700.43 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) R 15006 15008 14581 0 -1 4202560 3069 0 1 0 170013 30 0 0 20 0 19 0 253851466 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599510920560 140599451490768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15011] ppid=15006 vsize=9624976 CPUtime=3.04 cores=1,3,5,7
/proc/15008/task/15011/stat : 15011 (java) S 15006 15008 14581 0 -1 4202560 1048 0 0 0 289 15 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599449652264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=9624976 CPUtime=2.64 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14581 0 -1 4202560 1174 0 0 0 249 15 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599448599464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=9624976 CPUtime=2.7 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14581 0 -1 4202560 536 0 0 0 255 15 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599447546664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14581 0 -1 4202560 1346 0 0 0 285 18 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599446493864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=9624976 CPUtime=2.85 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14581 0 -1 4202560 1175 0 0 0 268 17 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599350737448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=9624976 CPUtime=2.57 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14581 0 -1 4202560 1016 0 0 0 244 13 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599349684648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=9624976 CPUtime=2.54 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14581 0 -1 4202560 541 0 0 0 240 14 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599348631848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=9624976 CPUtime=2.87 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14581 0 -1 4202560 1138 0 0 0 270 17 0 0 20 0 19 0 253851468 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599347579048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=9624976 CPUtime=11.16 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14581 0 -1 4202560 1491 0 0 0 1112 4 0 0 20 0 19 0 253851469 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599335169000 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599334115064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599333062152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599332010640 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14581 0 -1 4202560 3484 0 0 0 43 1 0 0 20 0 19 0 253851472 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599330957752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14581 0 -1 4202560 4328 0 0 0 58 0 0 0 20 0 19 0 253851472 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599329904952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599328852344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14581 0 -1 4202560 101 0 0 0 40 28 0 0 20 0 19 0 253851472 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599327799752 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851496 9855975424 224098 33554432000 1073741824 1073778376 140733273705872 140599326746280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1740.05
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.1 s]
/proc/loadavg: 2.31 2.10 2.03 3/213 15125
/proc/meminfo: memFree=27622360/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 21756 0 1 0 179826 178 0 0 20 0 19 0 253851465 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2406244 230796 2275 9 0 2396937 0
[pid=15008/tid=15010] ppid=15006 vsize=9624976 CPUtime=1758.41 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) R 15006 15008 14581 0 -1 4202560 3079 0 1 0 175810 31 0 0 20 0 19 0 253851466 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599510920560 140599451490341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15011] ppid=15006 vsize=9624976 CPUtime=3.22 cores=1,3,5,7
/proc/15008/task/15011/stat : 15011 (java) S 15006 15008 14581 0 -1 4202560 1051 0 0 0 307 15 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599449652264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=9624976 CPUtime=2.81 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14581 0 -1 4202560 1190 0 0 0 265 16 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599448599464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=9624976 CPUtime=2.87 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14581 0 -1 4202560 539 0 0 0 272 15 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599447546664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=9624976 CPUtime=3.28 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14581 0 -1 4202560 1351 0 0 0 309 19 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599446493864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=9624976 CPUtime=3.11 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14581 0 -1 4202560 1182 0 0 0 293 18 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599350737448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=9624976 CPUtime=2.74 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14581 0 -1 4202560 1024 0 0 0 260 14 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599349684648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=9624976 CPUtime=2.72 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14581 0 -1 4202560 545 0 0 0 258 14 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599348631848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=9624976 CPUtime=3.06 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14581 0 -1 4202560 1152 0 0 0 289 17 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599347579048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=9624976 CPUtime=11.41 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14581 0 -1 4202560 1547 0 0 0 1137 4 0 0 20 0 19 0 253851469 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599335169000 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599334115064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599333062152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599332010640 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14581 0 -1 4202560 3484 0 0 0 43 1 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599330957752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14581 0 -1 4202560 4328 0 0 0 58 0 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599329904952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599328852344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14581 0 -1 4202560 103 0 0 0 41 28 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599327799752 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851496 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599326746280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1781.1 s]
/proc/loadavg: 2.31 2.10 2.03 3/213 15125
/proc/meminfo: memFree=27622360/32873844 swapFree=7104/7104
[pid=15008] ppid=15006 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14581 0 -1 4202496 21756 0 1 0 179826 178 0 0 20 0 19 0 253851465 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140733273697008 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15008/statm: 2406244 230796 2275 9 0 2396937 0
[pid=15008/tid=15010] ppid=15006 vsize=9624976 CPUtime=1758.41 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) R 15006 15008 14581 0 -1 4202560 3079 0 1 0 175810 31 0 0 20 0 19 0 253851466 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599510920560 140599451490341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15011] ppid=15006 vsize=9624976 CPUtime=3.22 cores=1,3,5,7
/proc/15008/task/15011/stat : 15011 (java) S 15006 15008 14581 0 -1 4202560 1051 0 0 0 307 15 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599449652264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=9624976 CPUtime=2.81 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14581 0 -1 4202560 1190 0 0 0 265 16 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599448599464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=9624976 CPUtime=2.87 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14581 0 -1 4202560 539 0 0 0 272 15 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599447546664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=9624976 CPUtime=3.28 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14581 0 -1 4202560 1351 0 0 0 309 19 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599446493864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=9624976 CPUtime=3.11 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14581 0 -1 4202560 1182 0 0 0 293 18 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599350737448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=9624976 CPUtime=2.74 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14581 0 -1 4202560 1024 0 0 0 260 14 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599349684648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=9624976 CPUtime=2.72 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14581 0 -1 4202560 545 0 0 0 258 14 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599348631848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=9624976 CPUtime=3.06 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14581 0 -1 4202560 1152 0 0 0 289 17 0 0 20 0 19 0 253851468 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599347579048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=9624976 CPUtime=11.41 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14581 0 -1 4202560 1547 0 0 0 1137 4 0 0 20 0 19 0 253851469 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599335169000 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599334115064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253851470 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599333062152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599332010640 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14581 0 -1 4202560 3484 0 0 0 43 1 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599330957752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14581 0 -1 4202560 4328 0 0 0 58 0 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599329904952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599328852344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14581 0 -1 4202560 103 0 0 0 41 28 0 0 20 0 19 0 253851472 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599327799752 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253851496 9855975424 230796 33554432000 1073741824 1073778376 140733273705872 140599326746280 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1781.17
CPU time (s): 1800.04
CPU user time (s): 1798.26
CPU system time (s): 1.78
CPU usage (%): 101.06
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 2.06768
maximum resident set size= 923340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21798
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44520
involuntary context switches= 36025

runsolver used 6.55 second user time and 15.9436 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-24 18:34:26
IDJOB=3687859
IDBENCH=2234
IDSOLVER=2269
FILE ID=node142/3687859-1337877266
RUNJOBID= node142-1337871882-14598
PBS_JOBID= 14620062
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687859-1337877266/watcher-3687859-1337877266 -o /tmp/evaluation-result-3687859-1337877266/solver-3687859-1337877266 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687859-1337877266.opb

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

MD5SUM BENCH= 4e682317a6045f4869b1783c80734344
RANDOM SEED=333344487

node142.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.776
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.55
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.776
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.776
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	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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:        28745232 kB
Buffers:          219296 kB
Cached:          2884552 kB
SwapCached:            0 kB
Active:           706824 kB
Inactive:        2642292 kB
Active(anon):     247208 kB
Inactive(anon):        0 kB
Active(file):     459616 kB
Inactive(file):  2642292 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               468 kB
Writeback:             0 kB
AnonPages:        264012 kB
Mapped:            22500 kB
Shmem:               200 kB
Slab:             629356 kB
SReclaimable:      71844 kB
SUnreclaim:       557512 kB
KernelStack:        1608 kB
PageTables:         4704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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= 71664 MiB
End job on node142 at 2012-05-24 19:04:09