Trace number 3742721

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
PB11: Sat4j Res//CP 2.3.0SAT 18.0693 8.48101

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K78.opb
MD5SUM27e32f10bb4e6a4bffc8a62c113afb72
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 benchmark0.502923
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4290
Total number of constraints4448
Number of constraints which are clauses4370
Number of constraints which are cardinality constraints (but not clauses)78
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint78
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 79
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3742721-1338772681.opb
0.07/0.13	c reading problem ... 
0.78/0.40	c ... done. Wall clock time 0.262s.
0.78/0.40	c #vars     4290
0.78/0.40	c #constraints  4448
0.78/0.40	c constraints type 
0.78/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3598
0.78/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 78
0.78/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 770
0.78/0.40	c constraints type 
0.78/0.40	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 770
0.78/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3598
0.78/0.40	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 78
4.50/1.62	c cleaning 2483 clauses out of 4980 with flag 5000/5000
7.19/2.88	c cleaning 4231 clauses out of 8482 with flag 11000/11000
10.83/4.66	c cleaning 5603 clauses out of 11240 with flag 18000/18000
14.83/6.67	c cleaning 6791 clauses out of 13629 with flag 26003/26003
17.81/8.15	c  And the winner is Resolution
17.94/8.44	c starts		: 53
17.94/8.44	c conflicts		: 32892
17.94/8.44	c decisions		: 381243
17.94/8.44	c propagations		: 9297426
17.94/8.44	c inspects		: 22468032
17.94/8.44	c shortcuts		: 0
17.94/8.44	c learnt literals	: 64
17.94/8.44	c learnt binary clauses	: 1613
17.94/8.44	c learnt ternary clauses	: 1954
17.94/8.44	c learnt constraints	: 32828
17.94/8.44	c ignored constraints	: 0
17.94/8.44	c root simplifications	: 0
17.94/8.44	c removed literals (reason simplification)	: 212408
17.94/8.44	c reason swapping (by a shorter reason)	: 0
17.94/8.44	c Calls to reduceDB	: 4
17.94/8.44	c number of reductions to clauses (during analyze)	: 0
17.94/8.44	c number of learned constraints concerned by reduction	: 0
17.94/8.44	c number of learning phase by resolution	: 0
17.94/8.44	c number of learning phase by cutting planes	: 0
17.94/8.44	c speed (assignments/second)	: 1156684.0009952723
17.94/8.44	c non guided choices	610
17.94/8.44	c learnt constraints type 
17.94/8.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1613
17.94/8.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12107
17.94/8.44	c constraints type 
17.94/8.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3598
17.94/8.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 78
17.94/8.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 770
17.94/8.44	c constraints type 
17.94/8.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 770
17.94/8.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3598
17.94/8.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 78
17.94/8.44	s SATISFIABLE
17.94/8.45	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 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184 -x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4290 
17.94/8.46	c Total wall clock time (in seconds): 8.324

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742721-1338772681/watcher-3742721-1338772681 -o /tmp/evaluation-result-3742721-1338772681/solver-3742721-1338772681 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742721-1338772681.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.91 0.98 1.15 4/174 27008
/proc/meminfo: memFree=25854432/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27008/stat : 27008 (java) D 27004 27008 26965 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 343393584 9515008 184 33554432000 1073741824 1073778376 140737424247824 140737424239048 229355711927 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/27008/statm: 2323 184 142 9 0 71 0

[startup+0.087975 s]
/proc/loadavg: 0.91 0.98 1.15 4/174 27008
/proc/meminfo: memFree=25854432/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11586364 CPUtime=0.06 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 4408 0 1 0 5 1 0 0 20 0 18 0 343393584 11864436736 12771 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2896591 12771 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586364

[startup+0.100297 s]
/proc/loadavg: 0.91 0.98 1.15 4/174 27008
/proc/meminfo: memFree=25854432/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 4472 0 1 0 6 1 0 0 20 0 18 0 343393584 11864465408 12835 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300194 s]
/proc/loadavg: 0.91 0.98 1.15 4/174 27008
/proc/meminfo: memFree=25854432/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11586392 CPUtime=0.52 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 7864 0 1 0 50 2 0 0 20 0 18 0 343393584 11864465408 17422 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2896598 17422 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11586392

[startup+0.700178 s]
/proc/loadavg: 0.91 0.98 1.15 4/174 27008
/proc/meminfo: memFree=25854432/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11854420 CPUtime=1.95 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 13745 0 1 0 191 4 0 0 20 0 22 0 343393584 12138926080 32400 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2963605 32400 2261 9 0 2954292 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 11854420

[startup+1.50085 s]
/proc/loadavg: 1.48 1.10 1.19 10/218 27052
/proc/meminfo: memFree=25499340/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11852648 CPUtime=4.5 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 22008 0 1 0 440 10 0 0 20 0 22 0 343393584 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2963162 89699 2264 9 0 2953849 0
[pid=27008/tid=27012] ppid=27004 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/27008/task/27012/stat : 27012 (java) S 27004 27008 26965 0 -1 4202560 3395 0 1 0 34 2 0 0 20 0 22 0 343393585 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294381950104 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27021] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27021/stat : 27021 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294371011624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27022] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27022/stat : 27022 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294369958824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27023] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27023/stat : 27023 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294216772392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27024] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27024/stat : 27024 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294215719592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27025] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27025/stat : 27025 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294214666792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27026] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27026/stat : 27026 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294213613992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27027] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27027/stat : 27027 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294212561192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27028] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27028/stat : 27028 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294211508392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27030] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27030/stat : 27030 (java) S 27004 27008 26965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294199311336 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27033] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27033/stat : 27033 (java) S 27004 27008 26965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294198257400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27034] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27034/stat : 27034 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294197204488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27035] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27035/stat : 27035 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294196152976 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27037] ppid=27004 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/27008/task/27037/stat : 27037 (java) S 27004 27008 26965 0 -1 4202560 6182 0 0 0 98 2 0 0 20 0 22 0 343393592 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294195100088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27038] ppid=27004 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/27008/task/27038/stat : 27038 (java) S 27004 27008 26965 0 -1 4202560 11012 0 0 0 91 2 0 0 20 0 22 0 343393592 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294194047288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27040] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27040/stat : 27040 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294192994680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27043] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27043/stat : 27043 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294191942088 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27045] ppid=27004 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/27008/task/27045/stat : 27045 (java) R 27004 27008 26965 0 -1 4202560 30 0 0 0 106 0 0 0 20 0 22 0 343393624 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294190888192 140294251743200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27046] ppid=27004 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/27008/task/27046/stat : 27046 (java) R 27004 27008 26965 0 -1 4202560 188 0 0 0 104 4 0 0 20 0 22 0 343393624 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294189834872 140294252236199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27049] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27049/stat : 27049 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294188783016 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27050] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27050/stat : 27050 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 89699 33554432000 1073741824 1073778376 140733797587424 140294187730216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 11852648

[startup+3.10086 s]
/proc/loadavg: 1.48 1.10 1.19 7/218 27052
/proc/meminfo: memFree=25045616/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11852648 CPUtime=7.78 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 22227 0 1 0 759 19 0 0 20 0 22 0 343393584 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2963162 159387 2289 9 0 2953849 0
[pid=27008/tid=27012] ppid=27004 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/27008/task/27012/stat : 27012 (java) S 27004 27008 26965 0 -1 4202560 3396 0 1 0 34 2 0 0 20 0 22 0 343393585 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294381950104 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27021] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27021/stat : 27021 (java) S 27004 27008 26965 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294371011624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27022] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27022/stat : 27022 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294369958824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27023] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27023/stat : 27023 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294216772392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27024] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27024/stat : 27024 (java) S 27004 27008 26965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294215719592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27025] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27025/stat : 27025 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294214666792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27026] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27026/stat : 27026 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294213613992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27027] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27027/stat : 27027 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294212561192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27028] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27028/stat : 27028 (java) S 27004 27008 26965 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294211508392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27030] ppid=27004 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/27008/task/27030/stat : 27030 (java) S 27004 27008 26965 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 22 0 343393589 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294199311336 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27033] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27033/stat : 27033 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294198257400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27034] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27034/stat : 27034 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294197204488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27035] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27035/stat : 27035 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294196152976 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27037] ppid=27004 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/27008/task/27037/stat : 27037 (java) S 27004 27008 26965 0 -1 4202560 6186 0 0 0 102 2 0 0 20 0 22 0 343393592 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294195100088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27038] ppid=27004 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/27008/task/27038/stat : 27038 (java) S 27004 27008 26965 0 -1 4202560 11015 0 0 0 98 2 0 0 20 0 22 0 343393592 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294194047288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27040] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27040/stat : 27040 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294192994680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27043] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27043/stat : 27043 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294191942088 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27045] ppid=27004 vsize=11852648 CPUtime=2.56 cores=1,3,5,7
/proc/27008/task/27045/stat : 27045 (java) R 27004 27008 26965 0 -1 4202560 32 0 0 0 256 0 0 0 20 0 22 0 343393624 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294190888008 140294251743140 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27046] ppid=27004 vsize=11852648 CPUtime=2.58 cores=1,3,5,7
/proc/27008/task/27046/stat : 27046 (java) R 27004 27008 26965 0 -1 4202560 309 0 0 0 248 10 0 0 20 0 22 0 343393624 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294189833000 140294251676755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27049] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27049/stat : 27049 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294188783016 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27050] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27050/stat : 27050 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 159387 33554432000 1073741824 1073778376 140733797587424 140294187730216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 11852648

[startup+6.30087 s]
/proc/loadavg: 1.48 1.10 1.19 6/218 27052
/proc/meminfo: memFree=24382064/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11852648 CPUtime=14.22 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 22346 0 1 0 1399 23 0 0 20 0 22 0 343393584 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2963162 211434 2289 9 0 2953849 0
[pid=27008/tid=27012] ppid=27004 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/27008/task/27012/stat : 27012 (java) S 27004 27008 26965 0 -1 4202560 3397 0 1 0 34 2 0 0 20 0 22 0 343393585 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294381950104 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27021] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27021/stat : 27021 (java) S 27004 27008 26965 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294371011624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27022] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27022/stat : 27022 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294369958824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27023] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27023/stat : 27023 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294216772392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27024] ppid=27004 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27008/task/27024/stat : 27024 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294215719592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27025] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27025/stat : 27025 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294214666792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27026] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27026/stat : 27026 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294213613992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27027] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27027/stat : 27027 (java) S 27004 27008 26965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294212561192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27028] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27028/stat : 27028 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294211508392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27030] ppid=27004 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/27008/task/27030/stat : 27030 (java) S 27004 27008 26965 0 -1 4202560 38 0 0 0 11 0 0 0 20 0 22 0 343393589 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294199311336 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27033] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27033/stat : 27033 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294198257400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27034] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27034/stat : 27034 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294197204488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27035] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27035/stat : 27035 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294196152976 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27037] ppid=27004 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/27008/task/27037/stat : 27037 (java) S 27004 27008 26965 0 -1 4202560 6187 0 0 0 104 2 0 0 20 0 22 0 343393592 12137111552 211434 33554432000 1073741824 1073778376 140733797587424 140294195100088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=27008/tid=27035] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27035/stat : 27035 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294196152976 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27037] ppid=27004 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/27008/task/27037/stat : 27037 (java) S 27004 27008 26965 0 -1 4202560 6188 0 0 0 109 2 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294195100088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27038] ppid=27004 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/27008/task/27038/stat : 27038 (java) S 27004 27008 26965 0 -1 4202560 11030 0 0 0 105 2 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294194047288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27040] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27040/stat : 27040 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294192994680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27043] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27043/stat : 27043 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294191942088 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27045] ppid=27004 vsize=11852648 CPUtime=6.41 cores=1,3,5,7
/proc/27008/task/27045/stat : 27045 (java) R 27004 27008 26965 0 -1 4202560 33 0 0 0 641 0 0 0 20 0 22 0 343393624 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294190887888 140294251886082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27046] ppid=27004 vsize=11852648 CPUtime=6.43 cores=1,3,5,7
/proc/27008/task/27046/stat : 27046 (java) R 27004 27008 26965 0 -1 4202560 410 0 0 0 629 14 0 0 20 0 22 0 343393624 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294189832880 140294251907236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27049] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27049/stat : 27049 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294188783016 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27050] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27050/stat : 27050 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294187730216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 11852648

[startup+7.9009 s]
/proc/loadavg: 1.68 1.15 1.20 6/218 27052
/proc/meminfo: memFree=24181020/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11852648 CPUtime=17.41 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 22383 0 1 0 1717 24 0 0 20 0 22 0 343393584 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2963162 213511 2289 9 0 2953849 0
[pid=27008/tid=27012] ppid=27004 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/27008/task/27012/stat : 27012 (java) S 27004 27008 26965 0 -1 4202560 3397 0 1 0 34 2 0 0 20 0 22 0 343393585 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294381950104 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27021] ppid=27004 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27008/task/27021/stat : 27021 (java) S 27004 27008 26965 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294371011624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27022] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27022/stat : 27022 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294369958824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27023] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27023/stat : 27023 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294216772392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27024] ppid=27004 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27008/task/27024/stat : 27024 (java) S 27004 27008 26965 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294215719592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27025] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27025/stat : 27025 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294214666792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27026] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27026/stat : 27026 (java) S 27004 27008 26965 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294213613992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27027] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27027/stat : 27027 (java) S 27004 27008 26965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294212561192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27028] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27028/stat : 27028 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343393588 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294211508392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27030] ppid=27004 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/27008/task/27030/stat : 27030 (java) S 27004 27008 26965 0 -1 4202560 59 0 0 0 18 0 0 0 20 0 22 0 343393589 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294199311336 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27033] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27033/stat : 27033 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294198257400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27034] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27034/stat : 27034 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343393589 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294197204488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27035] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27035/stat : 27035 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294196152976 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27037] ppid=27004 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/27008/task/27037/stat : 27037 (java) S 27004 27008 26965 0 -1 4202560 6188 0 0 0 109 2 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294195100088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27038] ppid=27004 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/27008/task/27038/stat : 27038 (java) S 27004 27008 26965 0 -1 4202560 11030 0 0 0 105 2 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294194047288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27040] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27040/stat : 27040 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294192994680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27043] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27043/stat : 27043 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343393592 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294191942088 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27045] ppid=27004 vsize=11852648 CPUtime=7.21 cores=1,3,5,7
/proc/27008/task/27045/stat : 27045 (java) R 27004 27008 26965 0 -1 4202560 33 0 0 0 721 0 0 0 20 0 22 0 343393624 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294190887888 140294251857948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27046] ppid=27004 vsize=11852648 CPUtime=7.23 cores=1,3,5,7
/proc/27008/task/27046/stat : 27046 (java) R 27004 27008 26965 0 -1 4202560 410 0 0 0 709 14 0 0 20 0 22 0 343393624 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294189832880 140294251907258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27049] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27049/stat : 27049 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294188783016 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27050] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27050/stat : 27050 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343393625 12137111552 213511 33554432000 1073741824 1073778376 140733797587424 140294187730216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 17.41
Current children cumulated vsize (KiB) 11852648

[startup+8.30086 s]
/proc/loadavg: 1.68 1.15 1.20 6/218 27052
/proc/meminfo: memFree=24181020/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11852648 CPUtime=17.94 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 22384 0 1 0 1769 25 0 0 20 0 19 0 343393584 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2963162 213498 2290 9 0 2953849 0
[pid=27008/tid=27012] ppid=27004 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/27008/task/27012/stat : 27012 (java) S 27004 27008 26965 0 -1 4202560 3397 0 1 0 34 2 0 0 20 0 19 0 343393585 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294381950104 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27021] ppid=27004 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27008/task/27021/stat : 27021 (java) S 27004 27008 26965 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294371011624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27022] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27022/stat : 27022 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294369958824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27023] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27023/stat : 27023 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294216772392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27024] ppid=27004 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27008/task/27024/stat : 27024 (java) S 27004 27008 26965 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294215719592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27025] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27025/stat : 27025 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294214666792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27026] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27026/stat : 27026 (java) S 27004 27008 26965 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294213613992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27027] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27027/stat : 27027 (java) S 27004 27008 26965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294212561192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27028] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27028/stat : 27028 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294211508392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27030] ppid=27004 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/27008/task/27030/stat : 27030 (java) S 27004 27008 26965 0 -1 4202560 59 0 0 0 18 0 0 0 20 0 19 0 343393589 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294199311336 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27033] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27033/stat : 27033 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343393589 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294198257400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27034] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27034/stat : 27034 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343393589 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294197204488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27035] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27035/stat : 27035 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294196152976 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27037] ppid=27004 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/27008/task/27037/stat : 27037 (java) S 27004 27008 26965 0 -1 4202560 6188 0 0 0 109 2 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294195100088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27038] ppid=27004 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/27008/task/27038/stat : 27038 (java) S 27004 27008 26965 0 -1 4202560 11030 0 0 0 105 2 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294194047288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27040] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27040/stat : 27040 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294192994680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27043] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27043/stat : 27043 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294191942088 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27050] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27050/stat : 27050 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343393625 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294187730216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 17.94
Current children cumulated vsize (KiB) 11852648

[startup+8.40107 s]
/proc/loadavg: 1.68 1.15 1.20 6/218 27052
/proc/meminfo: memFree=24181020/32873852 swapFree=6856/6856
[pid=27008] ppid=27004 vsize=11852648 CPUtime=17.94 cores=1,3,5,7
/proc/27008/stat : 27008 (java) S 27004 27008 26965 0 -1 4202496 22384 0 1 0 1769 25 0 0 20 0 19 0 343393584 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140733797578560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27008/statm: 2963162 213498 2290 9 0 2953849 0
[pid=27008/tid=27012] ppid=27004 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/27008/task/27012/stat : 27012 (java) S 27004 27008 26965 0 -1 4202560 3397 0 1 0 34 2 0 0 20 0 19 0 343393585 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294381950104 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27021] ppid=27004 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27008/task/27021/stat : 27021 (java) S 27004 27008 26965 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294371011624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27022] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27022/stat : 27022 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294369958824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27023] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27023/stat : 27023 (java) S 27004 27008 26965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294216772392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27024] ppid=27004 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/27008/task/27024/stat : 27024 (java) S 27004 27008 26965 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294215719592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27025] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27025/stat : 27025 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294214666792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27026] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27026/stat : 27026 (java) S 27004 27008 26965 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294213613992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27027] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27027/stat : 27027 (java) S 27004 27008 26965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294212561192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27008/tid=27028] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27028/stat : 27028 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343393588 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294211508392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27030] ppid=27004 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/27008/task/27030/stat : 27030 (java) S 27004 27008 26965 0 -1 4202560 59 0 0 0 18 0 0 0 20 0 19 0 343393589 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294199311336 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27033] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27033/stat : 27033 (java) S 27004 27008 26965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343393589 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294198257400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27034] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27034/stat : 27034 (java) S 27004 27008 26965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343393589 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294197204488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27035] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27035/stat : 27035 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294196152976 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27037] ppid=27004 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/27008/task/27037/stat : 27037 (java) S 27004 27008 26965 0 -1 4202560 6188 0 0 0 109 2 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294195100088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27008/tid=27038] ppid=27004 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/27008/task/27038/stat : 27038 (java) S 27004 27008 26965 0 -1 4202560 11030 0 0 0 105 2 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294194047288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27040] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27040/stat : 27040 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294192994680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27008/tid=27043] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27043/stat : 27043 (java) S 27004 27008 26965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343393592 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294191942088 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27008/tid=27050] ppid=27004 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/27008/task/27050/stat : 27050 (java) S 27004 27008 26965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343393625 12137111552 213498 33554432000 1073741824 1073778376 140733797587424 140294187730216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 17.94
Current children cumulated vsize (KiB) 11852648

Child status: 10

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.00999832
#  lost CPU user time (s): 0.0199986
#  lost CPU system time (s): -0.01

Real time (s): 8.48101
CPU time (s): 18.0693
CPU user time (s): 17.7293
CPU system time (s): 0.339946
CPU usage (%): 213.055
Max. virtual memory (cumulated for all children) (KiB): 11854420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.7093
system time used= 0.349946
maximum resident set size= 854048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22399
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 712
involuntary context switches= 259

runsolver used 0.009998 second user time and 0.110983 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-04 03:18:01
IDJOB=3742721
IDBENCH=90225
IDSOLVER=2328
FILE ID=node129/3742721-1338772681
RUNJOBID= node129-1338772681-26982
PBS_JOBID= 14636822
Free space on /tmp= 70484 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K78.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742721-1338772681/watcher-3742721-1338772681 -o /tmp/evaluation-result-3742721-1338772681/solver-3742721-1338772681 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742721-1338772681.opb

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

MD5SUM BENCH= 27e32f10bb4e6a4bffc8a62c113afb72
RANDOM SEED=516161543

node129.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.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.91
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.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25854960 kB
Buffers:          476440 kB
Cached:          5643240 kB
SwapCached:            0 kB
Active:          2599100 kB
Inactive:        3530680 kB
Active(anon):       2304 kB
Inactive(anon):    10748 kB
Active(file):    2596796 kB
Inactive(file):  3519932 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1624 kB
Writeback:             0 kB
AnonPages:         17088 kB
Mapped:            13544 kB
Shmem:               204 kB
Slab:             750048 kB
SReclaimable:     192028 kB
SUnreclaim:       558020 kB
KernelStack:        1384 kB
PageTables:         3808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     102796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70484 MiB
End job on node129 at 2012-06-04 03:18:10