Trace number 3458762

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
Sat4j Resolution 2.3.0SAT (TO)-44 1800.23 1793.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1797.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458762-1307148791.opb
0.11/0.11	c reading problem ... 
1.00/0.70	c ... done. Wall clock time 0.593s.
1.00/0.70	c #vars     1272
1.00/0.70	c #constraints  94227
1.00/0.70	c constraints type 
1.00/0.70	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94227
1.00/0.73	c SATISFIABLE
1.00/0.73	c OPTIMIZING...
1.00/0.73	c Got one! Elapsed wall clock time (in seconds):0.619
1.00/0.73	o -37
1.00/0.82	c Got one! Elapsed wall clock time (in seconds):0.708
1.00/0.82	o -38
1.44/0.99	c Got one! Elapsed wall clock time (in seconds):0.879
1.44/0.99	o -39
2.08/1.50	c Got one! Elapsed wall clock time (in seconds):1.392
2.08/1.50	o -40
2.54/2.00	c Got one! Elapsed wall clock time (in seconds):1.888
2.54/2.00	o -41
3.20/2.56	c cleaning 3210 clauses out of 6420 with flag 2000/6420
3.44/2.78	c Got one! Elapsed wall clock time (in seconds):2.676
3.44/2.78	o -42
4.77/4.09	c cleaning 4428 clauses out of 8856 with flag 5000/12066
6.49/5.72	c cleaning 5214 clauses out of 10428 with flag 11000/18066
8.52/7.76	c cleaning 6107 clauses out of 12214 with flag 18000/25066
10.87/10.05	c cleaning 7046 clauses out of 14107 with flag 26000/33066
13.39/12.50	c cleaning 8031 clauses out of 16061 with flag 35000/42066
16.44/15.55	c cleaning 9011 clauses out of 18031 with flag 45001/52067
19.50/18.58	c cleaning 10010 clauses out of 20019 with flag 56000/63066
23.63/22.60	c cleaning 11002 clauses out of 22009 with flag 68000/75066
27.25/26.21	c cleaning 12004 clauses out of 24007 with flag 81000/88066
31.68/30.67	c cleaning 12992 clauses out of 26003 with flag 95000/102066
36.82/35.71	c cleaning 14005 clauses out of 28011 with flag 110000/117066
41.53/40.47	c cleaning 14993 clauses out of 30006 with flag 126000/133066
47.07/45.91	c cleaning 16007 clauses out of 32013 with flag 143000/150066
53.29/52.12	c cleaning 17002 clauses out of 34007 with flag 161001/168067
59.03/57.85	c cleaning 17998 clauses out of 36005 with flag 180001/187067
65.65/64.40	c cleaning 19002 clauses out of 38007 with flag 200001/207067
72.69/71.43	c cleaning 19997 clauses out of 40004 with flag 221000/228066
81.10/79.81	c cleaning 21000 clauses out of 42007 with flag 243000/250066
88.94/87.68	c cleaning 21999 clauses out of 44007 with flag 266000/273066
96.97/95.61	c cleaning 23000 clauses out of 46008 with flag 290000/297066
105.81/104.42	c cleaning 23996 clauses out of 48008 with flag 315000/322066
116.26/114.86	c cleaning 24991 clauses out of 50012 with flag 341000/348066
126.69/125.29	c cleaning 26011 clauses out of 52022 with flag 368001/375067
133.12/131.62	c Got one! Elapsed wall clock time (in seconds):131.508
133.12/131.62	o -43
134.72/133.25	c cleaning 23922 clauses out of 47846 with flag 5000/396902
136.77/135.24	c cleaning 14950 clauses out of 29924 with flag 11000/402902
138.86/137.37	c cleaning 10978 clauses out of 21974 with flag 18000/409902
141.48/139.95	c cleaning 9495 clauses out of 18996 with flag 26000/417902
144.39/142.88	c cleaning 9238 clauses out of 18502 with flag 35001/426903
147.50/145.98	c cleaning 9632 clauses out of 19263 with flag 45000/436902
151.41/149.88	c cleaning 10313 clauses out of 20633 with flag 56002/447904
155.21/153.66	c cleaning 11154 clauses out of 22318 with flag 68000/459902
159.83/158.22	c cleaning 12079 clauses out of 24164 with flag 81000/472902
164.64/163.03	c cleaning 13036 clauses out of 26085 with flag 95000/486902
170.55/168.99	c cleaning 14023 clauses out of 28050 with flag 110001/501903
176.48/174.82	c cleaning 15011 clauses out of 30027 with flag 126001/517903
182.59/180.91	c cleaning 16003 clauses out of 32016 with flag 143001/534903
189.20/187.51	c cleaning 16994 clauses out of 34012 with flag 161000/552902
196.92/195.22	c cleaning 17998 clauses out of 36018 with flag 180000/571902
205.16/203.44	c cleaning 19010 clauses out of 38020 with flag 200000/591902
211.68/209.99	c cleaning 20005 clauses out of 40010 with flag 221000/612902
218.92/217.16	c cleaning 21001 clauses out of 42005 with flag 243000/634902
227.05/225.22	c cleaning 21991 clauses out of 44004 with flag 266000/657902
235.76/233.97	c cleaning 23004 clauses out of 46013 with flag 290000/681902
245.69/243.89	c cleaning 23996 clauses out of 48009 with flag 315000/706902
255.23/253.38	c cleaning 24999 clauses out of 50013 with flag 341000/732902
266.05/264.13	c cleaning 26006 clauses out of 52015 with flag 368001/759903
277.50/275.51	c cleaning 26994 clauses out of 54008 with flag 396000/787902
288.62/286.67	c cleaning 28002 clauses out of 56014 with flag 425000/816902
301.67/299.69	c cleaning 29006 clauses out of 58013 with flag 455001/846903
314.63/312.50	c cleaning 29996 clauses out of 60006 with flag 486000/877902
325.18/323.06	c cleaning 30997 clauses out of 62010 with flag 518000/909902
337.03/334.89	c cleaning 32002 clauses out of 64014 with flag 551001/942903
350.08/347.81	c cleaning 33006 clauses out of 66011 with flag 585000/976902
364.42/362.19	c cleaning 33998 clauses out of 68005 with flag 620000/1011902
378.88/376.52	c cleaning 35001 clauses out of 70007 with flag 656000/1047902
394.71/392.31	c cleaning 35994 clauses out of 72006 with flag 693000/1084902
411.88/409.40	c cleaning 36997 clauses out of 74013 with flag 731001/1122903
429.86/427.39	c cleaning 38006 clauses out of 76016 with flag 770001/1161903
445.53/442.96	c cleaning 39006 clauses out of 78011 with flag 810002/1201904
464.89/462.28	c cleaning 39994 clauses out of 80003 with flag 851000/1242902
485.49/482.77	c cleaning 41005 clauses out of 82009 with flag 893000/1284902
511.57/508.74	c cleaning 42000 clauses out of 84004 with flag 936000/1327902
526.17/523.23	c cleaning 42996 clauses out of 86006 with flag 980002/1371904
543.35/540.31	c cleaning 43995 clauses out of 88009 with flag 1025001/1416903
562.04/558.93	c cleaning 44996 clauses out of 90013 with flag 1071000/1462902
581.94/578.75	c cleaning 46002 clauses out of 92018 with flag 1118001/1509903
602.41/599.13	c cleaning 46992 clauses out of 94015 with flag 1166000/1557902
626.55/623.27	c cleaning 48009 clauses out of 96024 with flag 1215001/1606903
628.94/625.52	c Got one! Elapsed wall clock time (in seconds):625.408
628.94/625.52	o -44
630.85/627.42	c cleaning 29677 clauses out of 59373 with flag 5000/1618261
632.96/629.57	c cleaning 17834 clauses out of 35696 with flag 11000/1624261
635.57/632.19	c cleaning 12420 clauses out of 24863 with flag 18001/1631262
638.67/635.23	c cleaning 10211 clauses out of 20442 with flag 26000/1639261
641.98/638.59	c cleaning 9594 clauses out of 19232 with flag 35001/1648262
646.09/642.61	c cleaning 9815 clauses out of 19637 with flag 45000/1658261
649.90/646.43	c cleaning 10412 clauses out of 20823 with flag 56001/1669262
654.73/651.25	c cleaning 11199 clauses out of 22410 with flag 68000/1681261
660.43/656.97	c cleaning 12105 clauses out of 24212 with flag 81001/1694262
665.64/662.21	c cleaning 13040 clauses out of 26107 with flag 95001/1708262
670.74/667.23	c cleaning 14032 clauses out of 28066 with flag 110000/1723261
676.87/673.30	c cleaning 15012 clauses out of 30034 with flag 126000/1739261
684.09/680.54	c cleaning 16012 clauses out of 32023 with flag 143001/1756262
691.02/687.46	c cleaning 17004 clauses out of 34010 with flag 161000/1774261
698.86/695.23	c cleaning 17994 clauses out of 36006 with flag 180000/1793261
707.46/703.91	c cleaning 19006 clauses out of 38013 with flag 200001/1813262
716.87/713.23	c cleaning 19999 clauses out of 40006 with flag 221000/1834261
726.10/722.40	c cleaning 20993 clauses out of 42008 with flag 243001/1856262
734.42/730.76	c cleaning 22002 clauses out of 44014 with flag 266000/1879261
744.55/740.86	c cleaning 23004 clauses out of 46013 with flag 290001/1903262
756.96/753.25	c cleaning 24000 clauses out of 48009 with flag 315001/1928262
767.29/763.57	c cleaning 25003 clauses out of 50008 with flag 341000/1954261
779.50/775.77	c cleaning 26001 clauses out of 52005 with flag 368000/1981261
792.74/788.90	c cleaning 26999 clauses out of 54005 with flag 396001/2009262
805.05/801.21	c cleaning 27996 clauses out of 56006 with flag 425001/2038262
819.37/815.52	c cleaning 29004 clauses out of 58009 with flag 455000/2068261
830.39/826.51	c cleaning 30000 clauses out of 60006 with flag 486001/2099262
841.22/837.34	c cleaning 31000 clauses out of 62005 with flag 518000/2131261
853.37/849.49	c cleaning 31990 clauses out of 64005 with flag 551000/2164261
866.49/862.55	c cleaning 33003 clauses out of 66016 with flag 585001/2198262
880.45/876.42	c cleaning 34007 clauses out of 68013 with flag 620001/2233262
895.80/891.74	c cleaning 35003 clauses out of 70005 with flag 656000/2269261
911.16/907.05	c cleaning 35998 clauses out of 72002 with flag 693000/2306261
928.39/924.27	c cleaning 37002 clauses out of 74005 with flag 731001/2344262
945.87/941.62	c cleaning 37982 clauses out of 76002 with flag 770000/2383261
962.70/958.43	c cleaning 39004 clauses out of 78020 with flag 810000/2423261
982.43/978.18	c cleaning 39995 clauses out of 80017 with flag 851001/2464262
1000.90/996.54	c cleaning 41007 clauses out of 82021 with flag 893000/2506261
1017.64/1013.21	c cleaning 41999 clauses out of 84015 with flag 936001/2549262
1037.20/1032.74	c cleaning 42999 clauses out of 86015 with flag 980000/2593261
1057.17/1052.70	c cleaning 44006 clauses out of 88016 with flag 1025000/2638261
1079.03/1074.49	c cleaning 45001 clauses out of 90012 with flag 1071002/2684263
1100.09/1095.47	c cleaning 45998 clauses out of 92009 with flag 1118000/2731261
1119.86/1115.15	c cleaning 46998 clauses out of 94012 with flag 1166001/2779262
1144.84/1140.09	c cleaning 47988 clauses out of 96013 with flag 1215000/2828261
1169.12/1164.29	c cleaning 49000 clauses out of 98025 with flag 1265000/2878261
1194.38/1189.42	c cleaning 50005 clauses out of 100026 with flag 1316001/2929262
1221.95/1216.99	c cleaning 51011 clauses out of 102021 with flag 1368001/2981262
1252.44/1247.33	c cleaning 52001 clauses out of 104009 with flag 1421000/3034261
1277.98/1272.76	c cleaning 53004 clauses out of 106008 with flag 1475000/3088261
1297.04/1291.71	c cleaning 53997 clauses out of 108004 with flag 1530000/3143261
1319.43/1314.01	c cleaning 55003 clauses out of 110007 with flag 1586000/3199261
1344.51/1339.08	c cleaning 55998 clauses out of 112004 with flag 1643000/3256261
1369.68/1364.15	c cleaning 56999 clauses out of 114006 with flag 1701000/3314261
1399.28/1393.63	c cleaning 57992 clauses out of 116008 with flag 1760001/3373262
1428.83/1423.13	c cleaning 59008 clauses out of 118015 with flag 1820000/3433261
1467.14/1461.33	c cleaning 59996 clauses out of 120008 with flag 1881001/3494262
1493.74/1487.86	c cleaning 60999 clauses out of 122011 with flag 1943000/3556261
1527.22/1521.28	c cleaning 61996 clauses out of 124012 with flag 2006000/3619261
1558.33/1552.22	c cleaning 63004 clauses out of 126017 with flag 2070001/3683262
1589.43/1583.27	c cleaning 64004 clauses out of 128012 with flag 2135000/3748261
1618.84/1612.58	c cleaning 64997 clauses out of 130008 with flag 2201000/3814261
1653.64/1647.20	c cleaning 66001 clauses out of 132012 with flag 2268001/3881262
1695.67/1689.14	c cleaning 67005 clauses out of 134011 with flag 2336001/3949262
1732.93/1726.36	c cleaning 67998 clauses out of 136006 with flag 2405001/4018262
1768.34/1761.61	c cleaning 68996 clauses out of 138007 with flag 2475000/4088261
1800.06/1793.22	c starts		: 261
1800.06/1793.22	c conflicts		: 4155267
1800.06/1793.22	c decisions		: 4478563
1800.06/1793.22	c propagations		: 25031301
1800.06/1793.22	c inspects		: 5292301529
1800.06/1793.22	c shortcuts		: 0
1800.06/1793.22	c learnt literals	: 0
1800.06/1793.22	c learnt binary clauses	: 0
1800.06/1793.22	c learnt ternary clauses	: 0
1800.06/1793.22	c learnt constraints	: 4155267
1800.06/1793.22	c ignored constraints	: 0
1800.06/1793.22	c root simplifications	: 0
1800.06/1793.22	c removed literals (reason simplification)	: 58979307
1800.06/1793.22	c reason swapping (by a shorter reason)	: 0
1800.06/1793.22	c Calls to reduceDB	: 135
1800.06/1793.22	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.22	c number of learned constraints concerned by reduction	: 0
1800.06/1793.22	c number of learning phase by resolution	: 0
1800.06/1793.22	c number of learning phase by cutting planes	: 0
1800.06/1793.22	c speed (assignments/second)	: 21436.323386471755
1800.06/1793.22	c non guided choices	0
1800.06/1793.25	c learnt constraints type 
1800.06/1793.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 136054
1800.06/1793.25	c constraints type 
1800.06/1793.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1793.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94227
1800.06/1793.25	s SATISFIABLE
1800.06/1793.25	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 
1800.06/1793.25	c objective function=-44
1800.06/1793.25	c Total wall clock time (in seconds): 1793.146

Verifier Data 

OK	-44

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458762-1307148791/watcher-3458762-1307148791 -o /tmp/evaluation-result-3458762-1307148791/solver-3458762-1307148791 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458762-1307148791.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.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 2267 0 1 0 0 0 0 0 24 0 2 0 826481497 13833195520 1969 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3377245 1981 906 9 0 3368401 0
[pid=11961/tid=11962] ppid=11959 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 6444 0 1 0 0 0 0 0 25 0 2 0 826481497 13850947584 7260 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0880629 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13621336 CPUtime=0.08 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 15057 0 1 0 6 2 0 0 24 0 18 0 826481497 13948248064 14727 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405334 14742 2017 9 0 3396068 0
[pid=11961/tid=11962] ppid=11959 vsize=13621336 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 13437 0 1 0 6 1 0 0 18 0 18 0 826481497 13948248064 14746 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 47325461465939 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621336

[startup+0.101094 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13622248 CPUtime=0.11 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 15544 0 1 0 9 2 0 0 24 0 18 0 826481497 13949181952 15214 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405562 15216 2092 9 0 3396296 0
[pid=11961/tid=11962] ppid=11959 vsize=13622248 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 13627 0 1 0 7 1 0 0 18 0 18 0 826481497 13949181952 15216 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622248

[startup+0.312956 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13623568 CPUtime=0.52 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 18810 0 1 0 50 2 0 0 24 0 18 0 826481497 13950533632 18146 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405892 18147 2201 9 0 3396626 0
[pid=11961/tid=11962] ppid=11959 vsize=13623568 CPUtime=0.3 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 15771 0 1 0 28 2 0 0 18 0 18 0 826481497 13950533632 18148 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505542185 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13623568

[startup+0.700984 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13623568 CPUtime=1 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 56724 0 1 0 93 7 0 0 24 0 18 0 826481497 13950533632 55287 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405892 55292 2210 9 0 3396626 0
[pid=11961/tid=11962] ppid=11959 vsize=13623568 CPUtime=0.68 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 52078 0 1 0 62 6 0 0 18 0 18 0 826481497 13950533632 55294 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505637624 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13623568

[startup+1.50083 s]
/proc/loadavg: 1.92 2.06 1.96 3/518 11981
/proc/meminfo: memFree=26535320/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=2.08 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 62142 0 1 0 201 7 0 0 24 0 19 0 826481497 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 59882 2230 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1.49 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 55960 0 1 0 142 7 0 0 20 0 19 0 826481497 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505624490 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826481501 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826481501 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1358 0 0 0 27 0 0 0 15 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.31 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 3664 0 0 0 31 0 0 0 15 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13626908

[startup+3.10154 s]
/proc/loadavg: 1.92 2.06 1.96 3/518 11981
/proc/meminfo: memFree=26453356/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=3.84 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 78366 0 1 0 375 9 0 0 24 0 19 0 826481497 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 76099 2259 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=3.03 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 61012 0 1 0 296 7 0 0 23 0 19 0 826481497 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505780225 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 107 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 54 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.01 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 1805 0 0 0 1 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 3623 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=0.03 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 5353 0 0 0 3 0 0 0 16 0 19 0 826481501 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.35 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1396 0 0 0 35 0 0 0 15 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 3682 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 13626908

[startup+6.30092 s]
/proc/loadavg: 1.92 2.06 1.96 3/518 11981
/proc/meminfo: memFree=26294656/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=7.11 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 93055 0 1 0 700 11 0 0 24 0 19 0 826481497 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 90730 2259 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=6.14 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 61017 0 1 0 607 7 0 0 25 0 19 0 826481497 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505762916 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=0.01 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 2817 0 0 0 1 0 0 0 16 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 2256 0 0 0 0 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 2589 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 529 0 0 0 0 0 0 0 16 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 544 0 0 0 0 0 0 0 16 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.01 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 1805 0 0 0 1 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 3623 0 0 0 0 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=0.1 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 11639 0 0 0 9 1 0 0 16 0 19 0 826481501 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.39 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 3687 0 0 0 39 0 0 0 15 0 19 0 826481503 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0

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

[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.21 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 117 4 0 0 16 0 19 0 826481500 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.91 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13342 0 0 0 89 2 0 0 16 0 19 0 826481500 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.9 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18091 0 0 0 88 2 0 0 15 0 19 0 826481500 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.1 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108597 0 0 0 997 13 0 0 15 0 19 0 826481501 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.86
Current children cumulated vsize (KiB) 13626908

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 12039
/proc/meminfo: memFree=24121720/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=1728.94 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 363047 0 1 0 172841 53 0 0 24 0 19 0 826481497 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 359686 2260 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1708.78 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 94618 0 1 0 170864 14 0 0 25 0 19 0 826481497 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505768323 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=1.16 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 21376 0 0 0 113 3 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=1.03 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 20020 0 0 0 101 2 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=1.32 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 24578 0 0 0 129 3 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 10556 0 0 0 98 1 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=1.31 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 18847 0 0 0 129 2 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.25 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 121 4 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.91 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13342 0 0 0 89 2 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.93 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18091 0 0 0 91 2 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.2 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108599 0 0 0 1007 13 0 0 15 0 19 0 826481501 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.94
Current children cumulated vsize (KiB) 13626908

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 12041
/proc/meminfo: memFree=24109656/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=1789.15 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 365884 0 1 0 178862 53 0 0 24 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 362515 2260 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1768.46 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 97408 0 1 0 176832 14 0 0 25 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505762810 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=1.22 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 21380 0 0 0 119 3 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=1.08 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 20020 0 0 0 106 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=1.32 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 24578 0 0 0 129 3 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 10556 0 0 0 98 1 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=1.36 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 18859 0 0 0 134 2 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.25 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 121 4 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=1.02 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13355 0 0 0 100 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18103 0 0 0 97 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.41 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108603 0 0 0 1028 13 0 0 15 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 13626908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.2 s]
/proc/loadavg: 2.09 2.04 2.01 5/517 12088
/proc/meminfo: memFree=25442940/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=1800.06 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 365886 0 1 0 179953 53 0 0 24 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 362515 2260 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1779.38 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 97408 0 1 0 177924 14 0 0 25 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505698719 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=1.22 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 21380 0 0 0 119 3 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=1.08 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 20020 0 0 0 106 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=1.32 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 24578 0 0 0 129 3 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 10556 0 0 0 98 1 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=1.36 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 18859 0 0 0 134 2 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.25 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 121 4 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=1.02 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13355 0 0 0 100 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18103 0 0 0 97 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.41 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108603 0 0 0 1028 13 0 0 15 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13626908

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

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

Child status: 143
Real time (s): 1793.32
CPU time (s): 1800.23
CPU user time (s): 1799.64
CPU system time (s): 0.592909
CPU usage (%): 100.386
Max. virtual memory (cumulated for all children) (KiB): 13626908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.592909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365945
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39917
involuntary context switches= 18021

runsolver used 8.5327 second user time and 20.2269 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-04 02:53:11
IDJOB=3458762
IDBENCH=2259
IDSOLVER=1952
FILE ID=node102/3458762-1307148791
RUNJOBID= node102-1307146993-11780
PBS_JOBID= 13508814
Free space on /tmp= 73916 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458762-1307148791/watcher-3458762-1307148791 -o /tmp/evaluation-result-3458762-1307148791/solver-3458762-1307148791 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458762-1307148791.opb

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

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=416946984

node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26790384 kB
Buffers:        313716 kB
Cached:        1612708 kB
SwapCached:      86940 kB
Active:        1065300 kB
Inactive:      4791436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26790384 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:            5168 kB
Writeback:           0 kB
AnonPages:     3866032 kB
Mapped:          21376 kB
Slab:           133380 kB
PageTables:     100248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 148894376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node102 at 2011-06-04 03:23:07