Trace number 3718386

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.05 1758.07

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM02fb8a7818433044fe5d5a9a278599da
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.792879
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2520
Total number of constraints142
Number of soft constraints142
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
Top cost 7086
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7085
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 37
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.2.v20120528
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/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-3718386-1338253057.wbo
0.09/0.11	c reading problem ... 
0.27/0.23	c ... done. Wall clock time 0.116s.
0.27/0.23	c declared #vars     2520
0.27/0.23	c internal #vars     2662
0.27/0.23	c #constraints  142
0.27/0.23	c constraints type 
0.27/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 72
0.27/0.23	c ignored satisfied constraints => 1
0.27/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.27/0.23	c 143 constraints processed.
0.27/0.23	c objective function length is 142 literals
0.53/0.36	c SATISFIABLE
0.53/0.36	c OPTIMIZING...
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.244
0.53/0.36	o 119
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.272
0.53/0.39	o 95
0.77/0.44	c Got one! Elapsed wall clock time (in seconds):0.328
0.77/0.44	o 92
0.94/0.51	c Got one! Elapsed wall clock time (in seconds):0.401
0.94/0.51	o 79
0.94/0.58	c Got one! Elapsed wall clock time (in seconds):0.471
0.94/0.58	o 59
1.08/0.66	c Got one! Elapsed wall clock time (in seconds):0.542
1.08/0.66	o 24
1.48/0.80	c cleaning 3639 clauses out of 7304 with flag 9703/7304
1.48/0.87	c Got one! Elapsed wall clock time (in seconds):0.756
1.48/0.87	o 21
1.60/0.98	c Got one! Elapsed wall clock time (in seconds):0.869
1.60/0.98	o 5
1.84/1.15	c cleaning 4364 clauses out of 8747 with flag 12386/12386
2.23/1.50	c cleaning 5173 clauses out of 10385 with flag 48327/18388
2.86/2.20	c cleaning 5880 clauses out of 12211 with flag 101197/25387
3.72/2.90	c cleaning 7162 clauses out of 14330 with flag 155502/33386
4.64/3.88	c cleaning 8018 clauses out of 16168 with flag 222790/42386
5.95/5.14	c cleaning 9076 clauses out of 18152 with flag 313576/52388
7.39/6.56	c cleaning 9971 clauses out of 20075 with flag 392891/63387
8.90/8.07	c cleaning 11029 clauses out of 22103 with flag 483429/75386
10.21/9.31	c cleaning 11970 clauses out of 24074 with flag 568332/88386
11.74/10.85	c cleaning 13007 clauses out of 26104 with flag 663969/102386
13.68/12.72	c cleaning 13959 clauses out of 28098 with flag 768716/117387
15.21/14.24	c cleaning 14975 clauses out of 30140 with flag 884590/133388
17.63/16.62	c cleaning 16045 clauses out of 32163 with flag 1009991/150386
21.27/20.25	c cleaning 17052 clauses out of 34121 with flag 1150634/168389
23.22/22.17	c cleaning 18003 clauses out of 36067 with flag 1280674/187387
27.13/26.05	c cleaning 18816 clauses out of 38063 with flag 1433260/207386
30.72/29.56	c cleaning 19917 clauses out of 40250 with flag 1601099/228389
35.06/33.81	c cleaning 21154 clauses out of 42330 with flag 1777538/250386
37.92/36.69	c cleaning 22044 clauses out of 44176 with flag 1959925/273386
41.16/39.83	c cleaning 23042 clauses out of 46136 with flag 2129083/297390
44.80/43.49	c cleaning 24006 clauses out of 48091 with flag 2311042/322387
51.36/49.91	c cleaning 25035 clauses out of 50084 with flag 2510953/348386
58.34/56.86	c cleaning 26014 clauses out of 52049 with flag 2681081/375386
62.37/60.84	c cleaning 26977 clauses out of 54041 with flag 2882498/403392
66.94/65.38	c cleaning 28009 clauses out of 56059 with flag 3108824/432387
72.80/71.15	c cleaning 29014 clauses out of 58050 with flag 3352733/462387
77.77/76.03	c cleaning 29999 clauses out of 60035 with flag 3591422/493386
84.73/82.91	c cleaning 31009 clauses out of 62037 with flag 3832131/525387
92.80/90.99	c cleaning 32007 clauses out of 64028 with flag 4096907/558387
100.35/98.42	c cleaning 33001 clauses out of 66020 with flag 4374323/592386
105.70/103.78	c cleaning 33934 clauses out of 68020 with flag 4636958/627387
112.28/110.20	c cleaning 34967 clauses out of 70085 with flag 4889246/663386
122.16/120.00	c cleaning 36045 clauses out of 72119 with flag 5167911/700387
135.00/132.75	c cleaning 37030 clauses out of 74073 with flag 5500312/738386
147.79/145.21	c cleaning 38005 clauses out of 76046 with flag 5811756/777389
161.66/158.97	c cleaning 38995 clauses out of 78038 with flag 6131307/817386
180.54/177.67	c cleaning 40016 clauses out of 80045 with flag 6565420/858388
196.24/193.03	c cleaning 41006 clauses out of 82028 with flag 6946198/900387
217.59/213.81	c cleaning 42007 clauses out of 84021 with flag 7339222/943386
240.67/236.48	c cleaning 43001 clauses out of 86014 with flag 7728715/987386
257.21/252.32	c cleaning 43916 clauses out of 88014 with flag 8098896/1032387
278.37/273.08	c cleaning 45030 clauses out of 90098 with flag 8508872/1078387
295.47/289.97	c cleaning 45847 clauses out of 92067 with flag 8900848/1125386
312.54/306.82	c cleaning 46928 clauses out of 94221 with flag 9321287/1173387
327.42/321.43	c cleaning 48138 clauses out of 96293 with flag 9703944/1222387
349.79/343.47	c cleaning 49062 clauses out of 98155 with flag 10112731/1272387
373.81/367.01	c cleaning 50032 clauses out of 100094 with flag 10535170/1323388
382.93/375.32	c cleaning 51002 clauses out of 102061 with flag 10887138/1375387
394.74/386.81	c cleaning 52018 clauses out of 104060 with flag 11263652/1428388
407.88/399.77	c cleaning 52996 clauses out of 106040 with flag 11713540/1482386
420.49/412.10	c cleaning 54006 clauses out of 108045 with flag 12130864/1537387
444.75/436.19	c cleaning 55001 clauses out of 110040 with flag 12514005/1593388
457.94/448.87	c cleaning 55975 clauses out of 112037 with flag 12948247/1650386
487.51/477.93	c cleaning 57008 clauses out of 114065 with flag 13378557/1708389
510.58/500.53	c cleaning 58000 clauses out of 116055 with flag 13929379/1767387
538.72/527.92	c cleaning 59013 clauses out of 118054 with flag 14350980/1827386
567.02/555.35	c cleaning 60008 clauses out of 120043 with flag 14846384/1888388
598.63/586.11	c cleaning 61003 clauses out of 122034 with flag 15354474/1950387
615.07/601.94	c cleaning 61936 clauses out of 124030 with flag 15828491/2013386
632.85/618.88	c cleaning 62945 clauses out of 126095 with flag 16301293/2077387
670.26/655.47	c cleaning 64072 clauses out of 128150 with flag 16791030/2142387
739.42/723.01	c cleaning 65028 clauses out of 130077 with flag 17284381/2208386
805.07/787.28	c cleaning 66019 clauses out of 132050 with flag 17845523/2275387
862.48/843.36	c cleaning 67014 clauses out of 134035 with flag 18528379/2343391
917.78/897.61	c cleaning 67991 clauses out of 136016 with flag 19132271/2412386
966.07/945.03	c cleaning 69007 clauses out of 138028 with flag 19779076/2482389
1030.72/1008.30	c cleaning 70005 clauses out of 140018 with flag 20510172/2553386
1088.81/1065.17	c cleaning 71003 clauses out of 142013 with flag 21204776/2625386
1120.18/1095.83	c cleaning 71936 clauses out of 144013 with flag 21799983/2698389
1155.09/1130.00	c cleaning 72970 clauses out of 146074 with flag 22517635/2772386
1188.03/1162.30	c cleaning 73983 clauses out of 148105 with flag 23304632/2847387
1230.35/1203.29	c cleaning 74983 clauses out of 150121 with flag 24129229/2923386
1262.06/1234.01	c cleaning 76056 clauses out of 152138 with flag 24917587/3000386
1288.48/1259.41	c cleaning 77032 clauses out of 154083 with flag 25584833/3078387
1323.99/1294.08	c cleaning 78004 clauses out of 156050 with flag 26211730/3157386
1352.32/1321.64	c cleaning 79003 clauses out of 158046 with flag 26843250/3237386
1377.05/1345.83	c cleaning 80012 clauses out of 160043 with flag 27588105/3318386
1413.53/1381.73	c cleaning 81003 clauses out of 162031 with flag 28281870/3400386
1442.29/1408.60	c cleaning 82003 clauses out of 164030 with flag 29022421/3483388
1494.90/1460.14	c cleaning 83001 clauses out of 166026 with flag 29751065/3567387
1553.71/1517.60	c cleaning 83994 clauses out of 168026 with flag 30395407/3652388
1599.01/1561.77	c cleaning 85004 clauses out of 170031 with flag 30918336/3738387
1659.42/1620.43	c cleaning 86006 clauses out of 172029 with flag 31521814/3825389
1714.27/1674.44	c cleaning 86998 clauses out of 174021 with flag 32151121/3913387
1756.11/1715.16	c cleaning 88000 clauses out of 176024 with flag 32754723/4002388
1800.05/1758.01	c starts		: 261
1800.05/1758.01	c conflicts		: 4087555
1800.05/1758.01	c decisions		: 5502273
1800.05/1758.01	c propagations		: 109677648
1800.05/1758.01	c inspects		: 15604864524
1800.05/1758.01	c shortcuts		: 0
1800.05/1758.01	c learnt literals	: 0
1800.05/1758.01	c learnt binary clauses	: 0
1800.05/1758.01	c learnt ternary clauses	: 0
1800.05/1758.01	c learnt constraints	: 4087555
1800.05/1758.01	c ignored constraints	: 0
1800.05/1758.01	c root simplifications	: 0
1800.05/1758.01	c removed literals (reason simplification)	: 0
1800.05/1758.01	c reason swapping (by a shorter reason)	: 0
1800.05/1758.01	c Calls to reduceDB	: 86
1800.05/1758.01	c Number of update (reduction) of LBD	: 2514568
1800.05/1758.01	c number of reductions to clauses (during analyze)	: 0
1800.05/1758.01	c number of learned constraints concerned by reduction	: 0
1800.05/1758.01	c number of learning phase by resolution	: 0
1800.05/1758.01	c number of learning phase by cutting planes	: 0
1800.05/1758.01	c speed (assignments/second)	: 62395.83290665684
1800.05/1758.01	c non guided choices	143956
1800.05/1758.04	c learnt constraints type 
1800.05/1758.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 173202
1800.05/1758.04	c constraints type 
1800.05/1758.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 72
1800.05/1758.04	c ignored satisfied constraints => 1
1800.05/1758.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
1800.05/1758.04	c 144 constraints processed.
1800.05/1758.04	s SATISFIABLE
1800.05/1758.05	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 
1800.05/1758.06	c objective function=5
1800.05/1758.06	c Total wall clock time (in seconds): 1757.942

Verifier Data 

OK	5

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-3718386-1338253057/watcher-3718386-1338253057 -o /tmp/evaluation-result-3718386-1338253057/solver-3718386-1338253057 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718386-1338253057.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.13 2.15 2.05 3/194 9879
/proc/meminfo: memFree=30864028/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9879/stat : 9879 (java) D 9877 9879 6647 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291430053 9515008 182 33554432000 1073741824 1073778376 140734113112816 140734113103848 209883840181 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/9879/statm: 2323 182 140 9 0 71 0

[startup+0.0646949 s]
/proc/loadavg: 2.13 2.15 2.05 3/194 9879
/proc/meminfo: memFree=30864028/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9558380 CPUtime=0.04 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 3160 0 1 0 3 1 0 0 20 0 18 0 291430053 9787781120 4368 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2389595 4369 1745 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558380

[startup+0.10033 s]
/proc/loadavg: 2.13 2.15 2.05 3/194 9879
/proc/meminfo: memFree=30864028/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 4280 0 1 0 8 1 0 0 20 0 18 0 291430053 9787817984 5465 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2389604 5467 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300275 s]
/proc/loadavg: 2.13 2.15 2.05 3/194 9879
/proc/meminfo: memFree=30864028/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 6324 0 1 0 52 1 0 0 20 0 19 0 291430053 9855979520 8366 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 8366 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980

[startup+0.700301 s]
/proc/loadavg: 2.13 2.15 2.05 3/194 9879
/proc/meminfo: memFree=30864028/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=1.34 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 11024 0 1 0 132 2 0 0 20 0 19 0 291430053 9855979520 12285 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 12285 2239 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9624980

[startup+1.50067 s]
/proc/loadavg: 2.13 2.15 2.05 3/213 9898
/proc/meminfo: memFree=30810144/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=2.23 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 11217 0 1 0 220 3 0 0 20 0 19 0 291430053 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 17568 2267 9 0 2396937 0
[pid=9879/tid=9881] ppid=9877 vsize=9624980 CPUtime=1.42 cores=1,3,5,7
/proc/9879/task/9881/stat : 9881 (java) R 9877 9879 6647 0 -1 4202560 2472 0 1 0 141 1 0 0 20 0 19 0 291430054 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218056515992 140217881965931 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9882] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9882/stat : 9882 (java) S 9877 9879 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218018007208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9883] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9883/stat : 9883 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218016954664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9884] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9884/stat : 9884 (java) S 9877 9879 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218015902120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9885] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9885/stat : 9885 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218014849576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9886] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9886/stat : 9886 (java) S 9877 9879 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218013797032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9887] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9887/stat : 9887 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218012744488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9888] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9888/stat : 9888 (java) S 9877 9879 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218011691944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9889] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9889/stat : 9889 (java) S 9877 9879 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140218010639400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9890] ppid=9877 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/9879/task/9890/stat : 9890 (java) S 9877 9879 6647 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291430056 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217880139880 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9891] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9891/stat : 9891 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217879086200 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9892] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9892/stat : 9892 (java) S 9877 9879 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217878033544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9893] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9893/stat : 9893 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217876982288 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9894] ppid=9877 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/9879/task/9894/stat : 9894 (java) S 9877 9879 6647 0 -1 4202560 2911 0 0 0 33 0 0 0 20 0 19 0 291430059 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217875929656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9895] ppid=9877 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/9879/task/9895/stat : 9895 (java) S 9877 9879 6647 0 -1 4202560 4576 0 0 0 39 0 0 0 20 0 19 0 291430059 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217874877112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9896] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9896/stat : 9896 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217873824760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9897] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9897/stat : 9897 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217872772424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9898] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9898/stat : 9898 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430077 9855979520 17568 33554432000 1073741824 1073778376 140735835964976 140217871717160 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9624980

[startup+3.10077 s]
/proc/loadavg: 2.13 2.15 2.05 3/213 9898
/proc/meminfo: memFree=30799408/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=3.94 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 11939 0 1 0 389 5 0 0 20 0 19 0 291430053 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 19666 2267 9 0 2396937 0
[pid=9879/tid=9881] ppid=9877 vsize=9624980 CPUtime=2.95 cores=1,3,5,7
/proc/9879/task/9881/stat : 9881 (java) R 9877 9879 6647 0 -1 4202560 2473 0 1 0 294 1 0 0 20 0 19 0 291430054 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218056515872 140217881696262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9882] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9882/stat : 9882 (java) S 9877 9879 6647 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218018007208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9883] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9883/stat : 9883 (java) S 9877 9879 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218016954664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9884] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9884/stat : 9884 (java) S 9877 9879 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218015902120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9885] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9885/stat : 9885 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218014849576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9886] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9886/stat : 9886 (java) S 9877 9879 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218013797032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9887] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9887/stat : 9887 (java) S 9877 9879 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218012744488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9888] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9888/stat : 9888 (java) S 9877 9879 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218011691944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9889] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9889/stat : 9889 (java) S 9877 9879 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140218010639400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9890] ppid=9877 vsize=9624980 CPUtime=0.06 cores=1,3,5,7
/proc/9879/task/9890/stat : 9890 (java) S 9877 9879 6647 0 -1 4202560 39 0 0 0 6 0 0 0 20 0 19 0 291430056 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217880139880 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9891] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9891/stat : 9891 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217879086200 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9892] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9892/stat : 9892 (java) S 9877 9879 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217878033544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9893] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9893/stat : 9893 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217876982288 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9894] ppid=9877 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/9879/task/9894/stat : 9894 (java) S 9877 9879 6647 0 -1 4202560 3597 0 0 0 39 0 0 0 20 0 19 0 291430059 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217875929656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9895] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9895/stat : 9895 (java) S 9877 9879 6647 0 -1 4202560 4585 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217874877112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9896] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9896/stat : 9896 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217873824760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9897] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9897/stat : 9897 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217872772424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9898] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9898/stat : 9898 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430077 9855979520 19666 33554432000 1073741824 1073778376 140735835964976 140217871717160 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9624980

[startup+6.30074 s]
/proc/loadavg: 2.12 2.15 2.05 3/213 9898
/proc/meminfo: memFree=30774468/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=7.18 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 11971 0 1 0 712 6 0 0 20 0 19 0 291430053 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 24145 2267 9 0 2396937 0
[pid=9879/tid=9881] ppid=9877 vsize=9624980 CPUtime=6.09 cores=1,3,5,7
/proc/9879/task/9881/stat : 9881 (java) R 9877 9879 6647 0 -1 4202560 2478 0 1 0 608 1 0 0 20 0 19 0 291430054 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218056515872 140217881775855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9882] ppid=9877 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/9879/task/9882/stat : 9882 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218018007208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9883] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9883/stat : 9883 (java) S 9877 9879 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218016954664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9884] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9884/stat : 9884 (java) S 9877 9879 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218015902120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9885] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9885/stat : 9885 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218014849576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9886] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9886/stat : 9886 (java) S 9877 9879 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218013797032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9887] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9887/stat : 9887 (java) S 9877 9879 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218012744488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9888] ppid=9877 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/9879/task/9888/stat : 9888 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218011691944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9889] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9889/stat : 9889 (java) S 9877 9879 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430055 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140218010639400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9890] ppid=9877 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/9879/task/9890/stat : 9890 (java) S 9877 9879 6647 0 -1 4202560 40 0 0 0 10 0 0 0 20 0 19 0 291430056 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217880139880 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9891] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9891/stat : 9891 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217879086200 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9892] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9892/stat : 9892 (java) S 9877 9879 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217878033544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9893] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9893/stat : 9893 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217876982288 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9894] ppid=9877 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/9879/task/9894/stat : 9894 (java) S 9877 9879 6647 0 -1 4202560 3597 0 0 0 39 0 0 0 20 0 19 0 291430059 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217875929656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9895] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9895/stat : 9895 (java) S 9877 9879 6647 0 -1 4202560 4585 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217874877112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9896] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9896/stat : 9896 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217873824760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9897] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9897/stat : 9897 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217872772424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9898] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9898/stat : 9898 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430077 9855979520 24145 33554432000 1073741824 1073778376 140735835964976 140217871717160 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

[pid=9879/tid=9894] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9894/stat : 9894 (java) S 9877 9879 6647 0 -1 4202560 3600 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 128921 33554432000 1073741824 1073778376 140735835964976 140217875929656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9895] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9895/stat : 9895 (java) S 9877 9879 6647 0 -1 4202560 4585 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 128921 33554432000 1073741824 1073778376 140735835964976 140217874877112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9896] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9896/stat : 9896 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 128921 33554432000 1073741824 1073778376 140735835964976 140217873824760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9897] ppid=9877 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/9879/task/9897/stat : 9897 (java) S 9877 9879 6647 0 -1 4202560 91 0 0 0 34 33 0 0 20 0 19 0 291430059 9855979520 128921 33554432000 1073741824 1073778376 140735835964976 140217872772424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9898] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9898/stat : 9898 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430077 9855979520 128921 33554432000 1073741824 1073778376 140735835964976 140217871717160 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1640.92
Current children cumulated vsize (KiB) 9624980

[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.09 3/214 10709
/proc/meminfo: memFree=30193100/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=1702.07 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 61072 0 1 0 169938 269 0 0 20 0 19 0 291430053 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 128424 2268 9 0 2396937 0
[pid=9879/tid=9881] ppid=9877 vsize=9624980 CPUtime=1635.11 cores=1,3,5,7
/proc/9879/task/9881/stat : 9881 (java) R 9877 9879 6647 0 -1 4202560 3527 0 1 0 163479 32 0 0 20 0 19 0 291430054 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218056514912 140217881696274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9882] ppid=9877 vsize=9624980 CPUtime=6.76 cores=1,3,5,7
/proc/9879/task/9882/stat : 9882 (java) S 9877 9879 6647 0 -1 4202560 7554 0 0 0 649 27 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218018007208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9883] ppid=9877 vsize=9624980 CPUtime=6.85 cores=1,3,5,7
/proc/9879/task/9883/stat : 9883 (java) S 9877 9879 6647 0 -1 4202560 6014 0 0 0 654 31 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218016954664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9884] ppid=9877 vsize=9624980 CPUtime=7.02 cores=1,3,5,7
/proc/9879/task/9884/stat : 9884 (java) S 9877 9879 6647 0 -1 4202560 5664 0 0 0 676 26 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218015902120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9885] ppid=9877 vsize=9624980 CPUtime=6.76 cores=1,3,5,7
/proc/9879/task/9885/stat : 9885 (java) S 9877 9879 6647 0 -1 4202560 6658 0 0 0 651 25 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218014849576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9886] ppid=9877 vsize=9624980 CPUtime=6.82 cores=1,3,5,7
/proc/9879/task/9886/stat : 9886 (java) S 9877 9879 6647 0 -1 4202560 5510 0 0 0 659 23 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218013797032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9887] ppid=9877 vsize=9624980 CPUtime=6.67 cores=1,3,5,7
/proc/9879/task/9887/stat : 9887 (java) S 9877 9879 6647 0 -1 4202560 4227 0 0 0 642 25 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218012744488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9888] ppid=9877 vsize=9624980 CPUtime=6.66 cores=1,3,5,7
/proc/9879/task/9888/stat : 9888 (java) S 9877 9879 6647 0 -1 4202560 4959 0 0 0 641 25 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218011691944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9889] ppid=9877 vsize=9624980 CPUtime=6.63 cores=1,3,5,7
/proc/9879/task/9889/stat : 9889 (java) S 9877 9879 6647 0 -1 4202560 6265 0 0 0 638 25 0 0 20 0 19 0 291430055 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140218010639400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9890] ppid=9877 vsize=9624980 CPUtime=6.91 cores=1,3,5,7
/proc/9879/task/9890/stat : 9890 (java) S 9877 9879 6647 0 -1 4202560 1230 0 0 0 677 14 0 0 20 0 19 0 291430056 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217880139880 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9891] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9891/stat : 9891 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217879086200 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9892] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9892/stat : 9892 (java) S 9877 9879 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217878033544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9893] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9893/stat : 9893 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217876982288 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9894] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9894/stat : 9894 (java) S 9877 9879 6647 0 -1 4202560 3600 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217875929656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9895] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9895/stat : 9895 (java) S 9877 9879 6647 0 -1 4202560 4585 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217874877112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9896] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9896/stat : 9896 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217873824760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9897] ppid=9877 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/9879/task/9897/stat : 9897 (java) S 9877 9879 6647 0 -1 4202560 93 0 0 0 35 35 0 0 20 0 19 0 291430059 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217872772424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9898] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9898/stat : 9898 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430077 9855979520 128424 33554432000 1073741824 1073778376 140735835964976 140217871717160 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1702.07
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.11 2.18 2.09 4/214 10709
/proc/meminfo: memFree=29866916/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=1763.57 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 62061 0 1 0 176081 276 0 0 20 0 19 0 291430053 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 135620 2268 9 0 2396937 0
[pid=9879/tid=9881] ppid=9877 vsize=9624980 CPUtime=1693.99 cores=1,3,5,7
/proc/9879/task/9881/stat : 9881 (java) R 9877 9879 6647 0 -1 4202560 3563 0 1 0 169365 34 0 0 20 0 19 0 291430054 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218056514912 140217881775219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9882] ppid=9877 vsize=9624980 CPUtime=7 cores=1,3,5,7
/proc/9879/task/9882/stat : 9882 (java) S 9877 9879 6647 0 -1 4202560 7564 0 0 0 672 28 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218018007208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9883] ppid=9877 vsize=9624980 CPUtime=7.13 cores=1,3,5,7
/proc/9879/task/9883/stat : 9883 (java) S 9877 9879 6647 0 -1 4202560 6069 0 0 0 682 31 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218016954664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9884] ppid=9877 vsize=9624980 CPUtime=7.29 cores=1,3,5,7
/proc/9879/task/9884/stat : 9884 (java) S 9877 9879 6647 0 -1 4202560 5834 0 0 0 702 27 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218015902120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9885] ppid=9877 vsize=9624980 CPUtime=7.03 cores=1,3,5,7
/proc/9879/task/9885/stat : 9885 (java) S 9877 9879 6647 0 -1 4202560 6740 0 0 0 677 26 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218014849576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9886] ppid=9877 vsize=9624980 CPUtime=7.08 cores=1,3,5,7
/proc/9879/task/9886/stat : 9886 (java) S 9877 9879 6647 0 -1 4202560 5865 0 0 0 683 25 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218013797032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9887] ppid=9877 vsize=9624980 CPUtime=6.91 cores=1,3,5,7
/proc/9879/task/9887/stat : 9887 (java) S 9877 9879 6647 0 -1 4202560 4232 0 0 0 666 25 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218012744488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9888] ppid=9877 vsize=9624980 CPUtime=6.92 cores=1,3,5,7
/proc/9879/task/9888/stat : 9888 (java) S 9877 9879 6647 0 -1 4202560 5009 0 0 0 667 25 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218011691944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9889] ppid=9877 vsize=9624980 CPUtime=6.91 cores=1,3,5,7
/proc/9879/task/9889/stat : 9889 (java) S 9877 9879 6647 0 -1 4202560 6455 0 0 0 666 25 0 0 20 0 19 0 291430055 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140218010639400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9890] ppid=9877 vsize=9624980 CPUtime=7.25 cores=1,3,5,7
/proc/9879/task/9890/stat : 9890 (java) S 9877 9879 6647 0 -1 4202560 1262 0 0 0 711 14 0 0 20 0 19 0 291430056 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217880139880 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9891] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9891/stat : 9891 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217879086200 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9892] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9892/stat : 9892 (java) S 9877 9879 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217878033544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9893] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9893/stat : 9893 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217876982288 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9894] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9894/stat : 9894 (java) S 9877 9879 6647 0 -1 4202560 3600 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217875929656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9895] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9895/stat : 9895 (java) S 9877 9879 6647 0 -1 4202560 4585 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217874877112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9896] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9896/stat : 9896 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217873824760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9897] ppid=9877 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/9879/task/9897/stat : 9897 (java) S 9877 9879 6647 0 -1 4202560 97 0 0 0 37 35 0 0 20 0 19 0 291430059 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217872772424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9898] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9898/stat : 9898 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430077 9855979520 135620 33554432000 1073741824 1073778376 140735835964976 140217871717160 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1763.57
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1758 s]
/proc/loadavg: 2.06 2.16 2.08 4/214 10709
/proc/meminfo: memFree=29857044/32873844 swapFree=7632/7632
[pid=9879] ppid=9877 vsize=9624980 CPUtime=1800.05 cores=1,3,5,7
/proc/9879/stat : 9879 (java) S 9877 9879 6647 0 -1 4202496 63450 0 1 0 179726 279 0 0 20 0 19 0 291430053 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140735835956112 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9879/statm: 2406245 137658 2268 9 0 2396937 0
[pid=9879/tid=9881] ppid=9877 vsize=9624980 CPUtime=1729.28 cores=1,3,5,7
/proc/9879/task/9881/stat : 9881 (java) R 9877 9879 6647 0 -1 4202560 3582 0 1 0 172893 35 0 0 20 0 19 0 291430054 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218056514784 140217881696033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9882] ppid=9877 vsize=9624980 CPUtime=7.12 cores=1,3,5,7
/proc/9879/task/9882/stat : 9882 (java) S 9877 9879 6647 0 -1 4202560 7729 0 0 0 684 28 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218018007208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9883] ppid=9877 vsize=9624980 CPUtime=7.29 cores=1,3,5,7
/proc/9879/task/9883/stat : 9883 (java) S 9877 9879 6647 0 -1 4202560 6405 0 0 0 697 32 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218016954664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9884] ppid=9877 vsize=9624980 CPUtime=7.41 cores=1,3,5,7
/proc/9879/task/9884/stat : 9884 (java) S 9877 9879 6647 0 -1 4202560 5871 0 0 0 714 27 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218015902120 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9885] ppid=9877 vsize=9624980 CPUtime=7.16 cores=1,3,5,7
/proc/9879/task/9885/stat : 9885 (java) S 9877 9879 6647 0 -1 4202560 7061 0 0 0 690 26 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218014849576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9886] ppid=9877 vsize=9624980 CPUtime=7.27 cores=1,3,5,7
/proc/9879/task/9886/stat : 9886 (java) S 9877 9879 6647 0 -1 4202560 6024 0 0 0 702 25 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218013797032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9879/tid=9887] ppid=9877 vsize=9624980 CPUtime=7.05 cores=1,3,5,7
/proc/9879/task/9887/stat : 9887 (java) S 9877 9879 6647 0 -1 4202560 4287 0 0 0 680 25 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218012744488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9888] ppid=9877 vsize=9624980 CPUtime=7.01 cores=1,3,5,7
/proc/9879/task/9888/stat : 9888 (java) S 9877 9879 6647 0 -1 4202560 5014 0 0 0 676 25 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218011691944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9889] ppid=9877 vsize=9624980 CPUtime=7.05 cores=1,3,5,7
/proc/9879/task/9889/stat : 9889 (java) S 9877 9879 6647 0 -1 4202560 6727 0 0 0 679 26 0 0 20 0 19 0 291430055 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140218010639400 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9890] ppid=9877 vsize=9624980 CPUtime=7.26 cores=1,3,5,7
/proc/9879/task/9890/stat : 9890 (java) S 9877 9879 6647 0 -1 4202560 1280 0 0 0 712 14 0 0 20 0 19 0 291430056 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217880139880 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9891] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9891/stat : 9891 (java) S 9877 9879 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217879086200 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9892] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9892/stat : 9892 (java) S 9877 9879 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430057 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217878033544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9893] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9893/stat : 9893 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217876982288 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9879/tid=9894] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9894/stat : 9894 (java) S 9877 9879 6647 0 -1 4202560 3600 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217875929656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9895] ppid=9877 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/9879/task/9895/stat : 9895 (java) S 9877 9879 6647 0 -1 4202560 4585 0 0 0 40 0 0 0 20 0 19 0 291430059 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217874877112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9896] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9896/stat : 9896 (java) S 9877 9879 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430059 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217873824760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9879/tid=9897] ppid=9877 vsize=9624980 CPUtime=0.75 cores=1,3,5,7
/proc/9879/task/9897/stat : 9897 (java) S 9877 9879 6647 0 -1 4202560 99 0 0 0 38 37 0 0 20 0 19 0 291430059 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217872772424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9879/tid=9898] ppid=9877 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9879/task/9898/stat : 9898 (java) S 9877 9879 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430077 9855979520 137658 33554432000 1073741824 1073778376 140735835964976 140217871717160 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 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

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9879 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=679471
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=141522
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1758.07
CPU time (s): 1800.05
CPU user time (s): 1797.26
CPU system time (s): 2.79
CPU usage (%): 102.388
Max. virtual memory (cumulated for all children) (KiB): 9625720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.68
system time used= 3.14152
maximum resident set size= 624512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63494
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70420
involuntary context switches= 108090

runsolver used 6.03008 second user time and 15.8046 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-29 02:57:37
IDJOB=3718386
IDBENCH=79165
IDSOLVER=2301
FILE ID=node141/3718386-1338253057
RUNJOBID= node141-1338248797-9482
PBS_JOBID= 14624658
Free space on /tmp= 71232 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718386-1338253057/watcher-3718386-1338253057 -o /tmp/evaluation-result-3718386-1338253057/solver-3718386-1338253057 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718386-1338253057.wbo

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

MD5SUM BENCH= 02fb8a7818433044fe5d5a9a278599da
RANDOM SEED=1529667213

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30864820 kB
Buffers:          229500 kB
Cached:           401668 kB
SwapCached:          220 kB
Active:          1104000 kB
Inactive:          26332 kB
Active(anon):     488880 kB
Inactive(anon):    12056 kB
Active(file):     615120 kB
Inactive(file):    14276 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:        505396 kB
Mapped:            18148 kB
Shmem:               172 kB
Slab:             728772 kB
SReclaimable:     171128 kB
SUnreclaim:       557644 kB
KernelStack:        1600 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     905772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 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= 71232 MiB
End job on node141 at 2012-05-29 03:26:57