Trace number 3454020

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-51 1800.38 908.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_1.opb
MD5SUMfdd11e948ae8a5c2828dd3ba6f1a1add
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-82
Best CPU time to get the best result obtained on this benchmark1797.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454020-1307195320.opb
0.10/0.11	c reading problem ... 
1.72/0.84	c ... done. Wall clock time 0.729s.
1.72/0.84	c #vars     16716
1.72/0.84	c #constraints  32934
1.72/0.84	c constraints type 
1.72/0.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15716
1.72/0.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
1.72/0.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.72/0.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15716
1.72/0.84	c constraints type 
1.72/0.84	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
1.72/0.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15716
1.72/0.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002
1.72/0.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15716
3.20/1.34	c  And the winner is CuttingPlanes
3.20/1.36	c SATISFIABLE
3.20/1.36	c OPTIMIZING...
3.20/1.36	c Got one! Elapsed wall clock time (in seconds):1.248
3.20/1.36	o -5
3.88/1.65	c  And the winner is CuttingPlanes
4.01/1.87	c Got one! Elapsed wall clock time (in seconds):1.755
4.01/1.87	o -9
4.52/2.15	c  And the winner is CuttingPlanes
4.60/2.38	c Got one! Elapsed wall clock time (in seconds):2.264
4.60/2.38	o -10
5.05/2.64	c  And the winner is CuttingPlanes
5.14/2.89	c Got one! Elapsed wall clock time (in seconds):2.773
5.14/2.89	o -11
5.67/3.13	c  And the winner is CuttingPlanes
5.75/3.39	c Got one! Elapsed wall clock time (in seconds):3.28
5.75/3.39	o -12
6.17/3.69	c  And the winner is CuttingPlanes
6.36/3.90	c Got one! Elapsed wall clock time (in seconds):3.787
6.36/3.90	o -13
7.03/4.23	c  And the winner is CuttingPlanes
7.11/4.41	c Got one! Elapsed wall clock time (in seconds):4.294
7.11/4.41	o -14
7.72/4.78	c  And the winner is CuttingPlanes
7.90/4.92	c Got one! Elapsed wall clock time (in seconds):4.802
7.90/4.92	o -15
8.46/5.22	c  And the winner is CuttingPlanes
8.52/5.42	c Got one! Elapsed wall clock time (in seconds):5.308
8.52/5.42	o -16
9.07/5.73	c  And the winner is CuttingPlanes
9.14/5.93	c Got one! Elapsed wall clock time (in seconds):5.816
9.14/5.93	o -17
9.67/6.29	c  And the winner is CuttingPlanes
9.88/6.44	c Got one! Elapsed wall clock time (in seconds):6.323
9.88/6.44	o -18
10.60/6.80	c  And the winner is CuttingPlanes
10.62/6.94	c Got one! Elapsed wall clock time (in seconds):6.83
10.62/6.94	o -19
11.13/7.23	c  And the winner is CuttingPlanes
11.20/7.45	c Got one! Elapsed wall clock time (in seconds):7.337
11.20/7.45	o -20
11.29/7.61	c  And the winner is CuttingPlanes
11.51/7.96	c Got one! Elapsed wall clock time (in seconds):7.844
11.51/7.96	o -21
12.59/8.53	c  And the winner is CuttingPlanes
12.67/8.97	c Got one! Elapsed wall clock time (in seconds):8.853
12.67/8.97	o -22
13.36/9.33	c  And the winner is CuttingPlanes
13.43/9.47	c Got one! Elapsed wall clock time (in seconds):9.36
13.43/9.47	o -23
25.69/15.64	c cleaning 3724 clauses out of 7457 with flag 5000/7457
43.49/24.53	c cleaning 4863 clauses out of 9733 with flag 11000/13457
64.01/34.82	c  And the winner is Resolution
64.17/35.08	c Got one! Elapsed wall clock time (in seconds):34.965
64.17/35.08	o -39
76.84/41.48	c cleaning 8262 clauses out of 16528 with flag 5000/25115
93.17/49.67	c  And the winner is CuttingPlanes
93.31/50.14	c Got one! Elapsed wall clock time (in seconds):50.027
93.31/50.14	o -42
102.06/54.59	c  And the winner is CuttingPlanes
102.25/54.66	c Got one! Elapsed wall clock time (in seconds):54.551
102.25/54.66	o -45
107.73/57.41	c cleaning 9640 clauses out of 19290 with flag 2000/36139
124.42/65.84	c cleaning 7820 clauses out of 15651 with flag 8001/42140
141.12/74.26	c  And the winner is CuttingPlanes
141.24/74.75	c Got one! Elapsed wall clock time (in seconds):74.632
141.24/74.75	o -47
143.75/76.07	c cleaning 6449 clauses out of 12897 with flag 1002/47206
158.06/83.22	c  And the winner is CuttingPlanes
158.06/83.28	c Got one! Elapsed wall clock time (in seconds):83.17
158.06/83.28	o -48
160.99/84.73	c cleaning 6127 clauses out of 12263 with flag 1000/53021
192.71/100.62	c cleaning 6020 clauses out of 12136 with flag 7000/59021
231.37/120.01	c cleaning 6314 clauses out of 13116 with flag 14000/66021
276.87/142.85	c cleaning 7387 clauses out of 14802 with flag 22000/74021
326.55/167.73	c cleaning 8014 clauses out of 16415 with flag 31000/83021
378.06/193.59	c cleaning 8896 clauses out of 18401 with flag 41000/93021
415.04/212.13	c  And the winner is CuttingPlanes
415.10/212.36	c Got one! Elapsed wall clock time (in seconds):212.249
415.10/212.36	o -49
438.57/224.19	c cleaning 11051 clauses out of 22101 with flag 5000/105617
472.26/241.08	c cleaning 8450 clauses out of 17050 with flag 11000/111617
510.93/260.45	c cleaning 7758 clauses out of 15600 with flag 18000/118617
556.42/283.26	c cleaning 7806 clauses out of 15842 with flag 26000/126617
605.03/307.60	c cleaning 8253 clauses out of 17036 with flag 35000/135617
655.11/332.75	c cleaning 9233 clauses out of 18783 with flag 45000/145617
705.36/357.95	c cleaning 10193 clauses out of 20550 with flag 56000/156617
730.45/370.54	c  And the winner is CuttingPlanes
730.54/370.67	c Got one! Elapsed wall clock time (in seconds):370.555
730.54/370.67	o -50
758.20/384.59	c cleaning 10652 clauses out of 21321 with flag 5000/167581
788.40/399.78	c cleaning 8309 clauses out of 16669 with flag 11000/173581
823.26/417.26	c cleaning 7624 clauses out of 15360 with flag 18000/180581
860.72/436.06	c cleaning 7702 clauses out of 15736 with flag 26000/188581
899.77/455.62	c cleaning 8311 clauses out of 17034 with flag 35000/197581
938.60/475.13	c cleaning 9261 clauses out of 18723 with flag 45000/207581
974.82/493.38	c cleaning 10057 clauses out of 20462 with flag 56000/218581
1004.07/508.08	c cleaning 11104 clauses out of 22405 with flag 68000/230581
1049.52/530.90	c cleaning 11819 clauses out of 24301 with flag 81000/243581
1118.11/565.29	c cleaning 13115 clauses out of 26482 with flag 95000/257581
1147.58/580.05	c  And the winner is CuttingPlanes
1147.68/580.54	c Got one! Elapsed wall clock time (in seconds):580.428
1147.68/580.54	o -51
1181.04/597.28	c cleaning 12466 clauses out of 24931 with flag 5000/269145
1213.60/613.52	c cleaning 8909 clauses out of 18465 with flag 11000/275145
1250.44/632.08	c cleaning 8136 clauses out of 16556 with flag 18000/282145
1290.63/652.24	c cleaning 8043 clauses out of 16420 with flag 26000/290145
1331.84/672.94	c cleaning 8641 clauses out of 17377 with flag 35000/299145
1371.27/692.78	c cleaning 9343 clauses out of 18736 with flag 45000/309145
1404.31/709.34	c cleaning 10170 clauses out of 20393 with flag 56000/320145
1428.06/721.32	c cleaning 11038 clauses out of 22223 with flag 68000/332145
1488.51/751.63	c cleaning 12022 clauses out of 24185 with flag 81000/345145
1557.74/786.39	c cleaning 12900 clauses out of 26163 with flag 95000/359145
1623.17/819.18	c cleaning 14025 clauses out of 28263 with flag 110000/374145
1680.75/848.06	c cleaning 15083 clauses out of 30238 with flag 126000/390145
1720.93/868.29	c cleaning 16068 clauses out of 32155 with flag 143000/407145
1800.18/907.93	c starts		: 50
1800.18/907.93	c conflicts		: 6324
1800.18/907.93	c decisions		: 336018
1800.18/907.93	c propagations		: 11226433
1800.18/907.93	c inspects		: 315438596
1800.18/907.93	c shortcuts		: 0
1800.18/907.93	c learnt literals	: 0
1800.18/907.93	c learnt binary clauses	: 0
1800.18/907.93	c learnt ternary clauses	: 0
1800.18/907.93	c learnt constraints	: 6323
1800.18/907.93	c ignored constraints	: 0
1800.18/907.93	c root simplifications	: 0
1800.18/907.93	c removed literals (reason simplification)	: 0
1800.18/907.93	c reason swapping (by a shorter reason)	: 0
1800.18/907.93	c Calls to reduceDB	: 0
1800.18/907.93	c number of reductions to clauses (during analyze)	: 0
1800.18/907.93	c number of learned constraints concerned by reduction	: 0
1800.18/907.93	c number of learning phase by resolution	: 0
1800.18/907.93	c number of learning phase by cutting planes	: 0
1800.18/907.93	c speed (assignments/second)	: 34290.70222059318
1800.18/907.93	c non guided choices	0
1800.18/907.94	c learnt constraints type 
1800.18/907.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6323
1800.18/907.94	c constraints type 
1800.18/907.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15716
1800.18/907.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.18/907.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.18/907.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15716
1800.18/907.94	c constraints type 
1800.18/907.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
1800.18/907.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15716
1800.18/907.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003
1800.18/907.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15716
1800.18/907.94	s SATISFIABLE
1800.18/907.94	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.18/907.94	c objective function=-51
1800.18/907.94	c Total wall clock time (in seconds): 907.826

Verifier Data 

OK	-51

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-3454020-1307195320/watcher-3454020-1307195320 -o /tmp/evaluation-result-3454020-1307195320/solver-3454020-1307195320 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454020-1307195320.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: 3.80 3.94 3.87 2/440 30149
/proc/meminfo: memFree=29795048/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 4873 0 1 0 0 0 0 0 23 0 2 0 909762684 10694979584 4575 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2611079 4590 917 9 0 2602235 0
[pid=30149/tid=30150] ppid=30147 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) R 30147 30149 30116 0 -1 4202560 4117 0 1 0 0 0 0 0 25 0 2 0 909762685 10694979584 4932 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0956551 s]
/proc/loadavg: 3.80 3.94 3.87 2/440 30149
/proc/meminfo: memFree=29795048/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10540408 CPUtime=0.09 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 12968 0 1 0 8 1 0 0 23 0 18 0 909762684 10793377792 12658 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2635102 12659 2092 9 0 2625836 0
[pid=30149/tid=30150] ppid=30147 vsize=10540408 CPUtime=0.07 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) R 30147 30149 30116 0 -1 4202560 11059 0 1 0 7 0 0 0 18 0 18 0 909762685 10793377792 12659 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540408

[startup+0.100657 s]
/proc/loadavg: 3.80 3.94 3.87 2/440 30149
/proc/meminfo: memFree=29795048/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10540408 CPUtime=0.1 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 13024 0 1 0 9 1 0 0 23 0 18 0 909762684 10793377792 12714 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2635102 12715 2092 9 0 2625836 0
[pid=30149/tid=30150] ppid=30147 vsize=10540408 CPUtime=0.07 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) R 30147 30149 30116 0 -1 4202560 11115 0 1 0 7 0 0 0 18 0 18 0 909762685 10793377792 12715 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540408

[startup+0.300638 s]
/proc/loadavg: 3.80 3.94 3.87 2/440 30149
/proc/meminfo: memFree=29795048/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10542256 CPUtime=0.44 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 16117 0 1 0 43 1 0 0 23 0 18 0 909762684 10795270144 15470 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2635564 15475 2198 9 0 2626298 0
[pid=30149/tid=30150] ppid=30147 vsize=10542256 CPUtime=0.28 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) R 30147 30149 30116 0 -1 4202560 12719 0 1 0 27 1 0 0 18 0 18 0 909762685 10795270144 15475 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 47648700443475 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542256

[startup+0.700564 s]
/proc/loadavg: 3.80 3.94 3.87 2/440 30149
/proc/meminfo: memFree=29795048/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10549708 CPUtime=1.51 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 35482 0 1 0 146 5 0 0 23 0 18 0 909762684 10802900992 32948 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2637427 32951 2227 9 0 2628161 0
[pid=30149/tid=30150] ppid=30147 vsize=10549708 CPUtime=0.68 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) R 30147 30149 30116 0 -1 4202560 25565 0 1 0 65 3 0 0 18 0 18 0 909762685 10802900992 32952 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912505602546 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10549708

[startup+1.50137 s]
/proc/loadavg: 3.80 3.94 3.87 6/482 30194
/proc/meminfo: memFree=29267428/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10552680 CPUtime=3.69 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 88880 0 1 0 358 11 0 0 23 0 22 0 909762684 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2638170 85887 2243 9 0 2628904 0
[pid=30149/tid=30150] ppid=30147 vsize=10552680 CPUtime=0.84 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) S 30147 30149 30116 0 -1 4202560 53766 0 1 0 78 6 0 0 17 0 22 0 909762685 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30152/stat : 30152 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30153] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30153/stat : 30153 (java) S 30147 30149 30116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30154] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30154/stat : 30154 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30155] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30155/stat : 30155 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30156] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30156/stat : 30156 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30157] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30157/stat : 30157 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30158] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30158/stat : 30158 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30159] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30159/stat : 30159 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30160] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30160/stat : 30160 (java) S 30147 30149 30116 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 909762687 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 0 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30161] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30161/stat : 30161 (java) S 30147 30149 30116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909762688 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30162] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30162/stat : 30162 (java) S 30147 30149 30116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909762688 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30164] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30164/stat : 30164 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907314097 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30165] ppid=30147 vsize=10552680 CPUtime=0.75 cores=0,2,4,6
/proc/30149/task/30165/stat : 30165 (java) S 30147 30149 30116 0 -1 4202560 5085 0 0 0 74 1 0 0 15 0 22 0 909762690 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30166] ppid=30147 vsize=10552680 CPUtime=0.82 cores=0,2,4,6
/proc/30149/task/30166/stat : 30166 (java) S 30147 30149 30116 0 -1 4202560 4201 0 0 0 82 0 0 0 15 0 22 0 909762690 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30167] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30167/stat : 30167 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30168] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30168/stat : 30168 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909762690 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30193] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30193/stat : 30193 (java) S 30147 30149 30116 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909762771 10805944320 85887 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 10552680

[startup+3.10106 s]
/proc/loadavg: 3.73 3.92 3.86 6/486 30204
/proc/meminfo: memFree=28070920/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10552680 CPUtime=5.67 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 140013 0 1 0 550 17 0 0 23 0 22 0 909762684 10805944320 137019 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2638170 137021 2243 9 0 2628904 0
[pid=30149/tid=30150] ppid=30147 vsize=10552680 CPUtime=0.85 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) S 30147 30149 30116 0 -1 4202560 53977 0 1 0 79 6 0 0 16 0 22 0 909762685 10805944320 137022 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 2 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30152/stat : 30152 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137024 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30153] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30153/stat : 30153 (java) S 30147 30149 30116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137025 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30154] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30154/stat : 30154 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137026 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30155] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30155/stat : 30155 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137028 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30156] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30156/stat : 30156 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137029 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30157] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30157/stat : 30157 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137031 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30158] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30158/stat : 30158 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137032 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30159] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30159/stat : 30159 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762686 10805944320 137034 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30160] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30160/stat : 30160 (java) S 30147 30149 30116 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909762687 10805944320 137035 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 0 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30161] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30161/stat : 30161 (java) S 30147 30149 30116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909762688 10805944320 137036 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30162] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30162/stat : 30162 (java) S 30147 30149 30116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909762688 10805944320 137038 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30164] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30164/stat : 30164 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 137039 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907314097 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30165] ppid=30147 vsize=10552680 CPUtime=0.88 cores=0,2,4,6
/proc/30149/task/30165/stat : 30165 (java) S 30147 30149 30116 0 -1 4202560 5100 0 0 0 87 1 0 0 15 0 22 0 909762690 10805944320 137041 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30166] ppid=30147 vsize=10552680 CPUtime=0.87 cores=0,2,4,6
/proc/30149/task/30166/stat : 30166 (java) S 30147 30149 30116 0 -1 4202560 4207 0 0 0 87 0 0 0 15 0 22 0 909762690 10805944320 137042 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30167] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30167/stat : 30167 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 137043 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30168] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30168/stat : 30168 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909762690 10805944320 137045 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30193] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30193/stat : 30193 (java) S 30147 30149 30116 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909762771 10805944320 137046 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 10552680

[startup+6.30145 s]
/proc/loadavg: 3.73 3.92 3.86 3/483 30225
/proc/meminfo: memFree=26986932/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10552680 CPUtime=9.88 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 251796 0 1 0 959 29 0 0 23 0 20 0 909762684 10805944320 248706 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2638170 248706 2245 9 0 2628904 0
[pid=30149/tid=30150] ppid=30147 vsize=10552680 CPUtime=0.87 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) S 30147 30149 30116 0 -1 4202560 54401 0 1 0 81 6 0 0 16 0 20 0 909762685 10805944320 248706 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 2 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30152/stat : 30152 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248706 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30153] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30153/stat : 30153 (java) S 30147 30149 30116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248706 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30154] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30154/stat : 30154 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30155] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30155/stat : 30155 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30156] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30156/stat : 30156 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30157] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30157/stat : 30157 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30158] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30158/stat : 30158 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30159] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30159/stat : 30159 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762686 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30160] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30160/stat : 30160 (java) S 30147 30149 30116 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 20 0 909762687 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 0 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30161] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30161/stat : 30161 (java) S 30147 30149 30116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 909762688 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30162] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30162/stat : 30162 (java) S 30147 30149 30116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909762688 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30164] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30164/stat : 30164 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909762690 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907314097 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30165] ppid=30147 vsize=10552680 CPUtime=0.98 cores=0,2,4,6
/proc/30149/task/30165/stat : 30165 (java) S 30147 30149 30116 0 -1 4202560 5112 0 0 0 97 1 0 0 15 0 20 0 909762690 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30166] ppid=30147 vsize=10552680 CPUtime=0.93 cores=0,2,4,6
/proc/30149/task/30166/stat : 30166 (java) S 30147 30149 30116 0 -1 4202560 4212 0 0 0 93 0 0 0 15 0 20 0 909762690 10805944320 248707 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0

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

[startup+822.302 s]
/proc/loadavg: 3.94 3.97 3.91 5/486 30363
/proc/meminfo: memFree=23512204/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10552680 CPUtime=1629.32 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 700539 0 1 0 162844 88 0 0 23 0 22 0 909762684 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2638170 697241 2271 9 0 2628904 0
[pid=30149/tid=30150] ppid=30147 vsize=10552680 CPUtime=0.93 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) S 30147 30149 30116 0 -1 4202560 54832 0 1 0 87 6 0 0 15 0 22 0 909762685 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=10552680 CPUtime=0.2 cores=0,2,4,6
/proc/30149/task/30152/stat : 30152 (java) S 30147 30149 30116 0 -1 4202560 2063 0 0 0 20 0 0 0 15 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30153] ppid=30147 vsize=10552680 CPUtime=0.15 cores=0,2,4,6
/proc/30149/task/30153/stat : 30153 (java) S 30147 30149 30116 0 -1 4202560 16 0 0 0 15 0 0 0 16 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30154] ppid=30147 vsize=10552680 CPUtime=0.13 cores=0,2,4,6
/proc/30149/task/30154/stat : 30154 (java) S 30147 30149 30116 0 -1 4202560 11 0 0 0 13 0 0 0 16 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30155] ppid=30147 vsize=10552680 CPUtime=0.15 cores=0,2,4,6
/proc/30149/task/30155/stat : 30155 (java) S 30147 30149 30116 0 -1 4202560 1996 0 0 0 15 0 0 0 15 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30156] ppid=30147 vsize=10552680 CPUtime=0.15 cores=0,2,4,6
/proc/30149/task/30156/stat : 30156 (java) S 30147 30149 30116 0 -1 4202560 709 0 0 0 15 0 0 0 16 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30157] ppid=30147 vsize=10552680 CPUtime=0.22 cores=0,2,4,6
/proc/30149/task/30157/stat : 30157 (java) S 30147 30149 30116 0 -1 4202560 3337 0 0 0 22 0 0 0 15 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30158] ppid=30147 vsize=10552680 CPUtime=0.2 cores=0,2,4,6
/proc/30149/task/30158/stat : 30158 (java) S 30147 30149 30116 0 -1 4202560 4081 0 0 0 20 0 0 0 16 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30159] ppid=30147 vsize=10552680 CPUtime=0.17 cores=0,2,4,6
/proc/30149/task/30159/stat : 30159 (java) S 30147 30149 30116 0 -1 4202560 2248 0 0 0 17 0 0 0 16 0 22 0 909762686 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30160] ppid=30147 vsize=10552680 CPUtime=6.55 cores=0,2,4,6
/proc/30149/task/30160/stat : 30160 (java) S 30147 30149 30116 0 -1 4202560 24167 0 0 0 653 2 0 0 15 0 22 0 909762687 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 0 0 16800975 18446604443532138560 0 0 -1 2 0 0 0
[pid=30149/tid=30161] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30161/stat : 30161 (java) S 30147 30149 30116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909762688 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30162] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30162/stat : 30162 (java) S 30147 30149 30116 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 909762688 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30164] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30164/stat : 30164 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907314097 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30165] ppid=30147 vsize=10552680 CPUtime=1.35 cores=0,2,4,6
/proc/30149/task/30165/stat : 30165 (java) S 30147 30149 30116 0 -1 4202560 5188 0 0 0 134 1 0 0 15 0 22 0 909762690 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30166] ppid=30147 vsize=10552680 CPUtime=1.1 cores=0,2,4,6
/proc/30149/task/30166/stat : 30166 (java) S 30147 30149 30116 0 -1 4202560 4234 0 0 0 110 0 0 0 16 0 22 0 909762690 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30167] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30167/stat : 30167 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30168] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30168/stat : 30168 (java) S 30147 30149 30116 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909762690 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30300] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30300/stat : 30300 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909766193 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30341] ppid=30147 vsize=10552680 CPUtime=239.4 cores=0,2,4,6
/proc/30149/task/30341/stat : 30341 (java) R 30147 30149 30116 0 -1 4202560 6 0 0 0 23940 0 0 0 25 0 22 0 909820739 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912506126222 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30149/tid=30342] ppid=30147 vsize=10552680 CPUtime=239.41 cores=0,2,4,6
/proc/30149/task/30342/stat : 30342 (java) R 30147 30149 30116 0 -1 4202560 62521 0 0 0 23933 8 0 0 25 0 22 0 909820739 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912506101565 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30149/tid=30343] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30343/stat : 30343 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909820739 10805944320 697241 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1629.32
Current children cumulated vsize (KiB) 10552680

[startup+882.301 s]
/proc/loadavg: 4.06 4.00 3.92 5/486 30364
/proc/meminfo: memFree=23477548/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10552680 CPUtime=1748.95 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 701465 0 1 0 174807 88 0 0 23 0 22 0 909762684 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2638170 698159 2271 9 0 2628904 0
[pid=30149/tid=30150] ppid=30147 vsize=10552680 CPUtime=0.93 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) S 30147 30149 30116 0 -1 4202560 54832 0 1 0 87 6 0 0 15 0 22 0 909762685 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=10552680 CPUtime=0.2 cores=0,2,4,6
/proc/30149/task/30152/stat : 30152 (java) S 30147 30149 30116 0 -1 4202560 2063 0 0 0 20 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30153] ppid=30147 vsize=10552680 CPUtime=0.16 cores=0,2,4,6
/proc/30149/task/30153/stat : 30153 (java) S 30147 30149 30116 0 -1 4202560 17 0 0 0 16 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30154] ppid=30147 vsize=10552680 CPUtime=0.13 cores=0,2,4,6
/proc/30149/task/30154/stat : 30154 (java) S 30147 30149 30116 0 -1 4202560 11 0 0 0 13 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30155] ppid=30147 vsize=10552680 CPUtime=0.15 cores=0,2,4,6
/proc/30149/task/30155/stat : 30155 (java) S 30147 30149 30116 0 -1 4202560 1996 0 0 0 15 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30156] ppid=30147 vsize=10552680 CPUtime=0.16 cores=0,2,4,6
/proc/30149/task/30156/stat : 30156 (java) S 30147 30149 30116 0 -1 4202560 709 0 0 0 16 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30157] ppid=30147 vsize=10552680 CPUtime=0.22 cores=0,2,4,6
/proc/30149/task/30157/stat : 30157 (java) S 30147 30149 30116 0 -1 4202560 3339 0 0 0 22 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30158] ppid=30147 vsize=10552680 CPUtime=0.22 cores=0,2,4,6
/proc/30149/task/30158/stat : 30158 (java) S 30147 30149 30116 0 -1 4202560 4087 0 0 0 22 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30159] ppid=30147 vsize=10552680 CPUtime=0.19 cores=0,2,4,6
/proc/30149/task/30159/stat : 30159 (java) S 30147 30149 30116 0 -1 4202560 2252 0 0 0 19 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30160] ppid=30147 vsize=10552680 CPUtime=6.94 cores=0,2,4,6
/proc/30149/task/30160/stat : 30160 (java) S 30147 30149 30116 0 -1 4202560 25074 0 0 0 692 2 0 0 15 0 22 0 909762687 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 0 0 16800975 18446604443532138560 0 0 -1 2 0 0 0
[pid=30149/tid=30161] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30161/stat : 30161 (java) S 30147 30149 30116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909762688 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30162] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30162/stat : 30162 (java) S 30147 30149 30116 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 909762688 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30164] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30164/stat : 30164 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907314097 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30165] ppid=30147 vsize=10552680 CPUtime=1.35 cores=0,2,4,6
/proc/30149/task/30165/stat : 30165 (java) S 30147 30149 30116 0 -1 4202560 5188 0 0 0 134 1 0 0 15 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30166] ppid=30147 vsize=10552680 CPUtime=1.1 cores=0,2,4,6
/proc/30149/task/30166/stat : 30166 (java) S 30147 30149 30116 0 -1 4202560 4234 0 0 0 110 0 0 0 16 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30167] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30167/stat : 30167 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30168] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30168/stat : 30168 (java) S 30147 30149 30116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30300] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30300/stat : 30300 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909766193 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30341] ppid=30147 vsize=10552680 CPUtime=298.98 cores=0,2,4,6
/proc/30149/task/30341/stat : 30341 (java) R 30147 30149 30116 0 -1 4202560 8 0 0 0 29898 0 0 0 25 0 22 0 909820739 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912506079756 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30149/tid=30342] ppid=30147 vsize=10552680 CPUtime=299 cores=0,2,4,6
/proc/30149/task/30342/stat : 30342 (java) R 30147 30149 30116 0 -1 4202560 62521 0 0 0 29892 8 0 0 25 0 22 0 909820739 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912506101558 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30149/tid=30343] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30343/stat : 30343 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909820739 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1748.95
Current children cumulated vsize (KiB) 10552680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.901 s]
/proc/loadavg: 4.10 4.02 3.93 3/463 30368
/proc/meminfo: memFree=27001056/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=10552680 CPUtime=1800.18 cores=0,2,4,6
/proc/30149/stat : 30149 (java) S 30147 30149 30116 0 -1 4202496 701465 0 1 0 179930 88 0 0 23 0 22 0 909762684 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 2638170 698159 2271 9 0 2628904 0
[pid=30149/tid=30150] ppid=30147 vsize=10552680 CPUtime=0.93 cores=0,2,4,6
/proc/30149/task/30150/stat : 30150 (java) S 30147 30149 30116 0 -1 4202560 54832 0 1 0 87 6 0 0 15 0 22 0 909762685 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=10552680 CPUtime=0.2 cores=0,2,4,6
/proc/30149/task/30152/stat : 30152 (java) S 30147 30149 30116 0 -1 4202560 2063 0 0 0 20 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30153] ppid=30147 vsize=10552680 CPUtime=0.16 cores=0,2,4,6
/proc/30149/task/30153/stat : 30153 (java) S 30147 30149 30116 0 -1 4202560 17 0 0 0 16 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30154] ppid=30147 vsize=10552680 CPUtime=0.13 cores=0,2,4,6
/proc/30149/task/30154/stat : 30154 (java) S 30147 30149 30116 0 -1 4202560 11 0 0 0 13 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30155] ppid=30147 vsize=10552680 CPUtime=0.15 cores=0,2,4,6
/proc/30149/task/30155/stat : 30155 (java) S 30147 30149 30116 0 -1 4202560 1996 0 0 0 15 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30156] ppid=30147 vsize=10552680 CPUtime=0.16 cores=0,2,4,6
/proc/30149/task/30156/stat : 30156 (java) S 30147 30149 30116 0 -1 4202560 709 0 0 0 16 0 0 0 15 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30157] ppid=30147 vsize=10552680 CPUtime=0.22 cores=0,2,4,6
/proc/30149/task/30157/stat : 30157 (java) S 30147 30149 30116 0 -1 4202560 3339 0 0 0 22 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30158] ppid=30147 vsize=10552680 CPUtime=0.22 cores=0,2,4,6
/proc/30149/task/30158/stat : 30158 (java) S 30147 30149 30116 0 -1 4202560 4087 0 0 0 22 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30159] ppid=30147 vsize=10552680 CPUtime=0.19 cores=0,2,4,6
/proc/30149/task/30159/stat : 30159 (java) S 30147 30149 30116 0 -1 4202560 2252 0 0 0 19 0 0 0 16 0 22 0 909762686 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30160] ppid=30147 vsize=10552680 CPUtime=6.94 cores=0,2,4,6
/proc/30149/task/30160/stat : 30160 (java) S 30147 30149 30116 0 -1 4202560 25074 0 0 0 692 2 0 0 15 0 22 0 909762687 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 0 0 16800975 18446604443532138560 0 0 -1 2 0 0 0
[pid=30149/tid=30161] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30161/stat : 30161 (java) S 30147 30149 30116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909762688 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30162] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30162/stat : 30162 (java) S 30147 30149 30116 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 909762688 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30164] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30164/stat : 30164 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907314097 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30165] ppid=30147 vsize=10552680 CPUtime=1.35 cores=0,2,4,6
/proc/30149/task/30165/stat : 30165 (java) S 30147 30149 30116 0 -1 4202560 5188 0 0 0 134 1 0 0 15 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30166] ppid=30147 vsize=10552680 CPUtime=1.1 cores=0,2,4,6
/proc/30149/task/30166/stat : 30166 (java) S 30147 30149 30116 0 -1 4202560 4234 0 0 0 110 0 0 0 16 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
[pid=30149/tid=30167] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30167/stat : 30167 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907306393 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30168] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30168/stat : 30168 (java) S 30147 30149 30116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909762690 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 4 0 0 0
[pid=30149/tid=30300] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30300/stat : 30300 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909766193 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 6 0 0 0
[pid=30149/tid=30341] ppid=30147 vsize=10552680 CPUtime=324.6 cores=0,2,4,6
/proc/30149/task/30341/stat : 30341 (java) R 30147 30149 30116 0 -1 4202560 8 0 0 0 32460 0 0 0 25 0 22 0 909820739 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912506074080 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30149/tid=30342] ppid=30147 vsize=10552680 CPUtime=324.62 cores=0,2,4,6
/proc/30149/task/30342/stat : 30342 (java) R 30147 30149 30116 0 -1 4202560 62521 0 0 0 32454 8 0 0 25 0 22 0 909820739 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 46912506101565 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30149/tid=30343] ppid=30147 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/30149/task/30343/stat : 30343 (java) S 30147 30149 30116 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909820739 10805944320 698159 33554432000 1073741824 1073778376 140733601160992 18446744073709551615 231907307008 0 4 0 16800975 18446604443532138560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10552680

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

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

[startup+908.022 s]
/proc/loadavg: 4.10 4.02 3.93 3/463 30368
/proc/meminfo: memFree=27001056/32950928 swapFree=52246700/67111528
[pid=30149] ppid=30147 vsize=0 CPUtime=1800.34 cores=0,2,4,6
/proc/30149/stat : 30149 (java) Z 30147 30149 30116 0 -1 4203548 701502 0 1 0 179938 96 0 0 17 0 2 0 909762684 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30149/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 908.05
CPU time (s): 1800.38
CPU user time (s): 1799.38
CPU system time (s): 0.995848
CPU usage (%): 198.268
Max. virtual memory (cumulated for all children) (KiB): 10553820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.995848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701502
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= 22724
involuntary context switches= 14284

runsolver used 4.43532 second user time and 8.82366 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-04 15:48:40
IDJOB=3454020
IDBENCH=48224
IDSOLVER=1950
FILE ID=node114/3454020-1307195320
RUNJOBID= node114-1307195320-30135
PBS_JOBID= 13508867
Free space on /tmp= 73940 MiB

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

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

MD5SUM BENCH= fdd11e948ae8a5c2828dd3ba6f1a1add
RANDOM SEED=461398762

node114.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.848
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.69
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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29795344 kB
Buffers:        327796 kB
Cached:         513792 kB
SwapCached:      10712 kB
Active:        2363140 kB
Inactive:       517872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29795344 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:             888 kB
Writeback:           0 kB
AnonPages:     2037696 kB
Mapped:          20848 kB
Slab:           142900 kB
PageTables:      62420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108160472 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= 73940 MiB
End job on node114 at 2011-06-04 16:03:50