Trace number 3718021

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.6 1796.26

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap131_wcsp.wbo
MD5SUM4ad1347278976f19411afc1ab6eea52f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark8157049
Best CPU time to get the best result obtained on this benchmark1800.6
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2600
Total number of constraints5148
Number of soft constraints5048
Number of constraints which are clauses5048
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 61306436
Min constraint cost 1
Max constraint cost 61306436
Sum of constraints costs 154547346300
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.2.v20120528
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718021-1338255440.wbo
0.09/0.11	c reading problem ... 
0.52/0.37	c ... done. Wall clock time 0.262s.
0.52/0.37	c declared #vars     2600
0.52/0.37	c internal #vars     7648
0.52/0.37	c #constraints  5249
0.52/0.37	c constraints type 
0.52/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2550
0.52/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.52/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2648
0.52/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.52/0.37	c 5249 constraints processed.
0.52/0.37	c objective function length is 5048 literals
0.78/0.47	c SATISFIABLE
0.78/0.47	c OPTIMIZING...
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.36
0.78/0.47	o 8157049
2.44/1.65	c cleaning 2477 clauses out of 5000 with flag 22498/5000
3.73/2.81	c cleaning 4247 clauses out of 8523 with flag 49740/11000
5.24/4.36	c cleaning 5626 clauses out of 11277 with flag 87679/18001
7.04/6.15	c cleaning 6810 clauses out of 13651 with flag 137521/26001
9.20/8.20	c cleaning 7899 clauses out of 15842 with flag 189170/35002
11.50/10.52	c cleaning 8962 clauses out of 17942 with flag 239094/45001
14.00/13.04	c cleaning 9979 clauses out of 19979 with flag 298207/56000
16.80/15.86	c cleaning 10981 clauses out of 22000 with flag 364993/68000
19.92/18.96	c cleaning 11994 clauses out of 24019 with flag 424867/81000
23.12/22.19	c cleaning 13000 clauses out of 26025 with flag 503158/95000
26.73/25.79	c cleaning 14000 clauses out of 28025 with flag 586004/110000
30.76/29.77	c cleaning 15006 clauses out of 30025 with flag 690732/126000
34.95/33.94	c cleaning 15990 clauses out of 32019 with flag 773418/143000
39.37/38.31	c cleaning 17000 clauses out of 34032 with flag 879107/161003
44.08/43.09	c cleaning 17997 clauses out of 36029 with flag 988742/180000
48.90/47.84	c cleaning 19007 clauses out of 38037 with flag 1097292/200005
54.53/53.42	c cleaning 20004 clauses out of 40025 with flag 1204057/221000
60.24/59.12	c cleaning 21008 clauses out of 42022 with flag 1338994/243001
66.28/65.15	c cleaning 21994 clauses out of 44016 with flag 1482473/266003
72.48/71.34	c cleaning 23001 clauses out of 46022 with flag 1634964/290003
79.49/78.34	c cleaning 23973 clauses out of 48018 with flag 1777623/315000
86.29/85.11	c cleaning 24985 clauses out of 50045 with flag 1927614/341000
93.13/91.92	c cleaning 26018 clauses out of 52060 with flag 2121063/368000
100.04/98.83	c cleaning 27012 clauses out of 54043 with flag 2276505/396001
107.55/106.30	c cleaning 27993 clauses out of 56030 with flag 2443325/425000
115.06/113.86	c cleaning 29008 clauses out of 58037 with flag 2626156/455000
122.57/121.33	c cleaning 29991 clauses out of 60029 with flag 2793211/486000
130.60/129.34	c cleaning 31008 clauses out of 62038 with flag 2969468/518000
138.91/137.60	c cleaning 32001 clauses out of 64031 with flag 3139146/551001
147.32/146.04	c cleaning 32998 clauses out of 66029 with flag 3334052/585000
156.14/154.81	c cleaning 33999 clauses out of 68031 with flag 3525195/620000
164.97/163.64	c cleaning 35002 clauses out of 70034 with flag 3712339/656002
174.47/173.13	c cleaning 35999 clauses out of 72030 with flag 3957838/693000
184.10/182.73	c cleaning 37014 clauses out of 74031 with flag 4148541/731000
194.61/193.23	c cleaning 37976 clauses out of 76017 with flag 4410074/770000
204.22/202.90	c cleaning 39015 clauses out of 78041 with flag 4623574/810000
215.14/213.76	c cleaning 39992 clauses out of 80026 with flag 4869636/851000
225.55/224.18	c cleaning 40991 clauses out of 82034 with flag 5145779/893000
236.78/235.33	c cleaning 42021 clauses out of 84044 with flag 5421877/936001
247.59/246.13	c cleaning 43009 clauses out of 86022 with flag 5657934/980000
260.02/258.55	c cleaning 43972 clauses out of 88015 with flag 5873434/1025002
272.92/271.46	c cleaning 44991 clauses out of 90043 with flag 6106346/1071002
286.04/284.51	c cleaning 45998 clauses out of 92051 with flag 6358746/1118001
298.97/297.45	c cleaning 47024 clauses out of 94054 with flag 6608598/1166002
312.49/310.94	c cleaning 47976 clauses out of 96028 with flag 6840869/1215000
326.82/325.22	c cleaning 49004 clauses out of 98053 with flag 7085169/1265001
340.76/339.18	c cleaning 50003 clauses out of 100048 with flag 7365145/1316000
355.14/353.42	c cleaning 50977 clauses out of 102045 with flag 7660106/1368000
368.97/367.20	c cleaning 52001 clauses out of 104068 with flag 7939007/1421000
382.81/381.05	c cleaning 53027 clauses out of 106068 with flag 8237656/1475001
397.03/395.29	c cleaning 53954 clauses out of 108040 with flag 8532570/1530000
412.07/410.23	c cleaning 55014 clauses out of 110087 with flag 8809409/1586001
427.61/425.71	c cleaning 56001 clauses out of 112072 with flag 9117673/1643000
444.42/442.50	c cleaning 57036 clauses out of 114071 with flag 9392721/1701000
461.34/459.48	c cleaning 57990 clauses out of 116035 with flag 9680474/1760000
479.28/477.30	c cleaning 58984 clauses out of 118046 with flag 9937228/1820001
498.02/496.05	c cleaning 60021 clauses out of 120061 with flag 10226523/1881000
517.15/515.17	c cleaning 61010 clauses out of 122040 with flag 10486506/1943000
535.16/533.12	c cleaning 62007 clauses out of 124031 with flag 10799585/2006001
552.30/550.27	c cleaning 62994 clauses out of 126024 with flag 11133091/2070001
569.64/567.50	c cleaning 63977 clauses out of 128029 with flag 11486764/2135000
587.57/585.48	c cleaning 64976 clauses out of 130052 with flag 11830113/2201000
606.39/604.24	c cleaning 66038 clauses out of 132077 with flag 12229181/2268001
625.21/623.07	c cleaning 66988 clauses out of 134038 with flag 12613953/2336000
643.93/641.74	c cleaning 68000 clauses out of 136050 with flag 12988912/2405000
663.77/661.58	c cleaning 69014 clauses out of 138052 with flag 13456956/2475002
683.69/681.45	c cleaning 69979 clauses out of 140037 with flag 13859507/2546001
705.13/702.82	c cleaning 70984 clauses out of 142057 with flag 14308298/2618000
725.26/722.96	c cleaning 72000 clauses out of 144074 with flag 14718120/2691001
746.89/744.50	c cleaning 73015 clauses out of 146074 with flag 15115025/2765001
768.33/765.93	c cleaning 73993 clauses out of 148058 with flag 15576731/2840000
789.84/787.44	c cleaning 75013 clauses out of 150065 with flag 16029025/2916000
811.90/809.42	c cleaning 76025 clauses out of 152052 with flag 16473536/2993000
834.33/831.84	c cleaning 76994 clauses out of 154027 with flag 16900476/3071000
855.84/853.34	c cleaning 77983 clauses out of 156034 with flag 17355528/3150001
878.66/876.17	c cleaning 79022 clauses out of 158051 with flag 17816581/3230001
901.12/898.52	c cleaning 80008 clauses out of 160028 with flag 18263330/3311000
926.15/923.53	c cleaning 80990 clauses out of 162020 with flag 18739250/3393000
950.47/947.88	c cleaning 81985 clauses out of 164030 with flag 19230923/3476000
976.04/973.31	c cleaning 82968 clauses out of 166046 with flag 19690500/3560001
1000.89/998.15	c cleaning 83997 clauses out of 168078 with flag 20121911/3645001
1027.64/1024.82	c cleaning 85008 clauses out of 170080 with flag 20648512/3731000
1055.07/1052.20	c cleaning 86004 clauses out of 172077 with flag 21130023/3818005
1080.71/1077.82	c cleaning 87005 clauses out of 174068 with flag 21646476/3906000
1106.86/1103.93	c cleaning 87998 clauses out of 176064 with flag 22122967/3995001
1132.81/1129.84	c cleaning 89028 clauses out of 178070 with flag 22605148/4085005
1159.54/1156.57	c cleaning 90004 clauses out of 180037 with flag 23083757/4176000
1186.36/1183.37	c cleaning 91005 clauses out of 182035 with flag 23622343/4268002
1214.97/1211.99	c cleaning 91996 clauses out of 184028 with flag 24149466/4361000
1244.60/1241.57	c cleaning 92994 clauses out of 186034 with flag 24649505/4455002
1272.47/1269.33	c cleaning 94008 clauses out of 188039 with flag 25163420/4550001
1301.53/1298.38	c cleaning 94988 clauses out of 190031 with flag 25672751/4646001
1330.25/1327.09	c cleaning 95969 clauses out of 192042 with flag 26208245/4743000
1359.66/1356.41	c cleaning 97015 clauses out of 194073 with flag 26755895/4841000
1390.19/1386.92	c cleaning 98018 clauses out of 196060 with flag 27278096/4940002
1420.41/1417.15	c cleaning 99000 clauses out of 198040 with flag 27797119/5040000
1451.12/1447.72	c cleaning 99993 clauses out of 200042 with flag 28286615/5141002
1480.76/1477.36	c cleaning 100970 clauses out of 202047 with flag 28847943/5243000
1510.98/1507.53	c cleaning 102029 clauses out of 204077 with flag 29424148/5346000
1544.53/1541.04	c cleaning 102979 clauses out of 206048 with flag 29958965/5450000
1575.98/1572.42	c cleaning 104001 clauses out of 208070 with flag 30520570/5555001
1607.55/1603.96	c cleaning 104972 clauses out of 210068 with flag 31076675/5661000
1639.58/1635.96	c cleaning 106014 clauses out of 212097 with flag 31687676/5768001
1671.59/1667.90	c cleaning 106978 clauses out of 214082 with flag 32253103/5876000
1705.13/1701.43	c cleaning 108029 clauses out of 216104 with flag 32861377/5985000
1740.00/1736.26	c cleaning 108999 clauses out of 218075 with flag 33448023/6095000
1773.64/1769.90	c cleaning 109999 clauses out of 220076 with flag 34016450/6206000
1800.05/1796.22	c starts		: 277
1800.05/1796.22	c conflicts		: 6296886
1800.05/1796.22	c decisions		: 41171501
1800.05/1796.22	c propagations		: 4805348292
1800.05/1796.22	c inspects		: 6485316377
1800.05/1796.22	c shortcuts		: 0
1800.05/1796.22	c learnt literals	: 0
1800.05/1796.22	c learnt binary clauses	: 0
1800.05/1796.22	c learnt ternary clauses	: 0
1800.05/1796.22	c learnt constraints	: 6296886
1800.05/1796.22	c ignored constraints	: 0
1800.05/1796.22	c root simplifications	: 0
1800.05/1796.22	c removed literals (reason simplification)	: 0
1800.05/1796.22	c reason swapping (by a shorter reason)	: 0
1800.05/1796.22	c Calls to reduceDB	: 107
1800.05/1796.22	c Number of update (reduction) of LBD	: 4436399
1800.05/1796.22	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.22	c number of learned constraints concerned by reduction	: 0
1800.05/1796.22	c number of learning phase by resolution	: 0
1800.05/1796.22	c number of learning phase by cutting planes	: 0
1800.05/1796.22	c speed (assignments/second)	: 2675868.5706553427
1800.05/1796.22	c non guided choices	42
1800.05/1796.24	c learnt constraints type 
1800.05/1796.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 201033
1800.05/1796.24	c constraints type 
1800.05/1796.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2550
1800.05/1796.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
1800.05/1796.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2648
1800.05/1796.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.05/1796.24	c 5250 constraints processed.
1800.05/1796.24	s SATISFIABLE
1800.05/1796.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 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 
1800.05/1796.26	c objective function=8157049
1800.05/1796.26	c Total wall clock time (in seconds): 1796.145

Verifier Data 

OK	8157049

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718021-1338255440/watcher-3718021-1338255440 -o /tmp/evaluation-result-3718021-1338255440/solver-3718021-1338255440 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718021-1338255440.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 4445
/proc/meminfo: memFree=30018000/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (java) D 4443 4445 919 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291669927 9515008 182 33554432000 1073741824 1073778376 140737012087120 140737012078152 242167398069 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2323 184 142 9 0 71 0

[startup+0.0472489 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 4445
/proc/meminfo: memFree=30018000/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 3030 0 1 0 2 0 0 0 20 0 13 0 291669927 9446973440 3728 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2306390 3728 1699 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.1002 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 4445
/proc/meminfo: memFree=30018000/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 4295 0 1 0 8 1 0 0 20 0 18 0 291669927 9787817984 5473 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2389604 5473 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300223 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 4445
/proc/meminfo: memFree=30018000/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9558416 CPUtime=0.52 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 6107 0 1 0 50 2 0 0 20 0 18 0 291669927 9787817984 9218 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2389604 9218 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558416

[startup+0.700229 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 4445
/proc/meminfo: memFree=30018000/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9624980 CPUtime=1.52 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 11872 0 1 0 149 3 0 0 20 0 19 0 291669927 9855979520 12900 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2406245 12900 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9624980

[startup+1.5006 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 4464
/proc/meminfo: memFree=29975204/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9624980 CPUtime=2.34 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 11874 0 1 0 231 3 0 0 20 0 19 0 291669927 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2406245 13413 2258 9 0 2396937 0
[pid=4445/tid=4447] ppid=4443 vsize=9624980 CPUtime=1.46 cores=0,2,4,6
/proc/4445/task/4447/stat : 4447 (java) R 4443 4445 919 0 -1 4202560 2464 0 1 0 145 1 0 0 20 0 19 0 291669928 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843654914312 139843481516094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4448] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4448/stat : 4448 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843616405928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4449] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4449/stat : 4449 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843615353384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4450] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4450/stat : 4450 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843614300328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4451] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4451/stat : 4451 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843613247784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4452] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4452/stat : 4452 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843612195752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4453] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4453/stat : 4453 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843611143208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4454] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4454/stat : 4454 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843610090152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4455] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4455/stat : 4455 (java) S 4443 4445 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843609037608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4456] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4456/stat : 4456 (java) S 4443 4445 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843478735208 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4457] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4457/stat : 4457 (java) S 4443 4445 919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843477681528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4458] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4458/stat : 4458 (java) S 4443 4445 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843476628360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4459] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4459/stat : 4459 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843475577104 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4460] ppid=4443 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/4445/task/4460/stat : 4460 (java) S 4443 4445 919 0 -1 4202560 3927 0 0 0 41 0 0 0 20 0 19 0 291669934 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843474524984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4461] ppid=4443 vsize=9624980 CPUtime=0.42 cores=0,2,4,6
/proc/4445/task/4461/stat : 4461 (java) S 4443 4445 919 0 -1 4202560 4284 0 0 0 42 0 0 0 20 0 19 0 291669934 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843473472440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4462] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4462/stat : 4462 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843472419576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4463] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4463/stat : 4463 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843471367240 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4464] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4464/stat : 4464 (java) S 4443 4445 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291669969 9855979520 13413 33554432000 1073741824 1073778376 140733291039872 139843470312488 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9624980

[startup+3.1006 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 4464
/proc/meminfo: memFree=29958076/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9624980 CPUtime=4.03 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 11956 0 1 0 399 4 0 0 20 0 19 0 291669927 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2406245 18583 2283 9 0 2396937 0
[pid=4445/tid=4447] ppid=4443 vsize=9624980 CPUtime=3.02 cores=0,2,4,6
/proc/4445/task/4447/stat : 4447 (java) R 4443 4445 919 0 -1 4202560 2469 0 1 0 301 1 0 0 20 0 19 0 291669928 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843654914456 139843481502616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4448] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4448/stat : 4448 (java) S 4443 4445 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843616405928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4449] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4449/stat : 4449 (java) S 4443 4445 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843615353384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4450] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4450/stat : 4450 (java) S 4443 4445 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843614300328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4451] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4451/stat : 4451 (java) S 4443 4445 919 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843613247784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4452] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4452/stat : 4452 (java) S 4443 4445 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843612195752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4453] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4453/stat : 4453 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843611143208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4454] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4454/stat : 4454 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843610090152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4455] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4455/stat : 4455 (java) S 4443 4445 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843609037608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4456] ppid=4443 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/4445/task/4456/stat : 4456 (java) S 4443 4445 919 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 291669931 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843478735208 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4457] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4457/stat : 4457 (java) S 4443 4445 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843477681528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4458] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4458/stat : 4458 (java) S 4443 4445 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843476628360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4459] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4459/stat : 4459 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843475577104 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4460] ppid=4443 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/4445/task/4460/stat : 4460 (java) S 4443 4445 919 0 -1 4202560 3930 0 0 0 44 0 0 0 20 0 19 0 291669934 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843474524984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4461] ppid=4443 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/4445/task/4461/stat : 4461 (java) S 4443 4445 919 0 -1 4202560 4289 0 0 0 46 0 0 0 20 0 19 0 291669934 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843473472440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4462] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4462/stat : 4462 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843472419576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4463] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4463/stat : 4463 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843471367240 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4464] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4464/stat : 4464 (java) S 4443 4445 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291669969 9855979520 18583 33554432000 1073741824 1073778376 140733291039872 139843470312488 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9624980

[startup+6.30067 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 4464
/proc/meminfo: memFree=29954412/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9624980 CPUtime=7.3 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 12744 0 1 0 726 4 0 0 20 0 19 0 291669927 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2406245 18836 2283 9 0 2396937 0
[pid=4445/tid=4447] ppid=4443 vsize=9624980 CPUtime=6.17 cores=0,2,4,6
/proc/4445/task/4447/stat : 4447 (java) R 4443 4445 919 0 -1 4202560 2470 0 1 0 616 1 0 0 20 0 19 0 291669928 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843654914336 139843481508847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4448] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4448/stat : 4448 (java) S 4443 4445 919 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843616405928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4449] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4449/stat : 4449 (java) S 4443 4445 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843615353384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4450] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4450/stat : 4450 (java) S 4443 4445 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843614300328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4451] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4451/stat : 4451 (java) S 4443 4445 919 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843613247784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4452] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4452/stat : 4452 (java) S 4443 4445 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843612195752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4453] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4453/stat : 4453 (java) S 4443 4445 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843611143208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4454] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4454/stat : 4454 (java) S 4443 4445 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843610090152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4455] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4455/stat : 4455 (java) S 4443 4445 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291669930 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843609037608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4456] ppid=4443 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/4445/task/4456/stat : 4456 (java) S 4443 4445 919 0 -1 4202560 39 0 0 0 6 0 0 0 20 0 19 0 291669931 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843478735208 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4457] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4457/stat : 4457 (java) S 4443 4445 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843477681528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4458] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4458/stat : 4458 (java) S 4443 4445 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843476628360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4459] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4459/stat : 4459 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843475577104 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4460] ppid=4443 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/4445/task/4460/stat : 4460 (java) S 4443 4445 919 0 -1 4202560 4702 0 0 0 49 0 0 0 20 0 19 0 291669934 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843474524984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4461] ppid=4443 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/4445/task/4461/stat : 4461 (java) S 4443 4445 919 0 -1 4202560 4290 0 0 0 47 0 0 0 20 0 19 0 291669934 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843473472440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4462] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4462/stat : 4462 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843472419576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4463] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4463/stat : 4463 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843471367240 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4464] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4464/stat : 4464 (java) S 4443 4445 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291669969 9855979520 18836 33554432000 1073741824 1073778376 140733291039872 139843470312488 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=4445/tid=4453] ppid=4443 vsize=9624980 CPUtime=0.42 cores=0,2,4,6
/proc/4445/task/4453/stat : 4453 (java) S 4443 4445 919 0 -1 4202560 90 0 0 0 40 2 0 0 20 0 19 0 291669930 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843611143208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4454] ppid=4443 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/4445/task/4454/stat : 4454 (java) S 4443 4445 919 0 -1 4202560 179 0 0 0 42 2 0 0 20 0 19 0 291669930 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843610090152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4455] ppid=4443 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/4445/task/4455/stat : 4455 (java) S 4443 4445 919 0 -1 4202560 95 0 0 0 47 2 0 0 20 0 19 0 291669930 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843609037608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4456] ppid=4443 vsize=9624980 CPUtime=4.28 cores=0,2,4,6
/proc/4445/task/4456/stat : 4456 (java) S 4443 4445 919 0 -1 4202560 152 0 0 0 426 2 0 0 20 0 19 0 291669931 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843478735208 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4457] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4457/stat : 4457 (java) S 4443 4445 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843477681528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4458] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4458/stat : 4458 (java) S 4443 4445 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843476628360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4459] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4459/stat : 4459 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843475577104 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4460] ppid=4443 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/4445/task/4460/stat : 4460 (java) S 4443 4445 919 0 -1 4202560 4732 0 0 0 50 1 0 0 20 0 19 0 291669934 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843474524984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4461] ppid=4443 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/4445/task/4461/stat : 4461 (java) S 4443 4445 919 0 -1 4202560 4290 0 0 0 47 0 0 0 20 0 19 0 291669934 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843473472440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4462] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4462/stat : 4462 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843472419576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4463] ppid=4443 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/4445/task/4463/stat : 4463 (java) S 4443 4445 919 0 -1 4202560 94 0 0 0 13 16 0 0 20 0 19 0 291669934 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843471367240 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4464] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4464/stat : 4464 (java) S 4443 4445 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291669969 9855979520 61052 33554432000 1073741824 1073778376 140733291039872 139843470312488 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1665.99
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 4562
/proc/meminfo: memFree=30390048/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9624980 CPUtime=1726.09 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 14854 0 1 0 172572 37 0 0 20 0 19 0 291669927 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2406245 61123 2284 9 0 2396937 0
[pid=4445/tid=4447] ppid=4443 vsize=9624980 CPUtime=1716.77 cores=0,2,4,6
/proc/4445/task/4447/stat : 4447 (java) R 4443 4445 919 0 -1 4202560 2592 0 1 0 171648 29 0 0 20 0 19 0 291669928 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843654914336 139843481509549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4448] ppid=4443 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/4445/task/4448/stat : 4448 (java) S 4443 4445 919 0 -1 4202560 297 0 0 0 53 2 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843616405928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4449] ppid=4443 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/4445/task/4449/stat : 4449 (java) S 4443 4445 919 0 -1 4202560 253 0 0 0 42 3 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843615353384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4450] ppid=4443 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/4445/task/4450/stat : 4450 (java) S 4443 4445 919 0 -1 4202560 408 0 0 0 43 2 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843614300328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4451] ppid=4443 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/4445/task/4451/stat : 4451 (java) S 4443 4445 919 0 -1 4202560 247 0 0 0 44 2 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843613247784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4452] ppid=4443 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/4445/task/4452/stat : 4452 (java) S 4443 4445 919 0 -1 4202560 231 0 0 0 43 2 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843612195752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4453] ppid=4443 vsize=9624980 CPUtime=0.43 cores=0,2,4,6
/proc/4445/task/4453/stat : 4453 (java) S 4443 4445 919 0 -1 4202560 90 0 0 0 41 2 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843611143208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4454] ppid=4443 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/4445/task/4454/stat : 4454 (java) S 4443 4445 919 0 -1 4202560 179 0 0 0 44 2 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843610090152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4455] ppid=4443 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/4445/task/4455/stat : 4455 (java) S 4443 4445 919 0 -1 4202560 95 0 0 0 49 2 0 0 20 0 19 0 291669930 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843609037608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4456] ppid=4443 vsize=9624980 CPUtime=4.41 cores=0,2,4,6
/proc/4445/task/4456/stat : 4456 (java) S 4443 4445 919 0 -1 4202560 156 0 0 0 439 2 0 0 20 0 19 0 291669931 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843478735208 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4457] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4457/stat : 4457 (java) S 4443 4445 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843477681528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4458] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4458/stat : 4458 (java) S 4443 4445 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843476628360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4459] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4459/stat : 4459 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843475577104 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4460] ppid=4443 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/4445/task/4460/stat : 4460 (java) S 4443 4445 919 0 -1 4202560 4732 0 0 0 50 1 0 0 20 0 19 0 291669934 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843474524984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4461] ppid=4443 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/4445/task/4461/stat : 4461 (java) S 4443 4445 919 0 -1 4202560 4290 0 0 0 47 0 0 0 20 0 19 0 291669934 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843473472440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4462] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4462/stat : 4462 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843472419576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4463] ppid=4443 vsize=9624980 CPUtime=0.3 cores=0,2,4,6
/proc/4445/task/4463/stat : 4463 (java) S 4443 4445 919 0 -1 4202560 98 0 0 0 13 17 0 0 20 0 19 0 291669934 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843471367240 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4464] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4464/stat : 4464 (java) S 4443 4445 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291669969 9855979520 61123 33554432000 1073741824 1073778376 140733291039872 139843470312488 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.09
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 4562
/proc/meminfo: memFree=30379812/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9624980 CPUtime=1786.14 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 14866 0 1 0 178576 38 0 0 20 0 19 0 291669927 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2406245 62147 2284 9 0 2396937 0
[pid=4445/tid=4447] ppid=4443 vsize=9624980 CPUtime=1776.63 cores=0,2,4,6
/proc/4445/task/4447/stat : 4447 (java) R 4443 4445 919 0 -1 4202560 2596 0 1 0 177633 30 0 0 20 0 19 0 291669928 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843654914336 139843481502528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4448] ppid=4443 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/4445/task/4448/stat : 4448 (java) S 4443 4445 919 0 -1 4202560 297 0 0 0 53 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843616405928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4449] ppid=4443 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/4445/task/4449/stat : 4449 (java) S 4443 4445 919 0 -1 4202560 253 0 0 0 43 3 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843615353384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4450] ppid=4443 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/4445/task/4450/stat : 4450 (java) S 4443 4445 919 0 -1 4202560 408 0 0 0 43 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843614300328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4451] ppid=4443 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/4445/task/4451/stat : 4451 (java) S 4443 4445 919 0 -1 4202560 247 0 0 0 44 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843613247784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4452] ppid=4443 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/4445/task/4452/stat : 4452 (java) S 4443 4445 919 0 -1 4202560 231 0 0 0 45 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843612195752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4453] ppid=4443 vsize=9624980 CPUtime=0.43 cores=0,2,4,6
/proc/4445/task/4453/stat : 4453 (java) S 4443 4445 919 0 -1 4202560 90 0 0 0 41 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843611143208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4454] ppid=4443 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/4445/task/4454/stat : 4454 (java) S 4443 4445 919 0 -1 4202560 179 0 0 0 46 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843610090152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4455] ppid=4443 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/4445/task/4455/stat : 4455 (java) S 4443 4445 919 0 -1 4202560 95 0 0 0 51 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843609037608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4456] ppid=4443 vsize=9624980 CPUtime=4.54 cores=0,2,4,6
/proc/4445/task/4456/stat : 4456 (java) S 4443 4445 919 0 -1 4202560 160 0 0 0 452 2 0 0 20 0 19 0 291669931 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843478735208 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4457] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4457/stat : 4457 (java) S 4443 4445 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843477681528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4458] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4458/stat : 4458 (java) S 4443 4445 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843476628360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4459] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4459/stat : 4459 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843475577104 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4460] ppid=4443 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/4445/task/4460/stat : 4460 (java) S 4443 4445 919 0 -1 4202560 4732 0 0 0 50 1 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843474524984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4461] ppid=4443 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/4445/task/4461/stat : 4461 (java) S 4443 4445 919 0 -1 4202560 4290 0 0 0 47 0 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843473472440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4462] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4462/stat : 4462 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843472419576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4463] ppid=4443 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/4445/task/4463/stat : 4463 (java) S 4443 4445 919 0 -1 4202560 102 0 0 0 15 17 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843471367240 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4464] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4464/stat : 4464 (java) S 4443 4445 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291669969 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843470312488 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.14
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 4562
/proc/meminfo: memFree=30379812/32873648 swapFree=7112/7112
[pid=4445] ppid=4443 vsize=9624980 CPUtime=1800.05 cores=0,2,4,6
/proc/4445/stat : 4445 (java) S 4443 4445 919 0 -1 4202496 14866 0 1 0 179967 38 0 0 20 0 19 0 291669927 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 140733291031008 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4445/statm: 2406245 62147 2284 9 0 2396937 0
[pid=4445/tid=4447] ppid=4443 vsize=9624980 CPUtime=1790.55 cores=0,2,4,6
/proc/4445/task/4447/stat : 4447 (java) R 4443 4445 919 0 -1 4202560 2596 0 1 0 179025 30 0 0 20 0 19 0 291669928 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843654914336 139843481502721 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4448] ppid=4443 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/4445/task/4448/stat : 4448 (java) S 4443 4445 919 0 -1 4202560 297 0 0 0 53 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843616405928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4449] ppid=4443 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/4445/task/4449/stat : 4449 (java) S 4443 4445 919 0 -1 4202560 253 0 0 0 43 3 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843615353384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4450] ppid=4443 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/4445/task/4450/stat : 4450 (java) S 4443 4445 919 0 -1 4202560 408 0 0 0 43 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843614300328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4445/tid=4451] ppid=4443 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/4445/task/4451/stat : 4451 (java) S 4443 4445 919 0 -1 4202560 247 0 0 0 44 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843613247784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4452] ppid=4443 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/4445/task/4452/stat : 4452 (java) S 4443 4445 919 0 -1 4202560 231 0 0 0 45 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843612195752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4453] ppid=4443 vsize=9624980 CPUtime=0.43 cores=0,2,4,6
/proc/4445/task/4453/stat : 4453 (java) S 4443 4445 919 0 -1 4202560 90 0 0 0 41 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843611143208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4454] ppid=4443 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/4445/task/4454/stat : 4454 (java) S 4443 4445 919 0 -1 4202560 179 0 0 0 46 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843610090152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4455] ppid=4443 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/4445/task/4455/stat : 4455 (java) S 4443 4445 919 0 -1 4202560 95 0 0 0 51 2 0 0 20 0 19 0 291669930 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843609037608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4456] ppid=4443 vsize=9624980 CPUtime=4.54 cores=0,2,4,6
/proc/4445/task/4456/stat : 4456 (java) S 4443 4445 919 0 -1 4202560 160 0 0 0 452 2 0 0 20 0 19 0 291669931 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843478735208 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4457] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4457/stat : 4457 (java) S 4443 4445 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843477681528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4458] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4458/stat : 4458 (java) S 4443 4445 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291669931 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843476628360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4459] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4459/stat : 4459 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843475577104 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4460] ppid=4443 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/4445/task/4460/stat : 4460 (java) S 4443 4445 919 0 -1 4202560 4732 0 0 0 50 1 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843474524984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4445/tid=4461] ppid=4443 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/4445/task/4461/stat : 4461 (java) S 4443 4445 919 0 -1 4202560 4290 0 0 0 47 0 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843473472440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4462] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4462/stat : 4462 (java) S 4443 4445 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843472419576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4445/tid=4463] ppid=4443 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/4445/task/4463/stat : 4463 (java) S 4443 4445 919 0 -1 4202560 102 0 0 0 15 17 0 0 20 0 19 0 291669934 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843471367240 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4445/tid=4464] ppid=4443 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4445/task/4464/stat : 4464 (java) S 4443 4445 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291669969 9855979520 62147 33554432000 1073741824 1073778376 140733291039872 139843470312488 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624980

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): 1796.26
CPU time (s): 1800.6
CPU user time (s): 1799.79
CPU system time (s): 0.812876
CPU usage (%): 100.241
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.812876
maximum resident set size= 248704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14914
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40890
involuntary context switches= 9295

runsolver used 6.22005 second user time and 13.6139 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-29 03:37:20
IDJOB=3718021
IDBENCH=79522
IDSOLVER=2301
FILE ID=node126/3718021-1338255440
RUNJOBID= node126-1338248585-2144
PBS_JOBID= 14624661
Free space on /tmp= 71360 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap131_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718021-1338255440/watcher-3718021-1338255440 -o /tmp/evaluation-result-3718021-1338255440/solver-3718021-1338255440 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718021-1338255440.wbo

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

MD5SUM BENCH= 4ad1347278976f19411afc1ab6eea52f
RANDOM SEED=809518523

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30018264 kB
Buffers:          427004 kB
Cached:           730776 kB
SwapCached:        17756 kB
Active:          1632252 kB
Inactive:         315004 kB
Active(anon):     771328 kB
Inactive(anon):    20452 kB
Active(file):     860924 kB
Inactive(file):   294552 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:        908660 kB
Mapped:            17952 kB
Shmem:                 0 kB
Slab:             727236 kB
SReclaimable:     171440 kB
SUnreclaim:       555796 kB
KernelStack:        1760 kB
PageTables:         5508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1072460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    884736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71360 MiB
End job on node126 at 2012-05-29 04:07:18