Trace number 3718073

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.06 1772.36

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMf511ebc8ef7d333a60d28a0c67ab699d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2.06669
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints117
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 5670
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5669
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
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.07/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.09	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120528
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3718073-1338248745.wbo
0.09/0.12	c reading problem ... 
0.25/0.26	c ... done. Wall clock time 0.137s.
0.25/0.26	c declared #vars     3280
0.25/0.26	c internal #vars     3397
0.25/0.26	c #constraints  162
0.25/0.26	c constraints type 
0.25/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82
0.25/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
0.25/0.26	c ignored satisfied constraints => 1
0.25/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 63
0.25/0.26	c 163 constraints processed.
0.25/0.26	c objective function length is 117 literals
0.45/0.37	c SATISFIABLE
0.45/0.37	c OPTIMIZING...
0.45/0.37	c Got one! Elapsed wall clock time (in seconds):0.253
0.45/0.37	o 56
0.76/0.43	c Got one! Elapsed wall clock time (in seconds):0.309
0.76/0.43	o 40
0.93/0.52	c Got one! Elapsed wall clock time (in seconds):0.397
0.93/0.52	o 36
0.93/0.57	c Got one! Elapsed wall clock time (in seconds):0.451
0.93/0.57	o 22
1.18/0.70	c Got one! Elapsed wall clock time (in seconds):0.58
1.18/0.70	o 17
1.56/0.95	c cleaning 4016 clauses out of 8057 with flag 18446/8057
1.56/0.99	c Got one! Elapsed wall clock time (in seconds):0.867
1.56/0.99	o 16
1.69/1.04	c Got one! Elapsed wall clock time (in seconds):0.923
1.69/1.04	o 8
2.02/1.34	c Got one! Elapsed wall clock time (in seconds):1.223
2.02/1.34	o 4
2.12/1.43	c cleaning 5328 clauses out of 10679 with flag 5274/14695
2.63/1.93	c cleaning 5642 clauses out of 11350 with flag 44547/20694
3.33/2.54	c cleaning 6292 clauses out of 12715 with flag 93248/27701
4.81/3.97	c cleaning 7076 clauses out of 14416 with flag 175948/35694
7.35/6.43	c cleaning 8131 clauses out of 16340 with flag 258053/44694
10.99/10.06	c cleaning 9098 clauses out of 18211 with flag 346392/54696
15.06/14.09	c cleaning 10049 clauses out of 20113 with flag 431112/65696
19.42/18.34	c cleaning 11024 clauses out of 22062 with flag 547625/77694
24.28/23.16	c cleaning 12007 clauses out of 24039 with flag 686299/90695
29.32/28.14	c cleaning 12996 clauses out of 26031 with flag 812712/104694
34.19/33.00	c cleaning 14015 clauses out of 28037 with flag 940069/119696
40.14/38.81	c cleaning 15011 clauses out of 30023 with flag 1080398/135697
43.22/41.88	c cleaning 15934 clauses out of 32010 with flag 1210375/152695
46.16/44.70	c cleaning 16940 clauses out of 34077 with flag 1353188/170696
48.77/47.31	c cleaning 18061 clauses out of 36135 with flag 1488242/189694
51.59/50.11	c cleaning 19019 clauses out of 38075 with flag 1628317/209695
54.81/53.33	c cleaning 20017 clauses out of 40055 with flag 1776497/230694
59.35/57.89	c cleaning 21013 clauses out of 42040 with flag 1953772/252696
62.46/60.96	c cleaning 22001 clauses out of 44025 with flag 2111107/275694
66.19/64.65	c cleaning 22935 clauses out of 46026 with flag 2298998/299696
69.92/68.39	c cleaning 24028 clauses out of 48091 with flag 2474346/324696
77.97/76.38	c cleaning 25022 clauses out of 50062 with flag 2642956/350695
85.37/83.62	c cleaning 26012 clauses out of 52039 with flag 2838609/377694
89.71/88.00	c cleaning 26933 clauses out of 54027 with flag 3043661/405694
96.03/94.21	c cleaning 28004 clauses out of 56094 with flag 3275365/434694
102.19/100.36	c cleaning 29008 clauses out of 58090 with flag 3539942/464694
108.14/106.23	c cleaning 30008 clauses out of 60084 with flag 3762690/495696
115.32/113.31	c cleaning 31023 clauses out of 62075 with flag 3984410/527695
124.59/122.55	c cleaning 32008 clauses out of 64052 with flag 4220572/560695
133.13/131.01	c cleaning 32859 clauses out of 66046 with flag 4482399/594697
149.28/146.93	c cleaning 34069 clauses out of 68187 with flag 4800548/629697
166.06/163.50	c cleaning 35025 clauses out of 70115 with flag 5122664/665694
182.84/180.17	c cleaning 36020 clauses out of 72093 with flag 5432037/702697
198.03/195.17	c cleaning 37005 clauses out of 74070 with flag 5744173/740694
214.96/211.48	c cleaning 37988 clauses out of 76065 with flag 6061381/779694
233.43/229.46	c cleaning 39034 clauses out of 78077 with flag 6410013/819694
254.29/249.93	c cleaning 40016 clauses out of 80043 with flag 6791838/860694
276.88/272.10	c cleaning 41002 clauses out of 82027 with flag 7179137/902694
297.67/292.53	c cleaning 41998 clauses out of 84026 with flag 7596755/945695
320.98/315.48	c cleaning 42994 clauses out of 86029 with flag 8024639/989696
341.67/335.76	c cleaning 44008 clauses out of 88034 with flag 8440098/1034695
367.90/361.53	c cleaning 44985 clauses out of 90026 with flag 8863209/1080695
395.08/388.24	c cleaning 45979 clauses out of 92040 with flag 9353120/1127694
423.68/416.38	c cleaning 47000 clauses out of 94062 with flag 9841805/1175695
445.94/438.11	c cleaning 47990 clauses out of 96061 with flag 10347421/1224694
474.29/466.01	c cleaning 48977 clauses out of 98074 with flag 10828995/1274697
502.59/493.90	c cleaning 50022 clauses out of 100094 with flag 11351417/1325694
528.32/519.08	c cleaning 51013 clauses out of 102072 with flag 11869769/1377694
555.35/545.54	c cleaning 51991 clauses out of 104060 with flag 12415139/1430695
586.07/575.72	c cleaning 53022 clauses out of 106073 with flag 13103714/1484699
618.60/607.78	c cleaning 54014 clauses out of 108046 with flag 13678123/1539694
652.89/641.69	c cleaning 55003 clauses out of 110033 with flag 14211215/1595695
685.09/673.43	c cleaning 56010 clauses out of 112031 with flag 14785386/1652696
716.79/704.61	c cleaning 57003 clauses out of 114019 with flag 15364868/1710694
758.02/745.45	c cleaning 58003 clauses out of 116016 with flag 16007005/1769694
803.67/790.32	c cleaning 58983 clauses out of 118014 with flag 16736388/1829695
844.70/830.86	c cleaning 60000 clauses out of 120030 with flag 17511303/1890694
888.37/874.08	c cleaning 61010 clauses out of 122034 with flag 18295011/1952698
926.54/911.52	c cleaning 61964 clauses out of 124020 with flag 18969482/2015694
973.11/957.52	c cleaning 63009 clauses out of 126056 with flag 19611978/2079694
1011.45/995.41	c cleaning 64006 clauses out of 128047 with flag 20295426/2144694
1053.37/1036.76	c cleaning 65017 clauses out of 130041 with flag 20920872/2210694
1095.20/1078.01	c cleaning 66005 clauses out of 132028 with flag 21504981/2277698
1128.73/1111.09	c cleaning 67005 clauses out of 134019 with flag 22122494/2345694
1177.31/1159.13	c cleaning 67997 clauses out of 136014 with flag 22701316/2414694
1217.92/1199.07	c cleaning 68974 clauses out of 138017 with flag 23403967/2484694
1253.67/1234.27	c cleaning 70019 clauses out of 140047 with flag 24253611/2555698
1297.01/1277.03	c cleaning 71010 clauses out of 142027 with flag 24896621/2627697
1333.60/1313.12	c cleaning 71988 clauses out of 144014 with flag 25777807/2700694
1384.03/1363.03	c cleaning 72985 clauses out of 146026 with flag 26817970/2774694
1432.74/1410.92	c cleaning 73989 clauses out of 148041 with flag 27862571/2849694
1485.60/1462.94	c cleaning 74997 clauses out of 150052 with flag 28775235/2925694
1526.44/1503.22	c cleaning 75997 clauses out of 152056 with flag 29669352/3002695
1581.20/1556.94	c cleaning 77017 clauses out of 154058 with flag 30307973/3080694
1634.85/1609.71	c cleaning 78013 clauses out of 156043 with flag 31155765/3159696
1686.98/1661.27	c cleaning 79010 clauses out of 158030 with flag 32014079/3239696
1745.34/1718.35	c cleaning 80003 clauses out of 160019 with flag 32835269/3320695
1800.06/1772.31	c starts		: 258
1800.06/1772.31	c conflicts		: 3395888
1800.06/1772.31	c decisions		: 5274965
1800.06/1772.31	c propagations		: 75708711
1800.06/1772.31	c inspects		: 9930222500
1800.06/1772.31	c shortcuts		: 0
1800.06/1772.31	c learnt literals	: 0
1800.06/1772.31	c learnt binary clauses	: 0
1800.06/1772.31	c learnt ternary clauses	: 0
1800.06/1772.31	c learnt constraints	: 3395888
1800.06/1772.31	c ignored constraints	: 0
1800.06/1772.31	c root simplifications	: 0
1800.06/1772.31	c removed literals (reason simplification)	: 0
1800.06/1772.31	c reason swapping (by a shorter reason)	: 0
1800.06/1772.31	c Calls to reduceDB	: 78
1800.06/1772.31	c Number of update (reduction) of LBD	: 2399088
1800.06/1772.31	c number of reductions to clauses (during analyze)	: 0
1800.06/1772.31	c number of learned constraints concerned by reduction	: 0
1800.06/1772.31	c number of learning phase by resolution	: 0
1800.06/1772.31	c number of learning phase by cutting planes	: 0
1800.06/1772.31	c speed (assignments/second)	: 42723.99581951218
1800.06/1772.31	c non guided choices	100255
1800.06/1772.34	c learnt constraints type 
1800.06/1772.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155243
1800.06/1772.34	c constraints type 
1800.06/1772.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82
1800.06/1772.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1800.06/1772.34	c ignored satisfied constraints => 1
1800.06/1772.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 64
1800.06/1772.34	c 164 constraints processed.
1800.06/1772.34	s SATISFIABLE
1800.06/1772.35	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 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 
1800.06/1772.35	c objective function=4
1800.06/1772.35	c Total wall clock time (in seconds): 1772.23

Verifier Data

OK	4

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-3718073-1338248745/watcher-3718073-1338248745 -o /tmp/evaluation-result-3718073-1338248745/solver-3718073-1338248745 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718073-1338248745.wbo 

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: 2.07 2.02 1.98 2/193 1477
/proc/meminfo: memFree=29380924/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1477/stat : 1477 (java) D 1475 1477 31640 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 290998863 9515008 182 33554432000 1073741824 1073778376 140733930072048 140733930063080 254750310069 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/1477/statm: 2323 182 140 9 0 71 0

[startup+0.093668 s]
/proc/loadavg: 2.07 2.02 1.98 2/193 1477
/proc/meminfo: memFree=29380924/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 3541 0 1 0 6 1 0 0 20 0 18 0 290998863 9787817984 4752 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2389604 4765 1881 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558416

[startup+0.103866 s]
/proc/loadavg: 2.07 2.02 1.98 2/193 1477
/proc/meminfo: memFree=29380924/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 4240 0 1 0 8 1 0 0 20 0 18 0 290998863 9787817984 5449 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2389604 5450 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300161 s]
/proc/loadavg: 2.07 2.02 1.98 2/193 1477
/proc/meminfo: memFree=29380924/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 5376 0 1 0 44 1 0 0 20 0 19 0 290998863 9855979520 8194 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 8220 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9624980

[startup+0.700276 s]
/proc/loadavg: 2.07 2.02 1.98 2/193 1477
/proc/meminfo: memFree=29380924/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=1.18 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 8087 0 1 0 116 2 0 0 20 0 19 0 290998863 9855979520 10358 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 10358 2242 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9624980

[startup+1.50074 s]
/proc/loadavg: 2.07 2.02 1.98 3/212 1496
/proc/meminfo: memFree=29322996/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=2.23 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 11898 0 1 0 220 3 0 0 20 0 19 0 290998863 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 18644 2268 9 0 2396937 0
[pid=1477/tid=1479] ppid=1475 vsize=9624980 CPUtime=1.42 cores=0,2,4,6
/proc/1477/task/1479/stat : 1479 (java) R 1475 1477 31640 0 -1 4202560 2477 0 1 0 141 1 0 0 20 0 19 0 290998864 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275668390296 140275528255206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1480] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1480/stat : 1480 (java) S 1475 1477 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275646491048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1481] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1481/stat : 1481 (java) S 1475 1477 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275443821096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1482] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1482/stat : 1482 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275442768040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1483] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1483/stat : 1483 (java) S 1475 1477 31640 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275441715496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1484] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1484/stat : 1484 (java) S 1475 1477 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275440663464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1485] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1485/stat : 1485 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275439610920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1486] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1486/stat : 1486 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275438557864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1487] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1487/stat : 1487 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275437505320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1488] ppid=1475 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/1477/task/1488/stat : 1488 (java) S 1475 1477 31640 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 290998866 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275425306984 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1489] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1489/stat : 1489 (java) S 1475 1477 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275424253304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1490] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1490/stat : 1490 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275423200136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1491] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1491/stat : 1491 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275422148880 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1492] ppid=1475 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/1477/task/1492/stat : 1492 (java) S 1475 1477 31640 0 -1 4202560 5293 0 0 0 40 1 0 0 20 0 19 0 290998869 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275421096760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1493] ppid=1475 vsize=9624980 CPUtime=0.3 cores=0,2,4,6
/proc/1477/task/1493/stat : 1493 (java) S 1475 1477 31640 0 -1 4202560 2872 0 0 0 30 0 0 0 20 0 19 0 290998869 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275420044216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1494] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1494/stat : 1494 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275418991352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1495] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1495/stat : 1495 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275417939016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1496] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1496/stat : 1496 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998890 9855979520 18644 33554432000 1073741824 1073778376 140736202251040 140275416847400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9624980

[startup+3.10068 s]
/proc/loadavg: 2.07 2.02 1.98 3/212 1496
/proc/meminfo: memFree=29308792/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=4.01 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 11955 0 1 0 397 4 0 0 20 0 19 0 290998863 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 21245 2268 9 0 2396937 0
[pid=1477/tid=1479] ppid=1475 vsize=9624980 CPUtime=2.96 cores=0,2,4,6
/proc/1477/task/1479/stat : 1479 (java) R 1475 1477 31640 0 -1 4202560 2477 0 1 0 295 1 0 0 20 0 19 0 290998864 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275668390176 140275528217728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1480] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1480/stat : 1480 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275646491048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1481] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1481/stat : 1481 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275443821096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1482] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1482/stat : 1482 (java) S 1475 1477 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275442768040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1483] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1483/stat : 1483 (java) S 1475 1477 31640 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275441715496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1484] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1484/stat : 1484 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275440663464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1485] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1485/stat : 1485 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275439610920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1486] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1486/stat : 1486 (java) S 1475 1477 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275438557864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1487] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1487/stat : 1487 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275437505320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1488] ppid=1475 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/1477/task/1488/stat : 1488 (java) S 1475 1477 31640 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 290998866 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275425306984 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1489] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1489/stat : 1489 (java) S 1475 1477 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275424253304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1490] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1490/stat : 1490 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275423200136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1491] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1491/stat : 1491 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275422148880 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1492] ppid=1475 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/1477/task/1492/stat : 1492 (java) S 1475 1477 31640 0 -1 4202560 5330 0 0 0 50 1 0 0 20 0 19 0 290998869 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275421096760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1493] ppid=1475 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/1477/task/1493/stat : 1493 (java) S 1475 1477 31640 0 -1 4202560 2873 0 0 0 31 0 0 0 20 0 19 0 290998869 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275420044216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1494] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1494/stat : 1494 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275418991352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1495] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1495/stat : 1495 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275417939016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1496] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1496/stat : 1496 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998890 9855979520 21245 33554432000 1073741824 1073778376 140736202251040 140275416847400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9624980

[startup+6.30076 s]
/proc/loadavg: 2.06 2.02 1.98 3/212 1496
/proc/meminfo: memFree=29281804/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=7.25 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 11994 0 1 0 719 6 0 0 20 0 19 0 290998863 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 30295 2268 9 0 2396937 0
[pid=1477/tid=1479] ppid=1475 vsize=9624980 CPUtime=6.12 cores=0,2,4,6
/proc/1477/task/1479/stat : 1479 (java) R 1475 1477 31640 0 -1 4202560 2491 0 1 0 611 1 0 0 20 0 19 0 290998864 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275668388368 140275528278330 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1480] ppid=1475 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/1477/task/1480/stat : 1480 (java) S 1475 1477 31640 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275646491048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1481] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1481/stat : 1481 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275443821096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1482] ppid=1475 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/1477/task/1482/stat : 1482 (java) S 1475 1477 31640 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275442768040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1483] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1483/stat : 1483 (java) S 1475 1477 31640 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275441715496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1484] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1484/stat : 1484 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275440663464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1485] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1485/stat : 1485 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275439610920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1486] ppid=1475 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/1477/task/1486/stat : 1486 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275438557864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1487] ppid=1475 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/1477/task/1487/stat : 1487 (java) S 1475 1477 31640 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 290998865 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275437505320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1488] ppid=1475 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/1477/task/1488/stat : 1488 (java) S 1475 1477 31640 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 19 0 290998866 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275425306984 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1489] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1489/stat : 1489 (java) S 1475 1477 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275424253304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1490] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1490/stat : 1490 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275423200136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1491] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1491/stat : 1491 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275422148880 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1492] ppid=1475 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/1477/task/1492/stat : 1492 (java) S 1475 1477 31640 0 -1 4202560 5330 0 0 0 50 1 0 0 20 0 19 0 290998869 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275421096760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1493] ppid=1475 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/1477/task/1493/stat : 1493 (java) S 1475 1477 31640 0 -1 4202560 2873 0 0 0 31 0 0 0 20 0 19 0 290998869 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275420044216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1494] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1494/stat : 1494 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275418991352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1495] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1495/stat : 1495 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275417939016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1496] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1496/stat : 1496 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998890 9855979520 30295 33554432000 1073741824 1073778376 140736202251040 140275416847400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

[pid=1477/tid=1492] ppid=1475 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/1477/task/1492/stat : 1492 (java) S 1475 1477 31640 0 -1 4202560 5334 0 0 0 51 1 0 0 20 0 19 0 290998869 9855979520 219003 33554432000 1073741824 1073778376 140736202251040 140275421096760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1493] ppid=1475 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/1477/task/1493/stat : 1493 (java) S 1475 1477 31640 0 -1 4202560 2873 0 0 0 31 0 0 0 20 0 19 0 290998869 9855979520 219003 33554432000 1073741824 1073778376 140736202251040 140275420044216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1494] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1494/stat : 1494 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 219003 33554432000 1073741824 1073778376 140736202251040 140275418991352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1495] ppid=1475 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/1477/task/1495/stat : 1495 (java) S 1475 1477 31640 0 -1 4202560 95 0 0 0 38 25 0 0 20 0 19 0 290998869 9855979520 219003 33554432000 1073741824 1073778376 140736202251040 140275417939016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1496] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1496/stat : 1496 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998890 9855979520 219003 33554432000 1073741824 1073778376 140736202251040 140275416847400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1688.15
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1605
/proc/meminfo: memFree=28302292/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=1749.41 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 33809 0 1 0 174735 206 0 0 20 0 19 0 290998863 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 243425 2269 9 0 2396937 0
[pid=1477/tid=1479] ppid=1475 vsize=9624980 CPUtime=1702.7 cores=0,2,4,6
/proc/1477/task/1479/stat : 1479 (java) R 1475 1477 31640 0 -1 4202560 3004 0 1 0 170240 30 0 0 20 0 19 0 290998864 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275668389232 140275528217770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1480] ppid=1475 vsize=9624980 CPUtime=4.46 cores=0,2,4,6
/proc/1477/task/1480/stat : 1480 (java) S 1475 1477 31640 0 -1 4202560 2491 0 0 0 420 26 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275646491048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1481] ppid=1475 vsize=9624980 CPUtime=4.75 cores=0,2,4,6
/proc/1477/task/1481/stat : 1481 (java) S 1475 1477 31640 0 -1 4202560 2950 0 0 0 452 23 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275443821096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1482] ppid=1475 vsize=9624980 CPUtime=4.64 cores=0,2,4,6
/proc/1477/task/1482/stat : 1482 (java) S 1475 1477 31640 0 -1 4202560 2420 0 0 0 442 22 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275442768040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1483] ppid=1475 vsize=9624980 CPUtime=4.63 cores=0,2,4,6
/proc/1477/task/1483/stat : 1483 (java) S 1475 1477 31640 0 -1 4202560 2122 0 0 0 440 23 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275441715496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1484] ppid=1475 vsize=9624980 CPUtime=4.55 cores=0,2,4,6
/proc/1477/task/1484/stat : 1484 (java) S 1475 1477 31640 0 -1 4202560 2119 0 0 0 434 21 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275440663464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1485] ppid=1475 vsize=9624980 CPUtime=4.42 cores=0,2,4,6
/proc/1477/task/1485/stat : 1485 (java) S 1475 1477 31640 0 -1 4202560 2577 0 0 0 422 20 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275439610920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1486] ppid=1475 vsize=9624980 CPUtime=4.37 cores=0,2,4,6
/proc/1477/task/1486/stat : 1486 (java) S 1475 1477 31640 0 -1 4202560 2344 0 0 0 420 17 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275438557864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1487] ppid=1475 vsize=9624980 CPUtime=4.61 cores=0,2,4,6
/proc/1477/task/1487/stat : 1487 (java) S 1475 1477 31640 0 -1 4202560 2613 0 0 0 443 18 0 0 20 0 19 0 290998865 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275437505320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1488] ppid=1475 vsize=9624980 CPUtime=4.61 cores=0,2,4,6
/proc/1477/task/1488/stat : 1488 (java) S 1475 1477 31640 0 -1 4202560 1683 0 0 0 454 7 0 0 20 0 19 0 290998866 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275425306984 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1489] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1489/stat : 1489 (java) S 1475 1477 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275424253304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1490] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1490/stat : 1490 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275423200136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1491] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1491/stat : 1491 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275422148880 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1492] ppid=1475 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/1477/task/1492/stat : 1492 (java) S 1475 1477 31640 0 -1 4202560 5334 0 0 0 51 1 0 0 20 0 19 0 290998869 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275421096760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1493] ppid=1475 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/1477/task/1493/stat : 1493 (java) S 1475 1477 31640 0 -1 4202560 2873 0 0 0 31 0 0 0 20 0 19 0 290998869 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275420044216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1494] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1494/stat : 1494 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275418991352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1495] ppid=1475 vsize=9624980 CPUtime=0.64 cores=0,2,4,6
/proc/1477/task/1495/stat : 1495 (java) S 1475 1477 31640 0 -1 4202560 99 0 0 0 39 25 0 0 20 0 19 0 290998869 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275417939016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1496] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1496/stat : 1496 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998890 9855979520 243425 33554432000 1073741824 1073778376 140736202251040 140275416847400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1749.41
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 1605
/proc/meminfo: memFree=28396916/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=1800.06 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 33847 0 1 0 179799 207 0 0 20 0 19 0 290998863 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 219642 2269 9 0 2396937 0
[pid=1477/tid=1479] ppid=1475 vsize=9624980 CPUtime=1752.31 cores=0,2,4,6
/proc/1477/task/1479/stat : 1479 (java) R 1475 1477 31640 0 -1 4202560 3014 0 1 0 175200 31 0 0 20 0 19 0 290998864 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275668389232 140275528278306 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1480] ppid=1475 vsize=9624980 CPUtime=4.54 cores=0,2,4,6
/proc/1477/task/1480/stat : 1480 (java) S 1475 1477 31640 0 -1 4202560 2491 0 0 0 428 26 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275646491048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1481] ppid=1475 vsize=9624980 CPUtime=4.9 cores=0,2,4,6
/proc/1477/task/1481/stat : 1481 (java) S 1475 1477 31640 0 -1 4202560 2950 0 0 0 467 23 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275443821096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1482] ppid=1475 vsize=9624980 CPUtime=4.76 cores=0,2,4,6
/proc/1477/task/1482/stat : 1482 (java) S 1475 1477 31640 0 -1 4202560 2420 0 0 0 454 22 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275442768040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1483] ppid=1475 vsize=9624980 CPUtime=4.71 cores=0,2,4,6
/proc/1477/task/1483/stat : 1483 (java) S 1475 1477 31640 0 -1 4202560 2122 0 0 0 448 23 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275441715496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1484] ppid=1475 vsize=9624980 CPUtime=4.7 cores=0,2,4,6
/proc/1477/task/1484/stat : 1484 (java) S 1475 1477 31640 0 -1 4202560 2119 0 0 0 449 21 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275440663464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1485] ppid=1475 vsize=9624980 CPUtime=4.49 cores=0,2,4,6
/proc/1477/task/1485/stat : 1485 (java) S 1475 1477 31640 0 -1 4202560 2577 0 0 0 429 20 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275439610920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1486] ppid=1475 vsize=9624980 CPUtime=4.52 cores=0,2,4,6
/proc/1477/task/1486/stat : 1486 (java) S 1475 1477 31640 0 -1 4202560 2344 0 0 0 435 17 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275438557864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1487] ppid=1475 vsize=9624980 CPUtime=4.72 cores=0,2,4,6
/proc/1477/task/1487/stat : 1487 (java) S 1475 1477 31640 0 -1 4202560 2613 0 0 0 454 18 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275437505320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1488] ppid=1475 vsize=9624980 CPUtime=4.61 cores=0,2,4,6
/proc/1477/task/1488/stat : 1488 (java) S 1475 1477 31640 0 -1 4202560 1709 0 0 0 454 7 0 0 20 0 19 0 290998866 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275425306984 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1489] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1489/stat : 1489 (java) S 1475 1477 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275424253304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1490] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1490/stat : 1490 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275423200136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1491] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1491/stat : 1491 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275422148880 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1492] ppid=1475 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/1477/task/1492/stat : 1492 (java) S 1475 1477 31640 0 -1 4202560 5334 0 0 0 51 1 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275421096760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1493] ppid=1475 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/1477/task/1493/stat : 1493 (java) S 1475 1477 31640 0 -1 4202560 2873 0 0 0 31 0 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275420044216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1494] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1494/stat : 1494 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275418991352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1495] ppid=1475 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/1477/task/1495/stat : 1495 (java) S 1475 1477 31640 0 -1 4202560 101 0 0 0 41 26 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275417939016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1496] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1496/stat : 1496 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998890 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275416847400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1772.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 1605
/proc/meminfo: memFree=28396916/32873844 swapFree=7628/7628
[pid=1477] ppid=1475 vsize=9624980 CPUtime=1800.06 cores=0,2,4,6
/proc/1477/stat : 1477 (java) S 1475 1477 31640 0 -1 4202496 33847 0 1 0 179799 207 0 0 20 0 19 0 290998863 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140736202242176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1477/statm: 2406245 219642 2269 9 0 2396937 0
[pid=1477/tid=1479] ppid=1475 vsize=9624980 CPUtime=1752.31 cores=0,2,4,6
/proc/1477/task/1479/stat : 1479 (java) R 1475 1477 31640 0 -1 4202560 3014 0 1 0 175200 31 0 0 20 0 19 0 290998864 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275668389232 140275528278306 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1480] ppid=1475 vsize=9624980 CPUtime=4.54 cores=0,2,4,6
/proc/1477/task/1480/stat : 1480 (java) S 1475 1477 31640 0 -1 4202560 2491 0 0 0 428 26 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275646491048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1481] ppid=1475 vsize=9624980 CPUtime=4.9 cores=0,2,4,6
/proc/1477/task/1481/stat : 1481 (java) S 1475 1477 31640 0 -1 4202560 2950 0 0 0 467 23 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275443821096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1482] ppid=1475 vsize=9624980 CPUtime=4.76 cores=0,2,4,6
/proc/1477/task/1482/stat : 1482 (java) S 1475 1477 31640 0 -1 4202560 2420 0 0 0 454 22 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275442768040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1483] ppid=1475 vsize=9624980 CPUtime=4.71 cores=0,2,4,6
/proc/1477/task/1483/stat : 1483 (java) S 1475 1477 31640 0 -1 4202560 2122 0 0 0 448 23 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275441715496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1477/tid=1484] ppid=1475 vsize=9624980 CPUtime=4.7 cores=0,2,4,6
/proc/1477/task/1484/stat : 1484 (java) S 1475 1477 31640 0 -1 4202560 2119 0 0 0 449 21 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275440663464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1485] ppid=1475 vsize=9624980 CPUtime=4.49 cores=0,2,4,6
/proc/1477/task/1485/stat : 1485 (java) S 1475 1477 31640 0 -1 4202560 2577 0 0 0 429 20 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275439610920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1486] ppid=1475 vsize=9624980 CPUtime=4.52 cores=0,2,4,6
/proc/1477/task/1486/stat : 1486 (java) S 1475 1477 31640 0 -1 4202560 2344 0 0 0 435 17 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275438557864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1477/tid=1487] ppid=1475 vsize=9624980 CPUtime=4.72 cores=0,2,4,6
/proc/1477/task/1487/stat : 1487 (java) S 1475 1477 31640 0 -1 4202560 2613 0 0 0 454 18 0 0 20 0 19 0 290998865 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275437505320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1488] ppid=1475 vsize=9624980 CPUtime=4.61 cores=0,2,4,6
/proc/1477/task/1488/stat : 1488 (java) S 1475 1477 31640 0 -1 4202560 1709 0 0 0 454 7 0 0 20 0 19 0 290998866 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275425306984 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1489] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1489/stat : 1489 (java) S 1475 1477 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275424253304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1490] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1490/stat : 1490 (java) S 1475 1477 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290998867 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275423200136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1491] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1491/stat : 1491 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275422148880 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1492] ppid=1475 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/1477/task/1492/stat : 1492 (java) S 1475 1477 31640 0 -1 4202560 5334 0 0 0 51 1 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275421096760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1493] ppid=1475 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/1477/task/1493/stat : 1493 (java) S 1475 1477 31640 0 -1 4202560 2873 0 0 0 31 0 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275420044216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1494] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1494/stat : 1494 (java) S 1475 1477 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275418991352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1477/tid=1495] ppid=1475 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/1477/task/1495/stat : 1495 (java) S 1475 1477 31640 0 -1 4202560 101 0 0 0 41 26 0 0 20 0 19 0 290998869 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275417939016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1477/tid=1496] ppid=1475 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1477/task/1496/stat : 1496 (java) S 1475 1477 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998890 9855979520 219642 33554432000 1073741824 1073778376 140736202251040 140275416847400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624980

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1477 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=651323
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=491621
# CPU time returned by wait4() is 1796.14
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1772.36
CPU time (s): 1800.06
CPU user time (s): 1797.99
CPU system time (s): 2.07
CPU usage (%): 101.563
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 2.49162
maximum resident set size= 1019716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33891
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52292
involuntary context switches= 60434

runsolver used 5.69913 second user time and 15.2047 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-29 01:45:45
IDJOB=3718073
IDBENCH=78678
IDSOLVER=2301
FILE ID=node145/3718073-1338248745
RUNJOBID= node145-1338246945-1112
PBS_JOBID= 14624633
Free space on /tmp= 71536 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718073-1338248745/watcher-3718073-1338248745 -o /tmp/evaluation-result-3718073-1338248745/solver-3718073-1338248745 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718073-1338248745.wbo

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

MD5SUM BENCH= f511ebc8ef7d333a60d28a0c67ab699d
RANDOM SEED=700569412

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29381560 kB
Buffers:          391572 kB
Cached:          1899088 kB
SwapCached:            0 kB
Active:          1119588 kB
Inactive:        1517580 kB
Active(anon):     337524 kB
Inactive(anon):    10912 kB
Active(file):     782064 kB
Inactive(file):  1506668 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               360 kB
Writeback:             0 kB
AnonPages:        359508 kB
Mapped:            22248 kB
Shmem:               200 kB
Slab:             708132 kB
SReclaimable:     149612 kB
SUnreclaim:       558520 kB
KernelStack:        1592 kB
PageTables:         4432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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= 71536 MiB
End job on node145 at 2012-05-29 02:15:19