Trace number 3458329

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 Resolution 2.3.0SAT (TO)44 1800.2 1796.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_3.opb
MD5SUM12e000f4c238d036e0b89e0774c838fa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark1797.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint61
Maximum length of a constraint108
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75294
Sum of products size (including duplicates)150588
Number of different products75294
Sum of products size150588

Quality of the solution as a function of time


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

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.10	c java.version		1.6.0_24
0.02/0.10	c os.name		Linux
0.02/0.10	c os.version		2.6.18-164.el5
0.02/0.10	c os.arch		amd64
0.02/0.10	c Free memory 		12995394264
0.02/0.10	c Max memory 		13063553024
0.02/0.10	c Total memory 		13063553024
0.02/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458329-1307158981.opb
0.10/0.12	c reading problem ... 
1.64/1.00	c ... done. Wall clock time 0.88s.
1.64/1.00	c #vars     76294
1.64/1.00	c #constraints  151588
1.64/1.00	c constraints type 
1.64/1.00	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294
1.64/1.00	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
2.16/1.22	c SATISFIABLE
2.16/1.22	c OPTIMIZING...
2.16/1.22	c Got one! Elapsed wall clock time (in seconds):1.107
2.16/1.22	o 50
2.57/1.40	c Got one! Elapsed wall clock time (in seconds):1.281
2.57/1.40	o 49
2.82/1.63	c Got one! Elapsed wall clock time (in seconds):1.51
2.82/1.63	o 46
4.88/3.67	c Got one! Elapsed wall clock time (in seconds):3.548
4.88/3.67	o 45
9.19/7.93	c cleaning 2925 clauses out of 5863 with flag 4000/5863
14.80/13.33	c cleaning 4468 clauses out of 8940 with flag 10002/11865
20.62/19.12	c cleaning 5732 clauses out of 11471 with flag 17001/18864
27.73/26.28	c cleaning 6868 clauses out of 13739 with flag 25001/26864
36.48/34.95	c cleaning 7930 clauses out of 15870 with flag 34000/35863
45.39/43.80	c cleaning 8959 clauses out of 17940 with flag 44000/45863
55.41/53.86	c cleaning 9988 clauses out of 19981 with flag 55000/56863
66.12/64.52	c cleaning 10991 clauses out of 21993 with flag 67000/68863
78.34/76.76	c cleaning 11995 clauses out of 24003 with flag 80001/81864
91.15/89.59	c cleaning 12999 clauses out of 26008 with flag 94001/95864
106.19/104.59	c cleaning 13994 clauses out of 28009 with flag 109001/110864
120.29/118.64	c cleaning 14999 clauses out of 30016 with flag 125002/126865
134.10/132.42	c cleaning 16000 clauses out of 32015 with flag 142000/143863
151.02/149.35	c cleaning 17003 clauses out of 34016 with flag 160001/161864
168.44/166.75	c cleaning 17998 clauses out of 36012 with flag 179000/180863
185.36/183.67	c cleaning 19001 clauses out of 38014 with flag 199000/200863
203.47/201.79	c cleaning 20000 clauses out of 40013 with flag 220000/221863
223.08/221.38	c cleaning 20997 clauses out of 42013 with flag 242000/243863
243.72/241.99	c cleaning 22005 clauses out of 44017 with flag 265001/266864
265.44/263.62	c cleaning 22996 clauses out of 46012 with flag 289001/290864
289.55/287.75	c cleaning 24000 clauses out of 48016 with flag 314001/315864
314.18/312.38	c cleaning 25002 clauses out of 50016 with flag 340001/341864
341.91/340.07	c cleaning 26002 clauses out of 52013 with flag 367000/368863
370.82/369.00	c cleaning 26999 clauses out of 54012 with flag 395001/396864
374.43/372.52	c Got one! Elapsed wall clock time (in seconds):372.401
374.43/372.52	o 44
375.07/373.17	c cleaning 16179 clauses out of 32370 with flag 1001/402221
379.69/377.77	c cleaning 11089 clauses out of 22190 with flag 7000/408220
386.50/384.58	c cleaning 9044 clauses out of 18101 with flag 14000/415220
393.91/391.93	c cleaning 8523 clauses out of 17058 with flag 22001/423221
402.52/400.50	c cleaning 8754 clauses out of 17534 with flag 31000/432220
413.12/411.19	c cleaning 9378 clauses out of 18780 with flag 41000/442220
424.04/422.09	c cleaning 10196 clauses out of 20403 with flag 52001/453221
435.55/433.60	c cleaning 11097 clauses out of 22207 with flag 64001/465221
447.66/445.64	c cleaning 12043 clauses out of 24109 with flag 77000/478220
460.67/458.71	c cleaning 13026 clauses out of 26066 with flag 91000/492220
475.48/473.45	c cleaning 14014 clauses out of 28040 with flag 106000/507220
490.29/488.24	c cleaning 15002 clauses out of 30027 with flag 122001/523221
506.00/503.94	c cleaning 16007 clauses out of 32026 with flag 139002/540222
523.11/521.08	c cleaning 16997 clauses out of 34018 with flag 157001/558221
540.43/538.31	c cleaning 18003 clauses out of 36021 with flag 176001/577221
559.14/557.08	c cleaning 19006 clauses out of 38017 with flag 196000/597220
578.46/576.40	c cleaning 19999 clauses out of 40011 with flag 217000/618220
601.27/599.15	c cleaning 20999 clauses out of 42013 with flag 239001/640221
626.49/624.38	c cleaning 22000 clauses out of 44016 with flag 262003/663223
652.11/649.98	c cleaning 23002 clauses out of 46013 with flag 286000/687220
678.24/676.02	c cleaning 23998 clauses out of 48012 with flag 311001/712221
702.97/700.72	c cleaning 24999 clauses out of 50014 with flag 337001/738221
729.07/726.84	c cleaning 26004 clauses out of 52014 with flag 364000/765220
756.59/754.31	c cleaning 26997 clauses out of 54011 with flag 392001/793221
786.81/784.55	c cleaning 27996 clauses out of 56014 with flag 421001/822221
818.23/815.94	c cleaning 28999 clauses out of 58017 with flag 451000/852220
849.95/847.70	c cleaning 29999 clauses out of 60019 with flag 482001/883221
877.86/875.59	c cleaning 31000 clauses out of 62019 with flag 514000/915220
908.67/906.40	c cleaning 32003 clauses out of 64019 with flag 547000/948220
939.81/937.44	c cleaning 32999 clauses out of 66017 with flag 581001/982221
976.03/973.64	c cleaning 34005 clauses out of 68017 with flag 616000/1017220
1008.05/1005.70	c cleaning 34996 clauses out of 70012 with flag 652000/1053220
1041.28/1038.80	c cleaning 36000 clauses out of 72016 with flag 689000/1090220
1080.81/1078.31	c cleaning 36998 clauses out of 74016 with flag 727000/1128220
1120.05/1117.55	c cleaning 38001 clauses out of 76020 with flag 766002/1167222
1161.28/1158.71	c cleaning 39003 clauses out of 78018 with flag 806001/1207221
1209.50/1206.98	c cleaning 40003 clauses out of 80016 with flag 847002/1248222
1260.72/1258.13	c cleaning 40996 clauses out of 82014 with flag 889003/1290223
1309.47/1306.85	c cleaning 42001 clauses out of 84015 with flag 932000/1333220
1351.17/1348.56	c cleaning 42999 clauses out of 86015 with flag 976001/1377221
1389.28/1386.66	c cleaning 43999 clauses out of 88016 with flag 1021001/1422221
1430.24/1427.55	c cleaning 45000 clauses out of 90017 with flag 1067001/1468221
1474.59/1471.88	c cleaning 46002 clauses out of 92017 with flag 1114001/1515221
1523.49/1520.76	c cleaning 47003 clauses out of 94014 with flag 1162000/1563220
1575.53/1572.71	c cleaning 47995 clauses out of 96011 with flag 1211000/1612220
1624.49/1621.63	c cleaning 48997 clauses out of 98018 with flag 1261002/1662222
1675.95/1673.02	c cleaning 50000 clauses out of 100020 with flag 1312001/1713221
1726.83/1723.81	c cleaning 51002 clauses out of 102019 with flag 1364000/1765220
1773.19/1770.15	c cleaning 52000 clauses out of 104018 with flag 1417001/1818221
1800.04/1796.92	c starts		: 215
1800.04/1796.92	c conflicts		: 1846782
1800.04/1796.92	c decisions		: 2790654
1800.04/1796.92	c propagations		: 746701113
1800.04/1796.92	c inspects		: 8492513649
1800.04/1796.92	c shortcuts		: 0
1800.04/1796.92	c learnt literals	: 0
1800.04/1796.92	c learnt binary clauses	: 0
1800.04/1796.92	c learnt ternary clauses	: 0
1800.04/1796.92	c learnt constraints	: 1846782
1800.04/1796.92	c ignored constraints	: 0
1800.04/1796.92	c root simplifications	: 0
1800.04/1796.92	c removed literals (reason simplification)	: 7485370
1800.04/1796.92	c reason swapping (by a shorter reason)	: 0
1800.04/1796.92	c Calls to reduceDB	: 73
1800.04/1796.92	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.92	c number of learned constraints concerned by reduction	: 0
1800.04/1796.92	c number of learning phase by resolution	: 0
1800.04/1796.92	c number of learning phase by cutting planes	: 0
1800.04/1796.92	c speed (assignments/second)	: 524220.09696687176
1800.04/1796.92	c non guided choices	226
1800.04/1796.95	c learnt constraints type 
1800.04/1796.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80603
1800.04/1796.95	c constraints type 
1800.04/1796.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294
1800.04/1796.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1796.95	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
1800.04/1796.95	s SATISFIABLE
1800.04/1796.96	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.04/1796.96	c objective function=44
1800.04/1796.96	c Total wall clock time (in seconds): 1796.84

Verifier Data 

OK	44

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-3458329-1307158981/watcher-3458329-1307158981 -o /tmp/evaluation-result-3458329-1307158981/solver-3458329-1307158981 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458329-1307158981.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.99 2.01 2.00 2/544 4039
/proc/meminfo: memFree=22378016/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/4039/stat : 4039 (java) R 4037 4039 32714 0 -1 4202496 1072 0 0 0 0 0 0 0 25 0 1 0 808313987 23580672 817 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 47257224071952 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4039/statm: 5757 832 626 9 0 124 0
[pid=4039/tid=4040] ppid=4037 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 2397 0 1 0 0 0 0 0 25 0 2 0 808313988 13833195520 3212 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.045585 s]
/proc/loadavg: 1.99 2.01 2.00 2/544 4039
/proc/meminfo: memFree=22378016/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 13493 0 1 0 1 1 0 0 25 0 11 0 808313987 13872562176 13192 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3386856 13193 1608 9 0 3377604 0
[pid=4039/tid=4040] ppid=4037 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 12371 0 1 0 1 1 0 0 25 0 11 0 808313988 13872562176 13193 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 47257225068576 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13547424

[startup+0.103192 s]
/proc/loadavg: 1.99 2.01 2.00 2/544 4039
/proc/meminfo: memFree=22378016/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13621576 CPUtime=0.1 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 15465 0 1 0 8 2 0 0 25 0 18 0 808313987 13948493824 15136 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3405394 15136 2092 9 0 3396128 0
[pid=4039/tid=4040] ppid=4037 vsize=13621576 CPUtime=0.07 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 13515 0 1 0 6 1 0 0 18 0 18 0 808313988 13948493824 15136 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522124235 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621576

[startup+0.300521 s]
/proc/loadavg: 1.99 2.01 2.00 2/544 4039
/proc/meminfo: memFree=22378016/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13621708 CPUtime=0.27 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 16585 0 1 0 25 2 0 0 25 0 18 0 808313987 13948628992 16197 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3405427 16197 2182 9 0 3396161 0
[pid=4039/tid=4040] ppid=4037 vsize=13621708 CPUtime=0.18 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 14336 0 1 0 17 1 0 0 18 0 18 0 808313988 13948628992 16197 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13621708

[startup+0.700418 s]
/proc/loadavg: 1.99 2.01 2.00 2/544 4039
/proc/meminfo: memFree=22378016/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13629980 CPUtime=1.38 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 32819 0 1 0 133 5 0 0 25 0 18 0 808313987 13957099520 29816 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3407495 29819 2227 9 0 3398229 0
[pid=4039/tid=4040] ppid=4037 vsize=13629980 CPUtime=0.59 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 22679 0 1 0 56 3 0 0 18 0 18 0 808313988 13957099520 29820 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 46912505613302 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 13629980

[startup+1.50133 s]
/proc/loadavg: 1.99 2.01 2.00 3/562 4057
/proc/meminfo: memFree=22134040/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13632304 CPUtime=2.72 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 70016 0 1 0 263 9 0 0 25 0 19 0 808313987 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3408076 67011 2239 9 0 3398810 0
[pid=4039/tid=4040] ppid=4037 vsize=13632304 CPUtime=1.39 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 59445 0 1 0 133 6 0 0 19 0 19 0 808313988 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 46912506082432 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=4039/tid=4042] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4042/stat : 4042 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4043] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4043/stat : 4043 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4044] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4044/stat : 4044 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4045] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4045/stat : 4045 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4046] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4046/stat : 4046 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4047] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4047/stat : 4047 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4048] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4048/stat : 4048 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4049] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4049/stat : 4049 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 67011 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4050] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4050/stat : 4050 (java) S 4037 4039 32714 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 808313991 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 0 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4051] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4051/stat : 4051 (java) S 4037 4039 32714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808313992 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4052] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4052/stat : 4052 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808313992 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4053] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4053/stat : 4053 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522121137 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4054] ppid=4037 vsize=13632304 CPUtime=0.66 cores=0,2,4,6
/proc/4039/task/4054/stat : 4054 (java) S 4037 4039 32714 0 -1 4202560 5901 0 0 0 65 1 0 0 16 0 19 0 808313994 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4055] ppid=4037 vsize=13632304 CPUtime=0.65 cores=0,2,4,6
/proc/4039/task/4055/stat : 4055 (java) S 4037 4039 32714 0 -1 4202560 3512 0 0 0 65 0 0 0 16 0 19 0 808313994 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4056] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4056/stat : 4056 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4057] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4057/stat : 4057 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808313994 13959479296 67012 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 13632304

[startup+3.10101 s]
/proc/loadavg: 1.99 2.01 2.00 3/563 4058
/proc/meminfo: memFree=22111456/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13632304 CPUtime=4.38 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 71628 0 1 0 429 9 0 0 25 0 19 0 808313987 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3408076 68622 2242 9 0 3398810 0
[pid=4039/tid=4040] ppid=4037 vsize=13632304 CPUtime=2.99 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 61044 0 1 0 293 6 0 0 23 0 19 0 808313988 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 47257228819283 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=4039/tid=4042] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4042/stat : 4042 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4043] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4043/stat : 4043 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4044] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4044/stat : 4044 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4045] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4045/stat : 4045 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4046] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4046/stat : 4046 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4047] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4047/stat : 4047 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4048] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4048/stat : 4048 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4049] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4049/stat : 4049 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4050] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4050/stat : 4050 (java) S 4037 4039 32714 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 808313991 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 0 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4051] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4051/stat : 4051 (java) S 4037 4039 32714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808313992 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4052] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4052/stat : 4052 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808313992 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4053] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4053/stat : 4053 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522121137 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4054] ppid=4037 vsize=13632304 CPUtime=0.67 cores=0,2,4,6
/proc/4039/task/4054/stat : 4054 (java) S 4037 4039 32714 0 -1 4202560 5902 0 0 0 66 1 0 0 15 0 19 0 808313994 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4055] ppid=4037 vsize=13632304 CPUtime=0.69 cores=0,2,4,6
/proc/4039/task/4055/stat : 4055 (java) S 4037 4039 32714 0 -1 4202560 3523 0 0 0 69 0 0 0 15 0 19 0 808313994 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4056] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4056/stat : 4056 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4057] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4057/stat : 4057 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808313994 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4058] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4058/stat : 4058 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808314091 13959479296 68622 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 13632304

[startup+6.30146 s]
/proc/loadavg: 1.99 2.01 2.00 4/563 4058
/proc/meminfo: memFree=22101668/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13632304 CPUtime=7.58 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 73926 0 1 0 749 9 0 0 25 0 19 0 808313987 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3408076 70902 2242 9 0 3398810 0
[pid=4039/tid=4040] ppid=4037 vsize=13632304 CPUtime=6.19 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 63341 0 1 0 612 7 0 0 25 0 19 0 808313988 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 46912506055378 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=4039/tid=4042] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4042/stat : 4042 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4043] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4043/stat : 4043 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4044] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4044/stat : 4044 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4045] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4045/stat : 4045 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4046] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4046/stat : 4046 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4047] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4047/stat : 4047 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4048] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4048/stat : 4048 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4049] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4049/stat : 4049 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313990 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4050] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4050/stat : 4050 (java) S 4037 4039 32714 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 808313991 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 0 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4051] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4051/stat : 4051 (java) S 4037 4039 32714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808313992 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4052] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4052/stat : 4052 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808313992 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4053] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4053/stat : 4053 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522121137 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4054] ppid=4037 vsize=13632304 CPUtime=0.68 cores=0,2,4,6
/proc/4039/task/4054/stat : 4054 (java) S 4037 4039 32714 0 -1 4202560 5903 0 0 0 67 1 0 0 15 0 19 0 808313994 13959479296 70902 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4055] ppid=4037 vsize=13632304 CPUtime=0.69 cores=0,2,4,6
/proc/4039/task/4055/stat : 4055 (java) S 4037 4039 32714 0 -1 4202560 3523 0 0 0 69 0 0 0 15 0 19 0 808313994 13959479296 70903 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4056] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4056/stat : 4056 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 70903 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0

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

[pid=4039/tid=4047] ppid=4037 vsize=13632304 CPUtime=0.29 cores=0,2,4,6
/proc/4039/task/4047/stat : 4047 (java) S 4037 4039 32714 0 -1 4202560 5686 0 0 0 29 0 0 0 15 0 19 0 808313990 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4048] ppid=4037 vsize=13632304 CPUtime=0.34 cores=0,2,4,6
/proc/4039/task/4048/stat : 4048 (java) S 4037 4039 32714 0 -1 4202560 9648 0 0 0 34 0 0 0 16 0 19 0 808313990 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4049] ppid=4037 vsize=13632304 CPUtime=0.29 cores=0,2,4,6
/proc/4039/task/4049/stat : 4049 (java) S 4037 4039 32714 0 -1 4202560 4984 0 0 0 29 0 0 0 15 0 19 0 808313990 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4050] ppid=4037 vsize=13632304 CPUtime=17.88 cores=0,2,4,6
/proc/4039/task/4050/stat : 4050 (java) S 4037 4039 32714 0 -1 4202560 31882 0 0 0 1785 3 0 0 15 0 19 0 808313991 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 0 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4051] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4051/stat : 4051 (java) S 4037 4039 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4052] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4052/stat : 4052 (java) S 4037 4039 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4053] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4053/stat : 4053 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522121137 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4054] ppid=4037 vsize=13632304 CPUtime=0.73 cores=0,2,4,6
/proc/4039/task/4054/stat : 4054 (java) S 4037 4039 32714 0 -1 4202560 5913 0 0 0 72 1 0 0 15 0 19 0 808313994 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4055] ppid=4037 vsize=13632304 CPUtime=0.79 cores=0,2,4,6
/proc/4039/task/4055/stat : 4055 (java) S 4037 4039 32714 0 -1 4202560 3535 0 0 0 79 0 0 0 15 0 19 0 808313994 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4056] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4056/stat : 4056 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4057] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4057/stat : 4057 (java) S 4037 4039 32714 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 808313994 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4058] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4058/stat : 4058 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808314091 13959479296 148083 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.33
Current children cumulated vsize (KiB) 13632304

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/563 4162
/proc/meminfo: memFree=22156228/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13632304 CPUtime=1785.44 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 151458 0 1 0 178523 21 0 0 25 0 19 0 808313987 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3408076 148096 2268 9 0 3398810 0
[pid=4039/tid=4040] ppid=4037 vsize=13632304 CPUtime=1762.77 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 64035 0 1 0 176267 10 0 0 25 0 19 0 808313988 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 46912506055933 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=4039/tid=4042] ppid=4037 vsize=13632304 CPUtime=0.28 cores=0,2,4,6
/proc/4039/task/4042/stat : 4042 (java) S 4037 4039 32714 0 -1 4202560 4013 0 0 0 28 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4043] ppid=4037 vsize=13632304 CPUtime=0.26 cores=0,2,4,6
/proc/4039/task/4043/stat : 4043 (java) S 4037 4039 32714 0 -1 4202560 5834 0 0 0 26 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4044] ppid=4037 vsize=13632304 CPUtime=0.31 cores=0,2,4,6
/proc/4039/task/4044/stat : 4044 (java) S 4037 4039 32714 0 -1 4202560 2797 0 0 0 31 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4045] ppid=4037 vsize=13632304 CPUtime=0.3 cores=0,2,4,6
/proc/4039/task/4045/stat : 4045 (java) S 4037 4039 32714 0 -1 4202560 3996 0 0 0 30 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4046] ppid=4037 vsize=13632304 CPUtime=0.44 cores=0,2,4,6
/proc/4039/task/4046/stat : 4046 (java) S 4037 4039 32714 0 -1 4202560 7871 0 0 0 44 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4047] ppid=4037 vsize=13632304 CPUtime=0.31 cores=0,2,4,6
/proc/4039/task/4047/stat : 4047 (java) S 4037 4039 32714 0 -1 4202560 5692 0 0 0 31 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4048] ppid=4037 vsize=13632304 CPUtime=0.37 cores=0,2,4,6
/proc/4039/task/4048/stat : 4048 (java) S 4037 4039 32714 0 -1 4202560 9651 0 0 0 37 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4049] ppid=4037 vsize=13632304 CPUtime=0.29 cores=0,2,4,6
/proc/4039/task/4049/stat : 4049 (java) S 4037 4039 32714 0 -1 4202560 4984 0 0 0 29 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4050] ppid=4037 vsize=13632304 CPUtime=18.44 cores=0,2,4,6
/proc/4039/task/4050/stat : 4050 (java) S 4037 4039 32714 0 -1 4202560 31886 0 0 0 1841 3 0 0 15 0 19 0 808313991 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 0 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4051] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4051/stat : 4051 (java) S 4037 4039 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4052] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4052/stat : 4052 (java) S 4037 4039 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4053] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4053/stat : 4053 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522121137 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4054] ppid=4037 vsize=13632304 CPUtime=0.73 cores=0,2,4,6
/proc/4039/task/4054/stat : 4054 (java) S 4037 4039 32714 0 -1 4202560 5913 0 0 0 72 1 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4055] ppid=4037 vsize=13632304 CPUtime=0.79 cores=0,2,4,6
/proc/4039/task/4055/stat : 4055 (java) S 4037 4039 32714 0 -1 4202560 3535 0 0 0 79 0 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4056] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4056/stat : 4056 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4057] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4057/stat : 4057 (java) S 4037 4039 32714 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4058] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4058/stat : 4058 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808314091 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 13632304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/563 4163
/proc/meminfo: memFree=22156572/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13632304 CPUtime=1800.04 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 151458 0 1 0 179983 21 0 0 25 0 19 0 808313987 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3408076 148096 2268 9 0 3398810 0
[pid=4039/tid=4040] ppid=4037 vsize=13632304 CPUtime=1777.39 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 64035 0 1 0 177729 10 0 0 25 0 19 0 808313988 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 46912506093750 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=4039/tid=4042] ppid=4037 vsize=13632304 CPUtime=0.28 cores=0,2,4,6
/proc/4039/task/4042/stat : 4042 (java) S 4037 4039 32714 0 -1 4202560 4013 0 0 0 28 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4043] ppid=4037 vsize=13632304 CPUtime=0.26 cores=0,2,4,6
/proc/4039/task/4043/stat : 4043 (java) S 4037 4039 32714 0 -1 4202560 5834 0 0 0 26 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4044] ppid=4037 vsize=13632304 CPUtime=0.31 cores=0,2,4,6
/proc/4039/task/4044/stat : 4044 (java) S 4037 4039 32714 0 -1 4202560 2797 0 0 0 31 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4045] ppid=4037 vsize=13632304 CPUtime=0.3 cores=0,2,4,6
/proc/4039/task/4045/stat : 4045 (java) S 4037 4039 32714 0 -1 4202560 3996 0 0 0 30 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4046] ppid=4037 vsize=13632304 CPUtime=0.44 cores=0,2,4,6
/proc/4039/task/4046/stat : 4046 (java) S 4037 4039 32714 0 -1 4202560 7871 0 0 0 44 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4047] ppid=4037 vsize=13632304 CPUtime=0.31 cores=0,2,4,6
/proc/4039/task/4047/stat : 4047 (java) S 4037 4039 32714 0 -1 4202560 5692 0 0 0 31 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4048] ppid=4037 vsize=13632304 CPUtime=0.37 cores=0,2,4,6
/proc/4039/task/4048/stat : 4048 (java) S 4037 4039 32714 0 -1 4202560 9651 0 0 0 37 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4049] ppid=4037 vsize=13632304 CPUtime=0.29 cores=0,2,4,6
/proc/4039/task/4049/stat : 4049 (java) S 4037 4039 32714 0 -1 4202560 4984 0 0 0 29 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4050] ppid=4037 vsize=13632304 CPUtime=18.44 cores=0,2,4,6
/proc/4039/task/4050/stat : 4050 (java) S 4037 4039 32714 0 -1 4202560 31886 0 0 0 1841 3 0 0 15 0 19 0 808313991 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 0 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4051] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4051/stat : 4051 (java) S 4037 4039 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4052] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4052/stat : 4052 (java) S 4037 4039 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4053] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4053/stat : 4053 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522121137 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4054] ppid=4037 vsize=13632304 CPUtime=0.73 cores=0,2,4,6
/proc/4039/task/4054/stat : 4054 (java) S 4037 4039 32714 0 -1 4202560 5913 0 0 0 72 1 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4055] ppid=4037 vsize=13632304 CPUtime=0.79 cores=0,2,4,6
/proc/4039/task/4055/stat : 4055 (java) S 4037 4039 32714 0 -1 4202560 3535 0 0 0 79 0 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4056] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4056/stat : 4056 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4057] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4057/stat : 4057 (java) S 4037 4039 32714 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4058] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4058/stat : 4058 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808314091 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13632304

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

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

[startup+1796.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/563 4163
/proc/meminfo: memFree=22156572/32951124 swapFree=64303760/67111528
[pid=4039] ppid=4037 vsize=13632304 CPUtime=1800.04 cores=0,2,4,6
/proc/4039/stat : 4039 (java) S 4037 4039 32714 0 -1 4202496 151458 0 1 0 179983 21 0 0 25 0 19 0 808313987 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4039/statm: 3408076 148096 2268 9 0 3398810 0
[pid=4039/tid=4040] ppid=4037 vsize=13632304 CPUtime=1777.39 cores=0,2,4,6
/proc/4039/task/4040/stat : 4040 (java) R 4037 4039 32714 0 -1 4202560 64035 0 1 0 177729 10 0 0 25 0 19 0 808313988 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 46912506093750 0 4 0 16800975 0 0 0 -1 2 0 0 8
[pid=4039/tid=4042] ppid=4037 vsize=13632304 CPUtime=0.28 cores=0,2,4,6
/proc/4039/task/4042/stat : 4042 (java) S 4037 4039 32714 0 -1 4202560 4013 0 0 0 28 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4043] ppid=4037 vsize=13632304 CPUtime=0.26 cores=0,2,4,6
/proc/4039/task/4043/stat : 4043 (java) S 4037 4039 32714 0 -1 4202560 5834 0 0 0 26 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4044] ppid=4037 vsize=13632304 CPUtime=0.31 cores=0,2,4,6
/proc/4039/task/4044/stat : 4044 (java) S 4037 4039 32714 0 -1 4202560 2797 0 0 0 31 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4045] ppid=4037 vsize=13632304 CPUtime=0.3 cores=0,2,4,6
/proc/4039/task/4045/stat : 4045 (java) S 4037 4039 32714 0 -1 4202560 3996 0 0 0 30 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4046] ppid=4037 vsize=13632304 CPUtime=0.44 cores=0,2,4,6
/proc/4039/task/4046/stat : 4046 (java) S 4037 4039 32714 0 -1 4202560 7871 0 0 0 44 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4047] ppid=4037 vsize=13632304 CPUtime=0.31 cores=0,2,4,6
/proc/4039/task/4047/stat : 4047 (java) S 4037 4039 32714 0 -1 4202560 5692 0 0 0 31 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
[pid=4039/tid=4048] ppid=4037 vsize=13632304 CPUtime=0.37 cores=0,2,4,6
/proc/4039/task/4048/stat : 4048 (java) S 4037 4039 32714 0 -1 4202560 9651 0 0 0 37 0 0 0 16 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4049] ppid=4037 vsize=13632304 CPUtime=0.29 cores=0,2,4,6
/proc/4039/task/4049/stat : 4049 (java) S 4037 4039 32714 0 -1 4202560 4984 0 0 0 29 0 0 0 15 0 19 0 808313990 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4050] ppid=4037 vsize=13632304 CPUtime=18.44 cores=0,2,4,6
/proc/4039/task/4050/stat : 4050 (java) S 4037 4039 32714 0 -1 4202560 31886 0 0 0 1841 3 0 0 15 0 19 0 808313991 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 0 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4051] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4051/stat : 4051 (java) S 4037 4039 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4052] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4052/stat : 4052 (java) S 4037 4039 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808313992 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4053] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4053/stat : 4053 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522121137 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4054] ppid=4037 vsize=13632304 CPUtime=0.73 cores=0,2,4,6
/proc/4039/task/4054/stat : 4054 (java) S 4037 4039 32714 0 -1 4202560 5913 0 0 0 72 1 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4055] ppid=4037 vsize=13632304 CPUtime=0.79 cores=0,2,4,6
/proc/4039/task/4055/stat : 4055 (java) S 4037 4039 32714 0 -1 4202560 3535 0 0 0 79 0 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 0 0 0 0
[pid=4039/tid=4056] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4056/stat : 4056 (java) S 4037 4039 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522113433 0 4 0 16800975 18446604445854968512 0 0 -1 2 0 0 0
[pid=4039/tid=4057] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4057/stat : 4057 (java) S 4037 4039 32714 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808313994 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 4 0 0 0
[pid=4039/tid=4058] ppid=4037 vsize=13632304 CPUtime=0 cores=0,2,4,6
/proc/4039/task/4058/stat : 4058 (java) S 4037 4039 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808314091 13959479296 148096 33554432000 1073741824 1073778376 140736576409344 18446744073709551615 233522114048 0 4 0 16800975 18446604445854968512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13632304

Child status: 143
Real time (s): 1796.99
CPU time (s): 1800.2
CPU user time (s): 1799.95
CPU system time (s): 0.247962
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 13632304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151488
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= 38626
involuntary context switches= 29689

runsolver used 9.97648 second user time and 21.1858 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-04 05:43:01
IDJOB=3458329
IDBENCH=48149
IDSOLVER=1952
FILE ID=node145/3458329-1307158981
RUNJOBID= node145-1307155381-3611
PBS_JOBID= 13508771
Free space on /tmp= 73988 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458329-1307158981/watcher-3458329-1307158981 -o /tmp/evaluation-result-3458329-1307158981/solver-3458329-1307158981 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458329-1307158981.opb

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

MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa
RANDOM SEED=419395491

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22378296 kB
Buffers:        259456 kB
Cached:         476804 kB
SwapCached:        944 kB
Active:        9930464 kB
Inactive:       371392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22378296 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:            1320 kB
Writeback:           0 kB
AnonPages:     9564496 kB
Mapped:          42620 kB
Slab:           134340 kB
PageTables:      66852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 166649864 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= 73988 MiB
End job on node145 at 2011-06-04 06:13:00