Trace number 3718466

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.8 1772.67

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
MD5SUMcab96e9f0187cae75501af3130753b71
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.12498
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints105
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 5686
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5685
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120528
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/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-3718466-1338253115.wbo
0.09/0.11	c reading problem ... 
0.28/0.24	c ... done. Wall clock time 0.128s.
0.28/0.24	c declared #vars     2750
0.28/0.24	c internal #vars     2855
0.28/0.24	c #constraints  105
0.28/0.24	c constraints type 
0.28/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
0.28/0.24	c ignored satisfied constraints => 1
0.28/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 50
0.28/0.24	c 106 constraints processed.
0.28/0.24	c objective function length is 105 literals
0.51/0.36	c SATISFIABLE
0.51/0.36	c OPTIMIZING...
0.51/0.36	c Got one! Elapsed wall clock time (in seconds):0.242
0.51/0.36	o 22
0.75/0.40	c Got one! Elapsed wall clock time (in seconds):0.282
0.75/0.40	o 2
1.22/0.82	c cleaning 2735 clauses out of 5491 with flag 29423/5491
1.79/1.33	c cleaning 4378 clauses out of 8756 with flag 66399/11491
2.40/1.98	c cleaning 5673 clauses out of 11378 with flag 113859/18491
3.63/3.15	c cleaning 6726 clauses out of 13707 with flag 173960/26493
5.32/4.77	c cleaning 7977 clauses out of 15980 with flag 239550/35492
6.77/6.17	c cleaning 8992 clauses out of 18002 with flag 310559/45491
7.98/7.36	c cleaning 9990 clauses out of 20010 with flag 386688/56491
9.30/8.62	c cleaning 11001 clauses out of 22020 with flag 461955/68491
10.83/10.18	c cleaning 11963 clauses out of 24020 with flag 546194/81492
12.65/11.90	c cleaning 13017 clauses out of 26057 with flag 643786/95492
15.17/14.44	c cleaning 14009 clauses out of 28040 with flag 751004/110492
17.81/17.04	c cleaning 14950 clauses out of 30032 with flag 866116/126493
21.48/20.66	c cleaning 16018 clauses out of 32080 with flag 981856/143491
25.41/24.56	c cleaning 17025 clauses out of 34062 with flag 1130741/161491
28.66/27.77	c cleaning 17990 clauses out of 36038 with flag 1275518/180492
32.00/31.04	c cleaning 18998 clauses out of 38048 with flag 1419159/200492
37.63/36.63	c cleaning 20006 clauses out of 40050 with flag 1583173/221492
41.46/40.43	c cleaning 21002 clauses out of 42044 with flag 1758590/243492
45.61/44.52	c cleaning 21995 clauses out of 44046 with flag 1942277/266496
49.75/48.67	c cleaning 22971 clauses out of 46049 with flag 2123700/290494
54.54/53.39	c cleaning 24006 clauses out of 48075 with flag 2321565/315491
63.03/61.76	c cleaning 25020 clauses out of 50072 with flag 2565391/341494
68.04/66.63	c cleaning 26007 clauses out of 52051 with flag 2775456/368493
74.97/73.53	c cleaning 27006 clauses out of 54044 with flag 2983612/396493
79.75/78.25	c cleaning 27985 clauses out of 56037 with flag 3198750/425492
86.11/84.53	c cleaning 28986 clauses out of 58051 with flag 3438365/455491
92.70/91.02	c cleaning 30022 clauses out of 60065 with flag 3699713/486491
102.76/101.07	c cleaning 31013 clauses out of 62044 with flag 3981865/518492
111.25/109.49	c cleaning 32002 clauses out of 64032 with flag 4270839/551493
120.63/118.70	c cleaning 33002 clauses out of 66029 with flag 4593945/585492
126.41/124.40	c cleaning 33992 clauses out of 68028 with flag 4839451/620493
133.86/131.83	c cleaning 35012 clauses out of 70036 with flag 5140176/656493
142.20/140.13	c cleaning 36004 clauses out of 72024 with flag 5456112/693493
153.07/150.99	c cleaning 36990 clauses out of 74020 with flag 5801750/731493
165.40/163.11	c cleaning 37997 clauses out of 76029 with flag 6144909/770492
175.19/172.82	c cleaning 39001 clauses out of 78031 with flag 6482698/810491
187.76/185.35	c cleaning 39993 clauses out of 80030 with flag 6852142/851491
197.55/195.02	c cleaning 41006 clauses out of 82037 with flag 7240217/893491
205.82/203.28	c cleaning 42004 clauses out of 84031 with flag 7575523/936491
216.69/214.09	c cleaning 42993 clauses out of 86027 with flag 7928792/980491
229.88/227.10	c cleaning 43998 clauses out of 88034 with flag 8315669/1025491
245.49/242.62	c cleaning 45004 clauses out of 90038 with flag 8745760/1071493
259.77/256.85	c cleaning 46009 clauses out of 92032 with flag 9150694/1118491
274.67/271.65	c cleaning 47002 clauses out of 94024 with flag 9616658/1166492
287.54/284.42	c cleaning 47997 clauses out of 96021 with flag 10046661/1215491
303.55/300.33	c cleaning 49001 clauses out of 98024 with flag 10479529/1265491
318.15/314.85	c cleaning 50000 clauses out of 100023 with flag 10979111/1316491
327.54/324.17	c cleaning 50994 clauses out of 102023 with flag 11380322/1368491
343.17/339.58	c cleaning 52006 clauses out of 104029 with flag 11796400/1421491
359.49/355.71	c cleaning 53005 clauses out of 106029 with flag 12257542/1475497
377.14/373.22	c cleaning 53990 clauses out of 108020 with flag 12711530/1530493
400.29/396.22	c cleaning 54998 clauses out of 110030 with flag 13212635/1586493
416.42/412.36	c cleaning 56004 clauses out of 112031 with flag 13765143/1643492
437.02/432.84	c cleaning 56999 clauses out of 114028 with flag 14324282/1701493
458.03/453.70	c cleaning 57999 clauses out of 116027 with flag 14945260/1760491
480.20/475.28	c cleaning 59002 clauses out of 118031 with flag 15480890/1820494
510.48/505.02	c cleaning 59999 clauses out of 120026 with flag 16003725/1881491
542.00/536.27	c cleaning 61002 clauses out of 122027 with flag 16552789/1943491
561.44/555.29	c cleaning 62001 clauses out of 124026 with flag 17108107/2006492
578.26/571.68	c cleaning 63002 clauses out of 126025 with flag 17634223/2070492
598.80/591.61	c cleaning 64004 clauses out of 128025 with flag 18183901/2135494
621.26/613.60	c cleaning 65004 clauses out of 130025 with flag 18779601/2201498
655.96/647.91	c cleaning 65992 clauses out of 132014 with flag 19479701/2268491
685.01/676.52	c cleaning 66999 clauses out of 134022 with flag 20109365/2336491
723.99/714.99	c cleaning 67997 clauses out of 136023 with flag 20739080/2405491
748.45/738.71	c cleaning 69000 clauses out of 138028 with flag 21398794/2475493
779.80/769.77	c cleaning 70001 clauses out of 140026 with flag 22159445/2546491
809.53/798.63	c cleaning 71001 clauses out of 142027 with flag 22958803/2618493
835.59/824.03	c cleaning 71995 clauses out of 144025 with flag 23639936/2691492
870.82/858.82	c cleaning 72993 clauses out of 146029 with flag 24335277/2765491
905.85/893.37	c cleaning 73995 clauses out of 148036 with flag 25019634/2840491
948.29/935.11	c cleaning 74991 clauses out of 150041 with flag 25841820/2916491
979.86/966.15	c cleaning 76004 clauses out of 152051 with flag 26612482/2993492
1000.35/986.00	c cleaning 77011 clauses out of 154047 with flag 27234895/3071492
1026.76/1011.92	c cleaning 77996 clauses out of 156035 with flag 27958480/3150491
1054.30/1039.07	c cleaning 79011 clauses out of 158039 with flag 28655333/3230491
1087.18/1071.46	c cleaning 80007 clauses out of 160028 with flag 29349375/3311491
1134.79/1118.68	c cleaning 81003 clauses out of 162021 with flag 30083510/3393491
1165.86/1149.25	c cleaning 81999 clauses out of 164018 with flag 30802060/3476491
1206.46/1188.34	c cleaning 83001 clauses out of 166019 with flag 31615122/3560491
1265.74/1246.46	c cleaning 84000 clauses out of 168019 with flag 32487731/3645492
1315.83/1295.87	c cleaning 84995 clauses out of 170018 with flag 33271246/3731491
1367.99/1347.33	c cleaning 85989 clauses out of 172023 with flag 34096891/3818491
1414.86/1393.61	c cleaning 87014 clauses out of 174041 with flag 34953980/3906498
1455.85/1433.82	c cleaning 87998 clauses out of 176023 with flag 35725557/3995494
1510.80/1488.25	c cleaning 88995 clauses out of 178022 with flag 36561486/4085491
1570.59/1547.35	c cleaning 90001 clauses out of 180028 with flag 37366703/4176492
1632.31/1608.05	c cleaning 91007 clauses out of 182026 with flag 38229211/4268491
1676.21/1651.23	c cleaning 91999 clauses out of 184019 with flag 39229557/4361491
1736.18/1710.53	c cleaning 93005 clauses out of 186024 with flag 40272017/4455495
1767.41/1740.61	c cleaning 93989 clauses out of 188015 with flag 41121865/4550491
1800.05/1772.61	c starts		: 272
1800.05/1772.61	c conflicts		: 4636514
1800.05/1772.61	c decisions		: 5976552
1800.05/1772.61	c propagations		: 157047825
1800.05/1772.61	c inspects		: 17783044209
1800.05/1772.61	c shortcuts		: 0
1800.05/1772.61	c learnt literals	: 0
1800.05/1772.61	c learnt binary clauses	: 0
1800.05/1772.61	c learnt ternary clauses	: 0
1800.05/1772.61	c learnt constraints	: 4636515
1800.05/1772.61	c ignored constraints	: 0
1800.05/1772.61	c root simplifications	: 0
1800.05/1772.61	c removed literals (reason simplification)	: 0
1800.05/1772.61	c reason swapping (by a shorter reason)	: 0
1800.05/1772.61	c Calls to reduceDB	: 91
1800.05/1772.61	c Number of update (reduction) of LBD	: 2811468
1800.05/1772.61	c number of reductions to clauses (during analyze)	: 0
1800.05/1772.61	c number of learned constraints concerned by reduction	: 0
1800.05/1772.61	c number of learning phase by resolution	: 0
1800.05/1772.61	c number of learning phase by cutting planes	: 0
1800.05/1772.61	c speed (assignments/second)	: 88609.55179484055
1800.05/1772.61	c non guided choices	74534
1800.05/1772.64	c learnt constraints type 
1800.05/1772.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 180105
1800.05/1772.64	c constraints type 
1800.05/1772.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
1800.05/1772.64	c ignored satisfied constraints => 1
1800.05/1772.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
1800.05/1772.64	c 107 constraints processed.
1800.05/1772.64	s SATISFIABLE
1800.05/1772.65	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 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 
1800.05/1772.65	c objective function=2
1800.05/1772.65	c Total wall clock time (in seconds): 1772.537

Verifier Data 

OK	2

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-3718466-1338253115/watcher-3718466-1338253115 -o /tmp/evaluation-result-3718466-1338253115/solver-3718466-1338253115 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718466-1338253115.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: 1.99 2.02 2.00 3/194 4466
/proc/meminfo: memFree=26906492/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 1163 0 0 0 0 0 0 0 20 0 2 0 291438468 91893760 885 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 22435 892 676 9 0 16770 0
[pid=4466/tid=4467] ppid=4464 vsize=89800 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 2 0 291438468 91955200 894 33554432000 1073741824 1073778376 140733683773616 140733683762680 233402568146 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.00782301 s]
/proc/loadavg: 1.99 2.02 2.00 3/194 4466
/proc/meminfo: memFree=26906492/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 1274 0 0 0 0 0 0 0 20 0 2 0 291438468 98570240 977 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 24065 977 744 9 0 16771 0
[pid=4466/tid=4467] ppid=4464 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 291438468 98570240 977 33554432000 1073741824 1073778376 140733683773616 139733649165864 233411790208 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260

[startup+0.100251 s]
/proc/loadavg: 1.99 2.02 2.00 3/194 4466
/proc/meminfo: memFree=26906492/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 4276 0 1 0 8 1 0 0 20 0 18 0 291438468 9787817984 5474 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2389604 5475 2109 9 0 2380296 0
[pid=4466/tid=4467] ppid=4464 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 2329 0 1 0 6 1 0 0 20 0 18 0 291438468 9787817984 5475 33554432000 1073741824 1073778376 140733683773616 139733649168720 139733656597701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300261 s]
/proc/loadavg: 1.99 2.02 2.00 3/194 4466
/proc/meminfo: memFree=26906492/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 6050 0 1 0 49 2 0 0 20 0 19 0 291438468 9855979520 8194 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 8194 2233 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 2457 0 1 0 26 1 0 0 20 0 19 0 291438468 9855979520 8194 33554432000 1073741824 1073778376 140733683773616 139733649162552 139733489520237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624980

[startup+0.700231 s]
/proc/loadavg: 1.99 2.02 2.00 3/194 4466
/proc/meminfo: memFree=26906492/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 7573 0 1 0 111 2 0 0 20 0 19 0 291438468 9855979520 10244 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 10244 2242 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 2461 0 1 0 66 1 0 0 20 0 19 0 291438468 9855979520 10244 33554432000 1073741824 1073778376 140733683773616 139733649170760 139733489963414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9624980

[startup+1.50069 s]
/proc/loadavg: 1.99 2.02 2.00 3/213 4485
/proc/meminfo: memFree=26859504/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=2 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 7830 0 1 0 197 3 0 0 20 0 19 0 291438468 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 15924 2267 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=1.45 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 2466 0 1 0 143 2 0 0 20 0 19 0 291438468 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733649170840 139733490039050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4469] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4469/stat : 4469 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733610662696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4470] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4470/stat : 4470 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733609609896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4471] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4471/stat : 4471 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733608557608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4472] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4472/stat : 4472 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733489413032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4473] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4473/stat : 4473 (java) S 4464 4466 1515 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733488359720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4474] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4474/stat : 4474 (java) S 4464 4466 1515 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733487306920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4475] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4475/stat : 4475 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733486254632 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4476] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4476/stat : 4476 (java) S 4464 4466 1515 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733485201832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4477] ppid=4464 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/4466/task/4477/stat : 4477 (java) S 4464 4466 1515 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291438470 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733002873576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4478] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4478/stat : 4478 (java) S 4464 4466 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733001819640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4479] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4479/stat : 4479 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139733000767240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4480] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4480/stat : 4480 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139732999715728 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4481] ppid=4464 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/4466/task/4481/stat : 4481 (java) S 4464 4466 1515 0 -1 4202560 2462 0 0 0 25 0 0 0 20 0 19 0 291438474 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139732998662328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4482] ppid=4464 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/4466/task/4482/stat : 4482 (java) S 4464 4466 1515 0 -1 4202560 1642 0 0 0 23 0 0 0 20 0 19 0 291438474 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139732997609528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4483] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4483/stat : 4483 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139732996557432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4484] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4484/stat : 4484 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139732995504840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4485] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4485/stat : 4485 (java) S 4464 4466 1515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291438493 9855979520 15924 33554432000 1073741824 1073778376 140733683773616 139732994450856 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9624980

[startup+3.10069 s]
/proc/loadavg: 1.99 2.02 2.00 3/213 4485
/proc/meminfo: memFree=26844548/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=3.63 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 7852 0 1 0 359 4 0 0 20 0 19 0 291438468 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 18486 2267 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=3.02 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 2468 0 1 0 300 2 0 0 20 0 19 0 291438468 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733649170936 139733490013406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4469] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4469/stat : 4469 (java) S 4464 4466 1515 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733610662696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4470] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4470/stat : 4470 (java) S 4464 4466 1515 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733609609896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4471] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4471/stat : 4471 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733608557608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4472] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4472/stat : 4472 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733489413032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4473] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4473/stat : 4473 (java) S 4464 4466 1515 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733488359720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4474] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4474/stat : 4474 (java) S 4464 4466 1515 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733487306920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4475] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4475/stat : 4475 (java) S 4464 4466 1515 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733486254632 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4476] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4476/stat : 4476 (java) S 4464 4466 1515 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733485201832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4477] ppid=4464 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/4466/task/4477/stat : 4477 (java) S 4464 4466 1515 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 291438470 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733002873576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4478] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4478/stat : 4478 (java) S 4464 4466 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733001819640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4479] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4479/stat : 4479 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139733000767240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4480] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4480/stat : 4480 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139732999715728 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4481] ppid=4464 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/4466/task/4481/stat : 4481 (java) S 4464 4466 1515 0 -1 4202560 2471 0 0 0 26 0 0 0 20 0 19 0 291438474 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139732998662328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4482] ppid=4464 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/4466/task/4482/stat : 4482 (java) S 4464 4466 1515 0 -1 4202560 1642 0 0 0 23 0 0 0 20 0 19 0 291438474 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139732997609528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4483] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4483/stat : 4483 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139732996557432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4484] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4484/stat : 4484 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139732995504840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4485] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4485/stat : 4485 (java) S 4464 4466 1515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291438493 9855979520 18486 33554432000 1073741824 1073778376 140733683773616 139732994450856 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9624980

[startup+6.30075 s]
/proc/loadavg: 1.99 2.02 2.00 3/213 4485
/proc/meminfo: memFree=26771256/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=6.98 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 8662 0 1 0 690 8 0 0 20 0 19 0 291438468 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 30074 2268 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=6.13 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 2476 0 1 0 610 3 0 0 20 0 19 0 291438468 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733649170720 139733490094804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4469] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4469/stat : 4469 (java) S 4464 4466 1515 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733610662696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4470] ppid=4464 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/4466/task/4470/stat : 4470 (java) S 4464 4466 1515 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733609609896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4471] ppid=4464 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/4466/task/4471/stat : 4471 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733608557608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4472] ppid=4464 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/4466/task/4472/stat : 4472 (java) S 4464 4466 1515 0 -1 4202560 62 0 0 0 1 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733489413032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4473] ppid=4464 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/4466/task/4473/stat : 4473 (java) S 4464 4466 1515 0 -1 4202560 78 0 0 0 2 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733488359720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4474] ppid=4464 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/4466/task/4474/stat : 4474 (java) S 4464 4466 1515 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733487306920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4475] ppid=4464 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/4466/task/4475/stat : 4475 (java) S 4464 4466 1515 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733486254632 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4476] ppid=4464 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/4466/task/4476/stat : 4476 (java) S 4464 4466 1515 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 291438469 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733485201832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4477] ppid=4464 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/4466/task/4477/stat : 4477 (java) S 4464 4466 1515 0 -1 4202560 37 0 0 0 7 0 0 0 20 0 19 0 291438470 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733002873576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4478] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4478/stat : 4478 (java) S 4464 4466 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733001819640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4479] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4479/stat : 4479 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139733000767240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4480] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4480/stat : 4480 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139732999715728 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4481] ppid=4464 vsize=9624980 CPUtime=0.3 cores=0,2,4,6
/proc/4466/task/4481/stat : 4481 (java) S 4464 4466 1515 0 -1 4202560 3036 0 0 0 30 0 0 0 20 0 19 0 291438474 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139732998662328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4482] ppid=4464 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/4466/task/4482/stat : 4482 (java) S 4464 4466 1515 0 -1 4202560 1643 0 0 0 23 0 0 0 20 0 19 0 291438474 9855979520 30074 33554432000 1073741824 1073778376 140733683773616 139732997609528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=4466/tid=4474] ppid=4464 vsize=9624980 CPUtime=4.1 cores=0,2,4,6
/proc/4466/task/4474/stat : 4474 (java) S 4464 4466 1515 0 -1 4202560 2412 0 0 0 394 16 0 0 20 0 19 0 291438469 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139733487306920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4475] ppid=4464 vsize=9624980 CPUtime=4.02 cores=0,2,4,6
/proc/4466/task/4475/stat : 4475 (java) S 4464 4466 1515 0 -1 4202560 3318 0 0 0 380 22 0 0 20 0 19 0 291438469 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139733486254632 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4476] ppid=4464 vsize=9624980 CPUtime=4.02 cores=0,2,4,6
/proc/4466/task/4476/stat : 4476 (java) S 4464 4466 1515 0 -1 4202560 2516 0 0 0 385 17 0 0 20 0 19 0 291438469 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139733485201832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4477] ppid=4464 vsize=9624980 CPUtime=6.48 cores=0,2,4,6
/proc/4466/task/4477/stat : 4477 (java) S 4464 4466 1515 0 -1 4202560 1207 0 0 0 642 6 0 0 20 0 19 0 291438470 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139733002873576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4478] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4478/stat : 4478 (java) S 4464 4466 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139733001819640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4479] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4479/stat : 4479 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139733000767240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4480] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4480/stat : 4480 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139732999715728 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4481] ppid=4464 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/4466/task/4481/stat : 4481 (java) S 4464 4466 1515 0 -1 4202560 3475 0 0 0 32 0 0 0 20 0 19 0 291438474 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139732998662328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4482] ppid=4464 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/4466/task/4482/stat : 4482 (java) S 4464 4466 1515 0 -1 4202560 1643 0 0 0 23 0 0 0 20 0 19 0 291438474 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139732997609528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4483] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4483/stat : 4483 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139732996557432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4484] ppid=4464 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/4466/task/4484/stat : 4484 (java) S 4464 4466 1515 0 -1 4202560 93 0 0 0 35 22 0 0 20 0 19 0 291438474 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139732995504840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4485] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4485/stat : 4485 (java) S 4464 4466 1515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291438493 9855979520 162307 33554432000 1073741824 1073778376 140733683773616 139732994450856 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1626.39
Current children cumulated vsize (KiB) 9624980

[startup+1662.3 s]
/proc/loadavg: 2.10 2.09 2.03 3/214 4522
/proc/meminfo: memFree=25301880/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=1687.51 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 31174 0 1 0 168570 181 0 0 20 0 19 0 291438468 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 155497 2272 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=1645.66 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 2992 0 1 0 164534 32 0 0 20 0 19 0 291438468 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733649169776 139733489930195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4469] ppid=4464 vsize=9624980 CPUtime=4.33 cores=0,2,4,6
/proc/4466/task/4469/stat : 4469 (java) S 4464 4466 1515 0 -1 4202560 2964 0 0 0 415 18 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733610662696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4470] ppid=4464 vsize=9624980 CPUtime=4.24 cores=0,2,4,6
/proc/4466/task/4470/stat : 4470 (java) S 4464 4466 1515 0 -1 4202560 2303 0 0 0 408 16 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733609609896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4471] ppid=4464 vsize=9624980 CPUtime=4.2 cores=0,2,4,6
/proc/4466/task/4471/stat : 4471 (java) S 4464 4466 1515 0 -1 4202560 2592 0 0 0 402 18 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733608557608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4472] ppid=4464 vsize=9624980 CPUtime=4.33 cores=0,2,4,6
/proc/4466/task/4472/stat : 4472 (java) S 4464 4466 1515 0 -1 4202560 2288 0 0 0 413 20 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733489413032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4473] ppid=4464 vsize=9624980 CPUtime=4.45 cores=0,2,4,6
/proc/4466/task/4473/stat : 4473 (java) S 4464 4466 1515 0 -1 4202560 2155 0 0 0 424 21 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733488359720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4474] ppid=4464 vsize=9624980 CPUtime=4.3 cores=0,2,4,6
/proc/4466/task/4474/stat : 4474 (java) S 4464 4466 1515 0 -1 4202560 2419 0 0 0 413 17 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733487306920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4475] ppid=4464 vsize=9624980 CPUtime=4.22 cores=0,2,4,6
/proc/4466/task/4475/stat : 4475 (java) S 4464 4466 1515 0 -1 4202560 3325 0 0 0 400 22 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733486254632 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4476] ppid=4464 vsize=9624980 CPUtime=4.21 cores=0,2,4,6
/proc/4466/task/4476/stat : 4476 (java) S 4464 4466 1515 0 -1 4202560 2527 0 0 0 403 18 0 0 20 0 19 0 291438469 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733485201832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4477] ppid=4464 vsize=9624980 CPUtime=6.74 cores=0,2,4,6
/proc/4466/task/4477/stat : 4477 (java) S 4464 4466 1515 0 -1 4202560 1213 0 0 0 667 7 0 0 20 0 19 0 291438470 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733002873576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4478] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4478/stat : 4478 (java) S 4464 4466 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733001819640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4479] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4479/stat : 4479 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139733000767240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4480] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4480/stat : 4480 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139732999715728 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4481] ppid=4464 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/4466/task/4481/stat : 4481 (java) S 4464 4466 1515 0 -1 4202560 3475 0 0 0 32 0 0 0 20 0 19 0 291438474 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139732998662328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4482] ppid=4464 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/4466/task/4482/stat : 4482 (java) S 4464 4466 1515 0 -1 4202560 1643 0 0 0 23 0 0 0 20 0 19 0 291438474 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139732997609528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4483] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4483/stat : 4483 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139732996557432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4484] ppid=4464 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/4466/task/4484/stat : 4484 (java) S 4464 4466 1515 0 -1 4202560 95 0 0 0 36 23 0 0 20 0 19 0 291438474 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139732995504840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4485] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4485/stat : 4485 (java) S 4464 4466 1515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291438493 9855979520 155497 33554432000 1073741824 1073778376 140733683773616 139732994450856 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1687.51
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 2.03 3/214 4522
/proc/meminfo: memFree=25257704/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=1748.43 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 34500 0 1 0 174658 185 0 0 20 0 19 0 291438468 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 162349 2272 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=1705.1 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) S 4464 4466 1515 0 -1 4202560 3007 0 1 0 170478 32 0 0 20 0 19 0 291438468 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733649169576 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4469] ppid=4464 vsize=9624980 CPUtime=4.48 cores=0,2,4,6
/proc/4466/task/4469/stat : 4469 (java) R 4464 4466 1515 0 -1 4202560 2965 0 0 0 430 18 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733610662824 233411742855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4470] ppid=4464 vsize=9624980 CPUtime=4.44 cores=0,2,4,6
/proc/4466/task/4470/stat : 4470 (java) R 4464 4466 1515 0 -1 4202560 2924 0 0 0 428 16 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733609610024 233411742855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4471] ppid=4464 vsize=9624980 CPUtime=4.33 cores=0,2,4,6
/proc/4466/task/4471/stat : 4471 (java) R 4464 4466 1515 0 -1 4202560 3308 0 0 0 414 19 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733608557736 233411742855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4472] ppid=4464 vsize=9624980 CPUtime=4.52 cores=0,2,4,6
/proc/4466/task/4472/stat : 4472 (java) R 4464 4466 1515 0 -1 4202560 2498 0 0 0 432 20 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733489413160 233411742855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4473] ppid=4464 vsize=9624980 CPUtime=4.58 cores=0,2,4,6
/proc/4466/task/4473/stat : 4473 (java) R 4464 4466 1515 0 -1 4202560 2174 0 0 0 437 21 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733488359896 139733655679407 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4474] ppid=4464 vsize=9624980 CPUtime=4.44 cores=0,2,4,6
/proc/4466/task/4474/stat : 4474 (java) R 4464 4466 1515 0 -1 4202560 3006 0 0 0 427 17 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733487307048 233411742855 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4475] ppid=4464 vsize=9624980 CPUtime=4.4 cores=0,2,4,6
/proc/4466/task/4475/stat : 4475 (java) R 4464 4466 1515 0 -1 4202560 3731 0 0 0 418 22 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733486254808 233411742855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4476] ppid=4464 vsize=9624980 CPUtime=4.37 cores=0,2,4,6
/proc/4466/task/4476/stat : 4476 (java) R 4464 4466 1515 0 -1 4202560 3240 0 0 0 419 18 0 0 20 0 19 0 291438469 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733485202008 139733655679411 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4477] ppid=4464 vsize=9624980 CPUtime=6.93 cores=0,2,4,6
/proc/4466/task/4477/stat : 4477 (java) S 4464 4466 1515 0 -1 4202560 1247 0 0 0 686 7 0 0 20 0 19 0 291438470 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733002872456 233415160892 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4478] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4478/stat : 4478 (java) S 4464 4466 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733001819640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4479] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4479/stat : 4479 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139733000767240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4480] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4480/stat : 4480 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139732999715728 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4481] ppid=4464 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/4466/task/4481/stat : 4481 (java) S 4464 4466 1515 0 -1 4202560 3475 0 0 0 32 0 0 0 20 0 19 0 291438474 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139732998662328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4482] ppid=4464 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/4466/task/4482/stat : 4482 (java) S 4464 4466 1515 0 -1 4202560 1643 0 0 0 23 0 0 0 20 0 19 0 291438474 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139732997609528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4483] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4483/stat : 4483 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139732996557432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4484] ppid=4464 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/4466/task/4484/stat : 4484 (java) S 4464 4466 1515 0 -1 4202560 99 0 0 0 37 25 0 0 20 0 19 0 291438474 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139732995504840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4485] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4485/stat : 4485 (java) S 4464 4466 1515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291438493 9855979520 162349 33554432000 1073741824 1073778376 140733683773616 139732994450856 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1748.43
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.6 s]
/proc/loadavg: 1.96 2.05 2.02 3/214 4581
/proc/meminfo: memFree=26471928/32873844 swapFree=7108/7108
[pid=4466] ppid=4464 vsize=9624980 CPUtime=1800.05 cores=0,2,4,6
/proc/4466/stat : 4466 (java) S 4464 4466 1515 0 -1 4202496 34545 0 1 0 179819 186 0 0 20 0 19 0 291438468 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 140733683764752 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4466/statm: 2406245 163884 2272 9 0 2396937 0
[pid=4466/tid=4467] ppid=4464 vsize=9624980 CPUtime=1754.78 cores=0,2,4,6
/proc/4466/task/4467/stat : 4467 (java) R 4464 4466 1515 0 -1 4202560 3023 0 1 0 175445 33 0 0 20 0 19 0 291438468 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733649169776 139733489930259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4469] ppid=4464 vsize=9624980 CPUtime=4.66 cores=0,2,4,6
/proc/4466/task/4469/stat : 4469 (java) S 4464 4466 1515 0 -1 4202560 2965 0 0 0 448 18 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733610662696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4470] ppid=4464 vsize=9624980 CPUtime=4.64 cores=0,2,4,6
/proc/4466/task/4470/stat : 4470 (java) S 4464 4466 1515 0 -1 4202560 2927 0 0 0 448 16 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733609609896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4471] ppid=4464 vsize=9624980 CPUtime=4.59 cores=0,2,4,6
/proc/4466/task/4471/stat : 4471 (java) S 4464 4466 1515 0 -1 4202560 3310 0 0 0 440 19 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733608557608 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4472] ppid=4464 vsize=9624980 CPUtime=4.74 cores=0,2,4,6
/proc/4466/task/4472/stat : 4472 (java) S 4464 4466 1515 0 -1 4202560 2499 0 0 0 454 20 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733489413032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4473] ppid=4464 vsize=9624980 CPUtime=4.86 cores=0,2,4,6
/proc/4466/task/4473/stat : 4473 (java) S 4464 4466 1515 0 -1 4202560 2177 0 0 0 465 21 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733488359720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4474] ppid=4464 vsize=9624980 CPUtime=4.64 cores=0,2,4,6
/proc/4466/task/4474/stat : 4474 (java) S 4464 4466 1515 0 -1 4202560 3006 0 0 0 447 17 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733487306920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4475] ppid=4464 vsize=9624980 CPUtime=4.65 cores=0,2,4,6
/proc/4466/task/4475/stat : 4475 (java) S 4464 4466 1515 0 -1 4202560 3732 0 0 0 442 23 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733486254632 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4476] ppid=4464 vsize=9624980 CPUtime=4.61 cores=0,2,4,6
/proc/4466/task/4476/stat : 4476 (java) S 4464 4466 1515 0 -1 4202560 3242 0 0 0 442 19 0 0 20 0 19 0 291438469 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733485201832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4477] ppid=4464 vsize=9624980 CPUtime=7.07 cores=0,2,4,6
/proc/4466/task/4477/stat : 4477 (java) S 4464 4466 1515 0 -1 4202560 1260 0 0 0 700 7 0 0 20 0 19 0 291438470 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733002873576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4478] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4478/stat : 4478 (java) S 4464 4466 1515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733001819640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4479] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4479/stat : 4479 (java) S 4464 4466 1515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291438471 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139733000767240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4480] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4480/stat : 4480 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139732999715728 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4466/tid=4481] ppid=4464 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/4466/task/4481/stat : 4481 (java) S 4464 4466 1515 0 -1 4202560 3475 0 0 0 32 0 0 0 20 0 19 0 291438474 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139732998662328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4466/tid=4482] ppid=4464 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/4466/task/4482/stat : 4482 (java) S 4464 4466 1515 0 -1 4202560 1643 0 0 0 23 0 0 0 20 0 19 0 291438474 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139732997609528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4483] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4483/stat : 4483 (java) S 4464 4466 1515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291438474 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139732996557432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4466/tid=4484] ppid=4464 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/4466/task/4484/stat : 4484 (java) S 4464 4466 1515 0 -1 4202560 103 0 0 0 38 25 0 0 20 0 19 0 291438474 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139732995504840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4466/tid=4485] ppid=4464 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4466/task/4485/stat : 4485 (java) S 4464 4466 1515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291438493 9855979520 163884 33554432000 1073741824 1073778376 140733683773616 139732994450856 233415161769 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): 1772.67
CPU time (s): 1800.8
CPU user time (s): 1798.47
CPU system time (s): 2.33065
CPU usage (%): 101.587
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 2.33065
maximum resident set size= 872128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34585
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53139
involuntary context switches= 72365

runsolver used 6.17106 second user time and 14.7938 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-29 02:58:35
IDJOB=3718466
IDBENCH=79168
IDSOLVER=2301
FILE ID=node111/3718466-1338253115
RUNJOBID= node111-1338247712-3767
PBS_JOBID= 14624644
Free space on /tmp= 67816 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718466-1338253115/watcher-3718466-1338253115 -o /tmp/evaluation-result-3718466-1338253115/solver-3718466-1338253115 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718466-1338253115.wbo

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

MD5SUM BENCH= cab96e9f0187cae75501af3130753b71
RANDOM SEED=1333897164

node111.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.152
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.30
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.152
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.152
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.152
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.152
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.91
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.152
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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26907020 kB
Buffers:          603588 kB
Cached:          4115460 kB
SwapCached:         1600 kB
Active:          4419252 kB
Inactive:         579244 kB
Active(anon):     272488 kB
Inactive(anon):     7732 kB
Active(file):    4146764 kB
Inactive(file):   571512 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67103492 kB
Dirty:               488 kB
Writeback:             0 kB
AnonPages:        285432 kB
Mapped:            22488 kB
Shmem:                 8 kB
Slab:             826560 kB
SReclaimable:     268896 kB
SUnreclaim:       557664 kB
KernelStack:        1600 kB
PageTables:         4784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     699292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 67816 MiB
End job on node111 at 2012-05-29 03:28:10