Trace number 3456318

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j CuttingPlanes 2.3.0SAT (TO)25 1800.36 1789.94

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3456318-1307224383.opb
0.10/0.11	c reading problem ... 
0.71/0.45	c ... done. Wall clock time 0.341s.
0.71/0.45	c #vars     6076
0.71/0.45	c #constraints  21401
0.71/0.45	c constraints type 
0.71/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984
0.71/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411
0.71/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.01/0.54	c SATISFIABLE
1.01/0.54	c OPTIMIZING...
1.01/0.54	c Got one! Elapsed wall clock time (in seconds):0.427
1.01/0.54	o 26
8.77/7.45	c Got one! Elapsed wall clock time (in seconds):7.344
8.77/7.45	o 25
602.64/598.34	c cleaning 0 clauses out of 5135 with flag 0/5135
1800.10/1789.72	c starts		: 37
1800.10/1789.72	c conflicts		: 10509
1800.10/1789.72	c decisions		: 127530
1800.10/1789.72	c propagations		: 1854282
1800.10/1789.72	c inspects		: 563783003
1800.10/1789.72	c shortcuts		: 0
1800.10/1789.72	c learnt literals	: 0
1800.10/1789.72	c learnt binary clauses	: 1
1800.10/1789.72	c learnt ternary clauses	: 0
1800.10/1789.72	c learnt constraints	: 10509
1800.10/1789.72	c ignored constraints	: 0
1800.10/1789.72	c root simplifications	: 0
1800.10/1789.72	c removed literals (reason simplification)	: 0
1800.10/1789.72	c reason swapping (by a shorter reason)	: 0
1800.10/1789.72	c Calls to reduceDB	: 1
1800.10/1789.72	c number of reductions to clauses (during analyze)	: 0
1800.10/1789.73	c number of learned constraints concerned by reduction	: 0
1800.10/1789.73	c number of learning phase by resolution	: 0
1800.10/1789.73	c number of learning phase by cutting planes	: 0
1800.10/1789.73	c speed (assignments/second)	: 1040.4052362466048
1800.10/1789.73	c non guided choices	0
1800.10/1789.73	c learnt constraints type 
1800.10/1789.73	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 111
1800.10/1789.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 136
1800.10/1789.73	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1
1800.10/1789.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10261
1800.10/1789.73	c constraints type 
1800.10/1789.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984
1800.10/1789.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411
1800.10/1789.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.10/1789.73	s SATISFIABLE
1800.10/1789.74	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 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 x5389 x5390 -x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5948 x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 
1800.10/1789.75	c objective function=25
1800.10/1789.75	c Total wall clock time (in seconds): 1789.643

Verifier Data 

OK	25

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3456318-1307224383/watcher-3456318-1307224383 -o /tmp/evaluation-result-3456318-1307224383/solver-3456318-1307224383 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456318-1307224383.opb 

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: 1.95 2.03 2.02 2/548 13301
/proc/meminfo: memFree=11534604/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 3158 0 1 0 0 0 0 0 25 0 2 0 834036969 10694979584 2860 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2611079 2873 917 9 0 2602235 0
[pid=13301/tid=13302] ppid=13299 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 5882 0 1 0 0 0 0 0 25 0 2 0 834036969 10694979584 6699 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0489939 s]
/proc/loadavg: 1.95 2.03 2.02 2/548 13301
/proc/meminfo: memFree=11534604/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 11326 0 1 0 2 1 0 0 25 0 13 0 834036969 10718699520 11023 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2616870 11025 1679 9 0 2607618 0
[pid=13301/tid=13302] ppid=13299 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 10181 0 1 0 2 1 0 0 18 0 13 0 834036969 10718699520 11026 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982378875 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.104993 s]
/proc/loadavg: 1.95 2.03 2.02 2/548 13301
/proc/meminfo: memFree=11534604/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10540212 CPUtime=0.1 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 13070 0 1 0 9 1 0 0 25 0 18 0 834036969 10793177088 12767 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2635053 12768 2092 9 0 2625787 0
[pid=13301/tid=13302] ppid=13299 vsize=10540212 CPUtime=0.08 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 11173 0 1 0 7 1 0 0 18 0 18 0 834036969 10793177088 12768 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540212

[startup+0.304951 s]
/proc/loadavg: 1.95 2.03 2.02 2/548 13301
/proc/meminfo: memFree=11534604/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10541624 CPUtime=0.5 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 16230 0 1 0 48 2 0 0 25 0 18 0 834036969 10794622976 15554 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2635406 15554 2201 9 0 2626140 0
[pid=13301/tid=13302] ppid=13299 vsize=10541624 CPUtime=0.28 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 13169 0 1 0 26 2 0 0 18 0 18 0 834036969 10794622976 15555 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541624

[startup+0.700905 s]
/proc/loadavg: 1.95 2.03 2.02 2/548 13301
/proc/meminfo: memFree=11534604/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10612388 CPUtime=1.5 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 39157 0 1 0 144 6 0 0 25 0 19 0 834036969 10867085312 35415 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2653097 35417 2237 9 0 2643831 0
[pid=13301/tid=13302] ppid=13299 vsize=10612388 CPUtime=0.67 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 28911 0 1 0 63 4 0 0 18 0 19 0 834036969 10867085312 35419 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505878030 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10612388

[startup+1.50077 s]
/proc/loadavg: 1.95 2.03 2.02 3/567 13320
/proc/meminfo: memFree=11261536/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10616688 CPUtime=2.78 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 138260 0 1 0 261 17 0 0 25 0 19 0 834036969 10871488512 133578 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2654172 133586 2237 9 0 2644906 0
[pid=13301/tid=13302] ppid=13299 vsize=10616688 CPUtime=1.46 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 125857 0 1 0 131 15 0 0 18 0 19 0 834036969 10871488512 133589 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505878030 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13301/tid=13304] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13304/stat : 13304 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133593 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13305] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13305/stat : 13305 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133596 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13306] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13306/stat : 13306 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133600 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13307] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13307/stat : 13307 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133604 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13308] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13308/stat : 13308 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133609 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13309] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13309/stat : 13309 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133613 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13310] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13310/stat : 13310 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133616 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13311] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13311/stat : 13311 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 133619 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13312] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13312/stat : 13312 (java) S 13299 13301 12416 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 834036972 10871488512 133623 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 0 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13313] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13313/stat : 13313 (java) S 13299 13301 12416 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 133627 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13314] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13314/stat : 13314 (java) S 13299 13301 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834036973 10871488512 133631 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13315] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13315/stat : 13315 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834036975 10871488512 133636 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982373809 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13316] ppid=13299 vsize=10616688 CPUtime=0.73 cores=0,2,4,6
/proc/13301/task/13316/stat : 13316 (java) S 13299 13301 12416 0 -1 4202560 7392 0 0 0 72 1 0 0 15 0 19 0 834036975 10871488512 133639 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13317] ppid=13299 vsize=10616688 CPUtime=0.57 cores=0,2,4,6
/proc/13301/task/13317/stat : 13317 (java) S 13299 13301 12416 0 -1 4202560 3861 0 0 0 57 0 0 0 15 0 19 0 834036975 10871488512 133643 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13318] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13318/stat : 13318 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834036975 10871488512 133646 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13319] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13319/stat : 13319 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834036975 10871488512 133650 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13320] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13320/stat : 13320 (java) S 13299 13301 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834037016 10871488512 133653 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10616688

[startup+3.10149 s]
/proc/loadavg: 1.95 2.03 2.02 3/567 13320
/proc/meminfo: memFree=10503772/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10616688 CPUtime=4.44 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 369854 0 1 0 401 43 0 0 25 0 19 0 834036969 10871488512 365170 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2654172 365178 2237 9 0 2644906 0
[pid=13301/tid=13302] ppid=13299 vsize=10616688 CPUtime=3.07 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 357443 0 1 0 267 40 0 0 20 0 19 0 834036969 10871488512 365180 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505854001 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13301/tid=13304] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13304/stat : 13304 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365184 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13305] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13305/stat : 13305 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365188 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13306] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13306/stat : 13306 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365190 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13307] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13307/stat : 13307 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365194 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13308] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13308/stat : 13308 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365198 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13309] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13309/stat : 13309 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365199 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13310] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13310/stat : 13310 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365204 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13311] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13311/stat : 13311 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834036971 10871488512 365208 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13312] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13312/stat : 13312 (java) S 13299 13301 12416 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834036972 10871488512 365210 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 0 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13313] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13313/stat : 13313 (java) S 13299 13301 12416 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 365213 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13314] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13314/stat : 13314 (java) S 13299 13301 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834036973 10871488512 365218 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13315] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13315/stat : 13315 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834036975 10871488512 365221 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982373809 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13316] ppid=13299 vsize=10616688 CPUtime=0.75 cores=0,2,4,6
/proc/13301/task/13316/stat : 13316 (java) S 13299 13301 12416 0 -1 4202560 7394 0 0 0 74 1 0 0 15 0 19 0 834036975 10871488512 365222 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13317] ppid=13299 vsize=10616688 CPUtime=0.58 cores=0,2,4,6
/proc/13301/task/13317/stat : 13317 (java) S 13299 13301 12416 0 -1 4202560 3865 0 0 0 58 0 0 0 15 0 19 0 834036975 10871488512 365227 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13318] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13318/stat : 13318 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834036975 10871488512 365231 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13319] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13319/stat : 13319 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834036975 10871488512 365233 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13320] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13320/stat : 13320 (java) S 13299 13301 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834037016 10871488512 365236 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10616688

[startup+6.30095 s]
/proc/loadavg: 1.95 2.03 2.02 3/567 13320
/proc/meminfo: memFree=8901036/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10616688 CPUtime=7.65 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 665088 0 1 0 690 75 0 0 25 0 19 0 834036969 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2654172 658464 2250 9 0 2644906 0
[pid=13301/tid=13302] ppid=13299 vsize=10616688 CPUtime=6.25 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 651128 0 1 0 553 72 0 0 25 0 19 0 834036969 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505836089 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13301/tid=13304] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13304/stat : 13304 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13305] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13305/stat : 13305 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13306] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13306/stat : 13306 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13307] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13307/stat : 13307 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13308] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13308/stat : 13308 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13309] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13309/stat : 13309 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13310] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13310/stat : 13310 (java) S 13299 13301 12416 0 -1 4202560 751 0 0 0 0 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13311] ppid=13299 vsize=10616688 CPUtime=0.01 cores=0,2,4,6
/proc/13301/task/13311/stat : 13311 (java) S 13299 13301 12416 0 -1 4202560 781 0 0 0 1 0 0 0 18 0 19 0 834036971 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13312] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13312/stat : 13312 (java) S 13299 13301 12416 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 834036972 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 0 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13313] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13313/stat : 13313 (java) S 13299 13301 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13314] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13314/stat : 13314 (java) S 13299 13301 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13315] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13315/stat : 13315 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834036975 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982373809 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13316] ppid=13299 vsize=10616688 CPUtime=0.76 cores=0,2,4,6
/proc/13301/task/13316/stat : 13316 (java) S 13299 13301 12416 0 -1 4202560 7394 0 0 0 75 1 0 0 15 0 19 0 834036975 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13317] ppid=13299 vsize=10616688 CPUtime=0.58 cores=0,2,4,6
/proc/13301/task/13317/stat : 13317 (java) S 13299 13301 12416 0 -1 4202560 3865 0 0 0 58 0 0 0 15 0 19 0 834036975 10871488512 658464 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0

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

[pid=13301/tid=13320] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13320/stat : 13320 (java) S 13299 13301 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834037016 10871488512 1068612 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1671.88
Current children cumulated vsize (KiB) 10616688

[startup+1722.32 s]
/proc/loadavg: 2.00 2.02 2.03 3/567 13426
/proc/meminfo: memFree=6758808/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10616688 CPUtime=1732.29 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 1088610 0 1 0 173083 146 0 0 25 0 19 0 834036969 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2654172 1074723 2267 9 0 2644906 0
[pid=13301/tid=13302] ppid=13299 vsize=10616688 CPUtime=1717.99 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 830748 0 1 0 171706 93 0 0 25 0 19 0 834036969 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505930958 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13301/tid=13304] ppid=13299 vsize=10616688 CPUtime=1.63 cores=0,2,4,6
/proc/13301/task/13304/stat : 13304 (java) S 13299 13301 12416 0 -1 4202560 35732 0 0 0 155 8 0 0 15 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13305] ppid=13299 vsize=10616688 CPUtime=1.38 cores=0,2,4,6
/proc/13301/task/13305/stat : 13305 (java) S 13299 13301 12416 0 -1 4202560 29936 0 0 0 133 5 0 0 15 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13306] ppid=13299 vsize=10616688 CPUtime=1.31 cores=0,2,4,6
/proc/13301/task/13306/stat : 13306 (java) S 13299 13301 12416 0 -1 4202560 26654 0 0 0 127 4 0 0 15 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13307] ppid=13299 vsize=10616688 CPUtime=1.52 cores=0,2,4,6
/proc/13301/task/13307/stat : 13307 (java) S 13299 13301 12416 0 -1 4202560 31694 0 0 0 146 6 0 0 16 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13308] ppid=13299 vsize=10616688 CPUtime=1.4 cores=0,2,4,6
/proc/13301/task/13308/stat : 13308 (java) S 13299 13301 12416 0 -1 4202560 31532 0 0 0 134 6 0 0 16 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13309] ppid=13299 vsize=10616688 CPUtime=1.57 cores=0,2,4,6
/proc/13301/task/13309/stat : 13309 (java) S 13299 13301 12416 0 -1 4202560 31847 0 0 0 152 5 0 0 15 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13310] ppid=13299 vsize=10616688 CPUtime=1.55 cores=0,2,4,6
/proc/13301/task/13310/stat : 13310 (java) S 13299 13301 12416 0 -1 4202560 28755 0 0 0 150 5 0 0 16 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13311] ppid=13299 vsize=10616688 CPUtime=1.46 cores=0,2,4,6
/proc/13301/task/13311/stat : 13311 (java) S 13299 13301 12416 0 -1 4202560 28219 0 0 0 140 6 0 0 16 0 19 0 834036971 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13312] ppid=13299 vsize=10616688 CPUtime=0.66 cores=0,2,4,6
/proc/13301/task/13312/stat : 13312 (java) S 13299 13301 12416 0 -1 4202560 371 0 0 0 64 2 0 0 15 0 19 0 834036972 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 0 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13313] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13313/stat : 13313 (java) S 13299 13301 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13314] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13314/stat : 13314 (java) S 13299 13301 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13315] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13315/stat : 13315 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834036975 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982373809 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13316] ppid=13299 vsize=10616688 CPUtime=0.97 cores=0,2,4,6
/proc/13301/task/13316/stat : 13316 (java) S 13299 13301 12416 0 -1 4202560 7971 0 0 0 96 1 0 0 15 0 19 0 834036975 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13317] ppid=13299 vsize=10616688 CPUtime=0.72 cores=0,2,4,6
/proc/13301/task/13317/stat : 13317 (java) S 13299 13301 12416 0 -1 4202560 3900 0 0 0 72 0 0 0 15 0 19 0 834036975 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13318] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13318/stat : 13318 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834036975 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13319] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13319/stat : 13319 (java) S 13299 13301 12416 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 834036975 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13320] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13320/stat : 13320 (java) S 13299 13301 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834037016 10871488512 1074723 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1732.29
Current children cumulated vsize (KiB) 10616688

[startup+1782.3 s]
/proc/loadavg: 2.33 2.12 2.06 3/567 13426
/proc/meminfo: memFree=6732240/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10616688 CPUtime=1792.68 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 1094619 0 1 0 179121 147 0 0 25 0 19 0 834036969 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2654172 1080523 2267 9 0 2644906 0
[pid=13301/tid=13302] ppid=13299 vsize=10616688 CPUtime=1777.8 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 830753 0 1 0 177687 93 0 0 25 0 19 0 834036969 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505801848 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13301/tid=13304] ppid=13299 vsize=10616688 CPUtime=1.7 cores=0,2,4,6
/proc/13301/task/13304/stat : 13304 (java) S 13299 13301 12416 0 -1 4202560 36507 0 0 0 162 8 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13305] ppid=13299 vsize=10616688 CPUtime=1.48 cores=0,2,4,6
/proc/13301/task/13305/stat : 13305 (java) S 13299 13301 12416 0 -1 4202560 31032 0 0 0 143 5 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13306] ppid=13299 vsize=10616688 CPUtime=1.34 cores=0,2,4,6
/proc/13301/task/13306/stat : 13306 (java) S 13299 13301 12416 0 -1 4202560 26666 0 0 0 130 4 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13307] ppid=13299 vsize=10616688 CPUtime=1.61 cores=0,2,4,6
/proc/13301/task/13307/stat : 13307 (java) S 13299 13301 12416 0 -1 4202560 32882 0 0 0 155 6 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13308] ppid=13299 vsize=10616688 CPUtime=1.49 cores=0,2,4,6
/proc/13301/task/13308/stat : 13308 (java) S 13299 13301 12416 0 -1 4202560 32214 0 0 0 143 6 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13309] ppid=13299 vsize=10616688 CPUtime=1.69 cores=0,2,4,6
/proc/13301/task/13309/stat : 13309 (java) S 13299 13301 12416 0 -1 4202560 33164 0 0 0 164 5 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13310] ppid=13299 vsize=10616688 CPUtime=1.6 cores=0,2,4,6
/proc/13301/task/13310/stat : 13310 (java) S 13299 13301 12416 0 -1 4202560 29124 0 0 0 155 5 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13311] ppid=13299 vsize=10616688 CPUtime=1.51 cores=0,2,4,6
/proc/13301/task/13311/stat : 13311 (java) S 13299 13301 12416 0 -1 4202560 28778 0 0 0 145 6 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13312] ppid=13299 vsize=10616688 CPUtime=0.66 cores=0,2,4,6
/proc/13301/task/13312/stat : 13312 (java) S 13299 13301 12416 0 -1 4202560 373 0 0 0 64 2 0 0 15 0 19 0 834036972 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 0 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13313] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13313/stat : 13313 (java) S 13299 13301 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13314] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13314/stat : 13314 (java) S 13299 13301 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13315] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13315/stat : 13315 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982373809 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13316] ppid=13299 vsize=10616688 CPUtime=0.97 cores=0,2,4,6
/proc/13301/task/13316/stat : 13316 (java) S 13299 13301 12416 0 -1 4202560 7971 0 0 0 96 1 0 0 15 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13317] ppid=13299 vsize=10616688 CPUtime=0.72 cores=0,2,4,6
/proc/13301/task/13317/stat : 13317 (java) S 13299 13301 12416 0 -1 4202560 3900 0 0 0 72 0 0 0 15 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13318] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13318/stat : 13318 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13319] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13319/stat : 13319 (java) S 13299 13301 12416 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13320] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13320/stat : 13320 (java) S 13299 13301 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834037016 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1792.68
Current children cumulated vsize (KiB) 10616688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.7 s]
/proc/loadavg: 2.28 2.12 2.06 3/567 13428
/proc/meminfo: memFree=6732236/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=10616688 CPUtime=1800.1 cores=0,2,4,6
/proc/13301/stat : 13301 (java) S 13299 13301 12416 0 -1 4202496 1094619 0 1 0 179863 147 0 0 25 0 19 0 834036969 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 2654172 1080523 2267 9 0 2644906 0
[pid=13301/tid=13302] ppid=13299 vsize=10616688 CPUtime=1785.22 cores=0,2,4,6
/proc/13301/task/13302/stat : 13302 (java) R 13299 13301 12416 0 -1 4202560 830753 0 1 0 178429 93 0 0 25 0 19 0 834036969 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 46912505931167 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13301/tid=13304] ppid=13299 vsize=10616688 CPUtime=1.7 cores=0,2,4,6
/proc/13301/task/13304/stat : 13304 (java) S 13299 13301 12416 0 -1 4202560 36507 0 0 0 162 8 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13305] ppid=13299 vsize=10616688 CPUtime=1.48 cores=0,2,4,6
/proc/13301/task/13305/stat : 13305 (java) S 13299 13301 12416 0 -1 4202560 31032 0 0 0 143 5 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13306] ppid=13299 vsize=10616688 CPUtime=1.34 cores=0,2,4,6
/proc/13301/task/13306/stat : 13306 (java) S 13299 13301 12416 0 -1 4202560 26666 0 0 0 130 4 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13307] ppid=13299 vsize=10616688 CPUtime=1.61 cores=0,2,4,6
/proc/13301/task/13307/stat : 13307 (java) S 13299 13301 12416 0 -1 4202560 32882 0 0 0 155 6 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13308] ppid=13299 vsize=10616688 CPUtime=1.49 cores=0,2,4,6
/proc/13301/task/13308/stat : 13308 (java) S 13299 13301 12416 0 -1 4202560 32214 0 0 0 143 6 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13309] ppid=13299 vsize=10616688 CPUtime=1.69 cores=0,2,4,6
/proc/13301/task/13309/stat : 13309 (java) S 13299 13301 12416 0 -1 4202560 33164 0 0 0 164 5 0 0 16 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13310] ppid=13299 vsize=10616688 CPUtime=1.6 cores=0,2,4,6
/proc/13301/task/13310/stat : 13310 (java) S 13299 13301 12416 0 -1 4202560 29124 0 0 0 155 5 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13311] ppid=13299 vsize=10616688 CPUtime=1.51 cores=0,2,4,6
/proc/13301/task/13311/stat : 13311 (java) S 13299 13301 12416 0 -1 4202560 28778 0 0 0 145 6 0 0 15 0 19 0 834036971 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13312] ppid=13299 vsize=10616688 CPUtime=0.66 cores=0,2,4,6
/proc/13301/task/13312/stat : 13312 (java) S 13299 13301 12416 0 -1 4202560 373 0 0 0 64 2 0 0 15 0 19 0 834036972 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 0 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13313] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13313/stat : 13313 (java) S 13299 13301 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13314] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13314/stat : 13314 (java) S 13299 13301 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834036973 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
[pid=13301/tid=13315] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13315/stat : 13315 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982373809 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13316] ppid=13299 vsize=10616688 CPUtime=0.97 cores=0,2,4,6
/proc/13301/task/13316/stat : 13316 (java) S 13299 13301 12416 0 -1 4202560 7971 0 0 0 96 1 0 0 15 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 0 0 0 0
[pid=13301/tid=13317] ppid=13299 vsize=10616688 CPUtime=0.72 cores=0,2,4,6
/proc/13301/task/13317/stat : 13317 (java) S 13299 13301 12416 0 -1 4202560 3900 0 0 0 72 0 0 0 15 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13318] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13318/stat : 13318 (java) S 13299 13301 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366105 0 4 0 16800975 18446604448880264512 0 0 -1 4 0 0 0
[pid=13301/tid=13319] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13319/stat : 13319 (java) S 13299 13301 12416 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834036975 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 2 0 0 0
[pid=13301/tid=13320] ppid=13299 vsize=10616688 CPUtime=0 cores=0,2,4,6
/proc/13301/task/13320/stat : 13320 (java) S 13299 13301 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834037016 10871488512 1080523 33554432000 1073741824 1073778376 140735862616432 18446744073709551615 242982366720 0 4 0 16800975 18446604448880264512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10616688

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

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

[startup+1789.83 s]
/proc/loadavg: 2.28 2.12 2.06 3/567 13428
/proc/meminfo: memFree=6732236/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/13301/stat : 13301 (java) Z 13299 13301 12416 0 -1 4203548 1094660 0 1 0 179871 152 0 0 17 0 2 0 834036969 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 0 0 0 0 0 0 0
[pid=13301/tid=13318] ppid=13299 vsize=0 CPUtime=0.05 cores=0,2,4,6
/proc/13301/task/13318/stat : 13318 (java) R 13299 13301 12416 0 -1 4203588 1 0 0 0 0 5 0 0 18 0 2 0 834036975 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

[startup+1789.9 s]
/proc/loadavg: 2.28 2.12 2.06 3/567 13428
/proc/meminfo: memFree=6732236/32951132 swapFree=46579808/67111528
[pid=13301] ppid=13299 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/13301/stat : 13301 (java) Z 13299 13301 12416 0 -1 4203548 1094660 0 1 0 179871 160 0 0 17 0 2 0 834036969 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13301/statm: 0 0 0 0 0 0 0
[pid=13301/tid=13318] ppid=13299 vsize=0 CPUtime=0.13 cores=0,2,4,6
/proc/13301/task/13318/stat : 13318 (java) R 13299 13301 12416 0 -1 4203588 1 0 0 0 0 13 0 0 18 0 2 0 834036975 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1789.94
CPU time (s): 1800.36
CPU user time (s): 1798.72
CPU system time (s): 1.64375
CPU usage (%): 100.582
Max. virtual memory (cumulated for all children) (KiB): 10616688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.64375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1094660
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41000
involuntary context switches= 18780

runsolver used 10.6004 second user time and 22.4786 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-04 23:53:03
IDJOB=3456318
IDBENCH=25012
IDSOLVER=1951
FILE ID=node128/3456318-1307224383
RUNJOBID= node128-1307215869-12434
PBS_JOBID= 13509096
Free space on /tmp= 73904 MiB

SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456318-1307224383/watcher-3456318-1307224383 -o /tmp/evaluation-result-3456318-1307224383/solver-3456318-1307224383 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456318-1307224383.opb

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=88104297

node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      11534768 kB
Buffers:        334688 kB
Cached:        3523968 kB
SwapCached:      35620 kB
Active:       12699616 kB
Inactive:      8393532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      11534768 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:    17208428 kB
Mapped:          26072 kB
Slab:           135116 kB
PageTables:     119504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 185151692 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node128 at 2011-06-05 00:22:55