Trace number 3454022

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)-28 1800.4 908.576

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_3.opb
MD5SUMa83973bc04af54d38c05a30d36c8573f
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-44
Best CPU time to get the best result obtained on this benchmark1797.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/0.08	c Number of processors 	8
0.12/0.11	c Pseudo Boolean Optimization
0.12/0.11	c ManyCore solver with 2 solvers running in parallel
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.11	c Expensive reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	c Glucose learned constraints deletion strategy
0.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.11	c No reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	c Glucose learned constraints deletion strategy
0.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c solving HOME/instance-3454022-1307195328.opb
0.12/0.11	c reading problem ... 
2.46/1.18	c ... done. Wall clock time 1.071s.
2.46/1.18	c #vars     38460
2.46/1.18	c #constraints  76422
2.46/1.18	c constraints type 
2.46/1.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37460
2.46/1.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
2.46/1.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
2.46/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37460
2.46/1.18	c constraints type 
2.46/1.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
2.46/1.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37460
2.46/1.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002
2.46/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37460
6.98/3.06	c  And the winner is CuttingPlanes
7.13/3.22	c SATISFIABLE
7.13/3.22	c OPTIMIZING...
7.13/3.22	c Got one! Elapsed wall clock time (in seconds):3.111
7.13/3.22	o -5
9.39/4.35	c  And the winner is CuttingPlanes
9.51/4.74	c Got one! Elapsed wall clock time (in seconds):4.63
9.51/4.74	o -6
11.89/5.93	c  And the winner is CuttingPlanes
11.96/6.26	c Got one! Elapsed wall clock time (in seconds):6.148
11.96/6.26	o -7
14.47/7.50	c  And the winner is CuttingPlanes
14.49/7.77	c Got one! Elapsed wall clock time (in seconds):7.667
14.49/7.77	o -8
16.23/8.62	c  And the winner is CuttingPlanes
16.28/8.79	c Got one! Elapsed wall clock time (in seconds):8.68
16.28/8.79	o -9
16.58/8.99	c  And the winner is CuttingPlanes
16.78/9.30	c Got one! Elapsed wall clock time (in seconds):9.192
16.78/9.30	o -10
19.29/10.51	c  And the winner is CuttingPlanes
19.32/10.82	c Got one! Elapsed wall clock time (in seconds):10.713
19.32/10.82	o -11
21.70/12.10	c  And the winner is CuttingPlanes
21.89/12.34	c Got one! Elapsed wall clock time (in seconds):12.233
21.89/12.34	o -12
22.21/12.58	c  And the winner is CuttingPlanes
22.37/12.85	c Got one! Elapsed wall clock time (in seconds):12.746
22.37/12.85	o -13
24.47/13.93	c  And the winner is CuttingPlanes
24.54/14.37	c Got one! Elapsed wall clock time (in seconds):14.262
24.54/14.37	o -14
26.00/15.16	c  And the winner is CuttingPlanes
26.15/15.38	c Got one! Elapsed wall clock time (in seconds):15.275
26.15/15.38	o -15
28.22/16.49	c  And the winner is CuttingPlanes
28.39/16.90	c Got one! Elapsed wall clock time (in seconds):16.792
28.39/16.90	o -16
31.09/18.23	c  And the winner is CuttingPlanes
31.16/18.42	c Got one! Elapsed wall clock time (in seconds):18.309
31.16/18.42	o -19
33.96/19.83	c  And the winner is CuttingPlanes
33.99/19.93	c Got one! Elapsed wall clock time (in seconds):19.825
33.99/19.93	o -22
38.15/22.02	c  And the winner is CuttingPlanes
38.18/22.45	c Got one! Elapsed wall clock time (in seconds):22.344
38.18/22.45	o -23
40.49/23.67	c  And the winner is CuttingPlanes
40.64/23.97	c Got one! Elapsed wall clock time (in seconds):23.858
40.64/23.97	o -24
65.68/36.43	c  And the winner is CuttingPlanes
65.75/36.52	c Got one! Elapsed wall clock time (in seconds):36.415
65.75/36.52	o -25
70.92/39.14	c cleaning 5363 clauses out of 10742 with flag 1000/10742
112.31/59.90	c cleaning 5690 clauses out of 11379 with flag 7000/16742
160.34/84.00	c cleaning 6228 clauses out of 12689 with flag 14000/23742
205.36/106.71	c  And the winner is CuttingPlanes
205.57/106.83	c Got one! Elapsed wall clock time (in seconds):106.722
205.57/106.83	o -26
226.91/117.55	c  And the winner is CuttingPlanes
227.02/117.88	c Got one! Elapsed wall clock time (in seconds):117.774
227.02/117.88	o -27
237.25/123.09	c cleaning 9747 clauses out of 19506 with flag 2000/36787
276.17/142.66	c cleaning 7830 clauses out of 15759 with flag 8000/42787
321.56/165.44	c cleaning 7287 clauses out of 14929 with flag 15000/49787
367.51/188.55	c cleaning 7699 clauses out of 15642 with flag 23000/57787
412.51/211.12	c cleaning 8472 clauses out of 16943 with flag 32000/66787
448.93/229.55	c cleaning 9226 clauses out of 18471 with flag 42000/76787
520.88/265.60	c cleaning 9911 clauses out of 20245 with flag 53000/87787
594.26/302.51	c cleaning 11137 clauses out of 22334 with flag 65000/99787
656.20/333.51	c cleaning 12089 clauses out of 24197 with flag 78000/112787
730.06/370.67	c cleaning 12887 clauses out of 26108 with flag 92000/126787
795.19/403.38	c cleaning 14001 clauses out of 28221 with flag 107000/141787
887.00/449.39	c cleaning 15060 clauses out of 30220 with flag 123000/157787
978.30/495.15	c cleaning 15967 clauses out of 32160 with flag 140000/174787
1067.23/539.84	c cleaning 17097 clauses out of 34193 with flag 158000/192787
1184.91/598.88	c cleaning 17993 clauses out of 36096 with flag 177000/211787
1318.61/665.82	c cleaning 18983 clauses out of 38103 with flag 197000/231787
1359.69/686.52	c  And the winner is CuttingPlanes
1359.75/686.79	c Got one! Elapsed wall clock time (in seconds):686.681
1359.75/686.79	o -28
1397.37/705.66	c cleaning 14597 clauses out of 29193 with flag 5000/241860
1443.08/728.70	c cleaning 10165 clauses out of 20596 with flag 11000/247860
1491.75/753.26	c cleaning 8546 clauses out of 17431 with flag 18000/254860
1540.02/777.54	c cleaning 8310 clauses out of 16885 with flag 26000/262860
1583.05/799.29	c cleaning 8763 clauses out of 17575 with flag 35000/271860
1668.10/842.01	c cleaning 9121 clauses out of 18812 with flag 45000/281860
1766.36/891.31	c cleaning 10238 clauses out of 20691 with flag 56000/292860
1800.21/908.42	c starts		: 41
1800.21/908.42	c conflicts		: 5719
1800.21/908.42	c decisions		: 414526
1800.21/908.42	c propagations		: 23838841
1800.21/908.42	c inspects		: 304108331
1800.21/908.42	c shortcuts		: 0
1800.21/908.42	c learnt literals	: 0
1800.21/908.42	c learnt binary clauses	: 0
1800.21/908.42	c learnt ternary clauses	: 0
1800.21/908.42	c learnt constraints	: 5718
1800.21/908.42	c ignored constraints	: 0
1800.21/908.42	c root simplifications	: 0
1800.21/908.42	c removed literals (reason simplification)	: 0
1800.21/908.42	c reason swapping (by a shorter reason)	: 0
1800.21/908.42	c Calls to reduceDB	: 0
1800.21/908.42	c number of reductions to clauses (during analyze)	: 0
1800.21/908.42	c number of learned constraints concerned by reduction	: 0
1800.21/908.42	c number of learning phase by resolution	: 0
1800.21/908.42	c number of learning phase by cutting planes	: 0
1800.21/908.42	c speed (assignments/second)	: 107563.37704059992
1800.21/908.42	c non guided choices	32
1800.21/908.42	c learnt constraints type 
1800.21/908.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.21/908.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5718
1800.21/908.42	c constraints type 
1800.21/908.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37460
1800.21/908.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.21/908.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.21/908.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37460
1800.21/908.42	c constraints type 
1800.21/908.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
1800.21/908.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37460
1800.21/908.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003
1800.21/908.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37460
1800.21/908.42	s SATISFIABLE
1800.21/908.42	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 
1800.21/908.42	c objective function=-28
1800.21/908.42	c Total wall clock time (in seconds): 908.316

Verifier Data 

OK	-28

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-3454022-1307195328/watcher-3454022-1307195328 -o /tmp/evaluation-result-3454022-1307195328/solver-3454022-1307195328 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454022-1307195328.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.87 2.17 2.77 2/336 31487
/proc/meminfo: memFree=24091840/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 4213 0 1 0 0 0 0 0 22 0 2 0 909763393 10694979584 3915 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2611079 3928 917 9 0 2602235 0
[pid=31487/tid=31489] ppid=31485 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31440 0 -1 4202560 3148 0 1 0 0 0 0 0 24 0 2 0 909763394 10694979584 3964 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.073785 s]
/proc/loadavg: 1.87 2.17 2.77 2/336 31487
/proc/meminfo: memFree=24091840/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 11948 0 1 0 5 1 0 0 22 0 18 0 909763393 10724442112 11645 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2618272 11645 1755 9 0 2609006 0
[pid=31487/tid=31489] ppid=31485 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31440 0 -1 4202560 10772 0 1 0 5 1 0 0 25 0 18 0 909763394 10724442112 11645 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 47386844268451 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.105824 s]
/proc/loadavg: 1.87 2.17 2.77 2/336 31487
/proc/meminfo: memFree=24091840/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10539544 CPUtime=0.12 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 13178 0 1 0 10 2 0 0 22 0 18 0 909763393 10792493056 12868 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2634886 12868 2108 9 0 2625620 0
[pid=31487/tid=31489] ppid=31485 vsize=10539544 CPUtime=0.09 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31440 0 -1 4202560 11225 0 1 0 8 1 0 0 18 0 18 0 909763394 10792493056 12868 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539544

[startup+0.301171 s]
/proc/loadavg: 1.87 2.17 2.77 2/336 31487
/proc/meminfo: memFree=24091840/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10541120 CPUtime=0.46 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 16270 0 1 0 44 2 0 0 22 0 18 0 909763393 10794106880 15617 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2635280 15757 2212 9 0 2626014 0
[pid=31487/tid=31489] ppid=31485 vsize=10541120 CPUtime=0.29 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31440 0 -1 4202560 12921 0 1 0 27 2 0 0 18 0 18 0 909763394 10794106880 15757 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541120

[startup+0.700666 s]
/proc/loadavg: 1.87 2.17 2.77 2/336 31487
/proc/meminfo: memFree=24091840/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10552588 CPUtime=1.56 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 37943 0 1 0 151 5 0 0 22 0 18 0 909763393 10805850112 33149 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2638147 33149 2228 9 0 2628881 0
[pid=31487/tid=31489] ppid=31485 vsize=10552588 CPUtime=0.68 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) R 31485 31487 31440 0 -1 4202560 22282 0 1 0 65 3 0 0 18 0 18 0 909763394 10805850112 33149 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 47386839814032 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10552588

[startup+1.50154 s]
/proc/loadavg: 1.87 2.17 2.77 2/363 31520
/proc/meminfo: memFree=23784856/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10562668 CPUtime=3.75 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 130905 0 1 0 358 17 0 0 22 0 22 0 909763393 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2640667 125157 2241 9 0 2631401 0
[pid=31487/tid=31489] ppid=31485 vsize=10562668 CPUtime=1.15 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) S 31485 31487 31440 0 -1 4202560 107333 0 1 0 102 13 0 0 19 0 22 0 909763394 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31440 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31440 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 909763396 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 0 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31507] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31507/stat : 31507 (java) S 31485 31487 31440 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909763397 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31508] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31508/stat : 31508 (java) S 31485 31487 31440 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909763397 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31509] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31509/stat : 31509 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032219569 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31510] ppid=31485 vsize=10562668 CPUtime=0.97 cores=0,2,4,6
/proc/31487/task/31510/stat : 31510 (java) R 31485 31487 31440 0 -1 4202560 6412 0 0 0 97 0 0 0 16 0 22 0 909763399 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 47386840917379 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31487/tid=31511] ppid=31485 vsize=10562668 CPUtime=0.97 cores=0,2,4,6
/proc/31487/task/31511/stat : 31511 (java) R 31485 31487 31440 0 -1 4202560 9748 0 0 0 96 1 0 0 16 0 22 0 909763399 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 47386843612672 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31487/tid=31512] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31512/stat : 31512 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31513] ppid=31485 vsize=10562668 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31513/stat : 31513 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909763399 10816172032 125157 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 10562668

[startup+3.1013 s]
/proc/loadavg: 1.87 2.17 2.77 3/367 31530
/proc/meminfo: memFree=23407556/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10557432 CPUtime=7.11 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 222572 0 1 0 683 28 0 0 22 0 19 0 909763393 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2639358 215571 2244 9 0 2630092 0
[pid=31487/tid=31489] ppid=31485 vsize=10557432 CPUtime=1.15 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) S 31485 31487 31440 0 -1 4202560 107333 0 1 0 102 13 0 0 15 0 19 0 909763394 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31440 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763395 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31440 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 909763396 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 0 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31507] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31507/stat : 31507 (java) S 31485 31487 31440 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909763397 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31508] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31508/stat : 31508 (java) S 31485 31487 31440 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 909763397 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31509] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31509/stat : 31509 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763399 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032219569 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31510] ppid=31485 vsize=10557432 CPUtime=1.11 cores=0,2,4,6
/proc/31487/task/31510/stat : 31510 (java) S 31485 31487 31440 0 -1 4202560 6443 0 0 0 111 0 0 0 15 0 19 0 909763399 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31511] ppid=31485 vsize=10557432 CPUtime=1.08 cores=0,2,4,6
/proc/31487/task/31511/stat : 31511 (java) S 31485 31487 31440 0 -1 4202560 9759 0 0 0 107 1 0 0 15 0 19 0 909763399 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31512] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31512/stat : 31512 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909763399 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31513] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31513/stat : 31513 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909763399 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31524] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31524/stat : 31524 (java) S 31485 31487 31440 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909763515 10810810368 215571 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 10557432

[startup+6.30063 s]
/proc/loadavg: 2.28 2.25 2.79 5/370 31548
/proc/meminfo: memFree=22420228/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10557432 CPUtime=12.07 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 363490 0 1 0 1162 45 0 0 22 0 22 0 909763393 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2639358 356145 2245 9 0 2630092 0
[pid=31487/tid=31489] ppid=31485 vsize=10557432 CPUtime=1.19 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) S 31485 31487 31440 0 -1 4202560 107761 0 1 0 106 13 0 0 17 0 22 0 909763394 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31440 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763395 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31440 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 909763396 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 0 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31507] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31507/stat : 31507 (java) S 31485 31487 31440 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909763397 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31508] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31508/stat : 31508 (java) S 31485 31487 31440 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909763397 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31509] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31509/stat : 31509 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032219569 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31510] ppid=31485 vsize=10557432 CPUtime=1.23 cores=0,2,4,6
/proc/31487/task/31510/stat : 31510 (java) S 31485 31487 31440 0 -1 4202560 6460 0 0 0 123 0 0 0 15 0 22 0 909763399 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31511] ppid=31485 vsize=10557432 CPUtime=1.14 cores=0,2,4,6
/proc/31487/task/31511/stat : 31511 (java) S 31485 31487 31440 0 -1 4202560 9766 0 0 0 113 1 0 0 15 0 22 0 909763399 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31512] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31512/stat : 31512 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 356145 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0

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

/proc/meminfo: memFree=19890140/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10557432 CPUtime=1628.71 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 912695 0 1 0 162761 110 0 0 22 0 22 0 909763393 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2639358 905117 2271 9 0 2630092 0
[pid=31487/tid=31489] ppid=31485 vsize=10557432 CPUtime=1.35 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) S 31485 31487 31440 0 -1 4202560 108192 0 1 0 121 14 0 0 15 0 22 0 909763394 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10557432 CPUtime=0.32 cores=0,2,4,6
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31440 0 -1 4202560 6185 0 0 0 32 0 0 0 15 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10557432 CPUtime=0.21 cores=0,2,4,6
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31440 0 -1 4202560 5268 0 0 0 21 0 0 0 15 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10557432 CPUtime=0.13 cores=0,2,4,6
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31440 0 -1 4202560 720 0 0 0 13 0 0 0 15 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10557432 CPUtime=0.19 cores=0,2,4,6
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31440 0 -1 4202560 2134 0 0 0 19 0 0 0 16 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10557432 CPUtime=0.28 cores=0,2,4,6
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31440 0 -1 4202560 10730 0 0 0 27 1 0 0 16 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10557432 CPUtime=0.29 cores=0,2,4,6
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31440 0 -1 4202560 8443 0 0 0 29 0 0 0 15 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10557432 CPUtime=0.24 cores=0,2,4,6
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31440 0 -1 4202560 3701 0 0 0 24 0 0 0 15 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10557432 CPUtime=0.25 cores=0,2,4,6
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31440 0 -1 4202560 3960 0 0 0 25 0 0 0 16 0 22 0 909763395 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10557432 CPUtime=8.07 cores=0,2,4,6
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31440 0 -1 4202560 50570 0 0 0 802 5 0 0 15 0 22 0 909763396 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 0 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31507] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31507/stat : 31507 (java) S 31485 31487 31440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909763397 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31508] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31508/stat : 31508 (java) S 31485 31487 31440 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 22 0 909763397 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31509] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31509/stat : 31509 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032219569 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31510] ppid=31485 vsize=10557432 CPUtime=1.42 cores=0,2,4,6
/proc/31487/task/31510/stat : 31510 (java) S 31485 31487 31440 0 -1 4202560 6486 0 0 0 142 0 0 0 15 0 22 0 909763399 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31511] ppid=31485 vsize=10557432 CPUtime=1.56 cores=0,2,4,6
/proc/31487/task/31511/stat : 31511 (java) S 31485 31487 31440 0 -1 4202560 9791 0 0 0 155 1 0 0 15 0 22 0 909763399 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31512] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31512/stat : 31512 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31513] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31513/stat : 31513 (java) S 31485 31487 31440 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909763399 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31524] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31524/stat : 31524 (java) S 31485 31487 31440 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909763515 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31621] ppid=31485 vsize=10557432 CPUtime=133.22 cores=0,2,4,6
/proc/31487/task/31621/stat : 31621 (java) R 31485 31487 31440 0 -1 4202560 4 0 0 0 13322 0 0 0 25 0 22 0 909832073 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912506256560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31487/tid=31622] ppid=31485 vsize=10557432 CPUtime=133.22 cores=0,2,4,6
/proc/31487/task/31622/stat : 31622 (java) R 31485 31487 31440 0 -1 4202560 1 0 0 0 13322 0 0 0 25 0 22 0 909832073 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912506292850 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31487/tid=31623] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31623/stat : 31623 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909832073 10810810368 905117 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1628.71
Current children cumulated vsize (KiB) 10557432

[startup+882.301 s]
/proc/loadavg: 3.56 3.57 3.32 5/370 31637
/proc/meminfo: memFree=19885140/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10557432 CPUtime=1748.35 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 913047 0 1 0 174725 110 0 0 22 0 22 0 909763393 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2639358 905460 2271 9 0 2630092 0
[pid=31487/tid=31489] ppid=31485 vsize=10557432 CPUtime=1.35 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) S 31485 31487 31440 0 -1 4202560 108193 0 1 0 121 14 0 0 15 0 22 0 909763394 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10557432 CPUtime=0.32 cores=0,2,4,6
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31440 0 -1 4202560 6185 0 0 0 32 0 0 0 15 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10557432 CPUtime=0.21 cores=0,2,4,6
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31440 0 -1 4202560 5268 0 0 0 21 0 0 0 15 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10557432 CPUtime=0.14 cores=0,2,4,6
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31440 0 -1 4202560 720 0 0 0 14 0 0 0 16 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10557432 CPUtime=0.19 cores=0,2,4,6
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31440 0 -1 4202560 2134 0 0 0 19 0 0 0 15 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10557432 CPUtime=0.3 cores=0,2,4,6
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31440 0 -1 4202560 10731 0 0 0 29 1 0 0 16 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10557432 CPUtime=0.29 cores=0,2,4,6
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31440 0 -1 4202560 8443 0 0 0 29 0 0 0 16 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10557432 CPUtime=0.25 cores=0,2,4,6
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31440 0 -1 4202560 3701 0 0 0 25 0 0 0 16 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10557432 CPUtime=0.26 cores=0,2,4,6
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31440 0 -1 4202560 3960 0 0 0 26 0 0 0 16 0 22 0 909763395 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10557432 CPUtime=8.45 cores=0,2,4,6
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31440 0 -1 4202560 50912 0 0 0 840 5 0 0 15 0 22 0 909763396 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 0 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31507] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31507/stat : 31507 (java) S 31485 31487 31440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909763397 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31508] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31508/stat : 31508 (java) S 31485 31487 31440 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 22 0 909763397 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31509] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31509/stat : 31509 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032219569 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31510] ppid=31485 vsize=10557432 CPUtime=1.44 cores=0,2,4,6
/proc/31487/task/31510/stat : 31510 (java) S 31485 31487 31440 0 -1 4202560 6488 0 0 0 144 0 0 0 15 0 22 0 909763399 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31511] ppid=31485 vsize=10557432 CPUtime=1.56 cores=0,2,4,6
/proc/31487/task/31511/stat : 31511 (java) S 31485 31487 31440 0 -1 4202560 9791 0 0 0 155 1 0 0 15 0 22 0 909763399 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31512] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31512/stat : 31512 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31513] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31513/stat : 31513 (java) S 31485 31487 31440 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909763399 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31524] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31524/stat : 31524 (java) S 31485 31487 31440 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909763515 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31621] ppid=31485 vsize=10557432 CPUtime=192.81 cores=0,2,4,6
/proc/31487/task/31621/stat : 31621 (java) R 31485 31487 31440 0 -1 4202560 5 0 0 0 19281 0 0 0 25 0 22 0 909832073 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912506543436 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31487/tid=31622] ppid=31485 vsize=10557432 CPUtime=192.82 cores=0,2,4,6
/proc/31487/task/31622/stat : 31622 (java) R 31485 31487 31440 0 -1 4202560 2 0 0 0 19282 0 0 0 25 0 22 0 909832073 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912506160216 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31487/tid=31623] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31623/stat : 31623 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909832073 10810810368 905460 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1748.35
Current children cumulated vsize (KiB) 10557432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+908.401 s]
/proc/loadavg: 3.50 3.56 3.32 4/370 31638
/proc/meminfo: memFree=19873592/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=10557432 CPUtime=1800.21 cores=0,2,4,6
/proc/31487/stat : 31487 (java) S 31485 31487 31440 0 -1 4202496 915764 0 1 0 179910 111 0 0 22 0 22 0 909763393 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 2639358 908174 2271 9 0 2630092 0
[pid=31487/tid=31489] ppid=31485 vsize=10557432 CPUtime=1.35 cores=0,2,4,6
/proc/31487/task/31489/stat : 31489 (java) S 31485 31487 31440 0 -1 4202560 108193 0 1 0 121 14 0 0 15 0 22 0 909763394 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10557432 CPUtime=0.32 cores=0,2,4,6
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31440 0 -1 4202560 6185 0 0 0 32 0 0 0 15 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10557432 CPUtime=0.22 cores=0,2,4,6
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31440 0 -1 4202560 5434 0 0 0 22 0 0 0 16 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10557432 CPUtime=0.14 cores=0,2,4,6
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31440 0 -1 4202560 720 0 0 0 14 0 0 0 15 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10557432 CPUtime=0.19 cores=0,2,4,6
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31440 0 -1 4202560 2135 0 0 0 19 0 0 0 15 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10557432 CPUtime=0.3 cores=0,2,4,6
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31440 0 -1 4202560 10731 0 0 0 29 1 0 0 15 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10557432 CPUtime=0.31 cores=0,2,4,6
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31440 0 -1 4202560 8730 0 0 0 31 0 0 0 16 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10557432 CPUtime=0.26 cores=0,2,4,6
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31440 0 -1 4202560 3993 0 0 0 26 0 0 0 16 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10557432 CPUtime=0.27 cores=0,2,4,6
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31440 0 -1 4202560 4190 0 0 0 27 0 0 0 16 0 22 0 909763395 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10557432 CPUtime=8.86 cores=0,2,4,6
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31440 0 -1 4202560 52652 0 0 0 880 6 0 0 15 0 22 0 909763396 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 0 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31507] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31507/stat : 31507 (java) S 31485 31487 31440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909763397 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31508] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31508/stat : 31508 (java) S 31485 31487 31440 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 22 0 909763397 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31509] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31509/stat : 31509 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032219569 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31510] ppid=31485 vsize=10557432 CPUtime=1.44 cores=0,2,4,6
/proc/31487/task/31510/stat : 31510 (java) S 31485 31487 31440 0 -1 4202560 6488 0 0 0 144 0 0 0 15 0 22 0 909763399 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 4 0 0 0
[pid=31487/tid=31511] ppid=31485 vsize=10557432 CPUtime=1.56 cores=0,2,4,6
/proc/31487/task/31511/stat : 31511 (java) S 31485 31487 31440 0 -1 4202560 9791 0 0 0 155 1 0 0 15 0 22 0 909763399 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 0 0 0 0
[pid=31487/tid=31512] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31512/stat : 31512 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909763399 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032211865 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31513] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31513/stat : 31513 (java) S 31485 31487 31440 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909763399 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 2 0 0 0
[pid=31487/tid=31524] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31524/stat : 31524 (java) S 31485 31487 31440 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909763515 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
[pid=31487/tid=31621] ppid=31485 vsize=10557432 CPUtime=218.51 cores=0,2,4,6
/proc/31487/task/31621/stat : 31621 (java) R 31485 31487 31440 0 -1 4202560 6 0 0 0 21851 0 0 0 25 0 22 0 909832073 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912505906980 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31487/tid=31622] ppid=31485 vsize=10557432 CPUtime=218.51 cores=0,2,4,6
/proc/31487/task/31622/stat : 31622 (java) R 31485 31487 31440 0 -1 4202560 2 0 0 0 21851 0 0 0 25 0 22 0 909832073 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 46912506292850 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31487/tid=31623] ppid=31485 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/31487/task/31623/stat : 31623 (java) S 31485 31487 31440 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909832073 10810810368 908174 33554432000 1073741824 1073778376 140733832885920 18446744073709551615 260032212480 0 4 0 16800975 18446604453913479104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 10557432

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

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

[startup+908.519 s]
/proc/loadavg: 3.50 3.56 3.32 3/351 31641
/proc/meminfo: memFree=22019028/32951124 swapFree=67056304/67111528
[pid=31487] ppid=31485 vsize=0 CPUtime=1800.34 cores=0,2,4,6
/proc/31487/stat : 31487 (java) Z 31485 31487 31440 0 -1 4203548 915792 0 1 0 179913 121 0 0 17 0 2 0 909763393 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31487/statm: 0 0 0 0 0 0 0
[pid=31487/tid=31640] ppid=31485 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/31487/task/31640/stat : 31640 (java) R 31485 31487 31440 0 -1 4203588 11 0 0 0 0 9 0 0 19 0 2 0 909854235 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.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 908.576
CPU time (s): 1800.4
CPU user time (s): 1799.14
CPU system time (s): 1.26381
CPU usage (%): 198.157
Max. virtual memory (cumulated for all children) (KiB): 10562668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.26381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 915792
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= 22301
involuntary context switches= 22742

runsolver used 3.2735 second user time and 6.67098 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-04 15:48:48
IDJOB=3454022
IDBENCH=48226
IDSOLVER=1950
FILE ID=node110/3454022-1307195328
RUNJOBID= node110-1307195328-31458
PBS_JOBID= 13508868
Free space on /tmp= 74044 MiB

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

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

MD5SUM BENCH= a83973bc04af54d38c05a30d36c8573f
RANDOM SEED=175248232

node110.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.830
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.66
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.830
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	: 5332.83
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.830
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.830
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.83
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.830
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.76
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.830
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.83
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.830
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.830
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:     32951124 kB
MemFree:      24092500 kB
Buffers:        305756 kB
Cached:        4589608 kB
SwapCached:       8652 kB
Active:        4063812 kB
Inactive:      4472280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24092500 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:     3638152 kB
Mapped:          32164 kB
Slab:           229624 kB
PageTables:      27152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 85913696 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= 74044 MiB
End job on node110 at 2011-06-04 16:03:59