Trace number 3458757

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)-45 1800.23 1791.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM09bf68c118cd38b954800f61edb04c4b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
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 -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
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 1400
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 1400
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 1400
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.08/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.09	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-3458757-1307148498.opb
0.11/0.11	c reading problem ... 
0.99/0.76	c ... done. Wall clock time 0.648s.
0.99/0.76	c #vars     1400
0.99/0.76	c #constraints  110038
0.99/0.76	c constraints type 
0.99/0.76	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 110038
0.99/0.78	c SATISFIABLE
0.99/0.78	c OPTIMIZING...
0.99/0.78	c Got one! Elapsed wall clock time (in seconds):0.676
0.99/0.78	o -36
1.11/0.82	c Got one! Elapsed wall clock time (in seconds):0.708
1.11/0.82	o -37
1.11/0.88	c Got one! Elapsed wall clock time (in seconds):0.773
1.11/0.88	o -38
1.40/0.90	c Got one! Elapsed wall clock time (in seconds):0.788
1.40/0.90	o -39
1.61/1.05	c Got one! Elapsed wall clock time (in seconds):0.937
1.61/1.05	o -40
1.84/1.21	c Got one! Elapsed wall clock time (in seconds):1.097
1.84/1.21	o -41
2.04/1.49	c Got one! Elapsed wall clock time (in seconds):1.383
2.04/1.49	o -42
3.57/2.96	c cleaning 3508 clauses out of 7016 with flag 5000/7016
5.36/4.63	c cleaning 4752 clauses out of 9509 with flag 11001/13017
7.28/6.58	c cleaning 5878 clauses out of 11757 with flag 18001/20017
9.60/8.85	c cleaning 6940 clauses out of 13879 with flag 26001/28017
11.06/10.21	c Got one! Elapsed wall clock time (in seconds):10.1
11.06/10.21	o -43
11.37/10.53	c cleaning 6144 clauses out of 12291 with flag 1001/33369
13.08/12.27	c cleaning 6074 clauses out of 12147 with flag 7001/39369
13.49/12.64	c Got one! Elapsed wall clock time (in seconds):12.534
13.49/12.64	o -44
14.73/13.89	c cleaning 5638 clauses out of 11275 with flag 4000/44571
16.85/15.91	c cleaning 5815 clauses out of 11637 with flag 10000/50571
18.76/17.88	c cleaning 6410 clauses out of 12823 with flag 17001/57572
21.37/20.40	c cleaning 7205 clauses out of 14412 with flag 25000/65571
24.28/23.36	c cleaning 8104 clauses out of 16207 with flag 34000/74571
27.20/26.25	c cleaning 9048 clauses out of 18103 with flag 44000/84571
30.62/29.69	c cleaning 10023 clauses out of 20055 with flag 55000/95571
34.63/33.63	c cleaning 11015 clauses out of 22033 with flag 67001/107572
38.96/37.92	c cleaning 12006 clauses out of 24017 with flag 80000/120571
43.49/42.48	c cleaning 12996 clauses out of 26012 with flag 94001/134572
48.71/47.66	c cleaning 14008 clauses out of 28015 with flag 109000/149571
54.55/53.41	c cleaning 15004 clauses out of 30007 with flag 125000/165571
60.48/59.34	c cleaning 15998 clauses out of 32003 with flag 142000/182571
66.51/65.38	c cleaning 17001 clauses out of 34005 with flag 160000/200571
73.36/72.19	c cleaning 17995 clauses out of 36004 with flag 179000/219571
81.41/80.10	c cleaning 19003 clauses out of 38009 with flag 199000/239571
89.85/88.57	c cleaning 19994 clauses out of 40006 with flag 220000/260571
96.89/95.54	c cleaning 21007 clauses out of 42013 with flag 242001/282572
105.16/103.71	c cleaning 21999 clauses out of 44005 with flag 265000/305571
114.11/112.65	c cleaning 23004 clauses out of 46007 with flag 289001/329572
124.68/123.11	c cleaning 23997 clauses out of 48002 with flag 314000/354571
135.55/133.95	c cleaning 24991 clauses out of 50005 with flag 340000/380571
145.01/143.39	c cleaning 26006 clauses out of 52014 with flag 367000/407571
154.78/153.04	c cleaning 26999 clauses out of 54008 with flag 395000/435571
165.46/163.67	c cleaning 28005 clauses out of 56009 with flag 424000/464571
176.85/174.99	c cleaning 29000 clauses out of 58004 with flag 454000/494571
190.10/188.12	c cleaning 29996 clauses out of 60004 with flag 485000/525571
203.78/201.76	c cleaning 30998 clauses out of 62008 with flag 517000/557571
218.44/216.31	c cleaning 31995 clauses out of 64011 with flag 550001/590572
230.42/228.21	c cleaning 33008 clauses out of 66015 with flag 584000/624571
243.91/241.64	c cleaning 33997 clauses out of 68007 with flag 619000/659571
258.30/255.93	c cleaning 35005 clauses out of 70010 with flag 655000/695571
273.71/271.23	c cleaning 35997 clauses out of 72007 with flag 692002/732573
291.81/289.31	c cleaning 36997 clauses out of 74008 with flag 730000/770571
308.20/305.52	c cleaning 38003 clauses out of 76011 with flag 769000/809571
326.28/323.57	c cleaning 39000 clauses out of 78008 with flag 809000/849571
345.90/343.07	c cleaning 39989 clauses out of 80008 with flag 850000/890571
360.82/357.81	c cleaning 41010 clauses out of 82020 with flag 892001/932572
378.84/375.74	c cleaning 41991 clauses out of 84010 with flag 935001/975572
398.18/394.99	c cleaning 42996 clauses out of 86018 with flag 979000/1019571
420.20/416.89	c cleaning 44004 clauses out of 88022 with flag 1024000/1064571
440.91/437.48	c cleaning 45000 clauses out of 90018 with flag 1070000/1110571
463.78/460.24	c cleaning 46003 clauses out of 92018 with flag 1117000/1157571
484.20/480.61	c cleaning 47008 clauses out of 94016 with flag 1165001/1205572
507.05/503.32	c cleaning 48001 clauses out of 96007 with flag 1214000/1254571
534.89/531.08	c cleaning 48996 clauses out of 98006 with flag 1264000/1304571
557.10/553.15	c cleaning 49993 clauses out of 100011 with flag 1315001/1355572
577.58/573.49	c cleaning 51009 clauses out of 102017 with flag 1367000/1407571
601.81/597.54	c cleaning 52005 clauses out of 104009 with flag 1420001/1460572
626.96/622.53	c cleaning 52996 clauses out of 106005 with flag 1474002/1514573
652.08/647.58	c cleaning 53998 clauses out of 108007 with flag 1529000/1569571
682.02/677.33	c cleaning 55002 clauses out of 110009 with flag 1585000/1625571
711.01/706.13	c cleaning 55998 clauses out of 112007 with flag 1642000/1682571
743.31/738.39	c cleaning 57005 clauses out of 114011 with flag 1700002/1740573
771.86/766.79	c cleaning 57991 clauses out of 116004 with flag 1759000/1799571
781.71/776.42	c Got one! Elapsed wall clock time (in seconds):776.308
781.71/776.42	o -45
783.73/778.49	c cleaning 42732 clauses out of 85482 with flag 5000/1827040
786.06/780.77	c cleaning 24365 clauses out of 48751 with flag 11001/1833041
788.77/783.40	c cleaning 15681 clauses out of 31386 with flag 18001/1840041
791.68/786.38	c cleaning 11845 clauses out of 23704 with flag 26000/1848040
795.49/790.16	c cleaning 10417 clauses out of 20859 with flag 35000/1857040
799.61/794.29	c cleaning 10213 clauses out of 20443 with flag 45001/1867041
804.02/798.63	c cleaning 10611 clauses out of 21229 with flag 56000/1878040
808.72/803.30	c cleaning 11299 clauses out of 22618 with flag 68000/1890040
813.94/808.56	c cleaning 12153 clauses out of 24319 with flag 81000/1903040
819.55/814.10	c cleaning 13078 clauses out of 26166 with flag 95000/1917040
825.58/820.14	c cleaning 14039 clauses out of 28088 with flag 110000/1932040
832.39/826.99	c cleaning 15021 clauses out of 30049 with flag 126000/1948040
839.62/834.15	c cleaning 16011 clauses out of 32028 with flag 143000/1965040
847.64/842.10	c cleaning 17002 clauses out of 34017 with flag 161000/1983040
856.98/851.48	c cleaning 17999 clauses out of 36016 with flag 180001/2002041
866.49/860.93	c cleaning 19009 clauses out of 38018 with flag 200002/2022042
877.22/871.69	c cleaning 20004 clauses out of 40007 with flag 221000/2043040
884.25/878.62	c cleaning 20994 clauses out of 42003 with flag 243000/2065040
892.58/886.94	c cleaning 21985 clauses out of 44009 with flag 266000/2088040
901.23/895.56	c cleaning 23012 clauses out of 46026 with flag 290002/2112042
910.88/905.17	c cleaning 24003 clauses out of 48012 with flag 315000/2137040
921.44/915.68	c cleaning 25005 clauses out of 50009 with flag 341000/2163040
931.60/925.75	c cleaning 25994 clauses out of 52005 with flag 368001/2190041
943.65/937.73	c cleaning 27004 clauses out of 54010 with flag 396000/2218040
955.40/949.43	c cleaning 27984 clauses out of 56006 with flag 425000/2247040
967.76/961.79	c cleaning 29009 clauses out of 58022 with flag 455000/2277040
981.14/975.01	c cleaning 29997 clauses out of 60013 with flag 486000/2308040
996.22/990.07	c cleaning 31008 clauses out of 62016 with flag 518000/2340040
1011.86/1005.67	c cleaning 31996 clauses out of 64008 with flag 551000/2373040
1029.11/1022.86	c cleaning 33001 clauses out of 66013 with flag 585001/2407041
1045.10/1038.79	c cleaning 33999 clauses out of 68012 with flag 620001/2442041
1062.93/1056.58	c cleaning 34998 clauses out of 70012 with flag 656000/2478040
1078.20/1071.70	c cleaning 36005 clauses out of 72016 with flag 693002/2515042
1094.74/1088.25	c cleaning 36997 clauses out of 74009 with flag 731000/2553040
1112.40/1105.88	c cleaning 38001 clauses out of 76013 with flag 770001/2592041
1131.74/1125.13	c cleaning 38998 clauses out of 78011 with flag 810000/2632040
1154.00/1147.34	c cleaning 40005 clauses out of 80014 with flag 851001/2673041
1173.35/1166.60	c cleaning 40998 clauses out of 82008 with flag 893000/2715040
1194.63/1187.81	c cleaning 42001 clauses out of 84010 with flag 936000/2758040
1221.02/1214.12	c cleaning 42999 clauses out of 86009 with flag 980000/2802040
1244.01/1237.00	c cleaning 44004 clauses out of 88010 with flag 1025000/2847040
1268.45/1261.45	c cleaning 44999 clauses out of 90006 with flag 1071000/2893040
1295.62/1288.56	c cleaning 46003 clauses out of 92009 with flag 1118002/2940042
1321.39/1314.22	c cleaning 46992 clauses out of 94004 with flag 1166000/2988040
1346.59/1339.36	c cleaning 48001 clauses out of 96012 with flag 1215000/3037040
1364.51/1357.25	c cleaning 49006 clauses out of 98012 with flag 1265001/3087041
1386.09/1378.73	c cleaning 49992 clauses out of 100005 with flag 1316000/3138040
1408.81/1401.34	c cleaning 51003 clauses out of 102013 with flag 1368000/3190040
1434.49/1426.93	c cleaning 52000 clauses out of 104010 with flag 1421000/3243040
1460.13/1452.47	c cleaning 52999 clauses out of 106010 with flag 1475000/3297040
1486.43/1478.61	c cleaning 53992 clauses out of 108011 with flag 1530000/3352040
1515.35/1507.46	c cleaning 55001 clauses out of 110019 with flag 1586000/3408040
1546.55/1538.52	c cleaning 56002 clauses out of 112018 with flag 1643000/3465040
1571.52/1563.41	c cleaning 56997 clauses out of 114017 with flag 1701001/3523041
1599.67/1591.53	c cleaning 57998 clauses out of 116019 with flag 1760000/3582040
1631.24/1623.07	c cleaning 59007 clauses out of 118022 with flag 1820001/3642041
1663.39/1655.20	c cleaning 60000 clauses out of 120014 with flag 1881000/3703040
1695.08/1686.76	c cleaning 61004 clauses out of 122014 with flag 1943000/3765040
1729.49/1721.08	c cleaning 62001 clauses out of 124010 with flag 2006000/3828040
1766.37/1757.88	c cleaning 63004 clauses out of 126009 with flag 2070000/3892040
1800.08/1791.42	c starts		: 262
1800.08/1791.42	c conflicts		: 3956015
1800.08/1791.42	c decisions		: 4289223
1800.08/1791.42	c propagations		: 23720952
1800.08/1791.42	c inspects		: 5239647691
1800.08/1791.42	c shortcuts		: 0
1800.08/1791.42	c learnt literals	: 0
1800.08/1791.42	c learnt binary clauses	: 0
1800.08/1791.42	c learnt ternary clauses	: 0
1800.08/1791.42	c learnt constraints	: 3956015
1800.08/1791.42	c ignored constraints	: 0
1800.08/1791.42	c root simplifications	: 0
1800.08/1791.42	c removed literals (reason simplification)	: 52947842
1800.08/1791.42	c reason swapping (by a shorter reason)	: 0
1800.08/1791.42	c Calls to reduceDB	: 121
1800.08/1791.42	c number of reductions to clauses (during analyze)	: 0
1800.08/1791.42	c number of learned constraints concerned by reduction	: 0
1800.08/1791.42	c number of learning phase by resolution	: 0
1800.08/1791.42	c number of learning phase by cutting planes	: 0
1800.08/1791.42	c speed (assignments/second)	: 23370.307900264434
1800.08/1791.42	c non guided choices	0
1800.08/1791.45	c learnt constraints type 
1800.08/1791.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 127018
1800.08/1791.45	c constraints type 
1800.08/1791.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1791.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 110038
1800.08/1791.45	s SATISFIABLE
1800.08/1791.45	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 
1800.08/1791.45	c objective function=-45
1800.08/1791.45	c Total wall clock time (in seconds): 1791.345

Verifier Data 

OK	-45

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-3458757-1307148498/watcher-3458757-1307148498 -o /tmp/evaluation-result-3458757-1307148498/solver-3458757-1307148498 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458757-1307148498.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.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 3047 0 1 0 0 0 0 0 24 0 2 0 826448566 13833195520 2748 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3377245 2762 906 9 0 3368401 0
[pid=20121/tid=20122] ppid=20119 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 6311 0 1 0 0 0 0 0 25 0 2 0 826448566 13850947584 7127 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.081127 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13555244 CPUtime=0.08 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 14537 0 1 0 6 2 0 0 24 0 18 0 826448566 13880569856 14233 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3388811 14261 1795 9 0 3379545 0
[pid=20121/tid=20122] ppid=20119 vsize=13555244 CPUtime=0.06 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 13329 0 1 0 5 1 0 0 25 0 18 0 826448566 13880569856 14271 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606692533 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13555244

[startup+0.101049 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13621932 CPUtime=0.11 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 15515 0 1 0 9 2 0 0 24 0 18 0 826448566 13948858368 15211 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3405483 15211 2092 9 0 3396217 0
[pid=20121/tid=20122] ppid=20119 vsize=13621932 CPUtime=0.08 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 13613 0 1 0 7 1 0 0 25 0 18 0 826448566 13948858368 15211 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621932

[startup+0.301015 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13623488 CPUtime=0.48 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 18578 0 1 0 46 2 0 0 24 0 18 0 826448566 13950451712 18000 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3405872 18000 2201 9 0 3396606 0
[pid=20121/tid=20122] ppid=20119 vsize=13623488 CPUtime=0.29 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 15520 0 1 0 27 2 0 0 25 0 18 0 826448566 13950451712 18000 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505217836 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623488

[startup+0.700946 s]
/proc/loadavg: 1.01 1.01 1.18 2/455 20121
/proc/meminfo: memFree=31315708/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13623488 CPUtime=0.99 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 57442 0 1 0 93 6 0 0 24 0 18 0 826448566 13950451712 55995 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3405872 55995 2211 9 0 3396606 0
[pid=20121/tid=20122] ppid=20119 vsize=13623488 CPUtime=0.69 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 52573 0 1 0 64 5 0 0 25 0 18 0 826448566 13950451712 55995 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505560081 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13623488

[startup+1.50086 s]
/proc/loadavg: 1.01 1.01 1.18 3/483 20149
/proc/meminfo: memFree=30865740/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=2.14 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 67985 0 1 0 207 7 0 0 24 0 19 0 826448566 13951934464 66220 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 66221 2232 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1.48 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 62462 0 1 0 142 6 0 0 25 0 19 0 826448566 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 47873553304403 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448568 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 826448569 13951934464 66221 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826448569 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.37 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 2999 0 0 0 37 0 0 0 15 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.26 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1364 0 0 0 26 0 0 0 17 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 66223 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 13624936

[startup+3.10152 s]
/proc/loadavg: 1.01 1.01 1.18 3/483 20149
/proc/meminfo: memFree=30820232/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=3.83 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 87908 0 1 0 374 9 0 0 24 0 19 0 826448566 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 86133 2260 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=3.02 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 69454 0 1 0 295 7 0 0 25 0 19 0 826448566 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505773703 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 3542 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 2073 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 818 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=0.03 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 6429 0 0 0 3 0 0 0 17 0 19 0 826448569 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.42 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3011 0 0 0 42 0 0 0 16 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.28 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1371 0 0 0 28 0 0 0 16 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 86133 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13624936

[startup+6.30096 s]
/proc/loadavg: 1.09 1.03 1.18 3/483 20149
/proc/meminfo: memFree=30620356/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=7.07 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 97049 0 1 0 696 11 0 0 24 0 19 0 826448566 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 95264 2260 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=6.18 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 69456 0 1 0 611 7 0 0 25 0 19 0 826448566 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505774168 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 2077 0 0 0 0 0 0 0 15 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 1379 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 1972 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 4250 0 0 0 0 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 2073 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=0.01 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 818 0 0 0 1 0 0 0 18 0 19 0 826448568 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=0.06 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 9402 0 0 0 6 0 0 0 15 0 19 0 826448569 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.43 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3014 0 0 0 43 0 0 0 16 0 19 0 826448572 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.29 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1374 0 0 0 29 0 0 0 15 0 19 0 826448572 13951934464 95264 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0

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

[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.12 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16731 0 0 0 110 2 0 0 16 0 19 0 826448568 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.27 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 125 2 0 0 15 0 19 0 826448568 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.42 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 140 2 0 0 16 0 19 0 826448568 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.54 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 100385 0 0 0 945 9 0 0 15 0 19 0 826448569 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 334119 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.68
Current children cumulated vsize (KiB) 13624936

[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.89 3/483 20207
/proc/meminfo: memFree=28525060/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=1730.84 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 342307 0 1 0 173039 45 0 0 24 0 19 0 826448566 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 340052 2261 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1709.2 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 96961 0 1 0 170908 12 0 0 25 0 19 0 826448566 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505774516 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=1.23 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 13730 0 0 0 121 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=1.44 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 18456 0 0 0 141 3 0 0 16 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=1.49 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 14353 0 0 0 147 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=1.17 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 10445 0 0 0 116 1 0 0 16 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=1.59 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 26086 0 0 0 156 3 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.2 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16732 0 0 0 118 2 0 0 16 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.28 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 126 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.42 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 140 2 0 0 15 0 19 0 826448568 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.84 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 103635 0 0 0 974 10 0 0 16 0 19 0 826448569 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 340052 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1730.84
Current children cumulated vsize (KiB) 13624936

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.89 3/483 20208
/proc/meminfo: memFree=28475188/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=1790.97 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 350220 0 1 0 179050 47 0 0 24 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 347960 2261 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1769.02 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 98273 0 1 0 176890 12 0 0 25 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505752031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=1.23 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 13730 0 0 0 121 2 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=1.44 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 18456 0 0 0 141 3 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=1.54 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 14353 0 0 0 152 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=1.18 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 10445 0 0 0 117 1 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=1.6 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 26086 0 0 0 157 3 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.2 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16732 0 0 0 118 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.33 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 131 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.48 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 146 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.95 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 110234 0 0 0 985 10 0 0 15 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.97
Current children cumulated vsize (KiB) 13624936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.4 s]
/proc/loadavg: 2.17 2.07 1.90 3/483 20208
/proc/meminfo: memFree=28460924/32950928 swapFree=34365992/67111528
[pid=20121] ppid=20119 vsize=13624936 CPUtime=1800.08 cores=1,3,5,7
/proc/20121/stat : 20121 (java) S 20119 20121 12983 0 -1 4202496 350222 0 1 0 179961 47 0 0 24 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20121/statm: 3406234 347960 2261 9 0 3396968 0
[pid=20121/tid=20122] ppid=20119 vsize=13624936 CPUtime=1778.14 cores=1,3,5,7
/proc/20121/task/20122/stat : 20122 (java) R 20119 20121 12983 0 -1 4202560 98273 0 1 0 177802 12 0 0 25 0 19 0 826448566 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 46912505834318 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20121/tid=20127] ppid=20119 vsize=13624936 CPUtime=1.23 cores=1,3,5,7
/proc/20121/task/20127/stat : 20127 (java) S 20119 20121 12983 0 -1 4202560 13730 0 0 0 121 2 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20128] ppid=20119 vsize=13624936 CPUtime=1.44 cores=1,3,5,7
/proc/20121/task/20128/stat : 20128 (java) S 20119 20121 12983 0 -1 4202560 18456 0 0 0 141 3 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20129] ppid=20119 vsize=13624936 CPUtime=1.54 cores=1,3,5,7
/proc/20121/task/20129/stat : 20129 (java) S 20119 20121 12983 0 -1 4202560 14353 0 0 0 152 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 7 0 0 0
[pid=20121/tid=20130] ppid=20119 vsize=13624936 CPUtime=1.18 cores=1,3,5,7
/proc/20121/task/20130/stat : 20130 (java) S 20119 20121 12983 0 -1 4202560 10445 0 0 0 117 1 0 0 15 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20131] ppid=20119 vsize=13624936 CPUtime=1.6 cores=1,3,5,7
/proc/20121/task/20131/stat : 20131 (java) S 20119 20121 12983 0 -1 4202560 26086 0 0 0 157 3 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20132] ppid=20119 vsize=13624936 CPUtime=1.2 cores=1,3,5,7
/proc/20121/task/20132/stat : 20132 (java) S 20119 20121 12983 0 -1 4202560 16732 0 0 0 118 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20133] ppid=20119 vsize=13624936 CPUtime=1.33 cores=1,3,5,7
/proc/20121/task/20133/stat : 20133 (java) S 20119 20121 12983 0 -1 4202560 20992 0 0 0 131 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20134] ppid=20119 vsize=13624936 CPUtime=1.48 cores=1,3,5,7
/proc/20121/task/20134/stat : 20134 (java) S 20119 20121 12983 0 -1 4202560 15265 0 0 0 146 2 0 0 16 0 19 0 826448568 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20140] ppid=20119 vsize=13624936 CPUtime=9.95 cores=1,3,5,7
/proc/20121/task/20140/stat : 20140 (java) S 20119 20121 12983 0 -1 4202560 110234 0 0 0 985 10 0 0 15 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 0 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20141] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20141/stat : 20141 (java) S 20119 20121 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20142] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20142/stat : 20142 (java) S 20119 20121 12983 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826448569 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20143] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20143/stat : 20143 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606690225 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20144] ppid=20119 vsize=13624936 CPUtime=0.53 cores=1,3,5,7
/proc/20121/task/20144/stat : 20144 (java) S 20119 20121 12983 0 -1 4202560 3024 0 0 0 53 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 5 0 0 0
[pid=20121/tid=20145] ppid=20119 vsize=13624936 CPUtime=0.33 cores=1,3,5,7
/proc/20121/task/20145/stat : 20145 (java) S 20119 20121 12983 0 -1 4202560 1375 0 0 0 33 0 0 0 16 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20146] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20146/stat : 20146 (java) S 20119 20121 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606682521 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
[pid=20121/tid=20147] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20147/stat : 20147 (java) S 20119 20121 12983 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826448572 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 1 0 0 0
[pid=20121/tid=20149] ppid=20119 vsize=13624936 CPUtime=0 cores=1,3,5,7
/proc/20121/task/20149/stat : 20149 (java) S 20119 20121 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448643 13951934464 347960 33554432000 1073741824 1073778376 140735322276848 18446744073709551615 235606683136 0 4 0 16800975 18446604471116718464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13624936

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): 1791.51
CPU time (s): 1800.23
CPU user time (s): 1799.71
CPU system time (s): 0.52292
CPU usage (%): 100.487
Max. virtual memory (cumulated for all children) (KiB): 13624936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350285
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= 39856
involuntary context switches= 16400

runsolver used 8.17376 second user time and 18.0113 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-04 02:48:18
IDJOB=3458757
IDBENCH=2246
IDSOLVER=1952
FILE ID=node120/3458757-1307148498
RUNJOBID= node120-1307148498-20093
PBS_JOBID= 13508796
Free space on /tmp= 73808 MiB

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

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

MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b
RANDOM SEED=1424705624

node120.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.809
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.61
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.809
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.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
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:     32950928 kB
MemFree:      31316236 kB
Buffers:        294084 kB
Cached:         981992 kB
SwapCached:      12852 kB
Active:         391268 kB
Inactive:       950912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31316236 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:            5904 kB
Writeback:           0 kB
AnonPages:       63200 kB
Mapped:          13100 kB
Slab:           133064 kB
PageTables:      91820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 118781704 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= 73808 MiB
End job on node120 at 2011-06-04 03:18:11