Trace number 4080504

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT 766.916 381.038

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark40.6388
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 69
Number of bits of the biggest sum of numbers7
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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4080504-1465285280.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  no objective function found
0.54/0.39	c ... done. Wall clock time 0.262s.
0.54/0.39	c declared #vars     3740
0.54/0.39	c #constraints  3878
0.81/0.40	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.81/0.40	c constraints type 
0.81/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3138
0.81/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 68
0.81/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.81/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 670
0.81/0.40	c 3878 constraints processed.
0.81/0.40	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.81/0.40	c constraints type 
0.81/0.40	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 670
0.81/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3138
0.81/0.40	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 68
0.81/0.40	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.81/0.40	c 3878 constraints processed.
4.61/1.61	c cleaning 2486 clauses out of 4971 with flag 25245/5000
7.14/2.75	c cleaning 4232 clauses out of 8472 with flag 62800/11000
10.04/4.17	c cleaning 5601 clauses out of 11233 with flag 114781/18000
13.38/5.78	c cleaning 6799 clauses out of 13632 with flag 174338/26002
17.09/7.58	c cleaning 7888 clauses out of 15823 with flag 239319/35000
21.17/9.59	c cleaning 8365 clauses out of 17935 with flag 309008/45000
25.97/11.91	c cleaning 9224 clauses out of 20563 with flag 377926/56000
31.47/14.60	c cleaning 10070 clauses out of 23340 with flag 465155/68001
37.07/17.41	c cleaning 10995 clauses out of 26268 with flag 560285/81001
43.85/20.78	c cleaning 11599 clauses out of 29267 with flag 654602/95000
50.98/24.29	c cleaning 12380 clauses out of 32665 with flag 771546/110000
58.77/28.13	c cleaning 13460 clauses out of 36282 with flag 897070/126001
67.67/32.54	c cleaning 14495 clauses out of 39821 with flag 1020666/143000
77.06/37.28	c cleaning 15473 clauses out of 43326 with flag 1170577/161001
87.14/42.27	c cleaning 16227 clauses out of 46852 with flag 1312828/180001
98.25/47.76	c cleaning 17194 clauses out of 50623 with flag 1478778/200000
110.44/53.89	c cleaning 18164 clauses out of 54426 with flag 1689445/221000
122.35/59.73	c cleaning 19038 clauses out of 58262 with flag 1896205/243000
135.47/66.29	c cleaning 20094 clauses out of 62225 with flag 2112878/266002
149.99/73.42	c cleaning 20963 clauses out of 66127 with flag 2313342/290000
165.18/81.03	c cleaning 22376 clauses out of 70164 with flag 2529702/315000
181.69/89.25	c cleaning 23115 clauses out of 73783 with flag 2754410/341001
199.91/98.64	c cleaning 24125 clauses out of 77667 with flag 2999476/368000
217.14/107.21	c cleaning 25071 clauses out of 81540 with flag 3249369/396000
235.02/116.18	c cleaning 25982 clauses out of 85468 with flag 3505391/425000
254.12/125.62	c cleaning 26788 clauses out of 89486 with flag 3773862/455001
275.83/136.46	c cleaning 27968 clauses out of 93697 with flag 4092724/486000
297.12/147.04	c cleaning 29144 clauses out of 97727 with flag 4394125/518000
301.57/149.23	c cleaning 0 clauses out of 5000 with flag 0/5000
321.46/159.04	c cleaning 30109 clauses out of 101583 with flag 4725797/551000
347.32/171.80	c cleaning 31089 clauses out of 105480 with flag 5057739/585006
374.28/185.22	c cleaning 32181 clauses out of 109385 with flag 5424527/620000
401.97/199.08	c cleaning 33140 clauses out of 113205 with flag 5831231/656001
433.26/215.14	c cleaning 34383 clauses out of 117064 with flag 6303083/693000
463.00/229.95	c cleaning 35330 clauses out of 120681 with flag 6705942/731000
494.47/245.62	c cleaning 36220 clauses out of 124351 with flag 7128856/770000
527.86/262.28	c cleaning 36976 clauses out of 128132 with flag 7581336/810001
559.56/278.07	c cleaning 38383 clauses out of 132156 with flag 8031274/851001
595.88/296.09	c cleaning 39275 clauses out of 135771 with flag 8494708/893000
633.00/314.45	c cleaning 40831 clauses out of 139497 with flag 8978418/936002
669.20/332.32	c cleaning 41452 clauses out of 142664 with flag 9453966/980000
709.14/352.13	c cleaning 42318 clauses out of 146213 with flag 9968015/1025001
747.55/371.27	c cleaning 43668 clauses out of 149892 with flag 10546407/1071001
765.47/380.15	c And the winner is solver0
766.58/380.95	c SATISFIABLE
766.58/380.95	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
766.58/380.95	c starts		: 7717
766.58/380.95	c conflicts		: 1093426
766.58/380.95	c decisions		: 7328048
766.58/380.95	c propagations		: 304582508
766.58/380.95	c inspects		: 2327933665
766.58/380.95	c shortcuts		: 0
766.58/380.95	c learnt literals	: 106
766.58/380.95	c learnt binary clauses	: 41414
766.58/380.95	c learnt ternary clauses	: 40359
766.58/380.95	c learnt constraints	: 1093320
766.58/380.95	c ignored constraints	: 0
766.58/380.95	c root simplifications	: 0
766.58/380.95	c removed literals (reason simplification)	: 29447933
766.58/380.95	c reason swapping (by a shorter reason)	: 0
766.58/380.95	c Calls to reduceDB	: 42
766.58/380.95	c Number of update (reduction) of LBD	: 957849
766.58/380.95	c Imported unit clauses	: 0
766.58/380.95	c number of reductions to clauses (during analyze)	: 0
766.58/380.95	c number of learned constraints concerned by reduction	: 0
766.58/380.95	c number of learning phase by resolution	: 0
766.58/380.95	c number of learning phase by cutting planes	: 0
766.58/380.95	c speed (assignments/second)	: 800378.6854746313
766.58/380.95	c non guided choices	94
766.58/380.99	c learnt constraints type 
766.58/381.00	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41414
766.58/381.00	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87235
766.58/381.00	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
766.58/381.00	c starts		: 28
766.58/381.00	c conflicts		: 7494
766.58/381.00	c decisions		: 50420
766.58/381.00	c propagations		: 1711291
766.58/381.00	c inspects		: 393102968
766.58/381.00	c shortcuts		: 0
766.58/381.00	c learnt literals	: 0
766.58/381.00	c learnt binary clauses	: 0
766.58/381.00	c learnt ternary clauses	: 0
766.58/381.00	c learnt constraints	: 7493
766.58/381.00	c ignored constraints	: 0
766.58/381.00	c root simplifications	: 0
766.58/381.00	c removed literals (reason simplification)	: 0
766.58/381.00	c reason swapping (by a shorter reason)	: 0
766.58/381.00	c Calls to reduceDB	: 1
766.58/381.00	c Number of update (reduction) of LBD	: 0
766.58/381.00	c Imported unit clauses	: 0
766.58/381.00	c number of reductions to clauses (during analyze)	: 0
766.58/381.00	c number of learned constraints concerned by reduction	: 0
766.58/381.00	c number of learning phase by resolution	: 0
766.58/381.00	c number of learning phase by cutting planes	: 0
766.58/381.00	c speed (assignments/second)	: 4496.427905168042
766.58/381.00	c non guided choices	58
766.58/381.00	c learnt constraints type 
766.58/381.00	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 100
766.58/381.00	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 699
766.58/381.00	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6694
766.58/381.00	s SATISFIABLE
766.58/381.00	c Found 1 solution(s)
766.72/381.01	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 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 x3653 -x3654 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 
766.72/381.01	c Total wall clock time (in seconds): 380.88

Verifier Data 

OK	0

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-4080504-1465285280/watcher-4080504-1465285280 -o /tmp/evaluation-result-4080504-1465285280/solver-4080504-1465285280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23731 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080504-1465285280.opb 

pid=25445
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.23 4.25 4.20 4/197 25448
/proc/meminfo: memFree=27138512/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/25448/stat : 25448 (java) R 25445 25448 23715 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 110461201 3653632 50 33554432000 1073741824 1073778376 140735127985568 140735127982696 214360485159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 1408 55 42 9 0 30 0

[startup+0.100065 s]
/proc/loadavg: 4.23 4.25 4.20 4/197 25448
/proc/meminfo: memFree=27138512/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 4363 0 1 0 8 1 0 0 20 0 18 0 110461201 9787879424 5490 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2389619 5490 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 4.23 4.25 4.20 4/197 25448
/proc/meminfo: memFree=27138512/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 4852 0 1 0 24 1 0 0 20 0 18 0 110461201 9787879424 6944 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2389619 6944 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 4.23 4.25 4.20 4/197 25448
/proc/meminfo: memFree=27138512/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 7373 0 1 0 53 1 0 0 20 0 18 0 110461201 9787879424 9520 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2389619 9520 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.70018 s]
/proc/loadavg: 4.23 4.25 4.20 4/197 25448
/proc/meminfo: memFree=27138512/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 16302 0 1 0 196 3 0 0 20 0 22 0 110461201 10060525568 20337 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2456183 20337 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9824732

[startup+1.50095 s]
/proc/loadavg: 4.23 4.25 4.20 6/219 25470
/proc/meminfo: memFree=27043476/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9824732 CPUtime=4.4 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 19489 0 1 0 433 7 0 0 20 0 22 0 110461201 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2456183 48348 2289 9 0 2446860 0
[pid=25448/tid=25450] ppid=25445 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/25448/task/25450/stat : 25450 (java) S 25445 25448 23715 0 -1 4202560 2514 0 1 0 36 0 0 0 20 0 22 0 110461202 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139944124662648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25451] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25451/stat : 25451 (java) S 25445 25448 23715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139944063392808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25452] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25452/stat : 25452 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139944062340008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25453/stat : 25453 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943965571880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25454/stat : 25454 (java) S 25445 25448 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943964519080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25455] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25455/stat : 25455 (java) S 25445 25448 23715 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943963466280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25456] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25456/stat : 25456 (java) S 25445 25448 23715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943962413480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25457] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25457/stat : 25457 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943961360680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25458] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25458/stat : 25458 (java) S 25445 25448 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943960307880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25459] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25459/stat : 25459 (java) S 25445 25448 23715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110461204 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943948110824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25460] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25460/stat : 25460 (java) S 25445 25448 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943947056888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25461] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25461/stat : 25461 (java) S 25445 25448 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943946003976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25462] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25462/stat : 25462 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943944952464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25463] ppid=25445 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/25448/task/25463/stat : 25463 (java) S 25445 25448 23715 0 -1 4202560 6419 0 0 0 95 0 0 0 20 0 22 0 110461208 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943943899576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25464] ppid=25445 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/25448/task/25464/stat : 25464 (java) S 25445 25448 23715 0 -1 4202560 9114 0 0 0 85 2 0 0 20 0 22 0 110461208 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943942846776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25465] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25465/stat : 25465 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943941794168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25466] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25466/stat : 25466 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943940741576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25467] ppid=25445 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/25448/task/25467/stat : 25467 (java) R 25445 25448 23715 0 -1 4202560 20 0 0 0 104 0 0 0 20 0 22 0 110461241 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943939685168 139944065045516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25468] ppid=25445 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/25448/task/25468/stat : 25468 (java) R 25445 25448 23715 0 -1 4202560 102 0 0 0 105 1 0 0 20 0 22 0 110461241 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943938633136 139944065322759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25469] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25469/stat : 25469 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943937582504 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25470] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25470/stat : 25470 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 48348 33554432000 1073741824 1073778376 140735127985568 139943936529704 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 9824732

[startup+3.10095 s]
/proc/loadavg: 4.23 4.25 4.20 5/219 25470
/proc/meminfo: memFree=26935864/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9824732 CPUtime=7.97 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 20099 0 1 0 788 9 0 0 20 0 22 0 110461201 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2456183 54577 2293 9 0 2446860 0
[pid=25448/tid=25450] ppid=25445 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/25448/task/25450/stat : 25450 (java) S 25445 25448 23715 0 -1 4202560 2514 0 1 0 36 0 0 0 20 0 22 0 110461202 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139944124662648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25451] ppid=25445 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/25448/task/25451/stat : 25451 (java) S 25445 25448 23715 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139944063392808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25452] ppid=25445 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25448/task/25452/stat : 25452 (java) S 25445 25448 23715 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139944062340008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25453/stat : 25453 (java) S 25445 25448 23715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943965571880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25448/task/25454/stat : 25454 (java) S 25445 25448 23715 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943964519080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25455] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25455/stat : 25455 (java) S 25445 25448 23715 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943963466280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25456] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25456/stat : 25456 (java) S 25445 25448 23715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943962413480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25457] ppid=25445 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25448/task/25457/stat : 25457 (java) S 25445 25448 23715 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943961360680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25458] ppid=25445 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/25448/task/25458/stat : 25458 (java) S 25445 25448 23715 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 110461203 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943960307880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25459] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25459/stat : 25459 (java) S 25445 25448 23715 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 110461204 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943948110824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25460] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25460/stat : 25460 (java) S 25445 25448 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943947056888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25461] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25461/stat : 25461 (java) S 25445 25448 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943946003976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25462] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25462/stat : 25462 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943944952464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25463] ppid=25445 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/25448/task/25463/stat : 25463 (java) S 25445 25448 23715 0 -1 4202560 6419 0 0 0 113 0 0 0 20 0 22 0 110461208 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943943899576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25464] ppid=25445 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/25448/task/25464/stat : 25464 (java) S 25445 25448 23715 0 -1 4202560 9617 0 0 0 99 2 0 0 20 0 22 0 110461208 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943942846776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25465] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25465/stat : 25465 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943941794168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25466] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25466/stat : 25466 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943940741576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25467] ppid=25445 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/25448/task/25467/stat : 25467 (java) R 25445 25448 23715 0 -1 4202560 20 0 0 0 259 0 0 0 20 0 22 0 110461241 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943939687576 139944065003162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25468] ppid=25445 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/25448/task/25468/stat : 25468 (java) R 25445 25448 23715 0 -1 4202560 103 0 0 0 260 2 0 0 20 0 22 0 110461241 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943938634168 139944065313851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25469] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25469/stat : 25469 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943937582504 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25470] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25470/stat : 25470 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 54577 33554432000 1073741824 1073778376 140735127985568 139943936529704 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 9824732

[startup+6.301 s]
/proc/loadavg: 4.21 4.24 4.20 5/219 25470
/proc/meminfo: memFree=26753176/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9824732 CPUtime=14.6 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 21222 0 1 0 1440 20 0 0 20 0 22 0 110461201 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2456183 98514 2293 9 0 2446860 0
[pid=25448/tid=25450] ppid=25445 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/25448/task/25450/stat : 25450 (java) S 25445 25448 23715 0 -1 4202560 2515 0 1 0 36 0 0 0 20 0 22 0 110461202 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139944124662648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25451] ppid=25445 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/25448/task/25451/stat : 25451 (java) S 25445 25448 23715 0 -1 4202560 226 0 0 0 10 3 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139944063392808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25452] ppid=25445 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/25448/task/25452/stat : 25452 (java) S 25445 25448 23715 0 -1 4202560 49 0 0 0 5 2 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139944062340008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/25448/task/25453/stat : 25453 (java) S 25445 25448 23715 0 -1 4202560 274 0 0 0 3 2 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943965571880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/25448/task/25454/stat : 25454 (java) S 25445 25448 23715 0 -1 4202560 174 0 0 0 5 1 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943964519080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25455] ppid=25445 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/25448/task/25455/stat : 25455 (java) S 25445 25448 23715 0 -1 4202560 186 0 0 0 4 2 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943963466280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25456] ppid=25445 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/25448/task/25456/stat : 25456 (java) S 25445 25448 23715 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943962413480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25457] ppid=25445 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/25448/task/25457/stat : 25457 (java) S 25445 25448 23715 0 -1 4202560 37 0 0 0 3 1 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943961360680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25458] ppid=25445 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/25448/task/25458/stat : 25458 (java) S 25445 25448 23715 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 22 0 110461203 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943960307880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25459] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25459/stat : 25459 (java) S 25445 25448 23715 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 22 0 110461204 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943948110824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25460] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25460/stat : 25460 (java) S 25445 25448 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943947056888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25461] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25461/stat : 25461 (java) S 25445 25448 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943946003976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25462] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25462/stat : 25462 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 98514 33554432000 1073741824 1073778376 140735127985568 139943944952464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25463] ppid=25445 vsize=9824732 CPUtime=1.14 cores=0,2,4,6

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

[pid=25448/tid=25459] ppid=25445 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/25448/task/25459/stat : 25459 (java) S 25445 25448 23715 0 -1 4202560 1793 0 0 0 181 5 0 0 20 0 22 0 110461204 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943948110824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25460] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25460/stat : 25460 (java) S 25445 25448 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943947056888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25461] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25461/stat : 25461 (java) S 25445 25448 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943946003976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25462] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25462/stat : 25462 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943944952464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25463] ppid=25445 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/25448/task/25463/stat : 25463 (java) S 25445 25448 23715 0 -1 4202560 6426 0 0 0 123 0 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943943899576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25464] ppid=25445 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/25448/task/25464/stat : 25464 (java) S 25445 25448 23715 0 -1 4202560 12809 0 0 0 135 3 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943942846776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25465] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25465/stat : 25465 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943941794168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25466] ppid=25445 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/25448/task/25466/stat : 25466 (java) S 25445 25448 23715 0 -1 4202560 23 0 0 0 7 7 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943940741576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25467] ppid=25445 vsize=9824732 CPUtime=373.87 cores=0,2,4,6
/proc/25448/task/25467/stat : 25467 (java) R 25445 25448 23715 0 -1 4202560 68 0 0 0 37380 7 0 0 20 0 22 0 110461241 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943939685360 139944065033539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25468] ppid=25445 vsize=9824732 CPUtime=373.85 cores=0,2,4,6
/proc/25448/task/25468/stat : 25468 (java) R 25445 25448 23715 0 -1 4202560 1537 0 0 0 37343 42 0 0 20 0 22 0 110461241 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943938633552 139944065192273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25469] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25469/stat : 25469 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943937582504 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25470] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25470/stat : 25470 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943936529704 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 763.67
Current children cumulated vsize (KiB) 9824732

[startup+380.001 s]
/proc/loadavg: 4.21 4.31 4.25 5/219 25477
/proc/meminfo: memFree=23415656/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9824732 CPUtime=765.27 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 30570 0 1 0 76368 159 0 0 20 0 22 0 110461201 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2456183 855684 2302 9 0 2446860 0
[pid=25448/tid=25450] ppid=25445 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/25448/task/25450/stat : 25450 (java) S 25445 25448 23715 0 -1 4202560 2522 0 1 0 37 1 0 0 20 0 22 0 110461202 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139944124662648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25451] ppid=25445 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/25448/task/25451/stat : 25451 (java) S 25445 25448 23715 0 -1 4202560 555 0 0 0 126 15 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139944063392808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25452] ppid=25445 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/25448/task/25452/stat : 25452 (java) S 25445 25448 23715 0 -1 4202560 475 0 0 0 130 14 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139944062340008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/25448/task/25453/stat : 25453 (java) S 25445 25448 23715 0 -1 4202560 713 0 0 0 99 13 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943965571880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/25448/task/25454/stat : 25454 (java) S 25445 25448 23715 0 -1 4202560 512 0 0 0 122 12 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943964519080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25455] ppid=25445 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/25448/task/25455/stat : 25455 (java) S 25445 25448 23715 0 -1 4202560 585 0 0 0 125 13 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943963466280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25456] ppid=25445 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/25448/task/25456/stat : 25456 (java) S 25445 25448 23715 0 -1 4202560 392 0 0 0 124 12 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943962413480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25457] ppid=25445 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/25448/task/25457/stat : 25457 (java) S 25445 25448 23715 0 -1 4202560 506 0 0 0 140 14 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943961360680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25458] ppid=25445 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/25448/task/25458/stat : 25458 (java) S 25445 25448 23715 0 -1 4202560 388 0 0 0 121 14 0 0 20 0 22 0 110461203 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943960307880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25459] ppid=25445 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/25448/task/25459/stat : 25459 (java) S 25445 25448 23715 0 -1 4202560 1793 0 0 0 181 5 0 0 20 0 22 0 110461204 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943948110824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25460] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25460/stat : 25460 (java) S 25445 25448 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943947056888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25461] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25461/stat : 25461 (java) S 25445 25448 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110461205 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943946003976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25462] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25462/stat : 25462 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943944952464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25463] ppid=25445 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/25448/task/25463/stat : 25463 (java) S 25445 25448 23715 0 -1 4202560 6426 0 0 0 123 0 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943943899576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25464] ppid=25445 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/25448/task/25464/stat : 25464 (java) S 25445 25448 23715 0 -1 4202560 12809 0 0 0 135 3 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943942846776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25465] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25465/stat : 25465 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943941794168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25466] ppid=25445 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/25448/task/25466/stat : 25466 (java) S 25445 25448 23715 0 -1 4202560 23 0 0 0 7 7 0 0 20 0 22 0 110461208 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943940741576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25467] ppid=25445 vsize=9824732 CPUtime=374.67 cores=0,2,4,6
/proc/25448/task/25467/stat : 25467 (java) R 25445 25448 23715 0 -1 4202560 68 0 0 0 37460 7 0 0 20 0 22 0 110461241 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943939685360 139944065021664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25468] ppid=25445 vsize=9824732 CPUtime=374.65 cores=0,2,4,6
/proc/25448/task/25468/stat : 25468 (java) R 25445 25448 23715 0 -1 4202560 1537 0 0 0 37423 42 0 0 20 0 22 0 110461241 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943938633552 139944065381662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25469] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25469/stat : 25469 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943937582504 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25470] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25470/stat : 25470 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110461242 10060525568 855684 33554432000 1073741824 1073778376 140735127985568 139943936529704 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 765.27
Current children cumulated vsize (KiB) 9824732

[startup+380.801 s]
/proc/loadavg: 4.21 4.31 4.25 5/217 25477
/proc/meminfo: memFree=23403384/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9824732 CPUtime=766.48 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 30629 0 1 0 76482 166 0 0 20 0 20 0 110461201 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2456183 858786 2303 9 0 2446860 0
[pid=25448/tid=25450] ppid=25445 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/25448/task/25450/stat : 25450 (java) S 25445 25448 23715 0 -1 4202560 2524 0 1 0 37 1 0 0 20 0 20 0 110461202 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139944124662648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25451] ppid=25445 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/25448/task/25451/stat : 25451 (java) S 25445 25448 23715 0 -1 4202560 561 0 0 0 132 15 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139944063392808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25452] ppid=25445 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/25448/task/25452/stat : 25452 (java) S 25445 25448 23715 0 -1 4202560 480 0 0 0 136 14 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139944062340008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/25448/task/25453/stat : 25453 (java) S 25445 25448 23715 0 -1 4202560 742 0 0 0 102 13 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943965571880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/25448/task/25454/stat : 25454 (java) S 25445 25448 23715 0 -1 4202560 517 0 0 0 125 12 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943964519080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25455] ppid=25445 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/25448/task/25455/stat : 25455 (java) S 25445 25448 23715 0 -1 4202560 587 0 0 0 126 14 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943963466280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25456] ppid=25445 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/25448/task/25456/stat : 25456 (java) S 25445 25448 23715 0 -1 4202560 394 0 0 0 125 12 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943962413480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25457] ppid=25445 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/25448/task/25457/stat : 25457 (java) S 25445 25448 23715 0 -1 4202560 510 0 0 0 141 14 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943961360680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25458] ppid=25445 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/25448/task/25458/stat : 25458 (java) S 25445 25448 23715 0 -1 4202560 389 0 0 0 123 14 0 0 20 0 20 0 110461203 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943960307880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25459] ppid=25445 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/25448/task/25459/stat : 25459 (java) S 25445 25448 23715 0 -1 4202560 1794 0 0 0 181 5 0 0 20 0 20 0 110461204 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943948110824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25460] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25460/stat : 25460 (java) S 25445 25448 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 110461205 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943947056888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25461] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25461/stat : 25461 (java) S 25445 25448 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 110461205 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943946003976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25462] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25462/stat : 25462 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 110461208 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943944952464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25463] ppid=25445 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/25448/task/25463/stat : 25463 (java) S 25445 25448 23715 0 -1 4202560 6426 0 0 0 123 0 0 0 20 0 20 0 110461208 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943943899576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25464] ppid=25445 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/25448/task/25464/stat : 25464 (java) S 25445 25448 23715 0 -1 4202560 12809 0 0 0 135 3 0 0 20 0 20 0 110461208 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943942846776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25465] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25465/stat : 25465 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 110461208 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943941794168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25466] ppid=25445 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/25448/task/25466/stat : 25466 (java) S 25445 25448 23715 0 -1 4202560 23 0 0 0 7 7 0 0 20 0 20 0 110461208 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943940741576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25468] ppid=25445 vsize=9824732 CPUtime=375.38 cores=0,2,4,6
/proc/25448/task/25468/stat : 25468 (java) R 25445 25448 23715 0 -1 4202560 1537 0 0 0 37496 42 0 0 20 0 20 0 110461241 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943938633664 139944065428395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25469] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25469/stat : 25469 (java) S 25445 25448 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 110461242 10060525568 858786 33554432000 1073741824 1073778376 140735127985568 139943937582504 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 766.48
Current children cumulated vsize (KiB) 9824732

[startup+381.001 s]
/proc/loadavg: 4.21 4.31 4.25 5/217 25477
/proc/meminfo: memFree=23403384/32872528 swapFree=15784/1434320
[pid=25448] ppid=25445 vsize=9824732 CPUtime=766.72 cores=0,2,4,6
/proc/25448/stat : 25448 (java) S 25445 25448 23715 0 -1 4202496 30633 0 1 0 76499 173 0 0 20 0 19 0 110461201 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 140735127976704 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25448/statm: 2456183 858779 2303 9 0 2446860 0
[pid=25448/tid=25450] ppid=25445 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/25448/task/25450/stat : 25450 (java) S 25445 25448 23715 0 -1 4202560 2524 0 1 0 37 2 0 0 20 0 19 0 110461202 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139944124662488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25451] ppid=25445 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/25448/task/25451/stat : 25451 (java) S 25445 25448 23715 0 -1 4202560 561 0 0 0 132 15 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139944063392808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25452] ppid=25445 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/25448/task/25452/stat : 25452 (java) S 25445 25448 23715 0 -1 4202560 480 0 0 0 136 14 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139944062340008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/25448/task/25453/stat : 25453 (java) S 25445 25448 23715 0 -1 4202560 742 0 0 0 102 13 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943965571880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/25448/task/25454/stat : 25454 (java) S 25445 25448 23715 0 -1 4202560 517 0 0 0 125 12 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943964519080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25448/tid=25455] ppid=25445 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/25448/task/25455/stat : 25455 (java) S 25445 25448 23715 0 -1 4202560 587 0 0 0 126 14 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943963466280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25456] ppid=25445 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/25448/task/25456/stat : 25456 (java) S 25445 25448 23715 0 -1 4202560 394 0 0 0 125 12 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943962413480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25457] ppid=25445 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/25448/task/25457/stat : 25457 (java) S 25445 25448 23715 0 -1 4202560 510 0 0 0 141 14 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943961360680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25458] ppid=25445 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/25448/task/25458/stat : 25458 (java) S 25445 25448 23715 0 -1 4202560 389 0 0 0 123 14 0 0 20 0 19 0 110461203 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943960307880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25459] ppid=25445 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/25448/task/25459/stat : 25459 (java) S 25445 25448 23715 0 -1 4202560 1794 0 0 0 181 5 0 0 20 0 19 0 110461204 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943948110824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25460] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25460/stat : 25460 (java) S 25445 25448 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110461205 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943947056888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25461] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25461/stat : 25461 (java) S 25445 25448 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110461205 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943946003976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25462] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25462/stat : 25462 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110461208 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943944952464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25463] ppid=25445 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/25448/task/25463/stat : 25463 (java) R 25445 25448 23715 0 -1 4202560 6426 0 0 0 126 0 0 0 20 0 19 0 110461208 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943943899456 214373024913 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25448/tid=25464] ppid=25445 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/25448/task/25464/stat : 25464 (java) S 25445 25448 23715 0 -1 4202560 12810 0 0 0 136 3 0 0 20 0 19 0 110461208 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943942846776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25448/tid=25465] ppid=25445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25448/task/25465/stat : 25465 (java) S 25445 25448 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110461208 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943941794168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25448/tid=25466] ppid=25445 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/25448/task/25466/stat : 25466 (java) S 25445 25448 23715 0 -1 4202560 23 0 0 0 7 7 0 0 20 0 19 0 110461208 10060525568 858779 33554432000 1073741824 1073778376 140735127985568 139943940741576 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 766.72
Current children cumulated vsize (KiB) 9824732

Child status: 10
Real time (s): 381.038
CPU time (s): 766.916
CPU user time (s): 765.004
CPU system time (s): 1.91271
CPU usage (%): 201.27
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 765.004
system time used= 1.91271
maximum resident set size= 3435144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30641
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10666
involuntary context switches= 11741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.67659 second user time and 2.89256 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-07 09:41:20
IDJOB=4080504
IDBENCH=90229
IDSOLVER=2543
FILE ID=node130/4080504-1465285280
RUNJOBID= node130-1465277942-23731
PBS_JOBID= 19843313
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080504-1465285280/watcher-4080504-1465285280 -o /tmp/evaluation-result-4080504-1465285280/solver-4080504-1465285280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23731 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080504-1465285280.opb

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=1174460083

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.261
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		: 2666.261
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		: 2666.261
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		: 2666.261
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:        27138932 kB
Buffers:          118384 kB
Cached:           210836 kB
SwapCached:         1724 kB
Active:          3318756 kB
Inactive:         238112 kB
Active(anon):    3229028 kB
Inactive(anon):     1252 kB
Active(file):      89728 kB
Inactive(file):   236860 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098432 kB
Dirty:               488 kB
Writeback:             0 kB
AnonPages:       4661452 kB
Mapped:            15388 kB
Shmem:                 0 kB
Slab:             602124 kB
SReclaimable:      45660 kB
SUnreclaim:       556464 kB
KernelStack:        1632 kB
PageTables:        13296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5142572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4583424 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= 71748 MiB
End job on node130 at 2016-06-07 09:47:41