Trace number 3733313

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)-30 1800.13 918.851

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM3895ca8e12182fcd80d7923f66584703
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark54.0378
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27931
Number of constraints which are clauses27931
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
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 595
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 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.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.08	c version 2.2.0.v20100531
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		1349517296
0.00/0.08	c Max memory 		1356595200
0.00/0.08	c Total memory 		1356595200
0.00/0.08	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 Stops conflict analysis at the first Unique Implication Point
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@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 Stops conflict analysis at the first Unique Implication Point
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	
0.09/0.11	c solving HOME/instance-3733313-1338742249.opb
0.09/0.11	c reading problem ... 
1.04/0.55	c ... done. Wall clock time 0.436s.
1.04/0.55	c #vars     595
1.04/0.55	c #constraints  27931
1.04/0.55	c constraints type 
1.04/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27931
1.04/0.55	c constraints type 
1.04/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27931
1.04/0.57	c And the winner is Resolution
1.19/1.55	c SATISFIABLE
1.19/1.55	c OPTIMIZING...
1.19/1.55	c Got one! Elapsed wall clock time (in seconds):1.441
1.19/1.55	o -25
1.30/1.65	c And the winner is Resolution
1.99/2.56	c Got one! Elapsed wall clock time (in seconds):2.445
1.99/2.56	o -26
2.13/2.70	c And the winner is Resolution
2.70/3.56	c Got one! Elapsed wall clock time (in seconds):3.447
2.70/3.56	o -27
3.94/4.16	c cleaning 2498 clauses out of 5000 with flag 5000/5000
4.37/4.31	c And the winner is Resolution
4.44/4.56	c Got one! Elapsed wall clock time (in seconds):4.449
4.44/4.56	o -28
5.87/5.29	c cleaning 4249 clauses out of 8502 with flag 11000/11000
8.05/6.34	c cleaning 5627 clauses out of 11253 with flag 18000/18000
9.62/7.19	c And the winner is Resolution
9.96/7.56	c Got one! Elapsed wall clock time (in seconds):7.451
9.96/7.56	o -29
10.62/7.95	c cleaning 6813 clauses out of 13626 with flag 26000/26000
13.59/9.48	c cleaning 7906 clauses out of 15814 with flag 35001/35001
17.03/11.17	c cleaning 8953 clauses out of 17907 with flag 45000/45000
20.80/13.09	c cleaning 9975 clauses out of 19954 with flag 56000/56000
25.56/15.41	c cleaning 10987 clauses out of 21980 with flag 68001/68001
32.03/18.71	c cleaning 11993 clauses out of 23992 with flag 81000/81000
37.58/21.50	c cleaning 12996 clauses out of 26000 with flag 95001/95001
44.13/24.81	c cleaning 13996 clauses out of 28003 with flag 110000/110000
50.66/28.10	c cleaning 15000 clauses out of 30007 with flag 126000/126000
58.49/32.16	c cleaning 15995 clauses out of 32007 with flag 143000/143000
66.63/36.23	c cleaning 16999 clauses out of 34012 with flag 161000/161000
77.20/41.53	c cleaning 17994 clauses out of 36013 with flag 180000/180000
85.73/45.84	c And the winner is Resolution
86.34/46.76	c Got one! Elapsed wall clock time (in seconds):46.647
86.34/46.76	o -30
87.68/47.43	c cleaning 19009 clauses out of 38019 with flag 200000/200000
99.45/53.42	c cleaning 20003 clauses out of 40010 with flag 221000/221000
115.91/61.62	c cleaning 21004 clauses out of 42007 with flag 243000/243000
138.22/72.81	c cleaning 22001 clauses out of 44003 with flag 266000/266000
148.88/78.27	c cleaning 23001 clauses out of 46002 with flag 290000/290000
163.04/85.44	c cleaning 23997 clauses out of 48001 with flag 315000/315000
184.54/96.26	c cleaning 25002 clauses out of 50004 with flag 341000/341000
202.26/105.10	c cleaning 25999 clauses out of 52004 with flag 368002/368002
225.38/116.70	c cleaning 26997 clauses out of 54004 with flag 396001/396001
237.41/122.96	c cleaning 27501 clauses out of 55007 with flag 424001/424001
252.63/130.63	c cleaning 27747 clauses out of 55505 with flag 452000/452000
263.02/135.96	c cleaning 0 clauses out of 5000 with flag 0/5000
271.20/139.98	c cleaning 27880 clauses out of 55759 with flag 480001/480001
292.08/150.54	c cleaning 27928 clauses out of 55878 with flag 508000/508000
314.90/162.07	c cleaning 27975 clauses out of 55950 with flag 536000/536000
338.75/174.00	c cleaning 27985 clauses out of 55976 with flag 564001/564001
367.24/188.37	c cleaning 27996 clauses out of 55991 with flag 592001/592001
380.99/195.49	c cleaning 27986 clauses out of 55994 with flag 620000/620000
397.98/204.00	c cleaning 27998 clauses out of 56008 with flag 648000/648000
417.39/213.88	c cleaning 28005 clauses out of 56011 with flag 676001/676001
437.58/224.07	c cleaning 27996 clauses out of 56005 with flag 704000/704000
464.24/237.51	c cleaning 28002 clauses out of 56010 with flag 732001/732001
489.11/250.04	c cleaning 28002 clauses out of 56007 with flag 760000/760000
532.31/271.64	c cleaning 28003 clauses out of 56006 with flag 788001/788001
555.83/283.55	c cleaning 27994 clauses out of 56003 with flag 816001/816001
582.15/296.96	c cleaning 28000 clauses out of 56008 with flag 844000/844000
611.10/311.53	c cleaning 28001 clauses out of 56008 with flag 872000/872000
633.44/322.88	c cleaning 27988 clauses out of 56007 with flag 900000/900000
651.54/332.08	c cleaning 28004 clauses out of 56020 with flag 928001/928001
671.36/342.24	c cleaning 28004 clauses out of 56015 with flag 956000/956000
695.54/354.43	c cleaning 27999 clauses out of 56011 with flag 984000/984000
719.10/366.32	c cleaning 28003 clauses out of 56013 with flag 1012001/1012001
736.39/375.11	c cleaning 27996 clauses out of 56009 with flag 1040000/1040000
758.97/386.73	c cleaning 28006 clauses out of 56013 with flag 1068000/1068000
776.45/395.66	c cleaning 28000 clauses out of 56008 with flag 1096001/1096001
801.02/408.09	c cleaning 27995 clauses out of 56008 with flag 1124001/1124001
822.72/419.08	c cleaning 28002 clauses out of 56013 with flag 1152001/1152001
848.46/432.27	c cleaning 28005 clauses out of 56011 with flag 1180001/1180001
868.56/442.48	c cleaning 27990 clauses out of 56006 with flag 1208001/1208001
895.42/456.09	c cleaning 27995 clauses out of 56015 with flag 1236000/1236000
924.76/470.89	c cleaning 28007 clauses out of 56020 with flag 1264000/1264000
955.53/486.56	c cleaning 28002 clauses out of 56013 with flag 1292000/1292000
989.23/503.53	c cleaning 28001 clauses out of 56011 with flag 1320000/1320000
1007.83/513.08	c cleaning 27999 clauses out of 56010 with flag 1348000/1348000
1023.67/521.17	c cleaning 27997 clauses out of 56011 with flag 1376000/1376000
1042.50/530.92	c cleaning 27996 clauses out of 56014 with flag 1404000/1404000
1060.56/540.16	c cleaning 28004 clauses out of 56018 with flag 1432000/1432000
1087.89/553.97	c cleaning 28000 clauses out of 56014 with flag 1460000/1460000
1105.88/563.19	c cleaning 28002 clauses out of 56015 with flag 1488001/1488001
1124.65/572.92	c cleaning 27993 clauses out of 56013 with flag 1516001/1516001
1140.85/581.20	c cleaning 28006 clauses out of 56019 with flag 1544000/1544000
1160.95/591.44	c cleaning 27990 clauses out of 56013 with flag 1572000/1572000
1186.26/604.21	c cleaning 28005 clauses out of 56023 with flag 1600000/1600000
1213.92/618.47	c cleaning 27996 clauses out of 56019 with flag 1628001/1628001
1235.80/629.56	c cleaning 28001 clauses out of 56022 with flag 1656000/1656000
1258.02/640.88	c cleaning 27999 clauses out of 56021 with flag 1684000/1684000
1284.70/654.34	c cleaning 27999 clauses out of 56022 with flag 1712000/1712000
1309.01/666.90	c cleaning 28004 clauses out of 56023 with flag 1740000/1740000
1335.12/680.19	c cleaning 27990 clauses out of 56019 with flag 1768000/1768000
1351.87/688.72	c cleaning 28005 clauses out of 56029 with flag 1796000/1796000
1354.68/690.49	c cleaning 0 clauses out of 11001 with flag 0/11001
1373.37/700.21	c cleaning 27999 clauses out of 56024 with flag 1824000/1824000
1396.96/712.27	c cleaning 28007 clauses out of 56026 with flag 1852001/1852001
1421.14/724.55	c cleaning 28009 clauses out of 56020 with flag 1880002/1880002
1442.55/735.50	c cleaning 27996 clauses out of 56009 with flag 1908000/1908000
1465.81/747.54	c cleaning 28000 clauses out of 56013 with flag 1936000/1936000
1488.84/759.21	c cleaning 28002 clauses out of 56013 with flag 1964000/1964000
1517.64/773.83	c cleaning 28001 clauses out of 56011 with flag 1992000/1992000
1531.95/781.27	c cleaning 27992 clauses out of 56010 with flag 2020000/2020000
1549.30/790.49	c cleaning 27999 clauses out of 56018 with flag 2048000/2048000
1566.38/799.28	c cleaning 28001 clauses out of 56020 with flag 2076001/2076001
1583.48/808.08	c cleaning 27998 clauses out of 56020 with flag 2104002/2104002
1607.81/820.45	c cleaning 28005 clauses out of 56020 with flag 2132000/2132000
1638.30/836.19	c cleaning 28006 clauses out of 56016 with flag 2160001/2160001
1660.43/847.48	c cleaning 27990 clauses out of 56009 with flag 2188000/2188000
1681.01/858.00	c cleaning 27999 clauses out of 56019 with flag 2216000/2216000
1704.13/869.70	c cleaning 28001 clauses out of 56020 with flag 2244000/2244000
1740.93/888.57	c cleaning 28006 clauses out of 56019 with flag 2272000/2272000
1764.50/900.57	c cleaning 27995 clauses out of 56013 with flag 2300000/2300000
1796.80/916.89	c cleaning 27997 clauses out of 56019 with flag 2328001/2328001
1800.07/918.81	c starts		: 235
1800.07/918.81	c conflicts		: 2333359
1800.07/918.81	c decisions		: 2491078
1800.07/918.81	c propagations		: 14036336
1800.07/918.81	c inspects		: 1834105655
1800.07/918.81	c learnt literals	: 0
1800.07/918.81	c learnt binary clauses	: 0
1800.07/918.81	c learnt ternary clauses	: 0
1800.07/918.81	c learnt clauses	: 2333359
1800.07/918.81	c ignored clauses	: 0
1800.07/918.81	c root simplifications	: 0
1800.07/918.81	c removed literals (reason simplification)	: 32534815
1800.07/918.81	c reason swapping (by a shorter reason)	: 0
1800.07/918.81	c Calls to reduceDB	: 93
1800.07/918.81	c number of reductions to clauses (during analyze)	: 0
1800.07/918.81	c number of learned constraints concerned by reduction	: 0
1800.07/918.81	c number of learning phase by resolution	: 0
1800.07/918.81	c number of learning phase by cutting planes	: 0
1800.07/918.81	c speed (assignments/second)	: 16095.790269147103
1800.07/918.81	c non guided choices	0
1800.07/918.83	c learnt constraints type 
1800.07/918.83	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 33454
1800.07/918.83	c constraints type 
1800.07/918.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/918.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27931
1800.07/918.83	c constraints type 
1800.07/918.83	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27931
1800.07/918.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.07/918.83	s SATISFIABLE
1800.07/918.83	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 
1800.07/918.83	c objective function=-30
1800.07/918.83	c Total wall clock time (in seconds): 918.716

Verifier Data

OK	-30

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733313-1338742249/watcher-3733313-1338742249 -o /tmp/evaluation-result-3733313-1338742249/solver-3733313-1338742249 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733313-1338742249.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.82 3.96 3.79 4/196 30076
/proc/meminfo: memFree=25371192/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/30076/stat : 30076 (java6) D 30074 30076 21196 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340350354 9515008 182 33554432000 1073741824 1073778376 140733380507824 140733380498856 227512499893 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/30076/statm: 2323 182 140 9 0 71 0

[startup+0.0247431 s]
/proc/loadavg: 3.82 3.96 3.79 4/196 30076
/proc/meminfo: memFree=25371192/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2156296 CPUtime=0 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 2814 0 1 0 0 0 0 0 20 0 10 0 340350354 2208047104 2494 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 539074 2494 978 9 0 530183 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2156296

[startup+0.100241 s]
/proc/loadavg: 3.82 3.96 3.79 4/196 30076
/proc/meminfo: memFree=25371192/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 4764 0 1 0 8 1 0 0 20 0 18 0 340350354 2764726272 5960 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 674982 5960 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928

[startup+0.300219 s]
/proc/loadavg: 3.82 3.96 3.79 4/196 30076
/proc/meminfo: memFree=25371192/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 5882 0 1 0 45 1 0 0 20 0 18 0 340350354 2764726272 8223 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 674982 8223 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928

[startup+0.700282 s]
/proc/loadavg: 3.82 3.96 3.79 4/196 30076
/proc/meminfo: memFree=25371192/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2966184 CPUtime=1.19 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 12826 0 1 0 114 5 0 0 20 0 20 0 340350354 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 741546 27899 2242 9 0 732240 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 2966184

[startup+1.50063 s]
/proc/loadavg: 3.82 3.96 3.79 2/216 30098
/proc/meminfo: memFree=25267840/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2966184 CPUtime=1.19 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 12826 0 1 0 114 5 0 0 20 0 20 0 340350354 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 741546 27899 2242 9 0 732240 0
[pid=30076/tid=30078] ppid=30074 vsize=2966184 CPUtime=0.51 cores=0,2,4,6
/proc/30076/task/30078/stat : 30078 (java) S 30074 30076 21196 0 -1 4202560 2881 0 1 0 49 2 0 0 20 0 20 0 340350355 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140515086365848 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30079] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30079/stat : 30079 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514952419880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30080] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30080/stat : 30080 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514951367080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30081] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30081/stat : 30081 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514950314280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30082] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30082/stat : 30082 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514949261480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30083] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30083/stat : 30083 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514948209704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30084] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30084/stat : 30084 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514947156904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30085] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30085/stat : 30085 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514946104104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30086] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30086/stat : 30086 (java) S 30074 30076 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514945051304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30087] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30087/stat : 30087 (java) S 30074 30076 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340350357 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514932853224 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30088] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30088/stat : 30088 (java) S 30074 30076 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340350358 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514931799288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30089] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30089/stat : 30089 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340350358 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514930746376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30090] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30090/stat : 30090 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350360 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514929694864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30091] ppid=30074 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/30076/task/30091/stat : 30091 (java) S 30074 30076 21196 0 -1 4202560 3760 0 0 0 28 0 0 0 20 0 20 0 340350360 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514928643000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30092] ppid=30074 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/30076/task/30092/stat : 30092 (java) S 30074 30076 21196 0 -1 4202560 4939 0 0 0 31 0 0 0 20 0 20 0 340350360 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514927590200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30093] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30093/stat : 30093 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350360 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514926537592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30094] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30094/stat : 30094 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350360 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514925485000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30097] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30097/stat : 30097 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340350411 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514922324904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30098] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30098/stat : 30098 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340350411 3037372416 27899 33554432000 1073741824 1073778376 140733906823968 140514921272104 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 2966184

[startup+3.10067 s]
/proc/loadavg: 3.59 3.91 3.77 2/216 30100
/proc/meminfo: memFree=25252240/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2966184 CPUtime=2.7 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 19517 0 1 0 260 10 0 0 20 0 20 0 340350354 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 741546 36355 2257 9 0 732240 0
[pid=30076/tid=30078] ppid=30074 vsize=2966184 CPUtime=0.52 cores=0,2,4,6
/proc/30076/task/30078/stat : 30078 (java) S 30074 30076 21196 0 -1 4202560 2883 0 1 0 50 2 0 0 20 0 20 0 340350355 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140515086365848 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30079] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30079/stat : 30079 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514952419880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30080] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30080/stat : 30080 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514951367080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30081] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30081/stat : 30081 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514950314280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30082] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30082/stat : 30082 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514949261480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30083] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30083/stat : 30083 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514948209704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30084] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30084/stat : 30084 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514947156904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30085] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30085/stat : 30085 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514946104104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30086] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30086/stat : 30086 (java) S 30074 30076 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340350356 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514945051304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30087] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30087/stat : 30087 (java) S 30074 30076 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340350357 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514932853224 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30088] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30088/stat : 30088 (java) S 30074 30076 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340350358 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514931799288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30089] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30089/stat : 30089 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340350358 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514930746376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30090] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30090/stat : 30090 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350360 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514929694864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30091] ppid=30074 vsize=2966184 CPUtime=0.67 cores=0,2,4,6
/proc/30076/task/30091/stat : 30091 (java) S 30074 30076 21196 0 -1 4202560 5799 0 0 0 66 1 0 0 20 0 20 0 340350360 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514928643000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30092] ppid=30074 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/30076/task/30092/stat : 30092 (java) S 30074 30076 21196 0 -1 4202560 9511 0 0 0 86 2 0 0 20 0 20 0 340350360 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514927590200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30093] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30093/stat : 30093 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350360 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514926537592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30094] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30094/stat : 30094 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340350360 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514925485000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30097] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30097/stat : 30097 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340350411 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514922324904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30098] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30098/stat : 30098 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340350411 3037372416 36355 33554432000 1073741824 1073778376 140733906823968 140514921272104 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 2966184

[startup+6.30071 s]
/proc/loadavg: 3.59 3.91 3.77 4/218 30106
/proc/meminfo: memFree=24986132/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2966184 CPUtime=8.05 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 19819 0 1 0 784 21 0 0 20 0 22 0 340350354 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 741546 97921 2287 9 0 732240 0
[pid=30076/tid=30078] ppid=30074 vsize=2966184 CPUtime=0.53 cores=0,2,4,6
/proc/30076/task/30078/stat : 30078 (java) S 30074 30076 21196 0 -1 4202560 2884 0 1 0 51 2 0 0 20 0 22 0 340350355 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140515086365848 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30079] ppid=30074 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30076/task/30079/stat : 30079 (java) S 30074 30076 21196 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514952419880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30080] ppid=30074 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30076/task/30080/stat : 30080 (java) S 30074 30076 21196 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514951367080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30081] ppid=30074 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30076/task/30081/stat : 30081 (java) S 30074 30076 21196 0 -1 4202560 21 0 0 0 0 1 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514950314280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30082] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30082/stat : 30082 (java) S 30074 30076 21196 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514949261480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30083] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30083/stat : 30083 (java) S 30074 30076 21196 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514948209704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30084] ppid=30074 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/30076/task/30084/stat : 30084 (java) S 30074 30076 21196 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514947156904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30085] ppid=30074 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/30076/task/30085/stat : 30085 (java) S 30074 30076 21196 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514946104104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30086] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30086/stat : 30086 (java) S 30074 30076 21196 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340350356 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514945051304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30087] ppid=30074 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/30076/task/30087/stat : 30087 (java) S 30074 30076 21196 0 -1 4202560 53 0 0 0 10 1 0 0 20 0 22 0 340350357 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514932853224 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30088] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30088/stat : 30088 (java) S 30074 30076 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514931799288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30089] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30089/stat : 30089 (java) S 30074 30076 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514930746376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30090] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30090/stat : 30090 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514929694864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30091] ppid=30074 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/30076/task/30091/stat : 30091 (java) S 30074 30076 21196 0 -1 4202560 5815 0 0 0 84 1 0 0 20 0 22 0 340350360 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514928643000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30092] ppid=30074 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/30076/task/30092/stat : 30092 (java) S 30074 30076 21196 0 -1 4202560 9529 0 0 0 108 2 0 0 20 0 22 0 340350360 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514927590200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30093] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30093/stat : 30093 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514926537592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30094] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30094/stat : 30094 (java) S 30074 30076 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514925485000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30097] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30097/stat : 30097 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340350411 3037372416 97921 33554432000 1073741824 1073778376 140733906823968 140514922324904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=30076/tid=30082] ppid=30074 vsize=2966184 CPUtime=5.05 cores=0,2,4,6
/proc/30076/task/30082/stat : 30082 (java) S 30074 30076 21196 0 -1 4202560 387 0 0 0 495 10 0 0 20 0 22 0 340350356 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514949261480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30083] ppid=30074 vsize=2966184 CPUtime=4.87 cores=0,2,4,6
/proc/30076/task/30083/stat : 30083 (java) S 30074 30076 21196 0 -1 4202560 366 0 0 0 477 10 0 0 20 0 22 0 340350356 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514948209704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30084] ppid=30074 vsize=2966184 CPUtime=4.83 cores=0,2,4,6
/proc/30076/task/30084/stat : 30084 (java) S 30074 30076 21196 0 -1 4202560 370 0 0 0 475 8 0 0 20 0 22 0 340350356 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514947156904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30085] ppid=30074 vsize=2966184 CPUtime=5.06 cores=0,2,4,6
/proc/30076/task/30085/stat : 30085 (java) S 30074 30076 21196 0 -1 4202560 371 0 0 0 499 7 0 0 20 0 22 0 340350356 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514946104104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30086] ppid=30074 vsize=2966184 CPUtime=4.6 cores=0,2,4,6
/proc/30076/task/30086/stat : 30086 (java) S 30074 30076 21196 0 -1 4202560 340 0 0 0 455 5 0 0 20 0 22 0 340350356 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514945051304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30087] ppid=30074 vsize=2966184 CPUtime=46.53 cores=0,2,4,6
/proc/30076/task/30087/stat : 30087 (java) S 30074 30076 21196 0 -1 4202560 175 0 0 0 4636 17 0 0 20 0 22 0 340350357 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514932853224 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30088] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30088/stat : 30088 (java) S 30074 30076 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514931799288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30089] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30089/stat : 30089 (java) S 30074 30076 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514930746376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30090] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30090/stat : 30090 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514929694864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30091] ppid=30074 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/30076/task/30091/stat : 30091 (java) S 30074 30076 21196 0 -1 4202560 5828 0 0 0 91 1 0 0 20 0 22 0 340350360 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514928643000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30092] ppid=30074 vsize=2966184 CPUtime=1.88 cores=0,2,4,6
/proc/30076/task/30092/stat : 30092 (java) S 30074 30076 21196 0 -1 4202560 12425 0 0 0 186 2 0 0 20 0 22 0 340350360 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514927590200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30093] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30093/stat : 30093 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514926537592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30094] ppid=30074 vsize=2966184 CPUtime=0.27 cores=0,2,4,6
/proc/30076/task/30094/stat : 30094 (java) S 30074 30076 21196 0 -1 4202560 50 0 0 0 14 13 0 0 20 0 22 0 340350360 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514925485000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30097] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30097/stat : 30097 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340350411 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514922324904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30098] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30098/stat : 30098 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340350411 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514921272104 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30109] ppid=30074 vsize=2966184 CPUtime=719 cores=0,2,4,6
/proc/30076/task/30109/stat : 30109 (java) R 30074 30076 21196 0 -1 4202560 110 0 0 0 71889 11 0 0 20 0 22 0 340355030 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514924430032 140515026885035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30110] ppid=30074 vsize=2966184 CPUtime=719.01 cores=0,2,4,6
/proc/30076/task/30110/stat : 30110 (java) R 30074 30076 21196 0 -1 4202560 147 0 0 0 71891 10 0 0 20 0 22 0 340355030 3037372416 296253 33554432000 1073741824 1073778376 140733906823968 140514923375456 140515027132660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1610.44
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.88 3.88 3.81 4/217 30200
/proc/meminfo: memFree=24766480/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2966184 CPUtime=1728.34 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 26143 0 1 0 172714 120 0 0 20 0 22 0 340350354 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 741546 297812 2288 9 0 732240 0
[pid=30076/tid=30078] ppid=30074 vsize=2966184 CPUtime=0.55 cores=0,2,4,6
/proc/30076/task/30078/stat : 30078 (java) S 30074 30076 21196 0 -1 4202560 2932 0 1 0 52 3 0 0 20 0 22 0 340350355 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140515086365848 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30079] ppid=30074 vsize=2966184 CPUtime=5.26 cores=0,2,4,6
/proc/30076/task/30079/stat : 30079 (java) S 30074 30076 21196 0 -1 4202560 373 0 0 0 518 8 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514952419880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30080] ppid=30074 vsize=2966184 CPUtime=5.42 cores=0,2,4,6
/proc/30076/task/30080/stat : 30080 (java) S 30074 30076 21196 0 -1 4202560 378 0 0 0 534 8 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514951367080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30081] ppid=30074 vsize=2966184 CPUtime=5.24 cores=0,2,4,6
/proc/30076/task/30081/stat : 30081 (java) S 30074 30076 21196 0 -1 4202560 375 0 0 0 514 10 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514950314280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30082] ppid=30074 vsize=2966184 CPUtime=5.4 cores=0,2,4,6
/proc/30076/task/30082/stat : 30082 (java) S 30074 30076 21196 0 -1 4202560 387 0 0 0 530 10 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514949261480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30083] ppid=30074 vsize=2966184 CPUtime=5.24 cores=0,2,4,6
/proc/30076/task/30083/stat : 30083 (java) S 30074 30076 21196 0 -1 4202560 377 0 0 0 514 10 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514948209704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30084] ppid=30074 vsize=2966184 CPUtime=5.18 cores=0,2,4,6
/proc/30076/task/30084/stat : 30084 (java) S 30074 30076 21196 0 -1 4202560 371 0 0 0 510 8 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514947156904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30085] ppid=30074 vsize=2966184 CPUtime=5.42 cores=0,2,4,6
/proc/30076/task/30085/stat : 30085 (java) S 30074 30076 21196 0 -1 4202560 372 0 0 0 535 7 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514946104104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30086] ppid=30074 vsize=2966184 CPUtime=4.98 cores=0,2,4,6
/proc/30076/task/30086/stat : 30086 (java) S 30074 30076 21196 0 -1 4202560 341 0 0 0 493 5 0 0 20 0 22 0 340350356 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514945051304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30087] ppid=30074 vsize=2966184 CPUtime=49.97 cores=0,2,4,6
/proc/30076/task/30087/stat : 30087 (java) S 30074 30076 21196 0 -1 4202560 177 0 0 0 4979 18 0 0 20 0 22 0 340350357 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514932853224 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30088] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30088/stat : 30088 (java) S 30074 30076 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514931799288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30089] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30089/stat : 30089 (java) S 30074 30076 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514930746376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30090] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30090/stat : 30090 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514929694864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30091] ppid=30074 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/30076/task/30091/stat : 30091 (java) S 30074 30076 21196 0 -1 4202560 5828 0 0 0 91 1 0 0 20 0 22 0 340350360 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514928643000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30092] ppid=30074 vsize=2966184 CPUtime=1.88 cores=0,2,4,6
/proc/30076/task/30092/stat : 30092 (java) S 30074 30076 21196 0 -1 4202560 12425 0 0 0 186 2 0 0 20 0 22 0 340350360 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514927590200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30093] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30093/stat : 30093 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514926537592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30094] ppid=30074 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/30076/task/30094/stat : 30094 (java) S 30074 30076 21196 0 -1 4202560 52 0 0 0 15 14 0 0 20 0 22 0 340350360 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514925485000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30097] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30097/stat : 30097 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340350411 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514922324904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30098] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30098/stat : 30098 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340350411 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514921272104 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30109] ppid=30074 vsize=2966184 CPUtime=774.66 cores=0,2,4,6
/proc/30076/task/30109/stat : 30109 (java) R 30074 30076 21196 0 -1 4202560 119 0 0 0 77454 12 0 0 20 0 22 0 340355030 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514924429072 140515026885063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30110] ppid=30074 vsize=2966184 CPUtime=774.69 cores=0,2,4,6
/proc/30076/task/30110/stat : 30110 (java) R 30074 30076 21196 0 -1 4202560 155 0 0 0 77458 11 0 0 20 0 22 0 340355030 3037372416 297812 33554432000 1073741824 1073778376 140733906823968 140514923375408 140515026905054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1728.34
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+918.801 s]
/proc/loadavg: 3.76 3.85 3.80 5/217 30200
/proc/meminfo: memFree=24706096/32873624 swapFree=7112/7112
[pid=30076] ppid=30074 vsize=2966184 CPUtime=1800.07 cores=0,2,4,6
/proc/30076/stat : 30076 (java) S 30074 30076 21196 0 -1 4202496 26209 0 1 0 179880 127 0 0 20 0 22 0 340350354 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140733906815104 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30076/statm: 741546 309076 2288 9 0 732240 0
[pid=30076/tid=30078] ppid=30074 vsize=2966184 CPUtime=0.55 cores=0,2,4,6
/proc/30076/task/30078/stat : 30078 (java) S 30074 30076 21196 0 -1 4202560 2935 0 1 0 52 3 0 0 20 0 22 0 340350355 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140515086365848 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30079] ppid=30074 vsize=2966184 CPUtime=5.49 cores=0,2,4,6
/proc/30076/task/30079/stat : 30079 (java) S 30074 30076 21196 0 -1 4202560 374 0 0 0 541 8 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514952419880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30080] ppid=30074 vsize=2966184 CPUtime=5.7 cores=0,2,4,6
/proc/30076/task/30080/stat : 30080 (java) S 30074 30076 21196 0 -1 4202560 387 0 0 0 561 9 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514951367080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30081] ppid=30074 vsize=2966184 CPUtime=5.51 cores=0,2,4,6
/proc/30076/task/30081/stat : 30081 (java) S 30074 30076 21196 0 -1 4202560 378 0 0 0 541 10 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514950314280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30082] ppid=30074 vsize=2966184 CPUtime=5.74 cores=0,2,4,6
/proc/30076/task/30082/stat : 30082 (java) S 30074 30076 21196 0 -1 4202560 398 0 0 0 563 11 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514949261480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30083] ppid=30074 vsize=2966184 CPUtime=5.48 cores=0,2,4,6
/proc/30076/task/30083/stat : 30083 (java) S 30074 30076 21196 0 -1 4202560 388 0 0 0 538 10 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514948209704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30084] ppid=30074 vsize=2966184 CPUtime=5.38 cores=0,2,4,6
/proc/30076/task/30084/stat : 30084 (java) S 30074 30076 21196 0 -1 4202560 374 0 0 0 530 8 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514947156904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30085] ppid=30074 vsize=2966184 CPUtime=5.67 cores=0,2,4,6
/proc/30076/task/30085/stat : 30085 (java) S 30074 30076 21196 0 -1 4202560 377 0 0 0 559 8 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514946104104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30086] ppid=30074 vsize=2966184 CPUtime=5.31 cores=0,2,4,6
/proc/30076/task/30086/stat : 30086 (java) S 30074 30076 21196 0 -1 4202560 346 0 0 0 526 5 0 0 20 0 22 0 340350356 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514945051304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30087] ppid=30074 vsize=2966184 CPUtime=52.29 cores=0,2,4,6
/proc/30076/task/30087/stat : 30087 (java) S 30074 30076 21196 0 -1 4202560 179 0 0 0 5209 20 0 0 20 0 22 0 340350357 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514932853224 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30088] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30088/stat : 30088 (java) S 30074 30076 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514931799288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30089] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30089/stat : 30089 (java) S 30074 30076 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340350358 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514930746376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30090] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30090/stat : 30090 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514929694864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30091] ppid=30074 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/30076/task/30091/stat : 30091 (java) S 30074 30076 21196 0 -1 4202560 5828 0 0 0 91 1 0 0 20 0 22 0 340350360 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514928643000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30076/tid=30092] ppid=30074 vsize=2966184 CPUtime=1.88 cores=0,2,4,6
/proc/30076/task/30092/stat : 30092 (java) S 30074 30076 21196 0 -1 4202560 12425 0 0 0 186 2 0 0 20 0 22 0 340350360 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514927590200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30093] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30093/stat : 30093 (java) S 30074 30076 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340350360 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514926537592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30094] ppid=30074 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/30076/task/30094/stat : 30094 (java) S 30074 30076 21196 0 -1 4202560 54 0 0 0 16 15 0 0 20 0 22 0 340350360 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514925485000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30076/tid=30097] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30097/stat : 30097 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340350411 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514922324904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30098] ppid=30074 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30076/task/30098/stat : 30098 (java) S 30074 30076 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340350411 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514921272104 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30076/tid=30109] ppid=30074 vsize=2966184 CPUtime=808.2 cores=0,2,4,6
/proc/30076/task/30109/stat : 30109 (java) R 30074 30076 21196 0 -1 4202560 121 0 0 0 80807 13 0 0 20 0 22 0 340355030 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514924430032 140515026837295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30076/tid=30110] ppid=30074 vsize=2966184 CPUtime=808.22 cores=0,2,4,6
/proc/30076/task/30110/stat : 30110 (java) R 30074 30076 21196 0 -1 4202560 164 0 0 0 80810 12 0 0 20 0 22 0 340355030 3037372416 309076 33554432000 1073741824 1073778376 140733906823968 140514923375328 140515026914120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2966184

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30076 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=488196
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=672745
# CPU time returned by wait4() is 1796.16
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0599976
#  lost CPU user time (s): 0.0599976
#  lost CPU system time (s): 0

Real time (s): 918.851
CPU time (s): 1800.13
CPU user time (s): 1798.86
CPU system time (s): 1.27
CPU usage (%): 195.911
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 1.67274
maximum resident set size= 1236424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26242
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31241
involuntary context switches= 84935

runsolver used 3.05054 second user time and 8.03578 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-03 18:50:49
IDJOB=3733313
IDBENCH=2272
IDSOLVER=2324
FILE ID=node121/3733313-1338742249
RUNJOBID= node121-1338736511-28118
PBS_JOBID= 14636757
Free space on /tmp= 71252 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733313-1338742249/watcher-3733313-1338742249 -o /tmp/evaluation-result-3733313-1338742249/solver-3733313-1338742249 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733313-1338742249.opb

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

MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703
RANDOM SEED=1245562329

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        25371456 kB
Buffers:          661420 kB
Cached:          4505632 kB
SwapCached:            0 kB
Active:          3313936 kB
Inactive:        3306800 kB
Active(anon):    1441284 kB
Inactive(anon):    10760 kB
Active(file):    1872652 kB
Inactive(file):  3296040 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1256 kB
Writeback:             4 kB
AnonPages:       1456972 kB
Mapped:            22444 kB
Shmem:               200 kB
Slab:             743760 kB
SReclaimable:     187544 kB
SUnreclaim:       556216 kB
KernelStack:        1616 kB
PageTables:         7152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:    1562552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1386496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71252 MiB
End job on node121 at 2012-06-03 19:06:10