Trace number 3733239

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-40 1800.16 919.066

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3733239-1338688511.opb
0.07/0.13	c reading problem ... 
1.16/0.72	c ... done. Wall clock time 0.586s.
1.16/0.72	c #vars     1150
1.16/0.72	c #constraints  80035
1.16/0.72	c constraints type 
1.16/0.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80035
1.16/0.72	c constraints type 
1.16/0.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80035
1.16/0.74	c  And the winner is CuttingPlanes
1.32/1.23	c SATISFIABLE
1.32/1.23	c OPTIMIZING...
1.32/1.23	c Got one! Elapsed wall clock time (in seconds):1.092
1.32/1.23	o -34
1.58/1.30	c  And the winner is Resolution
1.69/1.73	c Got one! Elapsed wall clock time (in seconds):1.599
1.69/1.73	o -35
1.93/1.86	c  And the winner is Resolution
2.59/2.24	c Got one! Elapsed wall clock time (in seconds):2.103
2.59/2.24	o -36
2.82/2.31	c  And the winner is Resolution
2.95/2.74	c Got one! Elapsed wall clock time (in seconds):2.607
2.95/2.74	o -37
5.37/3.98	c cleaning 2805 clauses out of 5610 with flag 5000/5610
6.00/4.21	c  And the winner is Resolution
6.12/4.40	c Got one! Elapsed wall clock time (in seconds):4.261
6.12/4.40	o -38
8.70/5.63	c cleaning 4030 clauses out of 8061 with flag 5000/10866
12.04/7.30	c cleaning 5013 clauses out of 10031 with flag 11000/16866
14.33/8.51	c  And the winner is Resolution
14.69/8.98	c Got one! Elapsed wall clock time (in seconds):8.842
14.69/8.98	o -39
15.53/9.49	c cleaning 5492 clauses out of 10993 with flag 2000/22841
19.02/11.28	c cleaning 5750 clauses out of 11501 with flag 8000/28841
23.10/13.34	c cleaning 6373 clauses out of 12751 with flag 15000/35841
27.79/15.74	c cleaning 7185 clauses out of 14378 with flag 23000/43841
33.32/18.50	c cleaning 8094 clauses out of 16193 with flag 32000/52841
39.08/21.59	c cleaning 9045 clauses out of 18099 with flag 42000/62841
46.71/25.47	c cleaning 10027 clauses out of 20054 with flag 53000/73841
53.92/29.13	c cleaning 11012 clauses out of 22028 with flag 65001/85842
62.34/33.49	c cleaning 12000 clauses out of 24015 with flag 78000/98841
72.62/38.78	c cleaning 13008 clauses out of 26016 with flag 92001/112842
76.39/40.79	c  And the winner is Resolution
77.01/41.34	c Got one! Elapsed wall clock time (in seconds):41.201
77.01/41.34	o -40
79.67/42.78	c cleaning 11889 clauses out of 23778 with flag 5001/123612
83.62/44.81	c cleaning 8944 clauses out of 17888 with flag 11000/129611
88.37/47.35	c cleaning 7971 clauses out of 15945 with flag 18001/136612
93.55/50.14	c cleaning 7978 clauses out of 15973 with flag 26000/144611
99.50/53.26	c cleaning 8498 clauses out of 16995 with flag 35000/153611
106.45/56.85	c cleaning 9245 clauses out of 18497 with flag 45000/163611
114.23/60.85	c cleaning 10120 clauses out of 20252 with flag 56000/174611
121.82/64.87	c cleaning 11057 clauses out of 22132 with flag 68000/186611
130.56/69.37	c cleaning 12028 clauses out of 24075 with flag 81000/199611
140.88/74.64	c cleaning 13014 clauses out of 26047 with flag 95000/213611
152.43/80.58	c cleaning 14009 clauses out of 28034 with flag 110001/228612
164.37/86.75	c cleaning 15004 clauses out of 30024 with flag 126000/244611
178.09/93.77	c cleaning 16006 clauses out of 32020 with flag 143000/261611
189.19/99.46	c cleaning 16998 clauses out of 34014 with flag 161000/279611
203.10/106.55	c cleaning 18008 clauses out of 36017 with flag 180001/298612
220.20/115.31	c cleaning 18999 clauses out of 38008 with flag 200000/318611
236.84/123.81	c cleaning 20004 clauses out of 40009 with flag 221000/339611
253.11/132.17	c cleaning 20986 clauses out of 42005 with flag 243000/361611
273.35/142.40	c cleaning 22005 clauses out of 44020 with flag 266001/384612
290.14/151.16	c cleaning 23000 clauses out of 46014 with flag 290000/408611
307.58/160.03	c cleaning 24003 clauses out of 48015 with flag 315001/433612
327.41/170.14	c cleaning 25004 clauses out of 50012 with flag 341001/459612
348.84/181.02	c cleaning 25999 clauses out of 52007 with flag 368000/486611
373.93/193.92	c cleaning 27002 clauses out of 54008 with flag 396000/514611
396.73/205.57	c cleaning 27995 clauses out of 56006 with flag 425000/543611
422.27/218.56	c cleaning 28999 clauses out of 58012 with flag 455001/573612
445.25/230.25	c cleaning 30003 clauses out of 60012 with flag 486000/604611
468.90/242.46	c cleaning 30999 clauses out of 62009 with flag 518000/636611
498.04/257.24	c cleaning 32000 clauses out of 64010 with flag 551000/669611
528.17/272.58	c cleaning 32997 clauses out of 66010 with flag 585000/703611
556.68/287.08	c cleaning 34001 clauses out of 68013 with flag 620000/738611
594.16/306.25	c cleaning 35004 clauses out of 70014 with flag 656002/774613
624.44/321.62	c cleaning 35999 clauses out of 72008 with flag 693000/811611
661.88/340.67	c cleaning 37006 clauses out of 74011 with flag 731002/849613
698.72/359.38	c cleaning 37986 clauses out of 76003 with flag 770000/888611
727.60/374.26	c cleaning 39000 clauses out of 78017 with flag 810000/928611
762.03/391.77	c cleaning 40004 clauses out of 80019 with flag 851002/969613
810.62/416.38	c cleaning 41007 clauses out of 82013 with flag 893000/1011611
834.06/428.32	c cleaning 0 clauses out of 5759 with flag 0/5762
853.96/438.63	c cleaning 41998 clauses out of 84007 with flag 936001/1054612
893.05/458.60	c cleaning 43002 clauses out of 86009 with flag 980001/1098612
939.54/482.20	c cleaning 44000 clauses out of 88007 with flag 1025001/1143612
983.04/504.23	c cleaning 44995 clauses out of 90006 with flag 1071000/1189611
1031.41/529.10	c cleaning 46000 clauses out of 92011 with flag 1118000/1236611
1088.56/557.87	c cleaning 46996 clauses out of 94011 with flag 1166000/1284611
1141.83/584.87	c cleaning 48006 clauses out of 96015 with flag 1215000/1333611
1179.12/603.81	c cleaning 49004 clauses out of 98009 with flag 1265000/1383611
1223.69/626.87	c cleaning 49997 clauses out of 100005 with flag 1316000/1434611
1269.73/650.21	c cleaning 51002 clauses out of 102008 with flag 1368000/1486611
1320.76/676.14	c cleaning 51997 clauses out of 104006 with flag 1421000/1539611
1379.21/705.65	c cleaning 52993 clauses out of 106009 with flag 1475000/1593611
1431.92/732.76	c cleaning 54008 clauses out of 108016 with flag 1530000/1648611
1512.61/773.48	c cleaning 55005 clauses out of 110009 with flag 1586001/1704612
1591.87/813.44	c cleaning 55991 clauses out of 112003 with flag 1643000/1761611
1653.80/844.80	c cleaning 57006 clauses out of 114012 with flag 1701000/1819611
1726.52/881.85	c cleaning 57985 clauses out of 116006 with flag 1760000/1878611
1800.16/919.01	c starts		: 217
1800.16/919.01	c conflicts		: 1938549
1800.16/919.01	c decisions		: 2104331
1800.16/919.01	c propagations		: 11648215
1800.16/919.01	c inspects		: 2379753909
1800.16/919.01	c shortcuts		: 0
1800.16/919.01	c learnt literals	: 0
1800.16/919.01	c learnt binary clauses	: 0
1800.16/919.01	c learnt ternary clauses	: 0
1800.16/919.01	c learnt constraints	: 1938549
1800.16/919.01	c ignored constraints	: 0
1800.16/919.01	c root simplifications	: 0
1800.16/919.01	c removed literals (reason simplification)	: 24808087
1800.16/919.01	c reason swapping (by a shorter reason)	: 0
1800.16/919.01	c Calls to reduceDB	: 68
1800.16/919.01	c number of reductions to clauses (during analyze)	: 0
1800.16/919.01	c number of learned constraints concerned by reduction	: 0
1800.16/919.01	c number of learning phase by resolution	: 0
1800.16/919.01	c number of learning phase by cutting planes	: 0
1800.16/919.01	c speed (assignments/second)	: 13271.672316062324
1800.16/919.01	c non guided choices	0
1800.16/919.04	c learnt constraints type 
1800.16/919.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 117980
1800.16/919.04	c constraints type 
1800.16/919.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.16/919.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80035
1800.16/919.04	c constraints type 
1800.16/919.04	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80035
1800.16/919.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.16/919.04	s SATISFIABLE
1800.16/919.04	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 
1800.16/919.04	c objective function=-40
1800.16/919.04	c Total wall clock time (in seconds): 918.91

Verifier Data 

OK	-40

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.87 3.85 3.64 4/197 3985
/proc/meminfo: memFree=25273232/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3985/stat : 3985 (java) D 3983 3985 442 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 334975433 9515008 182 33554432000 1073741824 1073778376 140735056451248 140735056442280 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/3985/statm: 2323 182 140 9 0 71 0

[startup+0.0967501 s]
/proc/loadavg: 3.87 3.85 3.64 4/197 3985
/proc/meminfo: memFree=25273232/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 4521 0 1 0 6 1 0 0 20 0 18 0 334975433 11864465408 12374 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2896598 12374 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.10029 s]
/proc/loadavg: 3.87 3.85 3.64 4/197 3985
/proc/meminfo: memFree=25273232/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 4523 0 1 0 6 1 0 0 20 0 18 0 334975433 11864465408 12376 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2896598 12376 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.30025 s]
/proc/loadavg: 3.87 3.85 3.64 4/197 3985
/proc/meminfo: memFree=25273232/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11586392 CPUtime=0.44 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 6321 0 1 0 42 2 0 0 20 0 18 0 334975433 11864465408 15412 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2896598 15412 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700272 s]
/proc/loadavg: 3.87 3.85 3.64 4/197 3985
/proc/meminfo: memFree=25273232/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11586392 CPUtime=1.16 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 10130 0 1 0 110 6 0 0 20 0 18 0 334975433 11864465408 55640 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2896598 55640 2237 9 0 2887285 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 11586392

[startup+1.50074 s]
/proc/loadavg: 3.80 3.84 3.64 3/216 4007
/proc/meminfo: memFree=25042260/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11852648 CPUtime=1.69 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 11453 0 1 0 158 11 0 0 20 0 19 0 334975433 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2963162 60937 2257 9 0 2953849 0
[pid=3985/tid=3987] ppid=3983 vsize=11852648 CPUtime=0.7 cores=1,3,5,7
/proc/3985/task/3987/stat : 3987 (java) S 3983 3985 442 0 -1 4202560 3519 0 1 0 64 6 0 0 20 0 19 0 334975434 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139819032052888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3988] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3988/stat : 3988 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818970782632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3989] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3989/stat : 3989 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818867911720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3990] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3990/stat : 3990 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818866858664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3991] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3991/stat : 3991 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818865806120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3992] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3992/stat : 3992 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818864753064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3993] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3993/stat : 3993 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818863700520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3994] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3994/stat : 3994 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818862647464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3995] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3995/stat : 3995 (java) S 3983 3985 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334975437 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818861594920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3996] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3996/stat : 3996 (java) S 3983 3985 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334975438 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818849397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3997] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3997/stat : 3997 (java) S 3983 3985 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334975438 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818848343928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3998] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3998/stat : 3998 (java) S 3983 3985 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334975438 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818847290760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3999] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3999/stat : 3999 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975441 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818846239504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4000] ppid=3983 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/3985/task/4000/stat : 4000 (java) S 3983 3985 442 0 -1 4202560 2769 0 0 0 34 0 0 0 20 0 19 0 334975441 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818845186360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4001] ppid=3983 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/3985/task/4001/stat : 4001 (java) S 3983 3985 442 0 -1 4202560 3853 0 0 0 39 2 0 0 20 0 19 0 334975441 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818844133816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4002] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4002/stat : 4002 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975441 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818843080952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4003] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4003/stat : 4003 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334975441 12137111552 60937 33554432000 1073741824 1073778376 140736018689488 139818842028616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.80 3.84 3.64 4/216 4013
/proc/meminfo: memFree=25017292/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11852648 CPUtime=3.73 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 18236 0 1 0 355 18 0 0 20 0 22 0 334975433 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2963162 87535 2263 9 0 2953849 0
[pid=3985/tid=3987] ppid=3983 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/3985/task/3987/stat : 3987 (java) S 3983 3985 442 0 -1 4202560 3520 0 1 0 65 6 0 0 20 0 22 0 334975434 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139819032052888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3988] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3988/stat : 3988 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818970782632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3989] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3989/stat : 3989 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818867911720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3990] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3990/stat : 3990 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818866858664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3991] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3991/stat : 3991 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818865806120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3992] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3992/stat : 3992 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818864753064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3993] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3993/stat : 3993 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818863700520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3994] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3994/stat : 3994 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818862647464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3995] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3995/stat : 3995 (java) S 3983 3985 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334975437 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818861594920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3996] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3996/stat : 3996 (java) S 3983 3985 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818849397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3997] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3997/stat : 3997 (java) S 3983 3985 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818848343928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3998] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3998/stat : 3998 (java) S 3983 3985 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818847290760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3999] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3999/stat : 3999 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818846239504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4000] ppid=3983 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/3985/task/4000/stat : 4000 (java) S 3983 3985 442 0 -1 4202560 8045 0 0 0 82 1 0 0 20 0 22 0 334975441 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818845186360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4001] ppid=3983 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/3985/task/4001/stat : 4001 (java) S 3983 3985 442 0 -1 4202560 5291 0 0 0 79 2 0 0 20 0 22 0 334975441 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818844133816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4002] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4002/stat : 4002 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818843080952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4003] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4003/stat : 4003 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818842028616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4010] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4010/stat : 4010 (java) S 3983 3985 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334975557 12137111552 87535 33554432000 1073741824 1073778376 140736018689488 139818839921448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 11852648

[startup+6.30081 s]
/proc/loadavg: 3.80 3.84 3.64 5/219 4022
/proc/meminfo: memFree=24414988/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11852648 CPUtime=10.04 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 20078 0 1 0 963 41 0 0 20 0 22 0 334975433 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2963162 219551 2291 9 0 2953849 0
[pid=3985/tid=3987] ppid=3983 vsize=11852648 CPUtime=0.72 cores=1,3,5,7
/proc/3985/task/3987/stat : 3987 (java) S 3983 3985 442 0 -1 4202560 3520 0 1 0 66 6 0 0 20 0 22 0 334975434 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139819032052888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3988] ppid=3983 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/3985/task/3988/stat : 3988 (java) S 3983 3985 442 0 -1 4202560 19 0 0 0 0 2 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818970782632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3989] ppid=3983 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/3985/task/3989/stat : 3989 (java) S 3983 3985 442 0 -1 4202560 18 0 0 0 1 2 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818867911720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3990] ppid=3983 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/3985/task/3990/stat : 3990 (java) S 3983 3985 442 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818866858664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3991] ppid=3983 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/3985/task/3991/stat : 3991 (java) S 3983 3985 442 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818865806120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3992] ppid=3983 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/3985/task/3992/stat : 3992 (java) S 3983 3985 442 0 -1 4202560 25 0 0 0 1 1 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818864753064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3993] ppid=3983 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/3985/task/3993/stat : 3993 (java) S 3983 3985 442 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818863700520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3994] ppid=3983 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/3985/task/3994/stat : 3994 (java) S 3983 3985 442 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818862647464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3995] ppid=3983 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/3985/task/3995/stat : 3995 (java) S 3983 3985 442 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 22 0 334975437 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818861594920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3996] ppid=3983 vsize=11852648 CPUtime=0.23 cores=1,3,5,7
/proc/3985/task/3996/stat : 3996 (java) S 3983 3985 442 0 -1 4202560 60 0 0 0 22 1 0 0 20 0 22 0 334975438 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818849397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3997] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3997/stat : 3997 (java) S 3983 3985 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818848343928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3998] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3998/stat : 3998 (java) S 3983 3985 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818847290760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3999] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3999/stat : 3999 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818846239504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4000] ppid=3983 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/3985/task/4000/stat : 4000 (java) S 3983 3985 442 0 -1 4202560 8052 0 0 0 88 1 0 0 20 0 22 0 334975441 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818845186360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4001] ppid=3983 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/3985/task/4001/stat : 4001 (java) S 3983 3985 442 0 -1 4202560 6696 0 0 0 96 2 0 0 20 0 22 0 334975441 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818844133816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4002] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4002/stat : 4002 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818843080952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4003] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4003/stat : 4003 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818842028616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4010] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4010/stat : 4010 (java) S 3983 3985 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334975557 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818839921448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=4020] ppid=3983 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/3985/task/4020/stat : 4020 (java) R 3983 3985 442 0 -1 4202560 8 0 0 0 170 0 0 0 20 0 22 0 334975873 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818840974248 139818972537606 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=4021] ppid=3983 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/3985/task/4021/stat : 4021 (java) R 3983 3985 442 0 -1 4202560 104 0 0 0 169 4 0 0 20 0 22 0 334975873 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818837815576 139818972568718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4022] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4022/stat : 4022 (java) S 3983 3985 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334975873 12137111552 219551 33554432000 1073741824 1073778376 140736018689488 139818838869288 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

/proc/3985/statm: 2963162 1061190 2292 9 0 2953849 0
[pid=3985/tid=3987] ppid=3983 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/3985/task/3987/stat : 3987 (java) S 3983 3985 442 0 -1 4202560 3557 0 1 0 69 8 0 0 20 0 22 0 334975434 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139819032052888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3988] ppid=3983 vsize=11852648 CPUtime=1.8 cores=1,3,5,7
/proc/3985/task/3988/stat : 3988 (java) S 3983 3985 442 0 -1 4202560 190 0 0 0 174 6 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818970782632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3989] ppid=3983 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/3985/task/3989/stat : 3989 (java) S 3983 3985 442 0 -1 4202560 221 0 0 0 171 7 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818867911720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3990] ppid=3983 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/3985/task/3990/stat : 3990 (java) S 3983 3985 442 0 -1 4202560 307 0 0 0 170 11 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818866858664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3991] ppid=3983 vsize=11852648 CPUtime=1.8 cores=1,3,5,7
/proc/3985/task/3991/stat : 3991 (java) S 3983 3985 442 0 -1 4202560 231 0 0 0 170 10 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818865806120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3992] ppid=3983 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/3985/task/3992/stat : 3992 (java) S 3983 3985 442 0 -1 4202560 156 0 0 0 160 5 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818864753064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3993] ppid=3983 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/3985/task/3993/stat : 3993 (java) S 3983 3985 442 0 -1 4202560 203 0 0 0 173 9 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818863700520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3994] ppid=3983 vsize=11852648 CPUtime=1.91 cores=1,3,5,7
/proc/3985/task/3994/stat : 3994 (java) S 3983 3985 442 0 -1 4202560 209 0 0 0 182 9 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818862647464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3995] ppid=3983 vsize=11852648 CPUtime=2.06 cores=1,3,5,7
/proc/3985/task/3995/stat : 3995 (java) S 3983 3985 442 0 -1 4202560 262 0 0 0 195 11 0 0 20 0 22 0 334975437 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818861594920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3996] ppid=3983 vsize=11852648 CPUtime=39.42 cores=1,3,5,7
/proc/3985/task/3996/stat : 3996 (java) S 3983 3985 442 0 -1 4202560 628 0 0 0 3922 20 0 0 20 0 22 0 334975438 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818849397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3997] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3997/stat : 3997 (java) S 3983 3985 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818848343928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3998] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3998/stat : 3998 (java) S 3983 3985 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818847290760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3999] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3999/stat : 3999 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818846239504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4000] ppid=3983 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/3985/task/4000/stat : 4000 (java) S 3983 3985 442 0 -1 4202560 8135 0 0 0 159 1 0 0 20 0 22 0 334975441 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818845186360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4001] ppid=3983 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/3985/task/4001/stat : 4001 (java) S 3983 3985 442 0 -1 4202560 6717 0 0 0 107 2 0 0 20 0 22 0 334975441 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818844133816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4002] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4002/stat : 4002 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818843080952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4003] ppid=3983 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/3985/task/4003/stat : 4003 (java) S 3983 3985 442 0 -1 4202560 47 0 0 0 26 19 0 0 20 0 22 0 334975441 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818842028616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4010] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4010/stat : 4010 (java) S 3983 3985 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334975557 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818839921448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=4026] ppid=3983 vsize=11852648 CPUtime=738.59 cores=1,3,5,7
/proc/3985/task/4026/stat : 4026 (java) R 3983 3985 442 0 -1 4202560 61 0 0 0 73845 14 0 0 20 0 22 0 334979567 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818838868048 139818972537606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4027] ppid=3983 vsize=11852648 CPUtime=738.73 cores=1,3,5,7
/proc/3985/task/4027/stat : 4027 (java) R 3983 3985 442 0 -1 4202560 796 0 0 0 73837 36 0 0 20 0 22 0 334979567 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818837813632 139818972567776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4028] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4028/stat : 4028 (java) S 3983 3985 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334979567 12137111552 1061190 33554432000 1073741824 1073778376 140736018689488 139818840974888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1608.77
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.90 3.92 3.81 4/219 4131
/proc/meminfo: memFree=19558248/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11852648 CPUtime=1727.34 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 23782 0 1 0 172553 181 0 0 20 0 22 0 334975433 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2963162 1114012 2292 9 0 2953849 0
[pid=3985/tid=3987] ppid=3983 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/3985/task/3987/stat : 3987 (java) S 3983 3985 442 0 -1 4202560 3559 0 1 0 69 8 0 0 20 0 22 0 334975434 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139819032052600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3988] ppid=3983 vsize=11852648 CPUtime=1.94 cores=1,3,5,7
/proc/3985/task/3988/stat : 3988 (java) S 3983 3985 442 0 -1 4202560 211 0 0 0 187 7 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818970782632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3989] ppid=3983 vsize=11852648 CPUtime=2.05 cores=1,3,5,7
/proc/3985/task/3989/stat : 3989 (java) S 3983 3985 442 0 -1 4202560 298 0 0 0 195 10 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818867911720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3990] ppid=3983 vsize=11852648 CPUtime=1.99 cores=1,3,5,7
/proc/3985/task/3990/stat : 3990 (java) S 3983 3985 442 0 -1 4202560 330 0 0 0 187 12 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818866858664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3991] ppid=3983 vsize=11852648 CPUtime=1.96 cores=1,3,5,7
/proc/3985/task/3991/stat : 3991 (java) S 3983 3985 442 0 -1 4202560 256 0 0 0 185 11 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818865806120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3992] ppid=3983 vsize=11852648 CPUtime=1.84 cores=1,3,5,7
/proc/3985/task/3992/stat : 3992 (java) S 3983 3985 442 0 -1 4202560 218 0 0 0 177 7 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818864753064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3993] ppid=3983 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/3985/task/3993/stat : 3993 (java) S 3983 3985 442 0 -1 4202560 231 0 0 0 190 10 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818863700520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3994] ppid=3983 vsize=11852648 CPUtime=2.19 cores=1,3,5,7
/proc/3985/task/3994/stat : 3994 (java) S 3983 3985 442 0 -1 4202560 303 0 0 0 206 13 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818862647464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3995] ppid=3983 vsize=11852648 CPUtime=2.18 cores=1,3,5,7
/proc/3985/task/3995/stat : 3995 (java) S 3983 3985 442 0 -1 4202560 288 0 0 0 206 12 0 0 20 0 22 0 334975437 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818861594920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3996] ppid=3983 vsize=11852648 CPUtime=41.61 cores=1,3,5,7
/proc/3985/task/3996/stat : 3996 (java) R 3983 3985 442 0 -1 4202560 632 0 0 0 4140 21 0 0 20 0 22 0 334975438 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818849396424 139819038178447 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3997] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3997/stat : 3997 (java) S 3983 3985 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818848343928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3998] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3998/stat : 3998 (java) S 3983 3985 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818847290760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3999] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3999/stat : 3999 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818846239504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4000] ppid=3983 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/3985/task/4000/stat : 4000 (java) S 3983 3985 442 0 -1 4202560 8135 0 0 0 159 1 0 0 20 0 22 0 334975441 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818845186360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4001] ppid=3983 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/3985/task/4001/stat : 4001 (java) S 3983 3985 442 0 -1 4202560 6717 0 0 0 107 2 0 0 20 0 22 0 334975441 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818844133816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4002] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4002/stat : 4002 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818843080952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4003] ppid=3983 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/3985/task/4003/stat : 4003 (java) S 3983 3985 442 0 -1 4202560 51 0 0 0 29 19 0 0 20 0 22 0 334975441 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818842028616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4010] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4010/stat : 4010 (java) S 3983 3985 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334975557 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818839921448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=4026] ppid=3983 vsize=11852648 CPUtime=795.86 cores=1,3,5,7
/proc/3985/task/4026/stat : 4026 (java) S 3983 3985 442 0 -1 4202560 62 0 0 0 79571 15 0 0 20 0 22 0 334979567 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818838868168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4027] ppid=3983 vsize=11852648 CPUtime=795.99 cores=1,3,5,7
/proc/3985/task/4027/stat : 4027 (java) S 3983 3985 442 0 -1 4202560 797 0 0 0 79562 37 0 0 20 0 22 0 334979567 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818837813704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4028] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4028/stat : 4028 (java) S 3983 3985 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334979567 12137111552 1114012 33554432000 1073741824 1073778376 140736018689488 139818840974888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.34
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+919.001 s]
/proc/loadavg: 3.86 3.91 3.81 5/220 4158
/proc/meminfo: memFree=19494504/32873844 swapFree=7628/7628
[pid=3985] ppid=3983 vsize=11852648 CPUtime=1800.16 cores=1,3,5,7
/proc/3985/stat : 3985 (java) S 3983 3985 442 0 -1 4202496 23849 0 1 0 179833 183 0 0 20 0 22 0 334975433 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 140736018680624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3985/statm: 2963162 1122218 2292 9 0 2953849 0
[pid=3985/tid=3987] ppid=3983 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/3985/task/3987/stat : 3987 (java) S 3983 3985 442 0 -1 4202560 3559 0 1 0 69 8 0 0 20 0 22 0 334975434 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139819032052888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=3988] ppid=3983 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/3985/task/3988/stat : 3988 (java) S 3983 3985 442 0 -1 4202560 225 0 0 0 193 7 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818970782632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3989] ppid=3983 vsize=11852648 CPUtime=2.08 cores=1,3,5,7
/proc/3985/task/3989/stat : 3989 (java) S 3983 3985 442 0 -1 4202560 298 0 0 0 198 10 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818867911720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3990] ppid=3983 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/3985/task/3990/stat : 3990 (java) S 3983 3985 442 0 -1 4202560 339 0 0 0 191 12 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818866858664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3991] ppid=3983 vsize=11852648 CPUtime=2.01 cores=1,3,5,7
/proc/3985/task/3991/stat : 3991 (java) S 3983 3985 442 0 -1 4202560 263 0 0 0 190 11 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818865806120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3992] ppid=3983 vsize=11852648 CPUtime=1.88 cores=1,3,5,7
/proc/3985/task/3992/stat : 3992 (java) S 3983 3985 442 0 -1 4202560 232 0 0 0 181 7 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818864753064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3993] ppid=3983 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/3985/task/3993/stat : 3993 (java) S 3983 3985 442 0 -1 4202560 243 0 0 0 193 10 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818863700520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3994] ppid=3983 vsize=11852648 CPUtime=2.22 cores=1,3,5,7
/proc/3985/task/3994/stat : 3994 (java) S 3983 3985 442 0 -1 4202560 308 0 0 0 209 13 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818862647464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3995] ppid=3983 vsize=11852648 CPUtime=2.22 cores=1,3,5,7
/proc/3985/task/3995/stat : 3995 (java) S 3983 3985 442 0 -1 4202560 289 0 0 0 210 12 0 0 20 0 22 0 334975437 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818861594920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=3996] ppid=3983 vsize=11852648 CPUtime=42.34 cores=1,3,5,7
/proc/3985/task/3996/stat : 3996 (java) S 3983 3985 442 0 -1 4202560 634 0 0 0 4213 21 0 0 20 0 22 0 334975438 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818849397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=3997] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3997/stat : 3997 (java) S 3983 3985 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818848343928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3998] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3998/stat : 3998 (java) S 3983 3985 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334975438 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818847290760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=3999] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/3999/stat : 3999 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818846239504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3985/tid=4000] ppid=3983 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/3985/task/4000/stat : 4000 (java) S 3983 3985 442 0 -1 4202560 8135 0 0 0 159 1 0 0 20 0 22 0 334975441 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818845186360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4001] ppid=3983 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/3985/task/4001/stat : 4001 (java) S 3983 3985 442 0 -1 4202560 6717 0 0 0 107 2 0 0 20 0 22 0 334975441 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818844133816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4002] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4002/stat : 4002 (java) S 3983 3985 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334975441 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818843080952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4003] ppid=3983 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/3985/task/4003/stat : 4003 (java) S 3983 3985 442 0 -1 4202560 53 0 0 0 29 21 0 0 20 0 22 0 334975441 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818842028616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4010] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4010/stat : 4010 (java) S 3983 3985 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334975557 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818839921448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3985/tid=4026] ppid=3983 vsize=11852648 CPUtime=831.66 cores=1,3,5,7
/proc/3985/task/4026/stat : 4026 (java) R 3983 3985 442 0 -1 4202560 62 0 0 0 83151 15 0 0 20 0 22 0 334979567 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818838866192 139818972546383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3985/tid=4027] ppid=3983 vsize=11852648 CPUtime=831.77 cores=1,3,5,7
/proc/3985/task/4027/stat : 4027 (java) R 3983 3985 442 0 -1 4202560 798 0 0 0 83140 37 0 0 20 0 22 0 334979567 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818837814528 139818972604784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3985/tid=4028] ppid=3983 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3985/task/4028/stat : 4028 (java) S 3983 3985 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334979567 12137111552 1122218 33554432000 1073741824 1073778376 140736018689488 139818840974888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3985 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=41264
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=300650
# CPU time returned by wait4() is 1796.34
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 919.066
CPU time (s): 1800.16
CPU user time (s): 1798.33
CPU system time (s): 1.83
CPU usage (%): 195.868
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 2.30065
maximum resident set size= 4488988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23880
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23856
involuntary context switches= 27623

runsolver used 3.87941 second user time and 9.07562 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-03 03:55:11
IDJOB=3733239
IDBENCH=2262
IDSOLVER=2328
FILE ID=node145/3733239-1338688511
RUNJOBID= node145-1338678626-462
PBS_JOBID= 14636668
Free space on /tmp= 70920 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733239-1338688511/watcher-3733239-1338688511 -o /tmp/evaluation-result-3733239-1338688511/solver-3733239-1338688511 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733239-1338688511.opb

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

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
RANDOM SEED=1432608877

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25273984 kB
Buffers:          431500 kB
Cached:          4785044 kB
SwapCached:            0 kB
Active:          3123000 kB
Inactive:        3607592 kB
Active(anon):    1504992 kB
Inactive(anon):    10916 kB
Active(file):    1618008 kB
Inactive(file):  3596676 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2420 kB
Writeback:             0 kB
AnonPages:       1533068 kB
Mapped:            22312 kB
Shmem:               200 kB
Slab:             716252 kB
SReclaimable:     157676 kB
SUnreclaim:       558576 kB
KernelStack:        1632 kB
PageTables:         7212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1470464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70920 MiB
End job on node145 at 2012-06-03 04:10:32