Trace number 3717924

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.03 1796.66

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUMfddb3e21e350e2df5161d1678905aa9f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7179
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.2.v20120528
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		501472288
0.07/0.09	c Max memory 		7480803328
0.07/0.09	c Total memory 		504102912
0.07/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5f934ad
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3717924-1338259051.wbo
0.09/0.11	c reading problem ... 
4.78/3.09	c ... done. Wall clock time 2.977s.
4.78/3.09	c declared #vars     5160
4.78/3.09	c internal #vars     517504
4.78/3.09	c #constraints  512627
4.78/3.09	c constraints type 
4.78/3.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 493801
4.78/3.09	c org.sat4j.minisat.constraints.card.MinWatchCard => 141
4.78/3.09	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18684
4.78/3.09	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
4.78/3.09	c 512627 constraints processed.
4.78/3.09	c objective function length is 512344 literals
6.68/4.42	c SATISFIABLE
6.68/4.42	c OPTIMIZING...
6.68/4.42	c Got one! Elapsed wall clock time (in seconds):4.307
6.68/4.42	o 8115
92.60/90.15	c cleaning 2543 clauses out of 5085 with flag 32638/5085
191.91/188.91	c cleaning 4236 clauses out of 8542 with flag 69733/11085
316.29/313.37	c cleaning 5607 clauses out of 11306 with flag 104258/18085
464.29/461.32	c cleaning 6836 clauses out of 13699 with flag 145242/26085
618.79/615.76	c cleaning 7912 clauses out of 15863 with flag 192858/35085
798.47/795.35	c cleaning 8932 clauses out of 17951 with flag 249159/45085
984.03/980.84	c cleaning 10010 clauses out of 20019 with flag 314197/56085
1192.73/1189.53	c cleaning 10979 clauses out of 22009 with flag 381660/68085
1409.03/1405.75	c cleaning 12004 clauses out of 24030 with flag 446593/81085
1648.69/1645.35	c cleaning 13013 clauses out of 26027 with flag 516043/95086
1800.03/1796.61	c starts		: 92
1800.03/1796.61	c conflicts		: 104530
1800.03/1796.61	c decisions		: 3370345
1800.03/1796.61	c propagations		: 4577372439
1800.03/1796.61	c inspects		: 316620736
1800.03/1796.61	c shortcuts		: 0
1800.03/1796.61	c learnt literals	: 0
1800.03/1796.61	c learnt binary clauses	: 0
1800.03/1796.61	c learnt ternary clauses	: 0
1800.03/1796.61	c learnt constraints	: 104530
1800.03/1796.61	c ignored constraints	: 0
1800.03/1796.61	c root simplifications	: 0
1800.03/1796.61	c removed literals (reason simplification)	: 0
1800.03/1796.61	c reason swapping (by a shorter reason)	: 0
1800.03/1796.61	c Calls to reduceDB	: 10
1800.03/1796.61	c Number of update (reduction) of LBD	: 22965
1800.03/1796.61	c number of reductions to clauses (during analyze)	: 0
1800.03/1796.61	c number of learned constraints concerned by reduction	: 0
1800.03/1796.61	c number of learning phase by resolution	: 0
1800.03/1796.61	c number of learning phase by cutting planes	: 0
1800.03/1796.61	c speed (assignments/second)	: 2552444.330627565
1800.03/1796.61	c non guided choices	57
1800.03/1796.62	c learnt constraints type 
1800.03/1796.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22458
1800.03/1796.62	c constraints type 
1800.03/1796.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 493801
1800.03/1796.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 141
1800.03/1796.62	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18684
1800.03/1796.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.03/1796.62	c 512628 constraints processed.
1800.03/1796.62	s SATISFIABLE
1800.03/1796.63	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 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 
1800.03/1796.64	c objective function=8115
1800.03/1796.64	c Total wall clock time (in seconds): 1796.528

Verifier Data 

OK	7179

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.27 2.07 2.01 2/194 20758
/proc/meminfo: memFree=28516168/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/20758/stat : 20758 (java) R 20756 20758 16905 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 292030173 23793664 712 33554432000 1073741824 1073778376 140734814372144 140734814361208 227132093879 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 5809 712 526 9 0 128 0

[startup+0.085301 s]
/proc/loadavg: 2.27 2.07 2.01 2/194 20758
/proc/meminfo: memFree=28516168/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 3665 0 1 0 7 0 0 0 20 0 18 0 292030173 9787817984 4875 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2389604 4876 1934 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558416

[startup+0.100259 s]
/proc/loadavg: 2.27 2.07 2.01 2/194 20758
/proc/meminfo: memFree=28516168/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 4279 0 1 0 9 0 0 0 20 0 18 0 292030173 9787817984 5485 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2389604 5485 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300256 s]
/proc/loadavg: 2.27 2.07 2.01 2/194 20758
/proc/meminfo: memFree=28516168/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9558416 CPUtime=0.54 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 7589 0 1 0 53 1 0 0 20 0 18 0 292030173 9787817984 11180 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2389604 11180 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558416

[startup+0.700256 s]
/proc/loadavg: 2.27 2.07 2.01 2/194 20758
/proc/meminfo: memFree=28516168/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9558416 CPUtime=1.3 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 9507 0 1 0 124 6 0 0 20 0 18 0 292030173 9787817984 45813 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2389604 45813 2249 9 0 2380296 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9558416

[startup+1.50076 s]
/proc/loadavg: 2.27 2.07 2.01 3/212 20776
/proc/meminfo: memFree=28296900/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9558416 CPUtime=2.49 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 10301 0 1 0 228 21 0 0 20 0 18 0 292030173 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2389604 99607 2249 9 0 2380296 0
[pid=20758/tid=20760] ppid=20756 vsize=9558416 CPUtime=1.31 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) R 20756 20758 16905 0 -1 4202560 2571 0 1 0 126 5 0 0 20 0 18 0 292030173 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114486771048 140114332656059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20761] ppid=20756 vsize=9558416 CPUtime=0.06 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20758 16905 0 -1 4202560 50 0 0 0 4 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114459224360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20762] ppid=20756 vsize=9558416 CPUtime=0.06 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20758 16905 0 -1 4202560 142 0 0 0 4 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114458171560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20763] ppid=20756 vsize=9558416 CPUtime=0.05 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20758 16905 0 -1 4202560 151 0 0 0 3 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114457119272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20764] ppid=20756 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20758 16905 0 -1 4202560 51 0 0 0 5 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114456066472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20765] ppid=20756 vsize=9558416 CPUtime=0.06 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20758 16905 0 -1 4202560 75 0 0 0 4 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114455014184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20766] ppid=20756 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20758 16905 0 -1 4202560 47 0 0 0 5 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114453961384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20767] ppid=20756 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20758 16905 0 -1 4202560 125 0 0 0 5 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114452909096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20768] ppid=20756 vsize=9558416 CPUtime=0.06 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20758 16905 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 18 0 292030174 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140114451856296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20769] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20758 16905 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 292030175 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113839360232 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20770] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20758 16905 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 292030176 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113838306296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20771] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20758 16905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 292030176 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113837253896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20772] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292030178 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113836202384 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20773] ppid=20756 vsize=9558416 CPUtime=0.27 cores=0,2,4,6
/proc/20758/task/20773/stat : 20773 (java) S 20756 20758 16905 0 -1 4202560 2569 0 0 0 27 0 0 0 20 0 18 0 292030178 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113835150008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20774] ppid=20756 vsize=9558416 CPUtime=0.25 cores=0,2,4,6
/proc/20758/task/20774/stat : 20774 (java) S 20756 20758 16905 0 -1 4202560 3108 0 0 0 25 0 0 0 20 0 18 0 292030178 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113834097208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20775] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20775/stat : 20775 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292030178 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113833045112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20776] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20776/stat : 20776 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292030178 9787817984 99607 33554432000 1073741824 1073778376 140734814372144 140113831992520 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9558416

[startup+3.10068 s]
/proc/loadavg: 2.27 2.07 2.01 3/212 20776
/proc/meminfo: memFree=28053812/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9558416 CPUtime=4.91 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 12079 0 1 0 451 40 0 0 20 0 18 0 292030173 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2389604 200283 2259 9 0 2380296 0
[pid=20758/tid=20760] ppid=20756 vsize=9558416 CPUtime=2.64 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) R 20756 20758 16905 0 -1 4202560 2863 0 1 0 256 8 0 0 20 0 18 0 292030173 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114486771384 140114332334564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20761] ppid=20756 vsize=9558416 CPUtime=0.19 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20758 16905 0 -1 4202560 108 0 0 0 15 4 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114459224360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20762] ppid=20756 vsize=9558416 CPUtime=0.19 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20758 16905 0 -1 4202560 332 0 0 0 15 4 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114458171560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20763] ppid=20756 vsize=9558416 CPUtime=0.18 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20758 16905 0 -1 4202560 425 0 0 0 15 3 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114457119272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20764] ppid=20756 vsize=9558416 CPUtime=0.22 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20758 16905 0 -1 4202560 117 0 0 0 18 4 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114456066472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20765] ppid=20756 vsize=9558416 CPUtime=0.16 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20758 16905 0 -1 4202560 465 0 0 0 12 4 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114455014184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20766] ppid=20756 vsize=9558416 CPUtime=0.25 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20758 16905 0 -1 4202560 109 0 0 0 20 5 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114453961384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20767] ppid=20756 vsize=9558416 CPUtime=0.16 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20758 16905 0 -1 4202560 152 0 0 0 12 4 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114452909096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20768] ppid=20756 vsize=9558416 CPUtime=0.18 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20758 16905 0 -1 4202560 107 0 0 0 14 4 0 0 20 0 18 0 292030174 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140114451856296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20769] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20758 16905 0 -1 4202560 549 0 0 0 0 0 0 0 20 0 18 0 292030175 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113839360232 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20770] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20758 16905 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 292030176 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113838306296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20771] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20758 16905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 292030176 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113837253896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20772] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292030178 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113836202384 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20773] ppid=20756 vsize=9558416 CPUtime=0.31 cores=0,2,4,6
/proc/20758/task/20773/stat : 20773 (java) R 20756 20758 16905 0 -1 4202560 2571 0 0 0 31 0 0 0 20 0 18 0 292030178 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113835150008 140114494506587 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20774] ppid=20756 vsize=9558416 CPUtime=0.28 cores=0,2,4,6
/proc/20758/task/20774/stat : 20774 (java) S 20756 20758 16905 0 -1 4202560 3108 0 0 0 28 0 0 0 20 0 18 0 292030178 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113834097208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20775] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20775/stat : 20775 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292030178 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113833045112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20776] ppid=20756 vsize=9558416 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20776/stat : 20776 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292030178 9787817984 200283 33554432000 1073741824 1073778376 140734814372144 140113831992520 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 9558416

[startup+6.30072 s]
/proc/loadavg: 2.25 2.07 2.01 3/213 20777
/proc/meminfo: memFree=27719676/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9624980 CPUtime=8.76 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 14273 0 1 0 836 40 0 0 20 0 19 0 292030173 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2406245 200685 2268 9 0 2396937 0
[pid=20758/tid=20760] ppid=20756 vsize=9624980 CPUtime=5.84 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) R 20756 20758 16905 0 -1 4202560 2869 0 1 0 576 8 0 0 20 0 19 0 292030173 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114486770208 140114333078184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20761] ppid=20756 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20758 16905 0 -1 4202560 108 0 0 0 15 4 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114459224360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20762] ppid=20756 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20758 16905 0 -1 4202560 332 0 0 0 15 4 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114458171560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20763] ppid=20756 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20758 16905 0 -1 4202560 425 0 0 0 15 3 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114457119272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20764] ppid=20756 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20758 16905 0 -1 4202560 117 0 0 0 18 4 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114456066472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20765] ppid=20756 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20758 16905 0 -1 4202560 465 0 0 0 12 4 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114455014184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20766] ppid=20756 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20758 16905 0 -1 4202560 109 0 0 0 20 5 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114453961384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20767] ppid=20756 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20758 16905 0 -1 4202560 152 0 0 0 12 4 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114452909096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20768] ppid=20756 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20758 16905 0 -1 4202560 107 0 0 0 14 4 0 0 20 0 19 0 292030174 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140114451856296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20769] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20758 16905 0 -1 4202560 550 0 0 0 0 0 0 0 20 0 19 0 292030175 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113839360232 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20770] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20758 16905 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113838306296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20771] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20758 16905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113837253896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20772] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113836202384 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20773] ppid=20756 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/20758/task/20773/stat : 20773 (java) S 20756 20758 16905 0 -1 4202560 4746 0 0 0 68 2 0 0 20 0 19 0 292030178 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113835150008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20774] ppid=20756 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/20758/task/20774/stat : 20774 (java) S 20756 20758 16905 0 -1 4202560 3113 0 0 0 55 0 0 0 20 0 19 0 292030178 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113834097208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20775] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20775/stat : 20775 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113833045112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20776] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20776/stat : 20776 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113831992520 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20777] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20777/stat : 20777 (java) S 20756 20758 16905 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292030501 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140113830937512 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.76
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]
/proc/loadavg: 2.23 2.06 2.01 3/213 20777
/proc/meminfo: memFree=27719328/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9624980 CPUtime=15.19 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 14274 0 1 0 1478 41 0 0 20 0 19 0 292030173 9855979520 200685 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0

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

[pid=20758/tid=20773] ppid=20756 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/20758/task/20773/stat : 20773 (java) S 20756 20758 16905 0 -1 4202560 4857 0 0 0 78 2 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113835150008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20774] ppid=20756 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/20758/task/20774/stat : 20774 (java) S 20756 20758 16905 0 -1 4202560 3123 0 0 0 63 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113834097208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20775] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20775/stat : 20775 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113833045112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20776] ppid=20756 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/20758/task/20776/stat : 20776 (java) S 20756 20758 16905 0 -1 4202560 95 0 0 0 45 23 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113831992520 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20777] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20777/stat : 20777 (java) S 20756 20758 16905 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292030501 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113830937512 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.7
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 20814
/proc/meminfo: memFree=27342404/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9624980 CPUtime=1725.71 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 14988 0 1 0 172492 79 0 0 20 0 19 0 292030173 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2406245 289760 2282 9 0 2396937 0
[pid=20758/tid=20760] ppid=20756 vsize=9624980 CPUtime=1708.64 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) R 20756 20758 16905 0 -1 4202560 2878 0 1 0 170831 33 0 0 20 0 19 0 292030173 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114486772000 140114333236571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20761] ppid=20756 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20758 16905 0 -1 4202560 189 0 0 0 30 7 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114459224360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20762] ppid=20756 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20758 16905 0 -1 4202560 414 0 0 0 27 8 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114458171560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20763] ppid=20756 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20758 16905 0 -1 4202560 490 0 0 0 30 6 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114457119272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20764] ppid=20756 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20758 16905 0 -1 4202560 124 0 0 0 22 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114456066472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20765] ppid=20756 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20758 16905 0 -1 4202560 472 0 0 0 18 4 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114455014184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20766] ppid=20756 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20758 16905 0 -1 4202560 120 0 0 0 27 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114453961384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20767] ppid=20756 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20758 16905 0 -1 4202560 185 0 0 0 19 4 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114452909096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20768] ppid=20756 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20758 16905 0 -1 4202560 116 0 0 0 21 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114451856296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20769] ppid=20756 vsize=9624980 CPUtime=8.26 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20758 16905 0 -1 4202560 742 0 0 0 822 4 0 0 20 0 19 0 292030175 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113839360232 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20770] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20758 16905 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113838306296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20771] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20758 16905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113837253896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20772] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113836202384 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20773] ppid=20756 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/20758/task/20773/stat : 20773 (java) S 20756 20758 16905 0 -1 4202560 4857 0 0 0 78 2 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113835150008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20774] ppid=20756 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/20758/task/20774/stat : 20774 (java) S 20756 20758 16905 0 -1 4202560 3123 0 0 0 63 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113834097208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20775] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20775/stat : 20775 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113833045112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20776] ppid=20756 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/20758/task/20776/stat : 20776 (java) S 20756 20758 16905 0 -1 4202560 99 0 0 0 48 23 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113831992520 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20777] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20777/stat : 20777 (java) S 20756 20758 16905 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292030501 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113830937512 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.71
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 1.97 2.00 2.00 2/189 20841
/proc/meminfo: memFree=27601668/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9624980 CPUtime=1785.72 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 14992 0 1 0 178492 80 0 0 20 0 19 0 292030173 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2406245 289760 2282 9 0 2396937 0
[pid=20758/tid=20760] ppid=20756 vsize=9624980 CPUtime=1768.48 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) R 20756 20758 16905 0 -1 4202560 2878 0 1 0 176814 34 0 0 20 0 19 0 292030173 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114486772000 140114333246033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20761] ppid=20756 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20758 16905 0 -1 4202560 189 0 0 0 30 7 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114459224360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20762] ppid=20756 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20758 16905 0 -1 4202560 414 0 0 0 27 8 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114458171560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20763] ppid=20756 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20758 16905 0 -1 4202560 490 0 0 0 30 6 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114457119272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20764] ppid=20756 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20758 16905 0 -1 4202560 124 0 0 0 22 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114456066472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20765] ppid=20756 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20758 16905 0 -1 4202560 472 0 0 0 18 4 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114455014184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20766] ppid=20756 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20758 16905 0 -1 4202560 120 0 0 0 27 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114453961384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20767] ppid=20756 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20758 16905 0 -1 4202560 185 0 0 0 19 4 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114452909096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20768] ppid=20756 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20758 16905 0 -1 4202560 116 0 0 0 21 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114451856296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20769] ppid=20756 vsize=9624980 CPUtime=8.27 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20758 16905 0 -1 4202560 742 0 0 0 823 4 0 0 20 0 19 0 292030175 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113839360232 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20770] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20758 16905 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113838306296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20771] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20758 16905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113837253896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20772] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113836202384 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20773] ppid=20756 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/20758/task/20773/stat : 20773 (java) S 20756 20758 16905 0 -1 4202560 4857 0 0 0 78 2 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113835150008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20774] ppid=20756 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/20758/task/20774/stat : 20774 (java) S 20756 20758 16905 0 -1 4202560 3123 0 0 0 63 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113834097208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20775] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20775/stat : 20775 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113833045112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20776] ppid=20756 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/20758/task/20776/stat : 20776 (java) S 20756 20758 16905 0 -1 4202560 103 0 0 0 49 24 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113831992520 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20777] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20777/stat : 20777 (java) S 20756 20758 16905 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292030501 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113830937512 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.72
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 1.75 1.95 1.98 2/189 20841
/proc/meminfo: memFree=27601724/32873844 swapFree=7116/7116
[pid=20758] ppid=20756 vsize=9624980 CPUtime=1800.03 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20758 16905 0 -1 4202496 14992 0 1 0 179923 80 0 0 20 0 19 0 292030173 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140734814363280 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20758/statm: 2406245 289760 2282 9 0 2396937 0
[pid=20758/tid=20760] ppid=20756 vsize=9624980 CPUtime=1782.75 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) R 20756 20758 16905 0 -1 4202560 2878 0 1 0 178240 35 0 0 20 0 19 0 292030173 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114486772000 140114333241906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20761] ppid=20756 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20758 16905 0 -1 4202560 189 0 0 0 30 7 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114459224360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20762] ppid=20756 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20758 16905 0 -1 4202560 414 0 0 0 27 8 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114458171560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20763] ppid=20756 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20758 16905 0 -1 4202560 490 0 0 0 30 6 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114457119272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20764] ppid=20756 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20758 16905 0 -1 4202560 124 0 0 0 22 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114456066472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20765] ppid=20756 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20758 16905 0 -1 4202560 472 0 0 0 18 4 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114455014184 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20766] ppid=20756 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20758 16905 0 -1 4202560 120 0 0 0 27 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114453961384 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20767] ppid=20756 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20758 16905 0 -1 4202560 185 0 0 0 19 4 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114452909096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20768] ppid=20756 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20758 16905 0 -1 4202560 116 0 0 0 21 5 0 0 20 0 19 0 292030174 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140114451856296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20758/tid=20769] ppid=20756 vsize=9624980 CPUtime=8.27 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20758 16905 0 -1 4202560 742 0 0 0 823 4 0 0 20 0 19 0 292030175 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113839360232 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20770] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20758 16905 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113838306296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20771] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20758 16905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292030176 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113837253896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20772] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113836202384 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20758/tid=20773] ppid=20756 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/20758/task/20773/stat : 20773 (java) S 20756 20758 16905 0 -1 4202560 4857 0 0 0 78 2 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113835150008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20774] ppid=20756 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/20758/task/20774/stat : 20774 (java) S 20756 20758 16905 0 -1 4202560 3123 0 0 0 63 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113834097208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20775] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20775/stat : 20775 (java) S 20756 20758 16905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113833045112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20758/tid=20776] ppid=20756 vsize=9624980 CPUtime=0.74 cores=0,2,4,6
/proc/20758/task/20776/stat : 20776 (java) S 20756 20758 16905 0 -1 4202560 103 0 0 0 49 25 0 0 20 0 19 0 292030178 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113831992520 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20758/tid=20777] ppid=20756 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20777/stat : 20777 (java) S 20756 20758 16905 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292030501 9855979520 289760 33554432000 1073741824 1073778376 140734814372144 140113830937512 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20758 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=729159
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=242811
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.66
CPU time (s): 1800.03
CPU user time (s): 1799.23
CPU system time (s): 0.8
CPU usage (%): 100.188
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 1.24281
maximum resident set size= 1159192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15034
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38390
involuntary context switches= 13617

runsolver used 6.17906 second user time and 15.1347 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-29 04:37:31
IDJOB=3717924
IDBENCH=79643
IDSOLVER=2301
FILE ID=node138/3717924-1338259051
RUNJOBID= node138-1338259029-20655
PBS_JOBID= 14624649
Free space on /tmp= 71476 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717924-1338259051/watcher-3717924-1338259051 -o /tmp/evaluation-result-3717924-1338259051/solver-3717924-1338259051 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3717924-1338259051.wbo

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

MD5SUM BENCH= fddb3e21e350e2df5161d1678905aa9f
RANDOM SEED=935364589

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28516432 kB
Buffers:          669848 kB
Cached:          2534260 kB
SwapCached:          208 kB
Active:          1439484 kB
Inactive:        2020616 kB
Active(anon):     237756 kB
Inactive(anon):    11368 kB
Active(file):    1201728 kB
Inactive(file):  2009248 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             17444 kB
Writeback:            20 kB
AnonPages:        255476 kB
Mapped:            22528 kB
Shmem:               200 kB
Slab:             755048 kB
SReclaimable:     196908 kB
SUnreclaim:       558140 kB
KernelStack:        1608 kB
PageTables:         4256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71476 MiB
End job on node138 at 2012-05-29 05:07:30