Trace number 3688147

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)181 1800.07 1795.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark10.9333
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint386
Number of terms in the objective function 3098
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
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.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688147-1337880450.opb
0.08/0.13	c reading problem ... 
0.88/0.67	c ... done. Wall clock time 0.547s.
0.88/0.67	c declared #vars     3098
0.88/0.67	c #constraints  5747
0.88/0.67	c constraints type 
0.88/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5699
0.88/0.67	c ignored satisfied constraints => 265
0.88/0.67	c org.sat4j.minisat.constraints.cnf.UnitClause => 26
0.88/0.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22
0.88/0.67	c 6012 constraints processed.
0.88/0.67	c objective function length is 3098 literals
0.99/0.74	c SATISFIABLE
0.99/0.74	c OPTIMIZING...
0.99/0.74	c Got one! Elapsed wall clock time (in seconds):0.617
0.99/0.74	o 183
1.24/0.88	c Got one! Elapsed wall clock time (in seconds):0.759
1.24/0.88	o 182
1.43/1.00	c Got one! Elapsed wall clock time (in seconds):0.875
1.43/1.00	o 181
3.18/2.59	c cleaning 2804 clauses out of 5609 with flag 5002/5609
5.24/4.51	c cleaning 4404 clauses out of 8808 with flag 11005/11612
7.65/6.91	c cleaning 5694 clauses out of 11401 with flag 18002/18609
10.36/9.64	c cleaning 6848 clauses out of 13706 with flag 26001/26608
13.52/12.78	c cleaning 7918 clauses out of 15859 with flag 35002/35609
16.82/16.04	c cleaning 8911 clauses out of 17939 with flag 45000/45607
20.93/20.13	c cleaning 10016 clauses out of 20039 with flag 56011/56618
25.84/25.06	c cleaning 10988 clauses out of 22014 with flag 68002/68609
30.55/29.79	c cleaning 12002 clauses out of 24027 with flag 81003/81610
35.87/35.01	c cleaning 12989 clauses out of 26022 with flag 95000/95607
41.30/40.48	c cleaning 14012 clauses out of 28034 with flag 110001/110608
47.34/46.45	c cleaning 15005 clauses out of 30021 with flag 126000/126607
53.34/52.45	c cleaning 15954 clauses out of 32016 with flag 143000/143607
60.14/59.26	c cleaning 16979 clauses out of 34062 with flag 161000/161607
67.06/66.10	c cleaning 18009 clauses out of 36083 with flag 180000/180607
74.30/73.36	c cleaning 18930 clauses out of 38076 with flag 200002/200609
82.12/81.10	c cleaning 20013 clauses out of 40144 with flag 221000/221607
90.15/89.11	c cleaning 21002 clauses out of 42131 with flag 243000/243607
99.66/98.61	c cleaning 22064 clauses out of 44129 with flag 266000/266607
108.07/107.04	c cleaning 22996 clauses out of 46065 with flag 290000/290607
117.49/116.46	c cleaning 24005 clauses out of 48073 with flag 315004/315611
126.92/125.87	c cleaning 24973 clauses out of 50064 with flag 341000/341607
136.56/135.47	c cleaning 25993 clauses out of 52091 with flag 368000/368607
146.67/145.58	c cleaning 27019 clauses out of 54098 with flag 396000/396607
156.59/155.43	c cleaning 28022 clauses out of 56082 with flag 425003/425610
168.20/167.10	c cleaning 29014 clauses out of 58057 with flag 455000/455607
179.14/177.96	c cleaning 30013 clauses out of 60043 with flag 486000/486607
190.96/189.75	c cleaning 30999 clauses out of 62030 with flag 518000/518607
203.37/202.10	c cleaning 31973 clauses out of 64031 with flag 551000/551607
215.69/214.47	c cleaning 32997 clauses out of 66058 with flag 585000/585607
228.70/227.47	c cleaning 34016 clauses out of 68061 with flag 620000/620607
241.32/240.03	c cleaning 35025 clauses out of 70050 with flag 656005/656612
253.94/252.64	c cleaning 35978 clauses out of 72020 with flag 693000/693607
266.87/265.59	c cleaning 36998 clauses out of 74044 with flag 731002/731609
282.29/280.96	c cleaning 37998 clauses out of 76044 with flag 770000/770607
296.12/294.76	c cleaning 38983 clauses out of 78046 with flag 810000/810607
310.25/308.86	c cleaning 40022 clauses out of 80064 with flag 851001/851608
323.97/322.50	c cleaning 40996 clauses out of 82041 with flag 893000/893607
339.11/337.62	c cleaning 41985 clauses out of 84046 with flag 936001/936608
354.92/353.40	c cleaning 42994 clauses out of 86060 with flag 980000/980607
370.64/369.18	c cleaning 44012 clauses out of 88070 with flag 1025004/1025611
387.68/386.17	c cleaning 45026 clauses out of 90054 with flag 1071000/1071607
404.80/403.25	c cleaning 46006 clauses out of 92028 with flag 1118000/1118607
422.35/420.73	c cleaning 46997 clauses out of 94022 with flag 1166000/1166607
439.88/438.26	c cleaning 47998 clauses out of 96028 with flag 1215003/1215610
457.59/455.93	c cleaning 48976 clauses out of 98027 with flag 1265000/1265607
475.62/473.97	c cleaning 50023 clauses out of 100051 with flag 1316000/1316607
491.98/490.22	c cleaning 50998 clauses out of 102030 with flag 1368002/1368609
510.40/508.61	c cleaning 51995 clauses out of 104033 with flag 1421003/1421610
529.73/527.96	c cleaning 52931 clauses out of 106035 with flag 1475000/1475607
549.85/548.05	c cleaning 54038 clauses out of 108104 with flag 1530000/1530607
568.30/566.42	c cleaning 55013 clauses out of 110066 with flag 1586000/1586607
587.31/585.43	c cleaning 56003 clauses out of 112061 with flag 1643008/1643615
607.05/605.12	c cleaning 57003 clauses out of 114050 with flag 1701000/1701607
626.40/624.49	c cleaning 58008 clauses out of 116047 with flag 1760000/1760607
647.96/645.96	c cleaning 58999 clauses out of 118042 with flag 1820003/1820610
668.99/666.98	c cleaning 60004 clauses out of 120041 with flag 1881001/1881608
691.67/689.50	c cleaning 60980 clauses out of 122037 with flag 1943001/1943608
713.12/710.90	c cleaning 62002 clauses out of 124056 with flag 2006000/2006607
734.28/732.07	c cleaning 62992 clauses out of 126054 with flag 2070000/2070607
757.14/754.85	c cleaning 64020 clauses out of 128065 with flag 2135003/2135610
780.10/777.72	c cleaning 65019 clauses out of 130042 with flag 2201000/2201607
804.85/802.46	c cleaning 66012 clauses out of 132023 with flag 2268000/2268607
828.50/826.01	c cleaning 66947 clauses out of 134011 with flag 2336000/2336607
852.16/849.68	c cleaning 68024 clauses out of 136070 with flag 2405006/2405613
876.63/874.01	c cleaning 68995 clauses out of 138043 with flag 2475003/2475610
901.37/898.78	c cleaning 70005 clauses out of 140045 with flag 2546000/2546607
926.80/924.19	c cleaning 71008 clauses out of 142041 with flag 2618001/2618608
951.50/948.71	c cleaning 71930 clauses out of 144032 with flag 2691000/2691607
977.26/974.47	c cleaning 73024 clauses out of 146103 with flag 2765001/2765608
1005.50/1002.60	c cleaning 73933 clauses out of 148078 with flag 2840000/2840607
1036.16/1033.29	c cleaning 74867 clauses out of 150145 with flag 2916000/2916607
1065.97/1062.96	c cleaning 76127 clauses out of 152278 with flag 2993000/2993607
1095.34/1092.25	c cleaning 77062 clauses out of 154155 with flag 3071004/3071611
1122.80/1119.70	c cleaning 78020 clauses out of 156089 with flag 3150000/3150607
1151.53/1148.38	c cleaning 78997 clauses out of 158069 with flag 3230000/3230607
1180.70/1177.49	c cleaning 79991 clauses out of 160074 with flag 3311002/3311609
1209.33/1206.03	c cleaning 81033 clauses out of 162085 with flag 3393004/3393611
1239.59/1236.27	c cleaning 81907 clauses out of 164048 with flag 3476000/3476607
1268.87/1265.44	c cleaning 83023 clauses out of 166141 with flag 3560000/3560607
1299.41/1295.92	c cleaning 84038 clauses out of 168118 with flag 3645000/3645607
1332.76/1329.27	c cleaning 85018 clauses out of 170080 with flag 3731000/3731607
1363.95/1360.31	c cleaning 85995 clauses out of 172064 with flag 3818002/3818609
1394.00/1390.36	c cleaning 86981 clauses out of 174067 with flag 3906000/3906607
1430.36/1426.70	c cleaning 87961 clauses out of 176086 with flag 3995000/3995607
1463.43/1459.64	c cleaning 89049 clauses out of 178127 with flag 4085002/4085609
1497.17/1493.35	c cleaning 90000 clauses out of 180079 with flag 4176003/4176610
1530.95/1527.09	c cleaning 91025 clauses out of 182081 with flag 4268005/4268612
1567.40/1563.44	c cleaning 91998 clauses out of 184051 with flag 4361000/4361607
1604.76/1600.78	c cleaning 92990 clauses out of 186053 with flag 4455000/4455607
1640.02/1635.92	c cleaning 94014 clauses out of 188064 with flag 4550001/4550608
1676.20/1672.01	c cleaning 94986 clauses out of 190049 with flag 4646000/4646607
1711.06/1706.83	c cleaning 96010 clauses out of 192063 with flag 4743000/4743607
1744.92/1740.64	c cleaning 97001 clauses out of 194055 with flag 4841002/4841609
1781.57/1777.26	c cleaning 98002 clauses out of 196052 with flag 4940000/4940607
1800.07/1795.61	c starts		: 276
1800.07/1795.61	c conflicts		: 4995128
1800.07/1795.61	c decisions		: 56444037
1800.07/1795.61	c propagations		: 3475620371
1800.07/1795.61	c inspects		: 2425443161
1800.07/1795.61	c shortcuts		: 0
1800.07/1795.61	c learnt literals	: 0
1800.07/1795.61	c learnt binary clauses	: 0
1800.07/1795.61	c learnt ternary clauses	: 0
1800.07/1795.61	c learnt constraints	: 4995128
1800.07/1795.61	c ignored constraints	: 0
1800.07/1795.61	c root simplifications	: 0
1800.07/1795.61	c removed literals (reason simplification)	: 0
1800.07/1795.61	c reason swapping (by a shorter reason)	: 0
1800.07/1795.61	c Calls to reduceDB	: 95
1800.07/1795.61	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.61	c number of learned constraints concerned by reduction	: 0
1800.07/1795.61	c number of learning phase by resolution	: 0
1800.07/1795.61	c number of learning phase by cutting planes	: 0
1800.07/1795.61	c speed (assignments/second)	: 1936368.0385399223
1800.07/1795.61	c non guided choices	0
1800.07/1795.65	c learnt constraints type 
1800.07/1795.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 152659
1800.07/1795.65	c constraints type 
1800.07/1795.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5699
1800.07/1795.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1795.65	c ignored satisfied constraints => 265
1800.07/1795.65	c org.sat4j.minisat.constraints.cnf.UnitClause => 26
1800.07/1795.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22
1800.07/1795.65	c 6013 constraints processed.
1800.07/1795.65	s SATISFIABLE
1800.07/1795.67	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 -x2994 -x2995 -x2996 -x2997 x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 x3064 x3065 -x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 
1800.07/1795.67	c objective function=181
1800.07/1795.67	c Total wall clock time (in seconds): 1795.542

Verifier Data

OK	181

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688147-1337880450/watcher-3688147-1337880450 -o /tmp/evaluation-result-3688147-1337880450/solver-3688147-1337880450 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688147-1337880450.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: 1.99 2.00 1.99 2/194 22365
/proc/meminfo: memFree=28393860/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22365/stat : 22365 (java) D 22363 22365 21484 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254173589 9515008 182 33554432000 1073741824 1073778376 140734948913056 140734948904088 218213727925 0 0 4096 0 18446612150240295432 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2323 182 140 9 0 71 0

[startup+0.093881 s]
/proc/loadavg: 1.99 2.00 1.99 2/194 22365
/proc/meminfo: memFree=28393860/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 3457 0 1 0 5 1 0 0 20 0 18 0 254173589 9787813888 4155 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2389603 4157 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100258 s]
/proc/loadavg: 1.99 2.00 1.99 2/194 22365
/proc/meminfo: memFree=28393860/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 4125 0 1 0 7 1 0 0 20 0 18 0 254173589 9787813888 4814 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2389603 4818 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300226 s]
/proc/loadavg: 1.99 2.00 1.99 2/194 22365
/proc/meminfo: memFree=28393860/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 7382 0 1 0 49 2 0 0 20 0 18 0 254173589 9787813888 9517 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2389603 9517 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.700227 s]
/proc/loadavg: 1.99 2.00 1.99 2/194 22365
/proc/meminfo: memFree=28393860/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9624976 CPUtime=0.99 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 7604 0 1 0 94 5 0 0 20 0 19 0 254173589 9855975424 39885 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2406244 39885 2251 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 1.99 2.00 1.99 4/213 22384
/proc/meminfo: memFree=28241628/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9624976 CPUtime=2.17 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 8507 0 1 0 212 5 0 0 20 0 19 0 254173589 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2406244 40020 2263 9 0 2396937 0
[pid=22365/tid=22367] ppid=22363 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22365/task/22367/stat : 22367 (java) R 22363 22365 21484 0 -1 4202560 2572 0 1 0 141 4 0 0 20 0 19 0 254173590 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140441132466552 140441072821791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140441071196584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140441070144040 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440973818024 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440972765480 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440971713448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440970660904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440969607848 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440968555304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440956356968 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440955303288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440954250120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440953198864 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 21484 0 -1 4202560 2484 0 0 0 33 0 0 0 20 0 19 0 254173596 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440952146744 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 21484 0 -1 4202560 2238 0 0 0 34 0 0 0 20 0 19 0 254173596 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440951094200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440950041336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440948989000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173659 9855975424 40020 33554432000 1073741824 1073778376 140735792036560 140440947934248 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 22384
/proc/meminfo: memFree=28241256/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9624976 CPUtime=3.81 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 8556 0 1 0 375 6 0 0 20 0 19 0 254173589 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2406244 43126 2275 9 0 2396937 0
[pid=22365/tid=22367] ppid=22363 vsize=9624976 CPUtime=3.03 cores=0,2,4,6
/proc/22365/task/22367/stat : 22367 (java) R 22363 22365 21484 0 -1 4202560 2574 0 1 0 299 4 0 0 20 0 19 0 254173590 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140441132466448 140441072821670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140441071196584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140441070144040 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440973818024 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440972765480 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440971713448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440970660904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440969607848 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440968555304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 21484 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440956356968 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440955303288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440954250120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440953198864 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 21484 0 -1 4202560 2485 0 0 0 34 0 0 0 20 0 19 0 254173596 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440952146744 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 21484 0 -1 4202560 2247 0 0 0 36 0 0 0 20 0 19 0 254173596 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440951094200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440950041336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440948989000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173659 9855975424 43126 33554432000 1073741824 1073778376 140735792036560 140440947934248 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9624976

[startup+6.30062 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 22384
/proc/meminfo: memFree=28224384/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9624976 CPUtime=7.05 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 8568 0 1 0 699 6 0 0 20 0 19 0 254173589 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2406244 44109 2275 9 0 2396937 0
[pid=22365/tid=22367] ppid=22363 vsize=9624976 CPUtime=6.21 cores=0,2,4,6
/proc/22365/task/22367/stat : 22367 (java) R 22363 22365 21484 0 -1 4202560 2576 0 1 0 617 4 0 0 20 0 19 0 254173590 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140441132466808 140441072845280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140441071196584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140441070144040 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440973818024 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440972765480 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440971713448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 21484 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440970660904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440969607848 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254173591 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440968555304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 21484 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 254173593 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440956356968 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440955303288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440954250120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440953198864 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 21484 0 -1 4202560 2488 0 0 0 36 0 0 0 20 0 19 0 254173596 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440952146744 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 21484 0 -1 4202560 2249 0 0 0 38 0 0 0 20 0 19 0 254173596 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440951094200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440950041336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440948989000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173659 9855975424 44109 33554432000 1073741824 1073778376 140735792036560 140440947934248 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=22365/tid=22380] ppid=22363 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 21484 0 -1 4202560 2489 0 0 0 36 0 0 0 20 0 19 0 254173596 9855975424 92275 33554432000 1073741824 1073778376 140735792036560 140440952146744 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 21484 0 -1 4202560 2846 0 0 0 45 0 0 0 20 0 19 0 254173596 9855975424 92275 33554432000 1073741824 1073778376 140735792036560 140440951094200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 92275 33554432000 1073741824 1073778376 140735792036560 140440950041336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 21484 0 -1 4202560 95 0 0 0 23 16 0 0 20 0 19 0 254173596 9855975424 92275 33554432000 1073741824 1073778376 140735792036560 140440948989000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173659 9855975424 92275 33554432000 1073741824 1073778376 140735792036560 140440947934248 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1666.5
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 22459
/proc/meminfo: memFree=28687776/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9624976 CPUtime=1726.62 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 10952 0 1 0 172615 47 0 0 20 0 19 0 254173589 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2406244 92316 2276 9 0 2396937 0
[pid=22365/tid=22367] ppid=22363 vsize=9624976 CPUtime=1712.12 cores=0,2,4,6
/proc/22365/task/22367/stat : 22367 (java) R 22363 22365 21484 0 -1 4202560 2664 0 1 0 171180 32 0 0 20 0 19 0 254173590 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140441132466448 140441072793647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 21484 0 -1 4202560 218 0 0 0 62 4 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140441071196584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 21484 0 -1 4202560 306 0 0 0 59 3 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140441070144040 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 21484 0 -1 4202560 122 0 0 0 54 2 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440973818024 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 21484 0 -1 4202560 100 0 0 0 59 3 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440972765480 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 21484 0 -1 4202560 207 0 0 0 56 3 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440971713448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 21484 0 -1 4202560 222 0 0 0 51 3 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440970660904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 21484 0 -1 4202560 121 0 0 0 58 2 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440969607848 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 21484 0 -1 4202560 224 0 0 0 54 3 0 0 20 0 19 0 254173591 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440968555304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=9624976 CPUtime=4.16 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 21484 0 -1 4202560 153 0 0 0 414 2 0 0 20 0 19 0 254173593 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440956356968 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440955303288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440954250120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440953198864 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 21484 0 -1 4202560 2489 0 0 0 36 0 0 0 20 0 19 0 254173596 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440952146744 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 21484 0 -1 4202560 2846 0 0 0 45 0 0 0 20 0 19 0 254173596 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440951094200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440950041336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 21484 0 -1 4202560 99 0 0 0 24 17 0 0 20 0 19 0 254173596 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440948989000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173659 9855975424 92316 33554432000 1073741824 1073778376 140735792036560 140440947934248 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.62
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 22459
/proc/meminfo: memFree=28669220/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9624976 CPUtime=1786.76 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 10998 0 1 0 178627 49 0 0 20 0 19 0 254173589 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2406244 96422 2276 9 0 2396937 0
[pid=22365/tid=22367] ppid=22363 vsize=9624976 CPUtime=1771.77 cores=0,2,4,6
/proc/22365/task/22367/stat : 22367 (java) R 22363 22365 21484 0 -1 4202560 2666 0 1 0 177145 32 0 0 20 0 19 0 254173590 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140441132466448 140441072794016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 21484 0 -1 4202560 218 0 0 0 64 4 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140441071196584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 21484 0 -1 4202560 311 0 0 0 61 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140441070144040 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 21484 0 -1 4202560 129 0 0 0 57 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440973818024 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 21484 0 -1 4202560 100 0 0 0 61 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440972765480 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 21484 0 -1 4202560 217 0 0 0 59 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440971713448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 21484 0 -1 4202560 235 0 0 0 54 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440970660904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 21484 0 -1 4202560 123 0 0 0 59 2 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440969607848 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 21484 0 -1 4202560 225 0 0 0 56 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440968555304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=9624976 CPUtime=4.31 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 21484 0 -1 4202560 155 0 0 0 429 2 0 0 20 0 19 0 254173593 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440956356968 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440955303288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440954250120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440953198864 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 21484 0 -1 4202560 2489 0 0 0 36 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440952146744 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 21484 0 -1 4202560 2846 0 0 0 45 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440951094200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440950041336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 21484 0 -1 4202560 103 0 0 0 25 17 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440948989000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173659 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440947934248 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.76
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 22459
/proc/meminfo: memFree=28663076/32873844 swapFree=7620/7620
[pid=22365] ppid=22363 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22365/stat : 22365 (java) S 22363 22365 21484 0 -1 4202496 10999 0 1 0 179958 49 0 0 20 0 19 0 254173589 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140735792027696 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22365/statm: 2406244 96422 2276 9 0 2396937 0
[pid=22365/tid=22367] ppid=22363 vsize=9624976 CPUtime=1785.04 cores=0,2,4,6
/proc/22365/task/22367/stat : 22367 (java) R 22363 22365 21484 0 -1 4202560 2666 0 1 0 178471 33 0 0 20 0 19 0 254173590 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140441132466680 140441072804739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22368] ppid=22363 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/22365/task/22368/stat : 22368 (java) S 22363 22365 21484 0 -1 4202560 218 0 0 0 64 4 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140441071196584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22369] ppid=22363 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/22365/task/22369/stat : 22369 (java) S 22363 22365 21484 0 -1 4202560 311 0 0 0 61 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140441070144040 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22370] ppid=22363 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/22365/task/22370/stat : 22370 (java) S 22363 22365 21484 0 -1 4202560 129 0 0 0 57 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440973818024 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22371] ppid=22363 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/22365/task/22371/stat : 22371 (java) S 22363 22365 21484 0 -1 4202560 100 0 0 0 61 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440972765480 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22372] ppid=22363 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22365/task/22372/stat : 22372 (java) S 22363 22365 21484 0 -1 4202560 217 0 0 0 59 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440971713448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22373] ppid=22363 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22365/task/22373/stat : 22373 (java) S 22363 22365 21484 0 -1 4202560 235 0 0 0 54 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440970660904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22374] ppid=22363 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/22365/task/22374/stat : 22374 (java) S 22363 22365 21484 0 -1 4202560 123 0 0 0 59 2 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440969607848 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22375] ppid=22363 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22365/task/22375/stat : 22375 (java) S 22363 22365 21484 0 -1 4202560 225 0 0 0 56 3 0 0 20 0 19 0 254173591 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440968555304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22376] ppid=22363 vsize=9624976 CPUtime=4.31 cores=0,2,4,6
/proc/22365/task/22376/stat : 22376 (java) S 22363 22365 21484 0 -1 4202560 155 0 0 0 429 2 0 0 20 0 19 0 254173593 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440956356968 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22377] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22377/stat : 22377 (java) S 22363 22365 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440955303288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22378] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22378/stat : 22378 (java) S 22363 22365 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254173593 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440954250120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22379] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22379/stat : 22379 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440953198864 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22380] ppid=22363 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22365/task/22380/stat : 22380 (java) S 22363 22365 21484 0 -1 4202560 2489 0 0 0 36 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440952146744 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22365/tid=22381] ppid=22363 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22365/task/22381/stat : 22381 (java) S 22363 22365 21484 0 -1 4202560 2847 0 0 0 45 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440951094200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22365/tid=22382] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22382/stat : 22382 (java) S 22363 22365 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440950041336 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22365/tid=22383] ppid=22363 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22365/task/22383/stat : 22383 (java) S 22363 22365 21484 0 -1 4202560 103 0 0 0 25 18 0 0 20 0 19 0 254173596 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440948989000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22365/tid=22384] ppid=22363 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22365/task/22384/stat : 22384 (java) S 22363 22365 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254173659 9855975424 96422 33554432000 1073741824 1073778376 140735792036560 140440947934248 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22365 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=18115
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=912861
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.68
CPU time (s): 1800.07
CPU user time (s): 1799.58
CPU system time (s): 0.49
CPU usage (%): 100.244
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 0.912861
maximum resident set size= 385856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11043
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40648
involuntary context switches= 18116

runsolver used 7.07992 second user time and 12.6241 second system time

The end

Launcher Data

Begin job on node107 at 2012-05-24 19:27:30
IDJOB=3688147
IDBENCH=2848
IDSOLVER=2269
FILE ID=node107/3688147-1337880450
RUNJOBID= node107-1337871881-21500
PBS_JOBID= 14620097
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688147-1337880450/watcher-3688147-1337880450 -o /tmp/evaluation-result-3688147-1337880450/solver-3688147-1337880450 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688147-1337880450.opb

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=997330539

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28393480 kB
Buffers:          204316 kB
Cached:          2558316 kB
SwapCached:            0 kB
Active:          1454632 kB
Inactive:        2257640 kB
Active(anon):     952332 kB
Inactive(anon):        0 kB
Active(file):     502300 kB
Inactive(file):  2257640 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2816 kB
Writeback:             0 kB
AnonPages:        957420 kB
Mapped:            22488 kB
Shmem:               200 kB
Slab:             625924 kB
SReclaimable:      68472 kB
SUnreclaim:       557452 kB
KernelStack:        1600 kB
PageTables:         5512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1528868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    925696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node107 at 2012-05-24 19:57:28