Trace number 3453906

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)85 1800.4 920.392

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_1.opb
MD5SUM0c93b84d697c3c1b68cbcf423dabc710
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57
Best CPU time to get the best result obtained on this benchmark1798.96
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint52
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31640
Sum of products size (including duplicates)63280
Number of different products31640
Sum of products size63280

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3453906-1307194405.opb
0.09/0.11	c reading problem ... 
1.84/0.85	c ... done. Wall clock time 0.737s.
1.84/0.85	c #vars     32640
1.84/0.85	c #constraints  64280
1.84/0.85	c constraints type 
1.84/0.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32640
1.84/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31640
1.84/0.85	c constraints type 
1.84/0.85	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 32640
1.84/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31640
2.07/1.01	c  And the winner is Resolution
2.49/1.38	c SATISFIABLE
2.49/1.38	c OPTIMIZING...
2.49/1.38	c Got one! Elapsed wall clock time (in seconds):1.27
2.49/1.38	o 91
2.58/1.48	c  And the winner is Resolution
2.87/1.90	c Got one! Elapsed wall clock time (in seconds):1.792
2.87/1.90	o 90
2.87/1.95	c  And the winner is Resolution
3.02/2.43	c Got one! Elapsed wall clock time (in seconds):2.315
3.02/2.43	o 89
4.97/3.22	c  And the winner is Resolution
5.23/3.45	c Got one! Elapsed wall clock time (in seconds):3.337
5.23/3.45	o 87
9.45/5.54	c cleaning 2677 clauses out of 5356 with flag 4000/5356
15.18/8.47	c cleaning 4332 clauses out of 8680 with flag 10001/11357
21.63/11.76	c cleaning 5671 clauses out of 11350 with flag 17003/18359
29.49/15.75	c cleaning 6832 clauses out of 13676 with flag 25000/26356
38.51/20.34	c cleaning 7921 clauses out of 15845 with flag 34001/35357
47.95/25.18	c cleaning 8949 clauses out of 17923 with flag 44000/45356
57.58/30.04	c cleaning 9976 clauses out of 19974 with flag 55000/56356
70.22/36.42	c cleaning 10989 clauses out of 21999 with flag 67001/68357
83.34/43.07	c cleaning 12002 clauses out of 24009 with flag 80000/81356
96.56/49.75	c cleaning 12993 clauses out of 26007 with flag 94000/95356
112.56/57.85	c cleaning 14000 clauses out of 28016 with flag 109002/110358
129.17/66.22	c cleaning 15003 clauses out of 30016 with flag 125002/126358
145.19/74.40	c cleaning 15997 clauses out of 32012 with flag 142001/143357
162.75/83.32	c cleaning 17000 clauses out of 34014 with flag 160000/161356
182.72/93.43	c cleaning 18000 clauses out of 36015 with flag 179001/180357
204.44/104.44	c cleaning 19002 clauses out of 38014 with flag 199000/200356
228.03/116.47	c cleaning 20001 clauses out of 40013 with flag 220001/221357
254.14/129.62	c cleaning 21000 clauses out of 42012 with flag 242001/243357
280.47/142.97	c cleaning 22000 clauses out of 44011 with flag 265000/266356
298.73/152.21	c  And the winner is CuttingPlanes
298.76/152.37	c Got one! Elapsed wall clock time (in seconds):152.256
298.76/152.37	o 86
303.86/154.92	c cleaning 21460 clauses out of 42938 with flag 5001/287283
310.23/158.36	c cleaning 13736 clauses out of 27478 with flag 11001/293283
316.88/161.89	c cleaning 10363 clauses out of 20741 with flag 18000/300282
324.58/165.81	c cleaning 9182 clauses out of 18378 with flag 26000/308282
333.48/170.48	c cleaning 9092 clauses out of 18196 with flag 35000/317282
343.57/175.78	c cleaning 9547 clauses out of 19104 with flag 45000/327282
353.83/181.07	c cleaning 10275 clauses out of 20559 with flag 56002/338284
364.30/186.46	c cleaning 11135 clauses out of 22283 with flag 68001/350283
376.97/192.92	c cleaning 12064 clauses out of 24147 with flag 81000/363282
391.47/200.46	c cleaning 13032 clauses out of 26083 with flag 95000/377282
408.53/209.15	c cleaning 14014 clauses out of 28052 with flag 110001/392283
424.79/217.49	c cleaning 15016 clauses out of 30039 with flag 126002/408284
443.04/226.78	c cleaning 16005 clauses out of 32021 with flag 143000/425282
460.73/235.80	c cleaning 16999 clauses out of 34016 with flag 161000/443282
479.79/245.52	c cleaning 18004 clauses out of 36018 with flag 180001/462283
500.65/256.18	c cleaning 19000 clauses out of 38013 with flag 200000/482282
521.69/266.86	c cleaning 20000 clauses out of 40013 with flag 221000/503282
545.38/278.92	c cleaning 20995 clauses out of 42013 with flag 243000/525282
568.82/290.82	c cleaning 22007 clauses out of 44019 with flag 266001/548283
593.93/303.53	c cleaning 22995 clauses out of 46012 with flag 290001/572283
617.98/315.73	c cleaning 24001 clauses out of 48017 with flag 315001/597283
644.82/329.40	c cleaning 25000 clauses out of 50015 with flag 341000/623282
673.27/343.87	c cleaning 25998 clauses out of 52016 with flag 368001/650283
702.71/358.79	c cleaning 27005 clauses out of 54017 with flag 396000/678282
733.39/374.24	c cleaning 27998 clauses out of 56012 with flag 425000/707282
762.90/389.29	c cleaning 28995 clauses out of 58016 with flag 455002/737284
798.22/407.09	c cleaning 29997 clauses out of 60019 with flag 486000/768282
833.83/425.09	c cleaning 31002 clauses out of 62023 with flag 518001/800283
869.46/443.03	c cleaning 32003 clauses out of 64020 with flag 551000/833282
908.94/463.04	c cleaning 33003 clauses out of 66018 with flag 585001/867283
944.32/480.97	c cleaning 33997 clauses out of 68015 with flag 620001/902283
981.17/499.53	c cleaning 35000 clauses out of 70017 with flag 656000/938282
1019.37/518.83	c cleaning 35998 clauses out of 72017 with flag 693000/975282
1038.87/528.99	c  And the winner is CuttingPlanes
1039.07/529.13	c Got one! Elapsed wall clock time (in seconds):529.019
1039.07/529.13	o 85
1044.21/531.77	c cleaning 29184 clauses out of 58381 with flag 5001/997644
1050.93/535.32	c cleaning 17590 clauses out of 35196 with flag 11000/1003643
1058.05/539.14	c cleaning 12298 clauses out of 24606 with flag 18000/1010643
1066.37/543.50	c cleaning 10149 clauses out of 20309 with flag 26001/1018644
1075.64/548.56	c cleaning 9572 clauses out of 19160 with flag 35001/1027644
1085.56/553.72	c cleaning 9790 clauses out of 19588 with flag 45001/1037644
1097.06/559.72	c cleaning 10391 clauses out of 20797 with flag 56000/1048643
1108.96/565.96	c cleaning 11199 clauses out of 22407 with flag 68001/1060644
1123.02/573.35	c cleaning 12102 clauses out of 24207 with flag 81000/1073643
1136.90/580.59	c cleaning 13048 clauses out of 26105 with flag 95000/1087643
1151.77/588.26	c cleaning 14022 clauses out of 28058 with flag 110001/1102644
1167.44/596.33	c cleaning 15013 clauses out of 30037 with flag 126002/1118645
1185.44/605.79	c cleaning 16001 clauses out of 32023 with flag 143001/1135644
1203.54/615.00	c cleaning 17003 clauses out of 34021 with flag 161000/1153643
1223.82/625.46	c cleaning 18000 clauses out of 36018 with flag 180000/1172643
1243.27/635.44	c cleaning 19006 clauses out of 38018 with flag 200000/1192643
1267.29/647.91	c cleaning 19996 clauses out of 40013 with flag 221001/1213644
1293.70/661.37	c cleaning 21001 clauses out of 42017 with flag 243001/1235644
1321.72/675.63	c cleaning 22006 clauses out of 44015 with flag 266000/1258643
1346.33/688.26	c cleaning 22994 clauses out of 46009 with flag 290000/1282643
1373.40/702.28	c cleaning 24000 clauses out of 48015 with flag 315000/1307643
1401.76/716.75	c cleaning 25001 clauses out of 50015 with flag 341000/1333643
1430.55/731.48	c cleaning 26001 clauses out of 52014 with flag 368000/1360643
1459.10/746.07	c cleaning 27002 clauses out of 54015 with flag 396002/1388645
1492.38/763.18	c cleaning 27996 clauses out of 56011 with flag 425000/1417643
1524.94/779.75	c cleaning 28998 clauses out of 58015 with flag 455000/1447643
1560.15/797.61	c cleaning 29999 clauses out of 60017 with flag 486000/1478643
1601.22/818.43	c cleaning 30996 clauses out of 62019 with flag 518001/1510644
1640.18/838.45	c cleaning 32002 clauses out of 64023 with flag 551001/1543644
1677.97/857.69	c cleaning 33003 clauses out of 66021 with flag 585001/1577644
1713.71/875.88	c cleaning 34002 clauses out of 68017 with flag 620000/1612643
1750.65/894.68	c cleaning 34999 clauses out of 70017 with flag 656002/1648645
1787.68/913.67	c cleaning 35998 clauses out of 72016 with flag 693000/1685643
1800.20/920.22	c starts		: 24
1800.20/920.22	c conflicts		: 3447
1800.20/920.22	c decisions		: 56017
1800.20/920.22	c propagations		: 5851762
1800.20/920.22	c inspects		: 140607628
1800.20/920.22	c shortcuts		: 0
1800.20/920.22	c learnt literals	: 0
1800.20/920.22	c learnt binary clauses	: 0
1800.20/920.22	c learnt ternary clauses	: 0
1800.20/920.22	c learnt constraints	: 3444
1800.20/920.22	c ignored constraints	: 0
1800.20/920.22	c root simplifications	: 0
1800.20/920.22	c removed literals (reason simplification)	: 0
1800.20/920.22	c reason swapping (by a shorter reason)	: 0
1800.20/920.22	c Calls to reduceDB	: 0
1800.20/920.22	c number of reductions to clauses (during analyze)	: 0
1800.20/920.22	c number of learned constraints concerned by reduction	: 0
1800.20/920.22	c number of learning phase by resolution	: 0
1800.20/920.22	c number of learning phase by cutting planes	: 0
1800.20/920.22	c speed (assignments/second)	: 14962.775641287893
1800.20/920.22	c non guided choices	0
1800.20/920.23	c learnt constraints type 
1800.20/920.23	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.20/920.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 104
1800.20/920.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3338
1800.20/920.23	c constraints type 
1800.20/920.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32640
1800.20/920.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.20/920.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31640
1800.20/920.23	c constraints type 
1800.20/920.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 32640
1800.20/920.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.20/920.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31640
1800.20/920.23	s SATISFIABLE
1800.20/920.23	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.20/920.23	c objective function=85
1800.20/920.23	c Total wall clock time (in seconds): 920.119

Verifier Data 

OK	85

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-3453906-1307194405/watcher-3453906-1307194405 -o /tmp/evaluation-result-3453906-1307194405/solver-3453906-1307194405 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453906-1307194405.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: 4.07 3.78 3.67 4/526 15699
/proc/meminfo: memFree=29821660/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 3352 0 1 0 0 0 0 0 25 0 2 0 831043137 10694979584 3053 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2611079 3067 917 9 0 2602235 0
[pid=15699/tid=15700] ppid=15697 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) R 15697 15699 9506 0 -1 4202560 4864 0 1 0 0 0 0 0 25 0 2 0 831043138 10694979584 5680 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0390709 s]
/proc/loadavg: 4.07 3.78 3.67 4/526 15699
/proc/meminfo: memFree=29821660/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 11060 0 1 0 1 1 0 0 25 0 11 0 831043137 10716594176 10758 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2616356 10759 1629 9 0 2607104 0
[pid=15699/tid=15700] ppid=15697 vsize=10465424 CPUtime=0.01 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) R 15697 15699 9506 0 -1 4202560 9935 0 1 0 1 0 0 0 25 0 11 0 831043138 10716594176 10759 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646342091 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.10107 s]
/proc/loadavg: 4.07 3.78 3.67 4/526 15699
/proc/meminfo: memFree=29821660/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10539880 CPUtime=0.09 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 13047 0 1 0 8 1 0 0 25 0 18 0 831043137 10792837120 12743 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2634970 12743 2092 9 0 2625704 0
[pid=15699/tid=15700] ppid=15697 vsize=10539880 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) R 15697 15699 9506 0 -1 4202560 11097 0 1 0 7 1 0 0 18 0 18 0 831043138 10792837120 12743 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912496201328 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539880

[startup+0.301495 s]
/proc/loadavg: 4.07 3.78 3.67 4/526 15699
/proc/meminfo: memFree=29821660/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10540740 CPUtime=0.46 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 15694 0 1 0 44 2 0 0 25 0 18 0 831043137 10793717760 15043 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2635185 15043 2207 9 0 2625919 0
[pid=15699/tid=15700] ppid=15697 vsize=10540740 CPUtime=0.28 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) R 15697 15699 9506 0 -1 4202560 12858 0 1 0 27 1 0 0 18 0 18 0 831043138 10793717760 15043 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540740

[startup+0.700979 s]
/proc/loadavg: 4.07 3.78 3.67 4/526 15699
/proc/meminfo: memFree=29821660/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10554244 CPUtime=1.63 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 35245 0 1 0 158 5 0 0 25 0 18 0 831043137 10807545856 29856 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2638561 29859 2226 9 0 2629295 0
[pid=15699/tid=15700] ppid=15697 vsize=10554244 CPUtime=0.67 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) R 15697 15699 9506 0 -1 4202560 22557 0 1 0 65 2 0 0 18 0 18 0 831043138 10807545856 29861 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912505521671 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10554244

[startup+1.50083 s]
/proc/loadavg: 4.07 3.78 3.67 7/548 15722
/proc/meminfo: memFree=29631344/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10558356 CPUtime=2.87 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 57248 0 1 0 279 8 0 0 25 0 19 0 831043137 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2639589 51840 2241 9 0 2630323 0
[pid=15699/tid=15700] ppid=15697 vsize=10558356 CPUtime=0.86 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) S 15697 15699 9506 0 -1 4202560 38862 0 1 0 82 4 0 0 17 0 19 0 831043138 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15702] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15702/stat : 15702 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15703] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15703/stat : 15703 (java) S 15697 15699 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15704] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15704/stat : 15704 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15705] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15705/stat : 15705 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15706] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15706/stat : 15706 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15707] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15707/stat : 15707 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15708] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15708/stat : 15708 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15710] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15710/stat : 15710 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043139 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15711] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15711/stat : 15711 (java) S 15697 15699 9506 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 831043140 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 0 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15712] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15712/stat : 15712 (java) S 15697 15699 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831043141 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15713] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15713/stat : 15713 (java) S 15697 15699 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831043141 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15714] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15714/stat : 15714 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043143 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646338993 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15715] ppid=15697 vsize=10558356 CPUtime=0.79 cores=0,2,4,6
/proc/15699/task/15715/stat : 15715 (java) S 15697 15699 9506 0 -1 4202560 5825 0 0 0 79 0 0 0 16 0 19 0 831043143 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15716] ppid=15697 vsize=10558356 CPUtime=0.73 cores=0,2,4,6
/proc/15699/task/15716/stat : 15716 (java) S 15697 15699 9506 0 -1 4202560 5817 0 0 0 72 1 0 0 16 0 19 0 831043143 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15717] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15717/stat : 15717 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831043143 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15718] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15718/stat : 15718 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831043143 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15721] ppid=15697 vsize=10558356 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15721/stat : 15721 (java) S 15697 15699 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831043225 10811756544 51840 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 10558356

[startup+3.1015 s]
/proc/loadavg: 4.06 3.78 3.67 3/545 15728
/proc/meminfo: memFree=29605096/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10558052 CPUtime=4.97 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 116133 0 1 0 482 15 0 0 25 0 22 0 831043137 10811445248 109337 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2639513 109342 2245 9 0 2630247 0
[pid=15699/tid=15700] ppid=15697 vsize=10558052 CPUtime=0.89 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) S 15697 15699 9506 0 -1 4202560 39247 0 1 0 85 4 0 0 15 0 22 0 831043138 10811445248 109347 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15702] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15702/stat : 15702 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109348 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15703] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15703/stat : 15703 (java) S 15697 15699 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109353 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15704] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15704/stat : 15704 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109355 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15705] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15705/stat : 15705 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109359 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15706] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15706/stat : 15706 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109362 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15707] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15707/stat : 15707 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109365 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15708] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15708/stat : 15708 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109369 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15710] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15710/stat : 15710 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043139 10811445248 109371 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15711] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15711/stat : 15711 (java) S 15697 15699 9506 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831043140 10811445248 109375 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 0 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15712] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15712/stat : 15712 (java) S 15697 15699 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831043141 10811445248 109377 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15713] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15713/stat : 15713 (java) S 15697 15699 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831043141 10811445248 109382 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15714] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15714/stat : 15714 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 109382 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646338993 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15715] ppid=15697 vsize=10558052 CPUtime=1.1 cores=0,2,4,6
/proc/15699/task/15715/stat : 15715 (java) S 15697 15699 9506 0 -1 4202560 5979 0 0 0 110 0 0 0 15 0 22 0 831043143 10811445248 109389 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15716] ppid=15697 vsize=10558052 CPUtime=1.04 cores=0,2,4,6
/proc/15699/task/15716/stat : 15716 (java) S 15697 15699 9506 0 -1 4202560 7114 0 0 0 103 1 0 0 15 0 22 0 831043143 10811445248 109389 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15717] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15717/stat : 15717 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 109395 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15718] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15718/stat : 15718 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831043143 10811445248 109395 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15721] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15721/stat : 15721 (java) S 15697 15699 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831043225 10811445248 109401 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 10558052

[startup+6.30097 s]
/proc/loadavg: 4.06 3.78 3.67 5/548 15734
/proc/meminfo: memFree=28469724/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10558052 CPUtime=10.89 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 416375 0 1 0 1043 46 0 0 25 0 22 0 831043137 10811445248 409554 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2639513 409560 2269 9 0 2630247 0
[pid=15699/tid=15700] ppid=15697 vsize=10558052 CPUtime=0.91 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) S 15697 15699 9506 0 -1 4202560 39441 0 1 0 87 4 0 0 15 0 22 0 831043138 10811445248 409560 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15702] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15702/stat : 15702 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831043139 10811445248 409566 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15703] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15703/stat : 15703 (java) S 15697 15699 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831043139 10811445248 409566 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15704] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15704/stat : 15704 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831043139 10811445248 409570 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15705] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15705/stat : 15705 (java) S 15697 15699 9506 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 22 0 831043139 10811445248 409572 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15706] ppid=15697 vsize=10558052 CPUtime=0.03 cores=0,2,4,6
/proc/15699/task/15706/stat : 15706 (java) S 15697 15699 9506 0 -1 4202560 2225 0 0 0 3 0 0 0 18 0 22 0 831043139 10811445248 409574 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15707] ppid=15697 vsize=10558052 CPUtime=0.04 cores=0,2,4,6
/proc/15699/task/15707/stat : 15707 (java) S 15697 15699 9506 0 -1 4202560 3570 0 0 0 4 0 0 0 18 0 22 0 831043139 10811445248 409578 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15708] ppid=15697 vsize=10558052 CPUtime=0.04 cores=0,2,4,6
/proc/15699/task/15708/stat : 15708 (java) S 15697 15699 9506 0 -1 4202560 3611 0 0 0 4 0 0 0 18 0 22 0 831043139 10811445248 409579 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15710] ppid=15697 vsize=10558052 CPUtime=0.04 cores=0,2,4,6
/proc/15699/task/15710/stat : 15710 (java) S 15697 15699 9506 0 -1 4202560 3224 0 0 0 4 0 0 0 18 0 22 0 831043139 10811445248 409584 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15711] ppid=15697 vsize=10558052 CPUtime=0.21 cores=0,2,4,6
/proc/15699/task/15711/stat : 15711 (java) S 15697 15699 9506 0 -1 4202560 15068 0 0 0 21 0 0 0 16 0 22 0 831043140 10811445248 409584 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 0 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15712] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15712/stat : 15712 (java) S 15697 15699 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 409590 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15713] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15713/stat : 15713 (java) S 15697 15699 9506 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 409590 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15714] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15714/stat : 15714 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 409594 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646338993 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15715] ppid=15697 vsize=10558052 CPUtime=1.1 cores=0,2,4,6
/proc/15699/task/15715/stat : 15715 (java) S 15697 15699 9506 0 -1 4202560 5980 0 0 0 110 0 0 0 15 0 22 0 831043143 10811445248 409596 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15716] ppid=15697 vsize=10558052 CPUtime=1.13 cores=0,2,4,6
/proc/15699/task/15716/stat : 15716 (java) S 15697 15699 9506 0 -1 4202560 7128 0 0 0 112 1 0 0 15 0 22 0 831043143 10811445248 409599 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0

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

[startup+822.301 s]
/proc/loadavg: 3.80 3.79 3.73 6/548 15767
/proc/meminfo: memFree=25598752/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10558052 CPUtime=1607.98 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 994915 0 1 0 160677 121 0 0 25 0 22 0 831043137 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2639513 983993 2271 9 0 2630247 0
[pid=15699/tid=15700] ppid=15697 vsize=10558052 CPUtime=0.95 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) S 15697 15699 9506 0 -1 4202560 39502 0 1 0 91 4 0 0 15 0 22 0 831043138 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15702] ppid=15697 vsize=10558052 CPUtime=0.66 cores=0,2,4,6
/proc/15699/task/15702/stat : 15702 (java) S 15697 15699 9506 0 -1 4202560 11851 0 0 0 65 1 0 0 16 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15703] ppid=15697 vsize=10558052 CPUtime=0.96 cores=0,2,4,6
/proc/15699/task/15703/stat : 15703 (java) S 15697 15699 9506 0 -1 4202560 13927 0 0 0 94 2 0 0 16 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15704] ppid=15697 vsize=10558052 CPUtime=0.68 cores=0,2,4,6
/proc/15699/task/15704/stat : 15704 (java) S 15697 15699 9506 0 -1 4202560 7113 0 0 0 67 1 0 0 16 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15705] ppid=15697 vsize=10558052 CPUtime=0.84 cores=0,2,4,6
/proc/15699/task/15705/stat : 15705 (java) S 15697 15699 9506 0 -1 4202560 9594 0 0 0 82 2 0 0 15 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15706] ppid=15697 vsize=10558052 CPUtime=0.73 cores=0,2,4,6
/proc/15699/task/15706/stat : 15706 (java) S 15697 15699 9506 0 -1 4202560 13636 0 0 0 71 2 0 0 15 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15707] ppid=15697 vsize=10558052 CPUtime=0.88 cores=0,2,4,6
/proc/15699/task/15707/stat : 15707 (java) S 15697 15699 9506 0 -1 4202560 15173 0 0 0 86 2 0 0 15 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15708] ppid=15697 vsize=10558052 CPUtime=0.93 cores=0,2,4,6
/proc/15699/task/15708/stat : 15708 (java) S 15697 15699 9506 0 -1 4202560 15524 0 0 0 92 1 0 0 16 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15710] ppid=15697 vsize=10558052 CPUtime=0.91 cores=0,2,4,6
/proc/15699/task/15710/stat : 15710 (java) S 15697 15699 9506 0 -1 4202560 13637 0 0 0 89 2 0 0 15 0 22 0 831043139 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15711] ppid=15697 vsize=10558052 CPUtime=37.82 cores=0,2,4,6
/proc/15699/task/15711/stat : 15711 (java) S 15697 15699 9506 0 -1 4202560 51487 0 0 0 3776 6 0 0 15 0 22 0 831043140 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 0 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15712] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15712/stat : 15712 (java) S 15697 15699 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15713] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15713/stat : 15713 (java) S 15697 15699 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15714] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15714/stat : 15714 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646338993 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15715] ppid=15697 vsize=10558052 CPUtime=1.38 cores=0,2,4,6
/proc/15699/task/15715/stat : 15715 (java) S 15697 15699 9506 0 -1 4202560 6691 0 0 0 138 0 0 0 15 0 22 0 831043143 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15716] ppid=15697 vsize=10558052 CPUtime=1.36 cores=0,2,4,6
/proc/15699/task/15716/stat : 15716 (java) S 15697 15699 9506 0 -1 4202560 7164 0 0 0 135 1 0 0 15 0 22 0 831043143 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15717] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15717/stat : 15717 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15718] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15718/stat : 15718 (java) S 15697 15699 9506 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 831043143 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15734] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15734/stat : 15734 (java) S 15697 15699 9506 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831043483 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15758] ppid=15697 vsize=10558052 CPUtime=274.01 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) R 15697 15699 9506 0 -1 4202560 4 0 0 0 27401 0 0 0 23 0 22 0 831096051 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912506172919 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15699/tid=15759] ppid=15697 vsize=10558052 CPUtime=274.02 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) R 15697 15699 9506 0 -1 4202560 5 0 0 0 27402 0 0 0 23 0 22 0 831096051 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912506126971 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15699/tid=15760] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831096051 10811445248 983993 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1607.98
Current children cumulated vsize (KiB) 10558052

[startup+882.301 s]
/proc/loadavg: 3.82 3.79 3.73 4/548 15769
/proc/meminfo: memFree=25595344/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10558052 CPUtime=1726.02 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 994950 0 1 0 172481 121 0 0 25 0 22 0 831043137 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2639513 984012 2271 9 0 2630247 0
[pid=15699/tid=15700] ppid=15697 vsize=10558052 CPUtime=0.95 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) S 15697 15699 9506 0 -1 4202560 39505 0 1 0 91 4 0 0 15 0 22 0 831043138 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15702] ppid=15697 vsize=10558052 CPUtime=0.72 cores=0,2,4,6
/proc/15699/task/15702/stat : 15702 (java) S 15697 15699 9506 0 -1 4202560 11852 0 0 0 71 1 0 0 16 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15703] ppid=15697 vsize=10558052 CPUtime=1 cores=0,2,4,6
/proc/15699/task/15703/stat : 15703 (java) S 15697 15699 9506 0 -1 4202560 13928 0 0 0 98 2 0 0 16 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15704] ppid=15697 vsize=10558052 CPUtime=0.72 cores=0,2,4,6
/proc/15699/task/15704/stat : 15704 (java) S 15697 15699 9506 0 -1 4202560 7113 0 0 0 71 1 0 0 15 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15705] ppid=15697 vsize=10558052 CPUtime=0.91 cores=0,2,4,6
/proc/15699/task/15705/stat : 15705 (java) S 15697 15699 9506 0 -1 4202560 9594 0 0 0 89 2 0 0 16 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15706] ppid=15697 vsize=10558052 CPUtime=0.83 cores=0,2,4,6
/proc/15699/task/15706/stat : 15706 (java) S 15697 15699 9506 0 -1 4202560 13638 0 0 0 81 2 0 0 16 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15707] ppid=15697 vsize=10558052 CPUtime=0.96 cores=0,2,4,6
/proc/15699/task/15707/stat : 15707 (java) S 15697 15699 9506 0 -1 4202560 15183 0 0 0 94 2 0 0 16 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15708] ppid=15697 vsize=10558052 CPUtime=0.96 cores=0,2,4,6
/proc/15699/task/15708/stat : 15708 (java) S 15697 15699 9506 0 -1 4202560 15525 0 0 0 95 1 0 0 16 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15710] ppid=15697 vsize=10558052 CPUtime=0.95 cores=0,2,4,6
/proc/15699/task/15710/stat : 15710 (java) S 15697 15699 9506 0 -1 4202560 13643 0 0 0 93 2 0 0 15 0 22 0 831043139 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15711] ppid=15697 vsize=10558052 CPUtime=39.98 cores=0,2,4,6
/proc/15699/task/15711/stat : 15711 (java) S 15697 15699 9506 0 -1 4202560 51491 0 0 0 3992 6 0 0 15 0 22 0 831043140 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 0 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15712] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15712/stat : 15712 (java) S 15697 15699 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15713] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15713/stat : 15713 (java) S 15697 15699 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15714] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15714/stat : 15714 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646338993 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15715] ppid=15697 vsize=10558052 CPUtime=1.38 cores=0,2,4,6
/proc/15699/task/15715/stat : 15715 (java) S 15697 15699 9506 0 -1 4202560 6691 0 0 0 138 0 0 0 15 0 22 0 831043143 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15716] ppid=15697 vsize=10558052 CPUtime=1.36 cores=0,2,4,6
/proc/15699/task/15716/stat : 15716 (java) S 15697 15699 9506 0 -1 4202560 7164 0 0 0 135 1 0 0 15 0 22 0 831043143 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15717] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15717/stat : 15717 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15718] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15718/stat : 15718 (java) S 15697 15699 9506 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831043143 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15734] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15734/stat : 15734 (java) S 15697 15699 9506 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831043483 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15758] ppid=15697 vsize=10558052 CPUtime=331.71 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) R 15697 15699 9506 0 -1 4202560 4 0 0 0 33171 0 0 0 25 0 22 0 831096051 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912505904239 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15699/tid=15759] ppid=15697 vsize=10558052 CPUtime=331.72 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) R 15697 15699 9506 0 -1 4202560 8 0 0 0 33172 0 0 0 25 0 22 0 831096051 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912506409410 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15699/tid=15760] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831096051 10811445248 984012 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1726.02
Current children cumulated vsize (KiB) 10558052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+920.201 s]
/proc/loadavg: 3.93 3.82 3.74 4/548 15770
/proc/meminfo: memFree=25580912/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=10558052 CPUtime=1800.2 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15697 15699 9506 0 -1 4202496 998016 0 1 0 179898 122 0 0 25 0 22 0 831043137 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 2639513 986983 2271 9 0 2630247 0
[pid=15699/tid=15700] ppid=15697 vsize=10558052 CPUtime=0.95 cores=0,2,4,6
/proc/15699/task/15700/stat : 15700 (java) S 15697 15699 9506 0 -1 4202560 39507 0 1 0 91 4 0 0 15 0 22 0 831043138 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15702] ppid=15697 vsize=10558052 CPUtime=0.81 cores=0,2,4,6
/proc/15699/task/15702/stat : 15702 (java) S 15697 15699 9506 0 -1 4202560 12783 0 0 0 80 1 0 0 16 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15703] ppid=15697 vsize=10558052 CPUtime=1.04 cores=0,2,4,6
/proc/15699/task/15703/stat : 15703 (java) S 15697 15699 9506 0 -1 4202560 14779 0 0 0 102 2 0 0 15 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15704] ppid=15697 vsize=10558052 CPUtime=0.74 cores=0,2,4,6
/proc/15699/task/15704/stat : 15704 (java) S 15697 15699 9506 0 -1 4202560 7113 0 0 0 73 1 0 0 15 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15705] ppid=15697 vsize=10558052 CPUtime=0.95 cores=0,2,4,6
/proc/15699/task/15705/stat : 15705 (java) S 15697 15699 9506 0 -1 4202560 10077 0 0 0 93 2 0 0 15 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15706] ppid=15697 vsize=10558052 CPUtime=0.87 cores=0,2,4,6
/proc/15699/task/15706/stat : 15706 (java) S 15697 15699 9506 0 -1 4202560 13644 0 0 0 85 2 0 0 16 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15707] ppid=15697 vsize=10558052 CPUtime=0.99 cores=0,2,4,6
/proc/15699/task/15707/stat : 15707 (java) S 15697 15699 9506 0 -1 4202560 15968 0 0 0 97 2 0 0 16 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15708] ppid=15697 vsize=10558052 CPUtime=1.03 cores=0,2,4,6
/proc/15699/task/15708/stat : 15708 (java) S 15697 15699 9506 0 -1 4202560 15525 0 0 0 102 1 0 0 15 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15710] ppid=15697 vsize=10558052 CPUtime=1 cores=0,2,4,6
/proc/15699/task/15710/stat : 15710 (java) S 15697 15699 9506 0 -1 4202560 13644 0 0 0 98 2 0 0 16 0 22 0 831043139 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15711] ppid=15697 vsize=10558052 CPUtime=41.79 cores=0,2,4,6
/proc/15699/task/15711/stat : 15711 (java) S 15697 15699 9506 0 -1 4202560 51493 0 0 0 4173 6 0 0 15 0 22 0 831043140 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 0 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
[pid=15699/tid=15712] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15712/stat : 15712 (java) S 15697 15699 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15713] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15713/stat : 15713 (java) S 15697 15699 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831043141 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15714] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15714/stat : 15714 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646338993 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15715] ppid=15697 vsize=10558052 CPUtime=1.38 cores=0,2,4,6
/proc/15699/task/15715/stat : 15715 (java) S 15697 15699 9506 0 -1 4202560 6691 0 0 0 138 0 0 0 15 0 22 0 831043143 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 6 0 0 0
[pid=15699/tid=15716] ppid=15697 vsize=10558052 CPUtime=1.36 cores=0,2,4,6
/proc/15699/task/15716/stat : 15716 (java) S 15697 15699 9506 0 -1 4202560 7164 0 0 0 135 1 0 0 15 0 22 0 831043143 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15717] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15717/stat : 15717 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831043143 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331289 0 4 0 16800975 18446604444739602624 0 0 -1 2 0 0 0
[pid=15699/tid=15718] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15718/stat : 15718 (java) S 15697 15699 9506 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831043143 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15734] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15734/stat : 15734 (java) S 15697 15699 9506 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831043483 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 0 0 0 0
[pid=15699/tid=15758] ppid=15697 vsize=10558052 CPUtime=367.72 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) R 15697 15699 9506 0 -1 4202560 7 0 0 0 36772 0 0 0 25 0 22 0 831096051 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912506185280 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15699/tid=15759] ppid=15697 vsize=10558052 CPUtime=367.74 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) R 15697 15699 9506 0 -1 4202560 8 0 0 0 36774 0 0 0 25 0 22 0 831096051 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 46912506516196 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15699/tid=15760] ppid=15697 vsize=10558052 CPUtime=0 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15697 15699 9506 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831096051 10811445248 986983 33554432000 1073741824 1073778376 140733730126544 18446744073709551615 216646331904 0 4 0 16800975 18446604444739602624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10558052

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

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

[startup+920.326 s]
/proc/loadavg: 3.93 3.82 3.74 4/548 15770
/proc/meminfo: memFree=25580912/32951124 swapFree=51712236/67111528
[pid=15699] ppid=15697 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/15699/stat : 15699 (java) Z 15697 15699 9506 0 -1 4203548 998045 0 1 0 179902 130 0 0 17 0 2 0 831043137 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15699/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 920.392
CPU time (s): 1800.4
CPU user time (s): 1799.03
CPU system time (s): 1.36779
CPU usage (%): 195.612
Max. virtual memory (cumulated for all children) (KiB): 10560652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.36779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 998045
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= 24757
involuntary context switches= 19501

runsolver used 5.20021 second user time and 10.7034 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-04 15:33:25
IDJOB=3453906
IDBENCH=48110
IDSOLVER=1950
FILE ID=node103/3453906-1307194405
RUNJOBID= node103-1307194143-13806
PBS_JOBID= 13508861
Free space on /tmp= 73916 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_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-3453906-1307194405/watcher-3453906-1307194405 -o /tmp/evaluation-result-3453906-1307194405/solver-3453906-1307194405 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453906-1307194405.opb

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

MD5SUM BENCH= 0c93b84d697c3c1b68cbcf423dabc710
RANDOM SEED=369496028

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.77
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.858
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.858
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.858
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.83
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.858
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:     32951124 kB
MemFree:      29821940 kB
Buffers:        327548 kB
Cached:         488508 kB
SwapCached:      23760 kB
Active:        2394768 kB
Inactive:       439800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29821940 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:            1308 kB
Writeback:           0 kB
AnonPages:     2015808 kB
Mapped:          30936 kB
Slab:           150964 kB
PageTables:      74044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 172411068 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= 73912 MiB
End job on node103 at 2011-06-04 15:48:47