Trace number 3454045

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-79 1800.25 909.874

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_3.opb
MD5SUMd792065ec5adca4c7f7b540f15bc8ce9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-124
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -149
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63244
Sum of products size (including duplicates)126488
Number of different products31622
Sum of products size63244

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454045-1307195510.opb
0.10/0.11	c reading problem ... 
2.17/1.12	c ... done. Wall clock time 1.013s.
2.17/1.12	c #vars     33622
2.17/1.12	c #constraints  66246
2.17/1.12	c constraints type 
2.17/1.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31622
2.17/1.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 2002
2.17/1.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
2.17/1.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31622
2.17/1.12	c constraints type 
2.17/1.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
2.17/1.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31622
2.17/1.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2002
2.17/1.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31622
4.78/2.06	c  And the winner is CuttingPlanes
4.95/2.15	c SATISFIABLE
4.95/2.15	c OPTIMIZING...
4.95/2.15	c Got one! Elapsed wall clock time (in seconds):2.048
4.95/2.15	o -9
6.09/2.79	c  And the winner is CuttingPlanes
6.33/3.18	c Got one! Elapsed wall clock time (in seconds):3.072
6.33/3.18	o -10
7.39/3.70	c  And the winner is CuttingPlanes
7.41/4.20	c Got one! Elapsed wall clock time (in seconds):4.092
7.41/4.20	o -11
8.44/4.70	c  And the winner is CuttingPlanes
8.46/5.22	c Got one! Elapsed wall clock time (in seconds):5.114
8.46/5.22	o -12
9.42/5.77	c  And the winner is CuttingPlanes
9.57/6.24	c Got one! Elapsed wall clock time (in seconds):6.135
9.57/6.24	o -13
11.11/7.03	c  And the winner is CuttingPlanes
11.19/7.26	c Got one! Elapsed wall clock time (in seconds):7.156
11.19/7.26	o -14
12.66/8.06	c  And the winner is CuttingPlanes
12.79/8.28	c Got one! Elapsed wall clock time (in seconds):8.177
12.79/8.28	o -15
14.47/9.16	c  And the winner is CuttingPlanes
14.61/9.30	c Got one! Elapsed wall clock time (in seconds):9.197
14.61/9.30	o -16
15.83/9.92	c  And the winner is CuttingPlanes
15.87/10.32	c Got one! Elapsed wall clock time (in seconds):10.217
15.87/10.32	o -17
16.89/10.88	c  And the winner is CuttingPlanes
17.06/11.34	c Got one! Elapsed wall clock time (in seconds):11.236
17.06/11.34	o -18
18.38/12.03	c  And the winner is CuttingPlanes
18.46/12.36	c Got one! Elapsed wall clock time (in seconds):12.257
18.46/12.36	o -19
19.56/12.94	c  And the winner is CuttingPlanes
19.65/13.38	c Got one! Elapsed wall clock time (in seconds):13.277
19.65/13.38	o -20
20.88/14.01	c  And the winner is CuttingPlanes
20.91/14.40	c Got one! Elapsed wall clock time (in seconds):14.297
20.91/14.40	o -21
22.11/15.10	c  And the winner is CuttingPlanes
22.32/15.42	c Got one! Elapsed wall clock time (in seconds):15.319
22.32/15.42	o -22
23.08/15.88	c  And the winner is CuttingPlanes
23.24/15.94	c Got one! Elapsed wall clock time (in seconds):15.836
23.24/15.94	o -23
23.96/16.34	c  And the winner is CuttingPlanes
24.05/16.46	c Got one! Elapsed wall clock time (in seconds):16.354
24.05/16.46	o -24
25.14/17.01	c  And the winner is CuttingPlanes
25.16/17.48	c Got one! Elapsed wall clock time (in seconds):17.372
25.16/17.48	o -25
26.01/17.92	c  And the winner is CuttingPlanes
26.07/18.00	c Got one! Elapsed wall clock time (in seconds):17.89
26.07/18.00	o -26
27.48/18.72	c  And the winner is CuttingPlanes
27.51/19.02	c Got one! Elapsed wall clock time (in seconds):18.91
27.51/19.02	o -27
28.08/19.35	c  And the winner is CuttingPlanes
28.19/19.53	c Got one! Elapsed wall clock time (in seconds):19.427
28.19/19.53	o -28
29.93/20.45	c  And the winner is CuttingPlanes
30.04/20.55	c Got one! Elapsed wall clock time (in seconds):20.446
30.04/20.55	o -29
30.97/21.06	c  And the winner is CuttingPlanes
31.07/21.57	c Got one! Elapsed wall clock time (in seconds):21.465
31.07/21.57	o -33
34.03/23.03	c  And the winner is CuttingPlanes
34.03/23.09	c Got one! Elapsed wall clock time (in seconds):22.987
34.03/23.09	o -34
68.33/40.23	c cleaning 4065 clauses out of 8129 with flag 5000/8129
117.79/65.03	c cleaning 5026 clauses out of 10064 with flag 11000/14129
190.00/101.22	c cleaning 6013 clauses out of 12039 with flag 18001/21130
272.41/142.55	c cleaning 7009 clauses out of 14025 with flag 26000/29129
368.76/190.89	c cleaning 8001 clauses out of 16016 with flag 35000/38129
476.77/244.97	c cleaning 9000 clauses out of 18015 with flag 45000/48129
595.58/304.48	c cleaning 10005 clauses out of 20016 with flag 56001/59130
727.78/370.66	c cleaning 11000 clauses out of 22010 with flag 68000/71129
734.10/373.92	c  And the winner is Resolution
735.03/374.89	c Got one! Elapsed wall clock time (in seconds):374.777
735.03/374.89	o -77
776.15/395.40	c cleaning 8275 clauses out of 16549 with flag 5001/76668
847.15/431.02	c cleaning 7132 clauses out of 14274 with flag 11001/82668
929.34/472.25	c cleaning 7064 clauses out of 14142 with flag 18001/89668
1022.93/519.20	c cleaning 7534 clauses out of 15077 with flag 26000/97667
1130.21/572.92	c cleaning 8266 clauses out of 16543 with flag 35000/106667
1250.18/633.06	c cleaning 9134 clauses out of 18278 with flag 45001/116668
1377.32/696.70	c cleaning 10067 clauses out of 20144 with flag 56001/127668
1398.91/707.61	c  And the winner is Resolution
1400.52/709.29	c Got one! Elapsed wall clock time (in seconds):709.188
1400.52/709.29	o -79
1436.02/727.01	c cleaning 7948 clauses out of 15901 with flag 4000/133492
1504.10/761.27	c cleaning 6946 clauses out of 13953 with flag 10000/139492
1580.23/799.43	c cleaning 6998 clauses out of 14008 with flag 17001/146493
1666.99/842.92	c cleaning 7503 clauses out of 15010 with flag 25001/154493
1764.53/891.90	c cleaning 8249 clauses out of 16507 with flag 34001/163493
1800.04/909.74	c starts		: 150
1800.04/909.74	c conflicts		: 166712
1800.04/909.74	c decisions		: 757000
1800.04/909.74	c propagations		: 441020459
1800.04/909.74	c inspects		: 4290421748
1800.04/909.74	c shortcuts		: 0
1800.04/909.74	c learnt literals	: 0
1800.04/909.74	c learnt binary clauses	: 0
1800.04/909.74	c learnt ternary clauses	: 666
1800.04/909.74	c learnt constraints	: 166711
1800.04/909.74	c ignored constraints	: 0
1800.04/909.74	c root simplifications	: 0
1800.04/909.74	c removed literals (reason simplification)	: 103119357
1800.04/909.74	c reason swapping (by a shorter reason)	: 0
1800.04/909.74	c Calls to reduceDB	: 20
1800.04/909.74	c number of reductions to clauses (during analyze)	: 0
1800.04/909.74	c number of learned constraints concerned by reduction	: 0
1800.04/909.74	c number of learning phase by resolution	: 0
1800.04/909.74	c number of learning phase by cutting planes	: 0
1800.04/909.74	c speed (assignments/second)	: 2200228.7882340616
1800.04/909.74	c non guided choices	0
1800.04/909.75	c learnt constraints type 
1800.04/909.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11478
1800.04/909.75	c constraints type 
1800.04/909.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31622
1800.04/909.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 2003
1800.04/909.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
1800.04/909.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31622
1800.04/909.75	c constraints type 
1800.04/909.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
1800.04/909.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31622
1800.04/909.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2003
1800.04/909.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31622
1800.04/909.75	s SATISFIABLE
1800.04/909.76	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 
1800.04/909.76	c objective function=-79
1800.04/909.76	c Total wall clock time (in seconds): 909.654

Verifier Data 

OK	-79

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454045-1307195510/watcher-3454045-1307195510 -o /tmp/evaluation-result-3454045-1307195510/solver-3454045-1307195510 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454045-1307195510.opb 

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.89 3.01 3.45 2/473 18908
/proc/meminfo: memFree=29971736/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 3904 0 1 0 0 0 0 0 22 0 2 0 831150802 10694979584 3605 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2611079 3618 917 9 0 2602235 0
[pid=18908/tid=18909] ppid=18906 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) R 18906 18908 13462 0 -1 4202560 6571 0 1 0 0 0 0 0 24 0 2 0 831150803 10694979584 7387 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.100189 s]
/proc/loadavg: 1.89 3.01 3.45 2/473 18908
/proc/meminfo: memFree=29971736/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10540376 CPUtime=0.1 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 13139 0 1 0 9 1 0 0 22 0 18 0 831150802 10793345024 12835 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2635094 12835 2092 9 0 2625828 0
[pid=18908/tid=18909] ppid=18906 vsize=10540376 CPUtime=0.09 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) R 18906 18908 13462 0 -1 4202560 11212 0 1 0 8 1 0 0 18 0 18 0 831150803 10793345024 12837 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 47312432704339 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540376

[startup+0.201125 s]
/proc/loadavg: 1.89 3.01 3.45 2/473 18908
/proc/meminfo: memFree=29971736/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10540784 CPUtime=0.26 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 14193 0 1 0 25 1 0 0 22 0 18 0 831150802 10793762816 13890 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2635196 13890 2181 9 0 2625930 0
[pid=18908/tid=18909] ppid=18906 vsize=10540784 CPUtime=0.18 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) R 18906 18908 13462 0 -1 4202560 12041 0 1 0 17 1 0 0 18 0 18 0 831150803 10793762816 13890 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540784

[startup+0.301109 s]
/proc/loadavg: 1.89 3.01 3.45 2/473 18908
/proc/meminfo: memFree=29971736/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10543312 CPUtime=0.49 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 16707 0 1 0 47 2 0 0 22 0 18 0 831150802 10796351488 16030 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2635828 16030 2211 9 0 2626562 0
[pid=18908/tid=18909] ppid=18906 vsize=10543312 CPUtime=0.28 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) R 18906 18908 13462 0 -1 4202560 13201 0 1 0 27 1 0 0 18 0 18 0 831150803 10796351488 16031 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912505582667 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10543312

[startup+0.701149 s]
/proc/loadavg: 1.89 3.01 3.45 2/473 18908
/proc/meminfo: memFree=29971736/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10548408 CPUtime=1.61 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 38634 0 1 0 156 5 0 0 22 0 18 0 831150802 10801569792 35233 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2637102 35235 2227 9 0 2627836 0
[pid=18908/tid=18909] ppid=18906 vsize=10548408 CPUtime=0.68 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) R 18906 18908 13462 0 -1 4202560 28294 0 1 0 65 3 0 0 18 0 18 0 831150803 10801569792 35235 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912505602516 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10548408

[startup+1.5009 s]
/proc/loadavg: 1.89 3.01 3.45 3/500 18941
/proc/meminfo: memFree=29346880/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10552788 CPUtime=3.61 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 163277 0 1 0 342 19 0 0 22 0 22 0 831150802 10806054912 158304 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2638197 158304 2240 9 0 2628931 0
[pid=18908/tid=18909] ppid=18906 vsize=10552788 CPUtime=1.11 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18906 18908 13462 0 -1 4202560 144073 0 1 0 95 16 0 0 19 0 22 0 831150803 10806054912 158304 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18914] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158304 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18915] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18906 18908 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158305 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18916] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158305 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18917] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158305 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18918] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158305 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18919] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18920] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18921] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18922] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18906 18908 13462 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831150805 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 0 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18928] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18906 18908 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831150806 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18929] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18929/stat : 18929 (java) S 18906 18908 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831150806 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18930] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18930/stat : 18930 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101521841 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18931] ppid=18906 vsize=10552788 CPUtime=0.85 cores=0,2,4,6
/proc/18908/task/18931/stat : 18931 (java) S 18906 18908 13462 0 -1 4202560 4436 0 0 0 85 0 0 0 23 0 22 0 831150808 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18932] ppid=18906 vsize=10552788 CPUtime=0.88 cores=0,2,4,6
/proc/18908/task/18932/stat : 18932 (java) R 18906 18908 13462 0 -1 4202560 7004 0 0 0 87 1 0 0 16 0 22 0 831150808 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 47312427151400 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18908/tid=18933] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18933/stat : 18933 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806054912 158306 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18934] ppid=18906 vsize=10552788 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18934/stat : 18934 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831150808 10806054912 158307 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 10552788

[startup+3.10068 s]
/proc/loadavg: 1.89 3.01 3.45 7/507 18954
/proc/meminfo: memFree=29092072/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10553072 CPUtime=6.33 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 224595 0 1 0 606 27 0 0 22 0 19 0 831150802 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2638268 219201 2243 9 0 2629002 0
[pid=18908/tid=18909] ppid=18906 vsize=10553072 CPUtime=1.14 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18906 18908 13462 0 -1 4202560 144222 0 1 0 98 16 0 0 15 0 19 0 831150803 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18914] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18915] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18906 18908 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18916] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18917] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18918] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18919] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18920] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18921] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150804 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18922] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18906 18908 13462 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 831150805 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 0 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18928] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18906 18908 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831150806 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18929] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18929/stat : 18929 (java) S 18906 18908 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831150806 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18930] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18930/stat : 18930 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150808 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101521841 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18931] ppid=18906 vsize=10553072 CPUtime=0.93 cores=0,2,4,6
/proc/18908/task/18931/stat : 18931 (java) S 18906 18908 13462 0 -1 4202560 4508 0 0 0 93 0 0 0 15 0 19 0 831150808 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18932] ppid=18906 vsize=10553072 CPUtime=1.07 cores=0,2,4,6
/proc/18908/task/18932/stat : 18932 (java) S 18906 18908 13462 0 -1 4202560 7045 0 0 0 106 1 0 0 15 0 19 0 831150808 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18933] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18933/stat : 18933 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831150808 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18934] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18934/stat : 18934 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831150808 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18945] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18945/stat : 18945 (java) S 18906 18908 13462 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831150918 10806345728 219201 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 10553072

[startup+6.3011 s]
/proc/loadavg: 1.90 2.99 3.45 6/507 18966
/proc/meminfo: memFree=28400516/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10553072 CPUtime=9.69 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 307190 0 1 0 934 35 0 0 22 0 22 0 831150802 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2638268 301773 2245 9 0 2629002 0
[pid=18908/tid=18909] ppid=18906 vsize=10553072 CPUtime=1.2 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18906 18908 13462 0 -1 4202560 144786 0 1 0 104 16 0 0 17 0 22 0 831150803 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18914] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18915] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18906 18908 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18916] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18917] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18918] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18919] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18920] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18921] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150804 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18922] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18906 18908 13462 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831150805 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 0 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18928] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18906 18908 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831150806 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18929] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18929/stat : 18929 (java) S 18906 18908 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831150806 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18930] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18930/stat : 18930 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101521841 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18931] ppid=18906 vsize=10553072 CPUtime=0.96 cores=0,2,4,6
/proc/18908/task/18931/stat : 18931 (java) S 18906 18908 13462 0 -1 4202560 4512 0 0 0 96 0 0 0 15 0 22 0 831150808 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18932] ppid=18906 vsize=10553072 CPUtime=1.1 cores=0,2,4,6
/proc/18908/task/18932/stat : 18932 (java) S 18906 18908 13462 0 -1 4202560 7049 0 0 0 109 1 0 0 15 0 22 0 831150808 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18933] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18933/stat : 18933 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 301773 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0

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

/proc/meminfo: memFree=25649928/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10553072 CPUtime=1625.78 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 710175 0 1 0 162488 90 0 0 22 0 22 0 831150802 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2638268 704536 2270 9 0 2629002 0
[pid=18908/tid=18909] ppid=18906 vsize=10553072 CPUtime=1.49 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18906 18908 13462 0 -1 4202560 145358 0 1 0 133 16 0 0 15 0 22 0 831150803 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18914] ppid=18906 vsize=10553072 CPUtime=0.17 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18906 18908 13462 0 -1 4202560 4719 0 0 0 17 0 0 0 15 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18915] ppid=18906 vsize=10553072 CPUtime=0.12 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18906 18908 13462 0 -1 4202560 605 0 0 0 12 0 0 0 15 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18916] ppid=18906 vsize=10553072 CPUtime=0.12 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18906 18908 13462 0 -1 4202560 23 0 0 0 12 0 0 0 15 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18917] ppid=18906 vsize=10553072 CPUtime=0.07 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18906 18908 13462 0 -1 4202560 575 0 0 0 7 0 0 0 15 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18918] ppid=18906 vsize=10553072 CPUtime=0.15 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18906 18908 13462 0 -1 4202560 4254 0 0 0 15 0 0 0 16 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18919] ppid=18906 vsize=10553072 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18906 18908 13462 0 -1 4202560 10744 0 0 0 25 1 0 0 15 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18920] ppid=18906 vsize=10553072 CPUtime=0.1 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18906 18908 13462 0 -1 4202560 4030 0 0 0 10 0 0 0 16 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18921] ppid=18906 vsize=10553072 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18906 18908 13462 0 -1 4202560 4736 0 0 0 26 0 0 0 15 0 22 0 831150804 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18922] ppid=18906 vsize=10553072 CPUtime=4.5 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18906 18908 13462 0 -1 4202560 36102 0 0 0 447 3 0 0 15 0 22 0 831150805 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 0 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18928] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18906 18908 13462 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831150806 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18929] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18929/stat : 18929 (java) S 18906 18908 13462 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 831150806 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18930] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18930/stat : 18930 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101521841 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18931] ppid=18906 vsize=10553072 CPUtime=1.15 cores=0,2,4,6
/proc/18908/task/18931/stat : 18931 (java) S 18906 18908 13462 0 -1 4202560 4533 0 0 0 115 0 0 0 15 0 22 0 831150808 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18932] ppid=18906 vsize=10553072 CPUtime=1.31 cores=0,2,4,6
/proc/18908/task/18932/stat : 18932 (java) S 18906 18908 13462 0 -1 4202560 7062 0 0 0 130 1 0 0 15 0 22 0 831150808 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18933] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18933/stat : 18933 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18934] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18934/stat : 18934 (java) S 18906 18908 13462 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831150808 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=19023] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/19023/stat : 19023 (java) S 18906 18908 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831153112 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=19300] ppid=18906 vsize=10553072 CPUtime=112.05 cores=0,2,4,6
/proc/18908/task/19300/stat : 19300 (java) R 18906 18908 13462 0 -1 4202560 3 0 0 0 11205 0 0 0 25 0 22 0 831221732 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912506049635 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18908/tid=19301] ppid=18906 vsize=10553072 CPUtime=112.05 cores=0,2,4,6
/proc/18908/task/19301/stat : 19301 (java) R 18906 18908 13462 0 -1 4202560 0 0 0 0 11205 0 0 0 25 0 22 0 831221732 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912506083808 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18908/tid=19302] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/19302/stat : 19302 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831221733 10806345728 704536 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1625.78
Current children cumulated vsize (KiB) 10553072

[startup+882.318 s]
/proc/loadavg: 3.95 3.90 3.72 5/507 19309
/proc/meminfo: memFree=25642540/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10553072 CPUtime=1745.57 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 710188 0 1 0 174467 90 0 0 22 0 22 0 831150802 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2638268 704542 2270 9 0 2629002 0
[pid=18908/tid=18909] ppid=18906 vsize=10553072 CPUtime=1.49 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18906 18908 13462 0 -1 4202560 145358 0 1 0 133 16 0 0 15 0 22 0 831150803 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18914] ppid=18906 vsize=10553072 CPUtime=0.17 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18906 18908 13462 0 -1 4202560 4719 0 0 0 17 0 0 0 15 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18915] ppid=18906 vsize=10553072 CPUtime=0.12 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18906 18908 13462 0 -1 4202560 605 0 0 0 12 0 0 0 15 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18916] ppid=18906 vsize=10553072 CPUtime=0.13 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18906 18908 13462 0 -1 4202560 23 0 0 0 13 0 0 0 16 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18917] ppid=18906 vsize=10553072 CPUtime=0.07 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18906 18908 13462 0 -1 4202560 575 0 0 0 7 0 0 0 15 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18918] ppid=18906 vsize=10553072 CPUtime=0.16 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18906 18908 13462 0 -1 4202560 4258 0 0 0 16 0 0 0 16 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18919] ppid=18906 vsize=10553072 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18906 18908 13462 0 -1 4202560 10744 0 0 0 25 1 0 0 15 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18920] ppid=18906 vsize=10553072 CPUtime=0.11 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18906 18908 13462 0 -1 4202560 4030 0 0 0 11 0 0 0 16 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18921] ppid=18906 vsize=10553072 CPUtime=0.27 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18906 18908 13462 0 -1 4202560 4738 0 0 0 27 0 0 0 16 0 22 0 831150804 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18922] ppid=18906 vsize=10553072 CPUtime=4.77 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18906 18908 13462 0 -1 4202560 36104 0 0 0 474 3 0 0 15 0 22 0 831150805 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 0 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18928] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18906 18908 13462 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831150806 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18929] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18929/stat : 18929 (java) S 18906 18908 13462 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 831150806 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18930] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18930/stat : 18930 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101521841 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18931] ppid=18906 vsize=10553072 CPUtime=1.15 cores=0,2,4,6
/proc/18908/task/18931/stat : 18931 (java) S 18906 18908 13462 0 -1 4202560 4533 0 0 0 115 0 0 0 15 0 22 0 831150808 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18932] ppid=18906 vsize=10553072 CPUtime=1.31 cores=0,2,4,6
/proc/18908/task/18932/stat : 18932 (java) S 18906 18908 13462 0 -1 4202560 7062 0 0 0 130 1 0 0 15 0 22 0 831150808 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18933] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18933/stat : 18933 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18934] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18934/stat : 18934 (java) S 18906 18908 13462 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831150808 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=19023] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/19023/stat : 19023 (java) S 18906 18908 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831153112 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=19300] ppid=18906 vsize=10553072 CPUtime=171.78 cores=0,2,4,6
/proc/18908/task/19300/stat : 19300 (java) R 18906 18908 13462 0 -1 4202560 4 0 0 0 17178 0 0 0 25 0 22 0 831221732 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912506057943 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18908/tid=19301] ppid=18906 vsize=10553072 CPUtime=171.78 cores=0,2,4,6
/proc/18908/task/19301/stat : 19301 (java) R 18906 18908 13462 0 -1 4202560 0 0 0 0 17178 0 0 0 25 0 22 0 831221732 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912506083854 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18908/tid=19302] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/19302/stat : 19302 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831221733 10806345728 704542 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1745.57
Current children cumulated vsize (KiB) 10553072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+909.702 s]
/proc/loadavg: 3.91 3.89 3.72 5/507 19310
/proc/meminfo: memFree=25638640/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=10553072 CPUtime=1800.04 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18906 18908 13462 0 -1 4202496 710193 0 1 0 179913 91 0 0 22 0 22 0 831150802 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 2638268 704544 2270 9 0 2629002 0
[pid=18908/tid=18909] ppid=18906 vsize=10553072 CPUtime=1.49 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18906 18908 13462 0 -1 4202560 145358 0 1 0 133 16 0 0 15 0 22 0 831150803 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18914] ppid=18906 vsize=10553072 CPUtime=0.17 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18906 18908 13462 0 -1 4202560 4719 0 0 0 17 0 0 0 15 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18915] ppid=18906 vsize=10553072 CPUtime=0.12 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18906 18908 13462 0 -1 4202560 605 0 0 0 12 0 0 0 15 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18916] ppid=18906 vsize=10553072 CPUtime=0.14 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18906 18908 13462 0 -1 4202560 23 0 0 0 14 0 0 0 16 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18917] ppid=18906 vsize=10553072 CPUtime=0.07 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18906 18908 13462 0 -1 4202560 575 0 0 0 7 0 0 0 15 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18918] ppid=18906 vsize=10553072 CPUtime=0.16 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18906 18908 13462 0 -1 4202560 4258 0 0 0 16 0 0 0 15 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18919] ppid=18906 vsize=10553072 CPUtime=0.27 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18906 18908 13462 0 -1 4202560 10746 0 0 0 26 1 0 0 16 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18920] ppid=18906 vsize=10553072 CPUtime=0.12 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18906 18908 13462 0 -1 4202560 4030 0 0 0 12 0 0 0 16 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18921] ppid=18906 vsize=10553072 CPUtime=0.28 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18906 18908 13462 0 -1 4202560 4738 0 0 0 28 0 0 0 16 0 22 0 831150804 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18922] ppid=18906 vsize=10553072 CPUtime=5.15 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18906 18908 13462 0 -1 4202560 36106 0 0 0 512 3 0 0 15 0 22 0 831150805 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 0 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18928] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18906 18908 13462 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831150806 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18929] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18929/stat : 18929 (java) S 18906 18908 13462 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 831150806 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=18930] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18930/stat : 18930 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101521841 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18931] ppid=18906 vsize=10553072 CPUtime=1.15 cores=0,2,4,6
/proc/18908/task/18931/stat : 18931 (java) S 18906 18908 13462 0 -1 4202560 4533 0 0 0 115 0 0 0 15 0 22 0 831150808 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
[pid=18908/tid=18932] ppid=18906 vsize=10553072 CPUtime=1.31 cores=0,2,4,6
/proc/18908/task/18932/stat : 18932 (java) S 18906 18908 13462 0 -1 4202560 7062 0 0 0 130 1 0 0 15 0 22 0 831150808 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=18933] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18933/stat : 18933 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831150808 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514137 0 4 0 16800975 18446604440320438528 0 0 -1 4 0 0 0
[pid=18908/tid=18934] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18934/stat : 18934 (java) S 18906 18908 13462 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831150808 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 0 0 0 0
[pid=18908/tid=19023] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/19023/stat : 19023 (java) S 18906 18908 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831153112 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 2 0 0 0
[pid=18908/tid=19300] ppid=18906 vsize=10553072 CPUtime=198.81 cores=0,2,4,6
/proc/18908/task/19300/stat : 19300 (java) R 18906 18908 13462 0 -1 4202560 5 0 0 0 19881 0 0 0 25 0 22 0 831221732 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912506114567 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18908/tid=19301] ppid=18906 vsize=10553072 CPUtime=198.8 cores=0,2,4,6
/proc/18908/task/19301/stat : 19301 (java) R 18906 18908 13462 0 -1 4202560 0 0 0 0 19880 0 0 0 25 0 22 0 831221732 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 46912506114567 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18908/tid=19302] ppid=18906 vsize=10553072 CPUtime=0 cores=0,2,4,6
/proc/18908/task/19302/stat : 19302 (java) S 18906 18908 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831221733 10806345728 704544 33554432000 1073741824 1073778376 140737196003760 18446744073709551615 248101514752 0 4 0 16800975 18446604440320438528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10553072

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

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

[startup+909.841 s]
/proc/loadavg: 3.91 3.89 3.72 5/507 19310
/proc/meminfo: memFree=25638640/32950928 swapFree=45617076/67111528
[pid=18908] ppid=18906 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/18908/stat : 18908 (java) Z 18906 18908 13462 0 -1 4203548 710221 0 1 0 179922 98 0 0 17 0 2 0 831150802 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18908/statm: 0 0 0 0 0 0 0
[pid=18908/tid=19301] ppid=18906 vsize=0 CPUtime=198.91 cores=0,2,4,6
/proc/18908/task/19301/stat : 19301 (java) R 18906 18908 13462 0 -1 4203588 0 0 0 0 19883 8 0 0 25 0 2 0 831221732 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 909.874
CPU time (s): 1800.25
CPU user time (s): 1799.22
CPU system time (s): 1.02084
CPU usage (%): 197.857
Max. virtual memory (cumulated for all children) (KiB): 10553072

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

runsolver used 4.15437 second user time and 9.96748 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-04 15:51:50
IDJOB=3454045
IDBENCH=48249
IDSOLVER=1950
FILE ID=node123/3454045-1307195510
RUNJOBID= node123-1307195510-18879
PBS_JOBID= 13508855
Free space on /tmp= 73860 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454045-1307195510/watcher-3454045-1307195510 -o /tmp/evaluation-result-3454045-1307195510/solver-3454045-1307195510 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454045-1307195510.opb

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

MD5SUM BENCH= d792065ec5adca4c7f7b540f15bc8ce9
RANDOM SEED=1741501656

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29972156 kB
Buffers:        315000 kB
Cached:         402324 kB
SwapCached:       9456 kB
Active:        2352632 kB
Inactive:       344964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29972156 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:     1977660 kB
Mapped:          27424 kB
Slab:           134952 kB
PageTables:      78760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 143680192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73860 MiB
End job on node123 at 2011-06-04 16:07:02