Trace number 3479385

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 NameAnswerCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO) 1800.4 912.204

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-harp2.opb
MD5SUM3f0afbcd16b5dd29f67967742a878949
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67205306
Best CPU time to get the best result obtained on this benchmark1800.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2993
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint41
Maximum length of a constraint73
Number of terms in the objective function 2993
Biggest coefficient in the objective function 17006200
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 4415092451
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4208540000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 46909379837
Number of bits of the biggest sum of numbers36
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3479385-1307449260.opb
0.10/0.11	c reading problem ... 
0.30/0.29	c ... done. Wall clock time 0.177s.
0.30/0.29	c #vars     2993
0.30/0.29	c #constraints  1805
0.30/0.29	c constraints type 
0.30/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 73
0.30/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
0.30/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
0.30/0.29	c constraints type 
0.30/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 73
0.30/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73
0.30/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPb => 39
1.30/0.59	c  And the winner is Resolution
2.02/0.80	c SATISFIABLE
2.02/0.80	c OPTIMIZING...
2.02/0.80	c Got one! Elapsed wall clock time (in seconds):0.693
2.02/0.80	o -65357767
2.02/0.89	c  And the winner is CuttingPlanes
2.36/1.37	c Got one! Elapsed wall clock time (in seconds):1.257
2.36/1.37	o -66758033
13.83/6.91	c cleaning 2652 clauses out of 5303 with flag 5001/5303
15.24/7.69	c  And the winner is CuttingPlanes
15.41/7.90	c Got one! Elapsed wall clock time (in seconds):7.794
15.41/7.90	o -66944113
26.68/13.53	c cleaning 4150 clauses out of 8301 with flag 5000/10953
40.23/20.33	c cleaning 5066 clauses out of 10151 with flag 11000/16953
55.19/27.89	c cleaning 6020 clauses out of 12086 with flag 18001/23954
72.71/36.60	c cleaning 7033 clauses out of 14066 with flag 26001/31954
91.26/45.98	c cleaning 8006 clauses out of 16032 with flag 35000/40953
107.78/54.27	c  And the winner is CuttingPlanes
107.92/54.64	c Got one! Elapsed wall clock time (in seconds):54.53
107.92/54.64	o -67205306
117.91/59.69	c cleaning 10698 clauses out of 21404 with flag 5000/54331
130.46/66.01	c cleaning 8346 clauses out of 16706 with flag 11000/60331
144.88/73.25	c cleaning 7669 clauses out of 15361 with flag 18001/67332
161.09/81.39	c cleaning 7846 clauses out of 15691 with flag 26000/75331
180.12/90.98	c cleaning 8415 clauses out of 16845 with flag 35000/84331
199.96/100.92	c cleaning 9201 clauses out of 18430 with flag 45000/94331
220.30/111.27	c cleaning 9605 clauses out of 19230 with flag 55001/104332
241.14/121.79	c cleaning 9798 clauses out of 19624 with flag 65000/114331
261.39/131.96	c cleaning 9911 clauses out of 19826 with flag 75000/124331
281.99/142.33	c cleaning 9954 clauses out of 19915 with flag 85000/134331
304.10/153.51	c cleaning 9978 clauses out of 19962 with flag 95001/144332
322.55/162.84	c cleaning 9978 clauses out of 19983 with flag 105000/154331
342.32/172.81	c cleaning 9998 clauses out of 20005 with flag 115000/164331
363.53/183.52	c cleaning 10001 clauses out of 20008 with flag 125001/174332
385.01/194.45	c cleaning 10000 clauses out of 20007 with flag 135001/184332
405.82/204.90	c cleaning 9982 clauses out of 20006 with flag 145000/194331
427.06/215.70	c cleaning 10007 clauses out of 20025 with flag 155001/204332
452.64/228.53	c cleaning 9977 clauses out of 20017 with flag 165000/214331
476.08/240.44	c cleaning 10009 clauses out of 20040 with flag 175000/224331
497.62/251.33	c cleaning 10007 clauses out of 20031 with flag 185000/234331
519.77/262.51	c cleaning 10009 clauses out of 20024 with flag 195000/244331
540.15/272.87	c cleaning 9993 clauses out of 20015 with flag 205000/254331
562.08/284.01	c cleaning 9996 clauses out of 20022 with flag 215000/264331
586.43/296.36	c cleaning 10013 clauses out of 20026 with flag 225000/274331
608.18/307.40	c cleaning 9999 clauses out of 20013 with flag 235000/284331
629.16/317.96	c cleaning 9991 clauses out of 20014 with flag 245000/294331
650.49/328.82	c cleaning 10002 clauses out of 20023 with flag 255000/304331
671.01/339.25	c cleaning 9997 clauses out of 20022 with flag 265001/314332
690.35/349.03	c cleaning 10007 clauses out of 20025 with flag 275001/324332
709.69/358.84	c cleaning 10004 clauses out of 20017 with flag 285000/334331
729.85/369.19	c cleaning 9987 clauses out of 20013 with flag 295000/344331
749.39/379.10	c cleaning 10002 clauses out of 20027 with flag 305001/354332
768.94/388.91	c cleaning 10001 clauses out of 20024 with flag 315000/364331
789.06/399.15	c cleaning 10000 clauses out of 20023 with flag 325000/374331
810.00/409.80	c cleaning 10001 clauses out of 20023 with flag 335000/384331
831.13/420.54	c cleaning 9999 clauses out of 20022 with flag 345000/394331
853.47/431.86	c cleaning 9981 clauses out of 20023 with flag 355000/404331
877.00/443.79	c cleaning 10007 clauses out of 20043 with flag 365001/414332
901.75/456.36	c cleaning 9994 clauses out of 20035 with flag 375000/424331
926.49/468.83	c cleaning 9991 clauses out of 20042 with flag 385001/434332
948.63/480.00	c cleaning 10020 clauses out of 20050 with flag 395000/444331
968.77/490.23	c cleaning 9994 clauses out of 20030 with flag 405000/454331
993.46/502.82	c cleaning 9998 clauses out of 20036 with flag 415000/464331
1013.40/512.94	c cleaning 10014 clauses out of 20038 with flag 425000/474331
1034.73/523.78	c cleaning 10010 clauses out of 20024 with flag 435000/484331
1059.06/536.00	c cleaning 10005 clauses out of 20014 with flag 445000/494331
1079.82/546.62	c cleaning 9994 clauses out of 20009 with flag 455000/504331
1099.93/556.87	c cleaning 9994 clauses out of 20016 with flag 465001/514332
1119.10/566.52	c cleaning 10004 clauses out of 20021 with flag 475000/524331
1139.20/576.71	c cleaning 9995 clauses out of 20018 with flag 485001/534332
1163.34/589.02	c cleaning 9999 clauses out of 20022 with flag 495000/544331
1187.08/601.01	c cleaning 10000 clauses out of 20023 with flag 505000/554331
1209.62/612.50	c cleaning 10003 clauses out of 20024 with flag 515001/564332
1231.16/623.32	c cleaning 9972 clauses out of 20020 with flag 525000/574331
1255.72/635.86	c cleaning 10007 clauses out of 20048 with flag 535000/584331
1284.63/650.44	c cleaning 9991 clauses out of 20041 with flag 545000/594331
1309.76/663.10	c cleaning 10004 clauses out of 20051 with flag 555001/604332
1333.69/675.21	c cleaning 10002 clauses out of 20046 with flag 565000/614331
1358.80/688.06	c cleaning 9971 clauses out of 20044 with flag 575000/624331
1387.17/702.37	c cleaning 10019 clauses out of 20073 with flag 585000/634331
1408.91/713.32	c cleaning 10021 clauses out of 20054 with flag 595000/644331
1430.43/724.29	c cleaning 10011 clauses out of 20034 with flag 605001/654332
1450.72/734.63	c cleaning 9996 clauses out of 20022 with flag 615000/664331
1474.45/746.63	c cleaning 10010 clauses out of 20026 with flag 625000/674331
1495.16/757.12	c cleaning 9990 clauses out of 20016 with flag 635000/684331
1515.48/767.40	c cleaning 10007 clauses out of 20026 with flag 645000/694331
1538.95/779.47	c cleaning 9995 clauses out of 20019 with flag 655000/704331
1563.24/791.74	c cleaning 9990 clauses out of 20024 with flag 665000/714331
1586.78/803.61	c cleaning 10011 clauses out of 20035 with flag 675001/724332
1606.70/813.77	c cleaning 9999 clauses out of 20023 with flag 685000/734331
1627.39/824.37	c cleaning 10007 clauses out of 20024 with flag 695000/744331
1647.93/834.71	c cleaning 9999 clauses out of 20018 with flag 705001/754332
1668.06/844.94	c cleaning 9999 clauses out of 20018 with flag 715000/764331
1690.79/856.44	c cleaning 9988 clauses out of 20020 with flag 725001/774332
1715.30/868.92	c cleaning 9997 clauses out of 20031 with flag 735000/784331
1739.99/881.45	c cleaning 10000 clauses out of 20034 with flag 745000/794331
1764.32/893.76	c cleaning 9998 clauses out of 20034 with flag 755000/804331
1788.85/906.10	c cleaning 10004 clauses out of 20036 with flag 765000/814331
1800.16/912.02	c starts		: 8
1800.16/912.02	c conflicts		: 594
1800.16/912.02	c decisions		: 4838
1800.16/912.02	c propagations		: 51223
1800.16/912.02	c inspects		: 5119909
1800.16/912.02	c shortcuts		: 0
1800.16/912.02	c learnt literals	: 0
1800.16/912.02	c learnt binary clauses	: 0
1800.16/912.02	c learnt ternary clauses	: 0
1800.16/912.02	c learnt constraints	: 592
1800.16/912.02	c ignored constraints	: 0
1800.16/912.02	c root simplifications	: 0
1800.16/912.02	c removed literals (reason simplification)	: 0
1800.16/912.02	c reason swapping (by a shorter reason)	: 0
1800.16/912.02	c Calls to reduceDB	: 0
1800.16/912.02	c number of reductions to clauses (during analyze)	: 0
1800.16/912.02	c number of learned constraints concerned by reduction	: 0
1800.16/912.02	c number of learning phase by resolution	: 0
1800.16/912.02	c number of learning phase by cutting planes	: 0
1800.16/912.02	c speed (assignments/second)	: 59.74391632142724
1800.16/912.02	c non guided choices	0
1800.16/912.02	c learnt constraints type 
1800.16/912.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 592
1800.16/912.02	c constraints type 
1800.16/912.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 73
1800.16/912.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
1800.16/912.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
1800.16/912.02	c constraints type 
1800.16/912.02	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 73
1800.16/912.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73
1800.16/912.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 40
1800.16/912.02	s SATISFIABLE
1800.16/912.03	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 
1800.16/912.03	c objective function=-67205306
1800.16/912.03	c Total wall clock time (in seconds): 911.923

Verifier Data 

OK	-67205306

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-3479385-1307449260/watcher-3479385-1307449260 -o /tmp/evaluation-result-3479385-1307449260/solver-3479385-1307449260 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479385-1307449260.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.85 3.97 3.86 2/482 17422
/proc/meminfo: memFree=24279572/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 1814 0 1 0 0 0 0 0 25 0 2 0 856524015 10681323520 1516 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2607745 1530 906 9 0 2598901 0
[pid=17422/tid=17423] ppid=17420 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) R 17420 17422 15115 0 -1 4202560 4342 0 1 0 0 0 0 0 25 0 2 0 856524015 10694979584 5158 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0582141 s]
/proc/loadavg: 3.85 3.97 3.86 2/482 17422
/proc/meminfo: memFree=24279572/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 11520 0 1 0 3 1 0 0 25 0 13 0 856524015 10718838784 11217 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2616904 11218 1685 9 0 2607652 0
[pid=17422/tid=17423] ppid=17420 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) R 17420 17422 15115 0 -1 4202560 10373 0 1 0 3 1 0 0 25 0 13 0 856524015 10718838784 11218 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 47081463487315 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.101198 s]
/proc/loadavg: 3.85 3.97 3.86 2/482 17422
/proc/meminfo: memFree=24279572/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10540000 CPUtime=0.1 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 13037 0 1 0 9 1 0 0 25 0 18 0 856524015 10792960000 12712 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2635000 12712 2092 9 0 2625734 0
[pid=17422/tid=17423] ppid=17420 vsize=10540000 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) R 17420 17422 15115 0 -1 4202560 11112 0 1 0 7 1 0 0 18 0 18 0 856524015 10792960000 12712 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912496197408 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540000

[startup+0.301165 s]
/proc/loadavg: 3.85 3.97 3.86 2/482 17422
/proc/meminfo: memFree=24279572/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10542216 CPUtime=0.53 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 17183 0 1 0 51 2 0 0 25 0 20 0 856524015 10795229184 16376 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2635554 16376 2208 9 0 2626288 0
[pid=17422/tid=17423] ppid=17420 vsize=10542216 CPUtime=0.27 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 13932 0 1 0 26 1 0 0 19 0 20 0 856524015 10795229184 16376 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542216

[startup+0.701073 s]
/proc/loadavg: 3.85 3.97 3.86 2/482 17422
/proc/meminfo: memFree=24279572/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10560828 CPUtime=1.95 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 31739 0 1 0 192 3 0 0 25 0 19 0 856524015 10814287872 28065 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2640207 28065 2225 9 0 2630941 0
[pid=17422/tid=17423] ppid=17420 vsize=10560828 CPUtime=0.27 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 13932 0 1 0 26 1 0 0 19 0 19 0 856524015 10814287872 28065 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10560828

[startup+1.50439 s]
/proc/loadavg: 3.85 3.97 3.86 3/501 17447
/proc/meminfo: memFree=24165408/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10560828 CPUtime=2.81 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 38865 0 1 0 276 5 0 0 25 0 22 0 856524015 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2640207 35078 2227 9 0 2630941 0
[pid=17422/tid=17423] ppid=17420 vsize=10560828 CPUtime=0.3 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 14349 0 1 0 29 1 0 0 16 0 22 0 856524015 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17425] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17425/stat : 17425 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17426] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17426/stat : 17426 (java) S 17420 17422 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17427] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17427/stat : 17427 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17428] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17429] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17430] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17431] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17431/stat : 17431 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17432] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17432/stat : 17432 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17433] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17433/stat : 17433 (java) S 17420 17422 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 856524018 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17434] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17434/stat : 17434 (java) S 17420 17422 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 856524019 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17435] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17435/stat : 17435 (java) S 17420 17422 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856524019 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17436] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17436/stat : 17436 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17437] ppid=17420 vsize=10560828 CPUtime=0.72 cores=0,2,4,6
/proc/17422/task/17437/stat : 17437 (java) R 17420 17422 15115 0 -1 4202560 5351 0 0 0 72 0 0 0 16 0 22 0 856524021 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 47081462166361 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17422/tid=17438] ppid=17420 vsize=10560828 CPUtime=0.72 cores=0,2,4,6
/proc/17422/task/17438/stat : 17438 (java) S 17420 17422 15115 0 -1 4202560 6574 0 0 0 72 0 0 0 15 0 22 0 856524021 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17439] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17439/stat : 17439 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17440] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17440/stat : 17440 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 856524021 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17447] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17447/stat : 17447 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 856524101 10814287872 35078 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10560828

[startup+3.10167 s]
/proc/loadavg: 3.85 3.97 3.86 5/504 17450
/proc/meminfo: memFree=24023032/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10560828 CPUtime=6.18 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 124329 0 1 0 605 13 0 0 25 0 22 0 856524015 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2640207 120326 2228 9 0 2630941 0
[pid=17422/tid=17423] ppid=17420 vsize=10560828 CPUtime=0.3 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 14349 0 1 0 29 1 0 0 15 0 22 0 856524015 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17425] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17425/stat : 17425 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17426] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17426/stat : 17426 (java) S 17420 17422 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17427] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17427/stat : 17427 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17428] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17429] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17430] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120326 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17431] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17431/stat : 17431 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17432] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17432/stat : 17432 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17433] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17433/stat : 17433 (java) S 17420 17422 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 856524018 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17434] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17434/stat : 17434 (java) S 17420 17422 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 856524019 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17435] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17435/stat : 17435 (java) S 17420 17422 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856524019 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17436] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17436/stat : 17436 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17437] ppid=17420 vsize=10560828 CPUtime=0.79 cores=0,2,4,6
/proc/17422/task/17437/stat : 17437 (java) S 17420 17422 15115 0 -1 4202560 5353 0 0 0 79 0 0 0 15 0 22 0 856524021 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17438] ppid=17420 vsize=10560828 CPUtime=0.85 cores=0,2,4,6
/proc/17422/task/17438/stat : 17438 (java) S 17420 17422 15115 0 -1 4202560 6805 0 0 0 84 1 0 0 15 0 22 0 856524021 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17439] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17439/stat : 17439 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17440] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17440/stat : 17440 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 856524021 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17447] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17447/stat : 17447 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 856524101 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17448] ppid=17420 vsize=10560828 CPUtime=1.71 cores=0,2,4,6
/proc/17422/task/17448/stat : 17448 (java) R 17420 17422 15115 0 -1 4202560 1045 0 0 0 171 0 0 0 20 0 22 0 856524152 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912505659112 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17422/tid=17449] ppid=17420 vsize=10560828 CPUtime=1.72 cores=0,2,4,6
/proc/17422/task/17449/stat : 17449 (java) R 17420 17422 15115 0 -1 4202560 89540 0 0 0 163 9 0 0 20 0 22 0 856524152 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912505939046 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17422/tid=17450] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17450/stat : 17450 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 856524153 10814287872 120327 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 10560828

[startup+6.30112 s]
/proc/loadavg: 3.86 3.97 3.86 5/504 17450
/proc/meminfo: memFree=23270208/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10560828 CPUtime=12.61 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 298943 0 1 0 1227 34 0 0 25 0 22 0 856524015 10814287872 294031 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2640207 294036 2232 9 0 2630941 0
[pid=17422/tid=17423] ppid=17420 vsize=10560828 CPUtime=0.3 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 14349 0 1 0 29 1 0 0 15 0 22 0 856524015 10814287872 294036 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17425] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17425/stat : 17425 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294036 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17426] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17426/stat : 17426 (java) S 17420 17422 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294036 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17427] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17427/stat : 17427 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294038 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17428] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294041 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17429] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294041 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17430] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294041 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17431] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17431/stat : 17431 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294041 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17432] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17432/stat : 17432 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524017 10814287872 294043 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17433] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17433/stat : 17433 (java) S 17420 17422 15115 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 856524018 10814287872 294045 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17434] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17434/stat : 17434 (java) S 17420 17422 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 856524019 10814287872 294045 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17435] ppid=17420 vsize=10560828 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17435/stat : 17435 (java) S 17420 17422 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856524019 10814287872 294045 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0

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

/proc/meminfo: memFree=20171768/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10557168 CPUtime=1623.4 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 1093485 0 1 0 162207 133 0 0 25 0 22 0 856524015 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2639292 1085782 2258 9 0 2630026 0
[pid=17422/tid=17423] ppid=17420 vsize=10557168 CPUtime=0.33 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 14586 0 1 0 32 1 0 0 15 0 22 0 856524015 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17425] ppid=17420 vsize=10557168 CPUtime=0.35 cores=0,2,4,6
/proc/17422/task/17425/stat : 17425 (java) S 17420 17422 15115 0 -1 4202560 13254 0 0 0 34 1 0 0 16 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17426] ppid=17420 vsize=10557168 CPUtime=0.38 cores=0,2,4,6
/proc/17422/task/17426/stat : 17426 (java) S 17420 17422 15115 0 -1 4202560 10913 0 0 0 37 1 0 0 15 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17427] ppid=17420 vsize=10557168 CPUtime=0.33 cores=0,2,4,6
/proc/17422/task/17427/stat : 17427 (java) S 17420 17422 15115 0 -1 4202560 4995 0 0 0 33 0 0 0 16 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17428] ppid=17420 vsize=10557168 CPUtime=0.3 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (java) S 17420 17422 15115 0 -1 4202560 10813 0 0 0 29 1 0 0 15 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17429] ppid=17420 vsize=10557168 CPUtime=0.28 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (java) S 17420 17422 15115 0 -1 4202560 3178 0 0 0 28 0 0 0 15 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17430] ppid=17420 vsize=10557168 CPUtime=0.39 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (java) S 17420 17422 15115 0 -1 4202560 16584 0 0 0 36 3 0 0 15 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17431] ppid=17420 vsize=10557168 CPUtime=0.45 cores=0,2,4,6
/proc/17422/task/17431/stat : 17431 (java) S 17420 17422 15115 0 -1 4202560 15096 0 0 0 43 2 0 0 15 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17432] ppid=17420 vsize=10557168 CPUtime=0.35 cores=0,2,4,6
/proc/17422/task/17432/stat : 17432 (java) S 17420 17422 15115 0 -1 4202560 10942 0 0 0 34 1 0 0 16 0 22 0 856524017 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17433] ppid=17420 vsize=10557168 CPUtime=21.63 cores=0,2,4,6
/proc/17422/task/17433/stat : 17433 (java) S 17420 17422 15115 0 -1 4202560 182845 0 0 0 2140 23 0 0 15 0 22 0 856524018 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17434] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17434/stat : 17434 (java) S 17420 17422 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856524019 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17435] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17435/stat : 17435 (java) S 17420 17422 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856524019 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17436] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17436/stat : 17436 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17437] ppid=17420 vsize=10557168 CPUtime=0.99 cores=0,2,4,6
/proc/17422/task/17437/stat : 17437 (java) S 17420 17422 15115 0 -1 4202560 5374 0 0 0 99 0 0 0 15 0 22 0 856524021 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17438] ppid=17420 vsize=10557168 CPUtime=1.14 cores=0,2,4,6
/proc/17422/task/17438/stat : 17438 (java) S 17420 17422 15115 0 -1 4202560 6852 0 0 0 113 1 0 0 15 0 22 0 856524021 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17439] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17439/stat : 17439 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17440] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17440/stat : 17440 (java) S 17420 17422 15115 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 856524021 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17447] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17447/stat : 17447 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 856524101 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17455] ppid=17420 vsize=10557168 CPUtime=745.72 cores=0,2,4,6
/proc/17422/task/17455/stat : 17455 (java) R 17420 17422 15115 0 -1 4202560 808 0 0 0 74572 0 0 0 25 0 22 0 856529480 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912506059993 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17422/tid=17456] ppid=17420 vsize=10557168 CPUtime=745.84 cores=0,2,4,6
/proc/17422/task/17456/stat : 17456 (java) R 17420 17422 15115 0 -1 4202560 159490 0 0 0 74563 21 0 0 25 0 22 0 856529480 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912505895490 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17422/tid=17457] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17457/stat : 17457 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 856529480 10810540032 1085782 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1623.4
Current children cumulated vsize (KiB) 10557168

[startup+882.302 s]
/proc/loadavg: 3.96 3.96 3.91 5/504 17557
/proc/meminfo: memFree=20165288/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10557168 CPUtime=1741.52 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 1093505 0 1 0 174016 136 0 0 25 0 22 0 856524015 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2639292 1085790 2258 9 0 2630026 0
[pid=17422/tid=17423] ppid=17420 vsize=10557168 CPUtime=0.33 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 14587 0 1 0 32 1 0 0 15 0 22 0 856524015 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17425] ppid=17420 vsize=10557168 CPUtime=0.37 cores=0,2,4,6
/proc/17422/task/17425/stat : 17425 (java) S 17420 17422 15115 0 -1 4202560 13254 0 0 0 36 1 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17426] ppid=17420 vsize=10557168 CPUtime=0.39 cores=0,2,4,6
/proc/17422/task/17426/stat : 17426 (java) S 17420 17422 15115 0 -1 4202560 10913 0 0 0 38 1 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17427] ppid=17420 vsize=10557168 CPUtime=0.34 cores=0,2,4,6
/proc/17422/task/17427/stat : 17427 (java) S 17420 17422 15115 0 -1 4202560 4995 0 0 0 34 0 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17428] ppid=17420 vsize=10557168 CPUtime=0.33 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (java) S 17420 17422 15115 0 -1 4202560 10813 0 0 0 32 1 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17429] ppid=17420 vsize=10557168 CPUtime=0.29 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (java) S 17420 17422 15115 0 -1 4202560 3178 0 0 0 29 0 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17430] ppid=17420 vsize=10557168 CPUtime=0.41 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (java) S 17420 17422 15115 0 -1 4202560 16585 0 0 0 38 3 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17431] ppid=17420 vsize=10557168 CPUtime=0.47 cores=0,2,4,6
/proc/17422/task/17431/stat : 17431 (java) S 17420 17422 15115 0 -1 4202560 15098 0 0 0 45 2 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17432] ppid=17420 vsize=10557168 CPUtime=0.37 cores=0,2,4,6
/proc/17422/task/17432/stat : 17432 (java) S 17420 17422 15115 0 -1 4202560 10947 0 0 0 36 1 0 0 15 0 22 0 856524017 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17433] ppid=17420 vsize=10557168 CPUtime=23.6 cores=0,2,4,6
/proc/17422/task/17433/stat : 17433 (java) S 17420 17422 15115 0 -1 4202560 182849 0 0 0 2334 26 0 0 16 0 22 0 856524018 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17434] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17434/stat : 17434 (java) S 17420 17422 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856524019 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17435] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17435/stat : 17435 (java) S 17420 17422 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856524019 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17436] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17436/stat : 17436 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17437] ppid=17420 vsize=10557168 CPUtime=0.99 cores=0,2,4,6
/proc/17422/task/17437/stat : 17437 (java) S 17420 17422 15115 0 -1 4202560 5374 0 0 0 99 0 0 0 15 0 22 0 856524021 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17438] ppid=17420 vsize=10557168 CPUtime=1.14 cores=0,2,4,6
/proc/17422/task/17438/stat : 17438 (java) S 17420 17422 15115 0 -1 4202560 6852 0 0 0 113 1 0 0 15 0 22 0 856524021 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17439] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17439/stat : 17439 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17440] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17440/stat : 17440 (java) S 17420 17422 15115 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 856524021 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17447] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17447/stat : 17447 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 856524101 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17455] ppid=17420 vsize=10557168 CPUtime=803.7 cores=0,2,4,6
/proc/17422/task/17455/stat : 17455 (java) R 17420 17422 15115 0 -1 4202560 813 0 0 0 80370 0 0 0 25 0 22 0 856529480 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912505719441 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17422/tid=17456] ppid=17420 vsize=10557168 CPUtime=803.87 cores=0,2,4,6
/proc/17422/task/17456/stat : 17456 (java) R 17420 17422 15115 0 -1 4202560 159490 0 0 0 80365 22 0 0 25 0 22 0 856529480 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912505895424 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17422/tid=17457] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17457/stat : 17457 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 856529480 10810540032 1085790 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1741.52
Current children cumulated vsize (KiB) 10557168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+912.001 s]
/proc/loadavg: 3.97 3.96 3.91 5/504 17558
/proc/meminfo: memFree=20106752/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=10557168 CPUtime=1800.16 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17420 17422 15115 0 -1 4202496 1108070 0 1 0 179877 139 0 0 25 0 22 0 856524015 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 2639292 1100315 2258 9 0 2630026 0
[pid=17422/tid=17423] ppid=17420 vsize=10557168 CPUtime=0.33 cores=0,2,4,6
/proc/17422/task/17423/stat : 17423 (java) S 17420 17422 15115 0 -1 4202560 14587 0 1 0 32 1 0 0 15 0 22 0 856524015 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17425] ppid=17420 vsize=10557168 CPUtime=0.37 cores=0,2,4,6
/proc/17422/task/17425/stat : 17425 (java) S 17420 17422 15115 0 -1 4202560 13254 0 0 0 36 1 0 0 15 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17426] ppid=17420 vsize=10557168 CPUtime=0.41 cores=0,2,4,6
/proc/17422/task/17426/stat : 17426 (java) S 17420 17422 15115 0 -1 4202560 12465 0 0 0 39 2 0 0 16 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17427] ppid=17420 vsize=10557168 CPUtime=0.34 cores=0,2,4,6
/proc/17422/task/17427/stat : 17427 (java) S 17420 17422 15115 0 -1 4202560 4995 0 0 0 34 0 0 0 15 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17428] ppid=17420 vsize=10557168 CPUtime=0.34 cores=0,2,4,6
/proc/17422/task/17428/stat : 17428 (java) S 17420 17422 15115 0 -1 4202560 12286 0 0 0 33 1 0 0 15 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17429] ppid=17420 vsize=10557168 CPUtime=0.3 cores=0,2,4,6
/proc/17422/task/17429/stat : 17429 (java) S 17420 17422 15115 0 -1 4202560 3178 0 0 0 30 0 0 0 15 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17430] ppid=17420 vsize=10557168 CPUtime=0.42 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (java) S 17420 17422 15115 0 -1 4202560 16585 0 0 0 39 3 0 0 15 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17431] ppid=17420 vsize=10557168 CPUtime=0.48 cores=0,2,4,6
/proc/17422/task/17431/stat : 17431 (java) S 17420 17422 15115 0 -1 4202560 16708 0 0 0 46 2 0 0 15 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17432] ppid=17420 vsize=10557168 CPUtime=0.37 cores=0,2,4,6
/proc/17422/task/17432/stat : 17432 (java) S 17420 17422 15115 0 -1 4202560 10947 0 0 0 36 1 0 0 16 0 22 0 856524017 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17433] ppid=17420 vsize=10557168 CPUtime=24.41 cores=0,2,4,6
/proc/17422/task/17433/stat : 17433 (java) S 17420 17422 15115 0 -1 4202560 192775 0 0 0 2414 27 0 0 15 0 22 0 856524018 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17434] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17434/stat : 17434 (java) S 17420 17422 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856524019 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17435] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17435/stat : 17435 (java) S 17420 17422 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856524019 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17436] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17436/stat : 17436 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17437] ppid=17420 vsize=10557168 CPUtime=0.99 cores=0,2,4,6
/proc/17422/task/17437/stat : 17437 (java) S 17420 17422 15115 0 -1 4202560 5374 0 0 0 99 0 0 0 15 0 22 0 856524021 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=17422/tid=17438] ppid=17420 vsize=10557168 CPUtime=1.14 cores=0,2,4,6
/proc/17422/task/17438/stat : 17438 (java) S 17420 17422 15115 0 -1 4202560 6852 0 0 0 113 1 0 0 15 0 22 0 856524021 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=17422/tid=17439] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17439/stat : 17439 (java) S 17420 17422 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856524021 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17440] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17440/stat : 17440 (java) S 17420 17422 15115 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 856524021 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=17422/tid=17447] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17447/stat : 17447 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 856524101 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=17422/tid=17455] ppid=17420 vsize=10557168 CPUtime=832.58 cores=0,2,4,6
/proc/17422/task/17455/stat : 17455 (java) R 17420 17422 15115 0 -1 4202560 815 0 0 0 83258 0 0 0 25 0 22 0 856529480 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912505719538 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17422/tid=17456] ppid=17420 vsize=10557168 CPUtime=832.76 cores=0,2,4,6
/proc/17422/task/17456/stat : 17456 (java) R 17420 17422 15115 0 -1 4202560 159490 0 0 0 83254 22 0 0 25 0 22 0 856529480 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 46912506254359 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17422/tid=17457] ppid=17420 vsize=10557168 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17457/stat : 17457 (java) S 17420 17422 15115 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 856529480 10810540032 1100315 33554432000 1073741824 1073778376 140737021852336 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10557168

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

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

[startup+912.201 s]
/proc/loadavg: 3.97 3.96 3.91 5/504 17558
/proc/meminfo: memFree=20106752/32951124 swapFree=41830676/67111528
[pid=17422] ppid=17420 vsize=0 CPUtime=1800.4 cores=0,2,4,6
/proc/17422/stat : 17422 (java) Z 17420 17422 15115 0 -1 4203548 1108100 0 1 0 179885 155 0 0 17 0 2 0 856524015 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17422/statm: 0 0 0 0 0 0 0
[pid=17422/tid=17456] ppid=17420 vsize=0 CPUtime=832.93 cores=0,2,4,6
/proc/17422/task/17456/stat : 17456 (java) R 17420 17422 15115 0 -1 4203588 159490 0 0 0 83256 37 0 0 25 0 2 0 856529480 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 912.204
CPU time (s): 1800.4
CPU user time (s): 1798.85
CPU system time (s): 1.55276
CPU usage (%): 197.368
Max. virtual memory (cumulated for all children) (KiB): 10560828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.55276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1108100
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= 23390
involuntary context switches= 20578

runsolver used 4.50831 second user time and 9.34658 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-07 14:21:00
IDJOB=3479385
IDBENCH=89903
IDSOLVER=1950
FILE ID=node138/3479385-1307449260
RUNJOBID= node138-1307445879-16799
PBS_JOBID= 13519950
Free space on /tmp= 73892 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-harp2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479385-1307449260/watcher-3479385-1307449260 -o /tmp/evaluation-result-3479385-1307449260/solver-3479385-1307449260 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479385-1307449260.opb

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

MD5SUM BENCH= 3f0afbcd16b5dd29f67967742a878949
RANDOM SEED=1606572524

node138.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.854
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.70
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.854
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.854
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.82
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.854
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.75
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.854
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.80
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.854
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.854
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.82
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.854
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:      24279868 kB
Buffers:        345080 kB
Cached:        1436900 kB
SwapCached:      44568 kB
Active:        6354332 kB
Inactive:      2011400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24279868 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:             612 kB
Writeback:           0 kB
AnonPages:     6549908 kB
Mapped:          24804 kB
Slab:           137016 kB
PageTables:     100516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141008184 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= 73848 MiB
End job on node138 at 2011-06-07 14:36:14