Trace number 4109132

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)16 1800.04 1770.87

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-547911.opb
MD5SUMb99304baf8f7edc2dec7db9e7f912244
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3528
Total number of constraints693
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)693
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint1288
Number of terms in the objective function 3528
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 3528
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 3528
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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4109132-1466293963.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
1.25/1.03	c ... done. Wall clock time 0.913s.
1.25/1.03	c declared #vars     3528
1.25/1.03	c #constraints  693
1.25/1.03	c constraints type 
1.25/1.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 693
1.25/1.03	c 693 constraints processed.
1.25/1.03	c objective function length is 3528 literals
3.18/2.70	c cleaning 2515 clauses out of 5036 with flag 10689/5036
5.38/4.62	c cleaning 4255 clauses out of 8518 with flag 23516/11033
7.54/6.75	c cleaning 5596 clauses out of 11231 with flag 41049/18001
10.14/9.37	c cleaning 6820 clauses out of 13640 with flag 76910/26006
13.39/12.49	c cleaning 7906 clauses out of 15814 with flag 124645/35000
16.99/16.00	c cleaning 8928 clauses out of 17908 with flag 177782/45000
19.98/19.06	c cleaning 9962 clauses out of 19983 with flag 213029/56003
23.94/22.86	c cleaning 10993 clauses out of 22018 with flag 252472/68000
28.65/27.55	c cleaning 11902 clauses out of 24027 with flag 300281/81002
34.00/32.69	c cleaning 12990 clauses out of 26123 with flag 377435/95000
39.70/38.33	c cleaning 14080 clauses out of 28159 with flag 435558/110026
47.32/45.73	c cleaning 15052 clauses out of 30106 with flag 482237/126053
54.22/52.68	c cleaning 16014 clauses out of 32032 with flag 518592/143031
64.65/62.74	c SATISFIABLE
64.65/62.74	c OPTIMIZING...
64.65/62.74	c Got one! Elapsed wall clock time (in seconds):62.63
64.65/62.74	o 16
67.13/64.98	c cleaning 18716 clauses out of 37532 with flag 19179/164545
69.43/67.29	c cleaning 12411 clauses out of 24823 with flag 38265/170552
72.26/70.02	c cleaning 9702 clauses out of 19403 with flag 73466/177543
75.10/72.89	c cleaning 8854 clauses out of 17709 with flag 118579/185551
79.07/76.74	c cleaning 8973 clauses out of 17954 with flag 141425/194650
83.73/81.37	c cleaning 9489 clauses out of 18978 with flag 161650/204647
89.23/86.83	c cleaning 10200 clauses out of 20399 with flag 183702/215557
95.65/93.24	c cleaning 11182 clauses out of 22364 with flag 208137/227722
101.14/98.65	c cleaning 11970 clauses out of 24003 with flag 247884/240543
107.63/105.00	c cleaning 13035 clauses out of 26069 with flag 284660/254579
113.54/110.88	c cleaning 13998 clauses out of 27998 with flag 343496/269543
120.71/117.98	c cleaning 14970 clauses out of 30001 with flag 438639/285544
127.25/124.32	c cleaning 15981 clauses out of 32030 with flag 540875/302543
134.37/131.33	c cleaning 16930 clauses out of 34049 with flag 668949/320543
141.46/138.36	c cleaning 17954 clauses out of 36119 with flag 800947/339543
150.24/146.93	c cleaning 19077 clauses out of 38165 with flag 948345/359543
159.07/155.66	c cleaning 20021 clauses out of 40088 with flag 1099167/380543
168.93/165.29	c cleaning 20843 clauses out of 42067 with flag 1289119/402543
179.50/175.69	c cleaning 22109 clauses out of 44225 with flag 1495154/425544
190.08/186.06	c cleaning 23009 clauses out of 46116 with flag 1738053/449544
201.27/197.06	c cleaning 24009 clauses out of 48106 with flag 1906965/474543
211.77/207.42	c cleaning 25047 clauses out of 50098 with flag 1978920/500544
224.18/219.55	c cleaning 26012 clauses out of 52052 with flag 2060205/527545
235.63/230.79	c cleaning 27015 clauses out of 54039 with flag 2175801/555544
248.03/242.99	c cleaning 28008 clauses out of 56023 with flag 2307147/584543
258.58/253.27	c cleaning 28948 clauses out of 58016 with flag 2446179/614544
273.76/268.20	c cleaning 29800 clauses out of 60067 with flag 2601623/645543
288.75/282.90	c cleaning 31027 clauses out of 62267 with flag 2753156/677543
304.68/298.47	c cleaning 31956 clauses out of 64240 with flag 2912531/710543
320.86/314.36	c cleaning 32986 clauses out of 66284 with flag 3096829/744543
337.78/330.92	c cleaning 34001 clauses out of 68298 with flag 3268825/779543
354.68/347.69	c cleaning 35002 clauses out of 70300 with flag 3469968/815546
371.65/364.28	c cleaning 35935 clauses out of 72296 with flag 3642063/852544
389.56/381.84	c cleaning 37054 clauses out of 74360 with flag 3817243/890543
406.45/398.51	c cleaning 38112 clauses out of 76309 with flag 3990040/929546
424.92/416.62	c cleaning 39069 clauses out of 78195 with flag 4157865/969544
446.09/437.37	c cleaning 39974 clauses out of 80125 with flag 4370800/1010543
468.59/459.53	c cleaning 41009 clauses out of 82151 with flag 4601143/1052543
492.74/483.21	c cleaning 41989 clauses out of 84142 with flag 4853902/1095543
517.62/507.76	c cleaning 43019 clauses out of 86154 with flag 5129358/1139544
544.53/534.23	c cleaning 44034 clauses out of 88146 with flag 5353536/1184555
566.92/556.30	c cleaning 45050 clauses out of 90100 with flag 5568772/1230543
587.92/577.01	c cleaning 46009 clauses out of 92050 with flag 5777886/1277543
610.19/599.06	c cleaning 47011 clauses out of 94041 with flag 5956596/1325543
634.30/622.75	c cleaning 48005 clauses out of 96030 with flag 6139634/1374543
656.15/644.26	c cleaning 48951 clauses out of 98025 with flag 6332347/1424543
678.36/666.06	c cleaning 49973 clauses out of 100076 with flag 6543757/1475545
701.24/688.48	c cleaning 50999 clauses out of 102102 with flag 6766415/1527544
725.18/711.98	c cleaning 52005 clauses out of 104102 with flag 7005532/1580543
748.45/734.79	c cleaning 53014 clauses out of 106097 with flag 7220868/1634543
772.69/758.30	c cleaning 54013 clauses out of 108083 with flag 7458473/1689543
800.14/785.49	c cleaning 55007 clauses out of 110070 with flag 7724199/1745543
828.93/813.85	c cleaning 55972 clauses out of 112064 with flag 8020042/1802544
858.56/843.16	c cleaning 57012 clauses out of 114093 with flag 8335869/1860545
889.05/873.26	c cleaning 58000 clauses out of 116083 with flag 8657644/1919547
919.81/903.67	c cleaning 58994 clauses out of 118082 with flag 9033233/1979546
952.57/935.99	c cleaning 60009 clauses out of 120086 with flag 9391125/2040544
984.48/967.59	c cleaning 60977 clauses out of 122076 with flag 9742739/2102543
1020.52/1003.08	c cleaning 62005 clauses out of 124101 with flag 10097259/2165545
1054.64/1036.42	c cleaning 62998 clauses out of 126096 with flag 10464462/2229545
1088.08/1069.45	c cleaning 63981 clauses out of 128097 with flag 10822067/2294544
1121.53/1102.49	c cleaning 65037 clauses out of 130115 with flag 11156293/2360543
1156.72/1137.15	c cleaning 65998 clauses out of 132078 with flag 11483138/2427543
1191.56/1171.58	c cleaning 66997 clauses out of 134081 with flag 11827840/2495544
1226.42/1205.88	c cleaning 68009 clauses out of 136084 with flag 12146074/2564544
1263.84/1242.88	c cleaning 69003 clauses out of 138075 with flag 12507757/2634544
1299.09/1277.53	c cleaning 70019 clauses out of 140071 with flag 12839584/2705543
1336.83/1314.75	c cleaning 70959 clauses out of 142052 with flag 13188769/2777543
1374.91/1352.26	c cleaning 71994 clauses out of 144093 with flag 13591571/2850543
1414.21/1390.82	c cleaning 73012 clauses out of 146100 with flag 13977159/2924544
1455.87/1431.76	c cleaning 73984 clauses out of 148092 with flag 14426658/2999548
1497.02/1472.31	c cleaning 74991 clauses out of 150103 with flag 14831125/3075543
1539.94/1514.62	c cleaning 76005 clauses out of 152116 with flag 15245939/3152547
1582.37/1556.39	c cleaning 77046 clauses out of 154109 with flag 15660013/3230545
1625.47/1598.91	c cleaning 77977 clauses out of 156065 with flag 16041067/3309547
1671.65/1644.46	c cleaning 78999 clauses out of 158085 with flag 16508350/3389544
1713.92/1686.02	c cleaning 80022 clauses out of 160085 with flag 16997768/3470543
1753.03/1724.56	c cleaning 81006 clauses out of 162063 with flag 17369358/3552543
1797.94/1768.80	c cleaning 81994 clauses out of 164058 with flag 17791110/3635544
1800.04/1770.80	c starts		: 3790
1800.04/1770.80	c conflicts		: 3639852
1800.04/1770.80	c decisions		: 18284232
1800.04/1770.80	c propagations		: 174692674
1800.04/1770.80	c inspects		: 7983429859
1800.04/1770.80	c shortcuts		: 0
1800.04/1770.80	c learnt literals	: 0
1800.04/1770.80	c learnt binary clauses	: 0
1800.04/1770.80	c learnt ternary clauses	: 0
1800.04/1770.80	c learnt constraints	: 3639852
1800.04/1770.80	c ignored constraints	: 0
1800.04/1770.80	c root simplifications	: 0
1800.04/1770.80	c removed literals (reason simplification)	: 0
1800.04/1770.80	c reason swapping (by a shorter reason)	: 0
1800.04/1770.80	c Calls to reduceDB	: 92
1800.04/1770.80	c Number of update (reduction) of LBD	: 1881437
1800.04/1770.80	c Imported unit clauses	: 0
1800.04/1770.80	c number of reductions to clauses (during analyze)	: 0
1800.04/1770.80	c number of learned constraints concerned by reduction	: 0
1800.04/1770.80	c number of learning phase by resolution	: 0
1800.04/1770.80	c number of learning phase by cutting planes	: 0
1800.04/1770.80	c speed (assignments/second)	: 98709.69938330691
1800.04/1770.80	c non guided choices	3788
1800.04/1770.83	c learnt constraints type 
1800.04/1770.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 86373
1800.04/1770.83	s SATISFIABLE
1800.04/1770.83	c Found 1 solution(s)
1800.04/1770.84	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 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 
1800.04/1770.84	c objective function=16
1800.04/1770.84	c Total wall clock time (in seconds): 1770.729

Verifier Data 

OK	16

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4109132-1466293963/watcher-4109132-1466293963 -o /tmp/evaluation-result-4109132-1466293963/solver-4109132-1466293963 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466288631-23372 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109132-1466293963.opb 

pid=23963
running on 4 cores: 1,3,5,7

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.10 2.10 2.09 3/194 23966
/proc/meminfo: memFree=30605476/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=268 CPUtime=0 cores=1,3,5,7
/proc/23966/stat : 23966 (java) R 23963 23966 20879 0 -1 4194304 332 0 0 0 0 0 0 0 20 0 1 0 31446727 274432 3 33554432000 0 0 140735752603183 140736820499208 247064063415 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 67 16 10 9 0 24 0

[startup+0.10006 s]
/proc/loadavg: 2.10 2.10 2.09 3/194 23966
/proc/meminfo: memFree=30605476/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 31446727 9787879424 6039 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200188 s]
/proc/loadavg: 2.10 2.10 2.09 3/194 23966
/proc/meminfo: memFree=30605476/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 4962 0 1 0 26 1 0 0 20 0 18 0 31446727 9787879424 6973 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2389619 6973 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 2.10 2.10 2.09 3/194 23966
/proc/meminfo: memFree=30605476/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 5472 0 1 0 50 1 0 0 20 0 18 0 31446727 9787879424 10828 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2389619 10828 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 2.10 2.10 2.09 3/194 23966
/proc/meminfo: memFree=30605476/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9558476 CPUtime=0.94 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 5617 0 1 0 91 3 0 0 20 0 18 0 31446727 9787879424 39063 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2389619 39063 2252 9 0 2380296 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9558476

[startup+1.50081 s]
/proc/loadavg: 2.10 2.10 2.09 3/213 23985
/proc/meminfo: memFree=30452044/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 7732 0 1 0 197 4 0 0 20 0 19 0 31446727 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2406260 41450 2265 9 0 2396937 0
[pid=23966/tid=23968] ppid=23963 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/23966/task/23968/stat : 23968 (java) R 23963 23966 20879 0 -1 4202560 2473 0 1 0 142 3 0 0 20 0 19 0 31446728 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342677958824 140342503065110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23969] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23969/stat : 23969 (java) S 23963 23966 20879 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342639450408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23970] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23970/stat : 23970 (java) S 23963 23966 20879 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342638397608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23971] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23971/stat : 23971 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342637345320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23972] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23972/stat : 23972 (java) S 23963 23966 20879 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342636292520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23973] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23973/stat : 23973 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342635240232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23974] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23974/stat : 23974 (java) S 23963 23966 20879 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342634187432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23975] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23975/stat : 23975 (java) S 23963 23966 20879 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342633135144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23976] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23976/stat : 23976 (java) S 23963 23966 20879 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342632082344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23977] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23977/stat : 23977 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342501300456 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23978] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23978/stat : 23978 (java) S 23963 23966 20879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342500246520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23979] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23979/stat : 23979 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342499194120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23980] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23980/stat : 23980 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342498142608 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23981] ppid=23963 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/23966/task/23981/stat : 23981 (java) S 23963 23966 20879 0 -1 4202560 2135 0 0 0 21 0 0 0 20 0 19 0 31446733 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342497090232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23982] ppid=23963 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/23966/task/23982/stat : 23982 (java) S 23963 23966 20879 0 -1 4202560 1824 0 0 0 29 0 0 0 20 0 19 0 31446733 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342496037432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23983] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23983/stat : 23983 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342494985336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23984] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23984/stat : 23984 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342493932744 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23985] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23985/stat : 23985 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446832 9856040960 41450 33554432000 1073741824 1073778376 140735752601968 140342492877736 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9625040

[startup+3.10088 s]
/proc/loadavg: 2.10 2.10 2.09 3/213 23985
/proc/meminfo: memFree=30447324/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 13724 0 1 0 378 6 0 0 20 0 19 0 31446727 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2406260 48119 2273 9 0 2396937 0
[pid=23966/tid=23968] ppid=23963 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/23966/task/23968/stat : 23968 (java) R 23963 23966 20879 0 -1 4202560 2476 0 1 0 301 3 0 0 20 0 19 0 31446728 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342677957776 140342502933056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23969] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23969/stat : 23969 (java) S 23963 23966 20879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342639450408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23970] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23970/stat : 23970 (java) S 23963 23966 20879 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342638397608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23971] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23971/stat : 23971 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342637345320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23972] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23972/stat : 23972 (java) S 23963 23966 20879 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342636292520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23973] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23973/stat : 23973 (java) S 23963 23966 20879 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342635240232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23974] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23974/stat : 23974 (java) S 23963 23966 20879 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342634187432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23975] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23975/stat : 23975 (java) S 23963 23966 20879 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342633135144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23976] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23976/stat : 23976 (java) S 23963 23966 20879 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342632082344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23977] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23977/stat : 23977 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342501300456 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23978] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23978/stat : 23978 (java) S 23963 23966 20879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342500246520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23979] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23979/stat : 23979 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342499194120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23980] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23980/stat : 23980 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342498142608 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23981] ppid=23963 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/23966/task/23981/stat : 23981 (java) S 23963 23966 20879 0 -1 4202560 8096 0 0 0 40 2 0 0 20 0 19 0 31446733 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342497090232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23982] ppid=23963 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/23966/task/23982/stat : 23982 (java) S 23963 23966 20879 0 -1 4202560 1829 0 0 0 31 0 0 0 20 0 19 0 31446733 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342496037432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23983] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23983/stat : 23983 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342494985336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23984] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23984/stat : 23984 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342493932744 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23985] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23985/stat : 23985 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446832 9856040960 48119 33554432000 1073741824 1073778376 140735752601968 140342492877736 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.10 2.10 2.09 3/213 23985
/proc/meminfo: memFree=30422452/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9625040 CPUtime=7.13 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 14478 0 1 0 706 7 0 0 20 0 19 0 31446727 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2406260 48115 2273 9 0 2396937 0
[pid=23966/tid=23968] ppid=23963 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/23966/task/23968/stat : 23968 (java) R 23963 23966 20879 0 -1 4202560 2479 0 1 0 620 3 0 0 20 0 19 0 31446728 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342677959368 140342502958636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23969] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23969/stat : 23969 (java) S 23963 23966 20879 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342639450408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23970] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23970/stat : 23970 (java) S 23963 23966 20879 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342638397608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23971] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23971/stat : 23971 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342637345320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23972] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23972/stat : 23972 (java) S 23963 23966 20879 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342636292520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23973] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23973/stat : 23973 (java) S 23963 23966 20879 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342635240232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23974] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23974/stat : 23974 (java) S 23963 23966 20879 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342634187432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23975] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23975/stat : 23975 (java) S 23963 23966 20879 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342633135144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23976] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23976/stat : 23976 (java) S 23963 23966 20879 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 31446729 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342632082344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23977] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23977/stat : 23977 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342501300456 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23978] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23978/stat : 23978 (java) S 23963 23966 20879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342500246520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23979] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23979/stat : 23979 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342499194120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23980] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23980/stat : 23980 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342498142608 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23981] ppid=23963 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/23966/task/23981/stat : 23981 (java) S 23963 23966 20879 0 -1 4202560 8096 0 0 0 41 2 0 0 20 0 19 0 31446733 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342497090232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23982] ppid=23963 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/23966/task/23982/stat : 23982 (java) S 23963 23966 20879 0 -1 4202560 2580 0 0 0 37 0 0 0 20 0 19 0 31446733 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342496037432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23983] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23983/stat : 23983 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342494985336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23984] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23984/stat : 23984 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342493932744 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23985] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23985/stat : 23985 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446832 9856040960 48115 33554432000 1073741824 1073778376 140735752601968 140342492877736 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9625040


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

[pid=23966/tid=23985] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23985/stat : 23985 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446832 9856040960 472604 33554432000 1073741824 1073778376 140735752601968 140342492877736 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1628.94
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 1.05 1.11 1.26 2/189 24082
/proc/meminfo: memFree=29397688/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9625040 CPUtime=1689.79 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 31962 0 1 0 168607 372 0 0 20 0 19 0 31446727 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2406260 503824 2282 9 0 2396937 0
[pid=23966/tid=23968] ppid=23963 vsize=9625040 CPUtime=1641.81 cores=1,3,5,7
/proc/23966/task/23968/stat : 23968 (java) R 23963 23966 20879 0 -1 4202560 2692 0 1 0 164153 28 0 0 20 0 19 0 31446728 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342677957840 140342502977305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23969] ppid=23963 vsize=9625040 CPUtime=4.72 cores=1,3,5,7
/proc/23966/task/23969/stat : 23969 (java) S 23963 23966 20879 0 -1 4202560 1638 0 0 0 423 49 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342639450408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23970] ppid=23963 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/23966/task/23970/stat : 23970 (java) S 23963 23966 20879 0 -1 4202560 1260 0 0 0 415 34 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342638397608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23971] ppid=23963 vsize=9625040 CPUtime=4.74 cores=1,3,5,7
/proc/23966/task/23971/stat : 23971 (java) S 23963 23966 20879 0 -1 4202560 1565 0 0 0 430 44 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342637345320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23972] ppid=23963 vsize=9625040 CPUtime=4.33 cores=1,3,5,7
/proc/23966/task/23972/stat : 23972 (java) S 23963 23966 20879 0 -1 4202560 1555 0 0 0 398 35 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342636292520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23973] ppid=23963 vsize=9625040 CPUtime=4.75 cores=1,3,5,7
/proc/23966/task/23973/stat : 23973 (java) S 23963 23966 20879 0 -1 4202560 2525 0 0 0 428 47 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342635240232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23974] ppid=23963 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/23966/task/23974/stat : 23974 (java) S 23963 23966 20879 0 -1 4202560 2032 0 0 0 424 43 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342634187432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23975] ppid=23963 vsize=9625040 CPUtime=4.06 cores=1,3,5,7
/proc/23966/task/23975/stat : 23975 (java) S 23963 23966 20879 0 -1 4202560 1700 0 0 0 366 40 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342633135144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23976] ppid=23963 vsize=9625040 CPUtime=4.48 cores=1,3,5,7
/proc/23966/task/23976/stat : 23976 (java) S 23963 23966 20879 0 -1 4202560 1665 0 0 0 408 40 0 0 20 0 19 0 31446729 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342632082344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23977] ppid=23963 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/23966/task/23977/stat : 23977 (java) S 23963 23966 20879 0 -1 4202560 3286 0 0 0 620 5 0 0 20 0 19 0 31446731 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342501300456 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23978] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23978/stat : 23978 (java) S 23963 23966 20879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342500246520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23979] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23979/stat : 23979 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342499194120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23980] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23980/stat : 23980 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342498142608 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23981] ppid=23963 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/23966/task/23981/stat : 23981 (java) S 23963 23966 20879 0 -1 4202560 8111 0 0 0 46 2 0 0 20 0 19 0 31446733 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342497090232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23982] ppid=23963 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/23966/task/23982/stat : 23982 (java) S 23963 23966 20879 0 -1 4202560 2581 0 0 0 38 0 0 0 20 0 19 0 31446733 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342496037432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23983] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23983/stat : 23983 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342494985336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23984] ppid=23963 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/23966/task/23984/stat : 23984 (java) S 23963 23966 20879 0 -1 4202560 94 0 0 0 25 37 0 0 20 0 19 0 31446733 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342493932744 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23985] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23985/stat : 23985 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446832 9856040960 503824 33554432000 1073741824 1073778376 140735752601968 140342492877736 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1689.79
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.15 1.12 1.26 2/188 24084
/proc/meminfo: memFree=29414992/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9625040 CPUtime=1750.63 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 31975 0 1 0 174690 373 0 0 20 0 19 0 31446727 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2406260 499525 2282 9 0 2396937 0
[pid=23966/tid=23968] ppid=23963 vsize=9625040 CPUtime=1701.19 cores=1,3,5,7
/proc/23966/task/23968/stat : 23968 (java) R 23963 23966 20879 0 -1 4202560 2697 0 1 0 170090 29 0 0 20 0 19 0 31446728 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342677957840 140342503065105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23969] ppid=23963 vsize=9625040 CPUtime=4.95 cores=1,3,5,7
/proc/23966/task/23969/stat : 23969 (java) S 23963 23966 20879 0 -1 4202560 1638 0 0 0 446 49 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342639450408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23970] ppid=23963 vsize=9625040 CPUtime=4.63 cores=1,3,5,7
/proc/23966/task/23970/stat : 23970 (java) S 23963 23966 20879 0 -1 4202560 1260 0 0 0 429 34 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342638397608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23971] ppid=23963 vsize=9625040 CPUtime=4.83 cores=1,3,5,7
/proc/23966/task/23971/stat : 23971 (java) S 23963 23966 20879 0 -1 4202560 1565 0 0 0 439 44 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342637345320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23972] ppid=23963 vsize=9625040 CPUtime=4.47 cores=1,3,5,7
/proc/23966/task/23972/stat : 23972 (java) S 23963 23966 20879 0 -1 4202560 1555 0 0 0 412 35 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342636292520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23973] ppid=23963 vsize=9625040 CPUtime=4.87 cores=1,3,5,7
/proc/23966/task/23973/stat : 23973 (java) S 23963 23966 20879 0 -1 4202560 2525 0 0 0 440 47 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342635240232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23974] ppid=23963 vsize=9625040 CPUtime=4.84 cores=1,3,5,7
/proc/23966/task/23974/stat : 23974 (java) S 23963 23966 20879 0 -1 4202560 2032 0 0 0 441 43 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342634187432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23975] ppid=23963 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/23966/task/23975/stat : 23975 (java) S 23963 23966 20879 0 -1 4202560 1700 0 0 0 377 40 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342633135144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23976] ppid=23963 vsize=9625040 CPUtime=4.61 cores=1,3,5,7
/proc/23966/task/23976/stat : 23976 (java) S 23963 23966 20879 0 -1 4202560 1665 0 0 0 421 40 0 0 20 0 19 0 31446729 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342632082344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23977] ppid=23963 vsize=9625040 CPUtime=6.41 cores=1,3,5,7
/proc/23966/task/23977/stat : 23977 (java) S 23963 23966 20879 0 -1 4202560 3290 0 0 0 636 5 0 0 20 0 19 0 31446731 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342501300456 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23978] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23978/stat : 23978 (java) S 23963 23966 20879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342500246520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23979] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23979/stat : 23979 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342499194120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23980] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23980/stat : 23980 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342498142608 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23981] ppid=23963 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/23966/task/23981/stat : 23981 (java) S 23963 23966 20879 0 -1 4202560 8111 0 0 0 46 2 0 0 20 0 19 0 31446733 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342497090232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23982] ppid=23963 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/23966/task/23982/stat : 23982 (java) S 23963 23966 20879 0 -1 4202560 2581 0 0 0 38 0 0 0 20 0 19 0 31446733 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342496037432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23983] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23983/stat : 23983 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342494985336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23984] ppid=23963 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/23966/task/23984/stat : 23984 (java) S 23963 23966 20879 0 -1 4202560 98 0 0 0 26 39 0 0 20 0 19 0 31446733 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342493932744 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23985] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23985/stat : 23985 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446832 9856040960 499525 33554432000 1073741824 1073778376 140735752601968 140342492877736 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1750.63
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1770.8 s]
/proc/loadavg: 1.07 1.10 1.24 2/188 24085
/proc/meminfo: memFree=29471844/32872528 swapFree=249320/249320
[pid=23966] ppid=23963 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/23966/stat : 23966 (java) S 23963 23966 20879 0 -1 4202496 32270 0 1 0 179630 374 0 0 20 0 19 0 31446727 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140735752593104 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23966/statm: 2406260 485326 2282 9 0 2396937 0
[pid=23966/tid=23968] ppid=23963 vsize=9625040 CPUtime=1748.96 cores=1,3,5,7
/proc/23966/task/23968/stat : 23968 (java) R 23963 23966 20879 0 -1 4202560 2702 0 1 0 174866 30 0 0 20 0 19 0 31446728 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342677950144 140342502931600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23969] ppid=23963 vsize=9625040 CPUtime=5.06 cores=1,3,5,7
/proc/23966/task/23969/stat : 23969 (java) S 23963 23966 20879 0 -1 4202560 1638 0 0 0 457 49 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342639450408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23970] ppid=23963 vsize=9625040 CPUtime=4.83 cores=1,3,5,7
/proc/23966/task/23970/stat : 23970 (java) S 23963 23966 20879 0 -1 4202560 1260 0 0 0 449 34 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342638397608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23971] ppid=23963 vsize=9625040 CPUtime=4.97 cores=1,3,5,7
/proc/23966/task/23971/stat : 23971 (java) S 23963 23966 20879 0 -1 4202560 1565 0 0 0 453 44 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342637345320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23972] ppid=23963 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/23966/task/23972/stat : 23972 (java) S 23963 23966 20879 0 -1 4202560 1555 0 0 0 427 35 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342636292520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23973] ppid=23963 vsize=9625040 CPUtime=5.08 cores=1,3,5,7
/proc/23966/task/23973/stat : 23973 (java) S 23963 23966 20879 0 -1 4202560 2525 0 0 0 461 47 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342635240232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23974] ppid=23963 vsize=9625040 CPUtime=4.94 cores=1,3,5,7
/proc/23966/task/23974/stat : 23974 (java) S 23963 23966 20879 0 -1 4202560 2032 0 0 0 451 43 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342634187432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23966/tid=23975] ppid=23963 vsize=9625040 CPUtime=4.33 cores=1,3,5,7
/proc/23966/task/23975/stat : 23975 (java) S 23963 23966 20879 0 -1 4202560 1700 0 0 0 393 40 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342633135144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23976] ppid=23963 vsize=9625040 CPUtime=4.79 cores=1,3,5,7
/proc/23966/task/23976/stat : 23976 (java) S 23963 23966 20879 0 -1 4202560 1665 0 0 0 439 40 0 0 20 0 19 0 31446729 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342632082344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23977] ppid=23963 vsize=9625040 CPUtime=6.67 cores=1,3,5,7
/proc/23966/task/23977/stat : 23977 (java) S 23963 23966 20879 0 -1 4202560 3576 0 0 0 662 5 0 0 20 0 19 0 31446731 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342501300456 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23978] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23978/stat : 23978 (java) S 23963 23966 20879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342500246520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23979] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23979/stat : 23979 (java) S 23963 23966 20879 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31446731 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342499194120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23980] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23980/stat : 23980 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342498142608 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23981] ppid=23963 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/23966/task/23981/stat : 23981 (java) S 23963 23966 20879 0 -1 4202560 8111 0 0 0 46 2 0 0 20 0 19 0 31446733 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342497090232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23982] ppid=23963 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/23966/task/23982/stat : 23982 (java) S 23963 23966 20879 0 -1 4202560 2581 0 0 0 38 0 0 0 20 0 19 0 31446733 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342496037432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23966/tid=23983] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23983/stat : 23983 (java) S 23963 23966 20879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31446733 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342494985336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23966/tid=23984] ppid=23963 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/23966/task/23984/stat : 23984 (java) S 23963 23966 20879 0 -1 4202560 102 0 0 0 27 39 0 0 20 0 19 0 31446733 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342493932744 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23966/tid=23985] ppid=23963 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23966/task/23985/stat : 23985 (java) S 23963 23966 20879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31446832 9856040960 485326 33554432000 1073741824 1073778376 140735752601968 140342492877736 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23966 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23966 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=918586
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=221358
# CPU time returned by wait4() is 1796.14
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1770.87
CPU time (s): 1800.04
CPU user time (s): 1796.3
CPU system time (s): 3.74
CPU usage (%): 101.647
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.92
system time used= 4.22136
maximum resident set size= 2016012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32325
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44035
involuntary context switches= 34812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0642 second user time and 16.8664 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-19 01:52:43
IDJOB=4109132
IDBENCH=89872
IDSOLVER=2546
FILE ID=node103/4109132-1466293963
RUNJOBID= node103-1466288631-23372
PBS_JOBID= 19918271
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109132-1466293963/watcher-4109132-1466293963 -o /tmp/evaluation-result-4109132-1466293963/solver-4109132-1466293963 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466288631-23372 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4109132-1466293963.opb

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

MD5SUM BENCH= b99304baf8f7edc2dec7db9e7f912244
RANDOM SEED=834549471

node103.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.278
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.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30606012 kB
Buffers:          149644 kB
Cached:           319948 kB
SwapCached:         2460 kB
Active:           920800 kB
Inactive:         342488 kB
Active(anon):     792920 kB
Inactive(anon):     3280 kB
Active(file):     127880 kB
Inactive(file):   339208 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099548 kB
Dirty:              6016 kB
Writeback:             0 kB
AnonPages:       1046180 kB
Mapped:            16440 kB
Shmem:                 0 kB
Slab:             616396 kB
SReclaimable:      60272 kB
SUnreclaim:       556124 kB
KernelStack:        1600 kB
PageTables:         6132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2021304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    782336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node103 at 2016-06-19 02:22:14