Trace number 3717922

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph05_wcsp.wbo
MD5SUM16314cc1180b662b2cbfb0443cd0a158
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark22403
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3708
Total number of constraints521269
Number of soft constraints521169
Number of constraints which are clauses521169
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 229599
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 117319947
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120528
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
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 lightweight component caching from RSAT 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 2 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-3717922-1338259039.wbo
0.10/0.11	c reading problem ... 
5.24/3.23	c ... done. Wall clock time 3.126s.
5.24/3.23	c declared #vars     3708
5.24/3.23	c internal #vars     524877
5.24/3.23	c #constraints  521370
5.24/3.23	c constraints type 
5.24/3.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 521269
5.24/3.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
5.24/3.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
5.24/3.23	c 521370 constraints processed.
5.24/3.23	c objective function length is 521169 literals
9.81/7.34	c SATISFIABLE
9.81/7.34	c OPTIMIZING...
9.81/7.34	c Got one! Elapsed wall clock time (in seconds):7.232
9.81/7.34	o 32842
101.35/98.63	c cleaning 2715 clauses out of 5430 with flag 32840/5430
198.77/195.49	c cleaning 4358 clauses out of 8715 with flag 76059/11430
309.52/306.18	c cleaning 5675 clauses out of 11357 with flag 125383/18430
441.01/437.55	c cleaning 6834 clauses out of 13682 with flag 182208/26430
588.68/585.06	c cleaning 7909 clauses out of 15848 with flag 256715/35430
765.04/761.21	c cleaning 8934 clauses out of 17939 with flag 361995/45430
963.94/960.00	c cleaning 9970 clauses out of 20005 with flag 488823/56430
1197.83/1193.71	c cleaning 10995 clauses out of 22036 with flag 597240/68431
1474.63/1470.36	c cleaning 11989 clauses out of 24040 with flag 753243/81430
1759.71/1755.22	c cleaning 12989 clauses out of 26051 with flag 892593/95430
1800.03/1795.51	c starts		: 91
1800.03/1795.51	c conflicts		: 97380
1800.03/1795.51	c decisions		: 9103736
1800.03/1795.51	c propagations		: 5983034441
1800.03/1795.51	c inspects		: 228970282
1800.03/1795.51	c shortcuts		: 0
1800.03/1795.51	c learnt literals	: 0
1800.03/1795.51	c learnt binary clauses	: 0
1800.03/1795.51	c learnt ternary clauses	: 0
1800.03/1795.51	c learnt constraints	: 97380
1800.03/1795.51	c ignored constraints	: 0
1800.03/1795.51	c root simplifications	: 0
1800.03/1795.51	c removed literals (reason simplification)	: 0
1800.03/1795.51	c reason swapping (by a shorter reason)	: 0
1800.03/1795.51	c Calls to reduceDB	: 10
1800.03/1795.51	c Number of update (reduction) of LBD	: 53175
1800.03/1795.51	c number of reductions to clauses (during analyze)	: 0
1800.03/1795.51	c number of learned constraints concerned by reduction	: 0
1800.03/1795.51	c number of learning phase by resolution	: 0
1800.03/1795.51	c number of learning phase by cutting planes	: 0
1800.03/1795.51	c speed (assignments/second)	: 3338597.853332441
1800.03/1795.51	c non guided choices	252536
1800.03/1795.52	c learnt constraints type 
1800.03/1795.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15012
1800.03/1795.52	c constraints type 
1800.03/1795.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 521269
1800.03/1795.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
1800.03/1795.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.03/1795.52	c 521371 constraints processed.
1800.03/1795.52	s SATISFIABLE
1800.03/1795.53	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 
1800.03/1795.54	c objective function=32842
1800.03/1795.54	c Total wall clock time (in seconds): 1795.432

Verifier Data 

OK	22403

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717922-1338259039/watcher-3717922-1338259039 -o /tmp/evaluation-result-3717922-1338259039/solver-3717922-1338259039 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717922-1338259039.wbo 

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

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


[startup+0 s]
/proc/loadavg: 4.60 3.50 2.62 3/174 1344
/proc/meminfo: memFree=31583388/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/1344/stat : 1344 (java) R 1342 1344 28184 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 292032515 23793664 251 33554432000 1073741824 1073778376 140734556105120 140734556094184 245285042739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 5809 263 206 9 0 128 0

[startup+0.0207901 s]
/proc/loadavg: 4.60 3.50 2.62 3/174 1344
/proc/meminfo: memFree=31583388/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 2805 0 1 0 0 0 0 0 20 0 10 0 292032515 9233014784 2993 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2254154 2993 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100274 s]
/proc/loadavg: 4.60 3.50 2.62 3/174 1344
/proc/meminfo: memFree=31583388/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 4442 0 1 0 9 1 0 0 20 0 18 0 292032515 9787817984 5108 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2389604 5108 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300198 s]
/proc/loadavg: 4.60 3.50 2.62 3/174 1344
/proc/meminfo: memFree=31583388/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9558416 CPUtime=0.53 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 6015 0 1 0 51 2 0 0 20 0 18 0 292032515 9787817984 9546 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2389604 9546 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558416

[startup+0.700282 s]
/proc/loadavg: 4.60 3.50 2.62 3/174 1344
/proc/meminfo: memFree=31583388/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9558416 CPUtime=1.33 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 9094 0 1 0 126 7 0 0 20 0 18 0 292032515 9787817984 45312 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2389604 45312 2249 9 0 2380296 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9558416

[startup+1.50082 s]
/proc/loadavg: 4.60 3.50 2.62 3/212 1395
/proc/meminfo: memFree=31199012/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9558416 CPUtime=2.61 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 9884 0 1 0 234 27 0 0 20 0 18 0 292032515 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2389604 98580 2249 9 0 2380296 0
[pid=1344/tid=1345] ppid=1342 vsize=9558416 CPUtime=1.27 cores=1,3,5,7
/proc/1344/task/1345/stat : 1345 (java) R 1342 1344 28184 0 -1 4202560 2614 0 1 0 122 5 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755222945192 139755095652528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1347] ppid=1342 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/1344/task/1347/stat : 1347 (java) S 1342 1344 28184 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755066838056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1348] ppid=1342 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/1344/task/1348/stat : 1348 (java) S 1342 1344 28184 0 -1 4202560 107 0 0 0 6 3 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755065785256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1349] ppid=1342 vsize=9558416 CPUtime=0.04 cores=1,3,5,7
/proc/1344/task/1349/stat : 1349 (java) S 1342 1344 28184 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755064732456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1350] ppid=1342 vsize=9558416 CPUtime=0.12 cores=1,3,5,7
/proc/1344/task/1350/stat : 1350 (java) S 1342 1344 28184 0 -1 4202560 179 0 0 0 8 4 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755063679656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1351] ppid=1342 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/1344/task/1351/stat : 1351 (java) S 1342 1344 28184 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755062626856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1354] ppid=1342 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/1344/task/1354/stat : 1354 (java) S 1342 1344 28184 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755061574056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1355] ppid=1342 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/1344/task/1355/stat : 1355 (java) S 1342 1344 28184 0 -1 4202560 148 0 0 0 7 3 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755060521256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1356] ppid=1342 vsize=9558416 CPUtime=0.12 cores=1,3,5,7
/proc/1344/task/1356/stat : 1356 (java) S 1342 1344 28184 0 -1 4202560 118 0 0 0 9 3 0 0 20 0 18 0 292032516 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755059468456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1357] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1357/stat : 1357 (java) S 1342 1344 28184 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 292032518 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755047058408 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1358] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1358/stat : 1358 (java) S 1342 1344 28184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 292032518 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755046004472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1359] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1359/stat : 1359 (java) S 1342 1344 28184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 292032518 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755044951560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1360] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1360/stat : 1360 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292032521 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755043900048 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1361] ppid=1342 vsize=9558416 CPUtime=0.27 cores=1,3,5,7
/proc/1344/task/1361/stat : 1361 (java) S 1342 1344 28184 0 -1 4202560 2712 0 0 0 27 0 0 0 20 0 18 0 292032521 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755042847160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1362] ppid=1342 vsize=9558416 CPUtime=0.24 cores=1,3,5,7
/proc/1344/task/1362/stat : 1362 (java) S 1342 1344 28184 0 -1 4202560 2511 0 0 0 24 0 0 0 20 0 18 0 292032521 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755041794360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1363] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1363/stat : 1363 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292032521 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755040741752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1364] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1364/stat : 1364 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292032521 9787817984 98580 33554432000 1073741824 1073778376 140734556105120 139755039689160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9558416

[startup+3.10068 s]
/proc/loadavg: 4.60 3.50 2.62 10/212 1395
/proc/meminfo: memFree=30697132/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9558416 CPUtime=5.1 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 11145 0 1 0 453 57 0 0 20 0 18 0 292032515 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2389604 203342 2259 9 0 2380296 0
[pid=1344/tid=1345] ppid=1342 vsize=9558416 CPUtime=2.57 cores=1,3,5,7
/proc/1344/task/1345/stat : 1345 (java) R 1342 1344 28184 0 -1 4202560 2910 0 1 0 247 10 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755222945080 139755095323632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1347] ppid=1342 vsize=9558416 CPUtime=0.18 cores=1,3,5,7
/proc/1344/task/1347/stat : 1347 (java) S 1342 1344 28184 0 -1 4202560 83 0 0 0 13 5 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755066838056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1348] ppid=1342 vsize=9558416 CPUtime=0.24 cores=1,3,5,7
/proc/1344/task/1348/stat : 1348 (java) S 1342 1344 28184 0 -1 4202560 169 0 0 0 18 6 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755065785256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1349] ppid=1342 vsize=9558416 CPUtime=0.17 cores=1,3,5,7
/proc/1344/task/1349/stat : 1349 (java) S 1342 1344 28184 0 -1 4202560 92 0 0 0 13 4 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755064732456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1350] ppid=1342 vsize=9558416 CPUtime=0.32 cores=1,3,5,7
/proc/1344/task/1350/stat : 1350 (java) S 1342 1344 28184 0 -1 4202560 236 0 0 0 24 8 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755063679656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1351] ppid=1342 vsize=9558416 CPUtime=0.17 cores=1,3,5,7
/proc/1344/task/1351/stat : 1351 (java) S 1342 1344 28184 0 -1 4202560 211 0 0 0 12 5 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755062626856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1354] ppid=1342 vsize=9558416 CPUtime=0.19 cores=1,3,5,7
/proc/1344/task/1354/stat : 1354 (java) S 1342 1344 28184 0 -1 4202560 77 0 0 0 14 5 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755061574056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1355] ppid=1342 vsize=9558416 CPUtime=0.3 cores=1,3,5,7
/proc/1344/task/1355/stat : 1355 (java) S 1342 1344 28184 0 -1 4202560 222 0 0 0 22 8 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755060521256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1356] ppid=1342 vsize=9558416 CPUtime=0.27 cores=1,3,5,7
/proc/1344/task/1356/stat : 1356 (java) S 1342 1344 28184 0 -1 4202560 181 0 0 0 21 6 0 0 20 0 18 0 292032516 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755059468456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1357] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1357/stat : 1357 (java) S 1342 1344 28184 0 -1 4202560 562 0 0 0 0 0 0 0 20 0 18 0 292032518 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755047058408 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1358] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1358/stat : 1358 (java) S 1342 1344 28184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 292032518 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755046004472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1359] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1359/stat : 1359 (java) S 1342 1344 28184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 292032518 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755044951560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1360] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1360/stat : 1360 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292032521 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755043900048 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1361] ppid=1342 vsize=9558416 CPUtime=0.28 cores=1,3,5,7
/proc/1344/task/1361/stat : 1361 (java) S 1342 1344 28184 0 -1 4202560 2715 0 0 0 28 0 0 0 20 0 18 0 292032521 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755042847160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1362] ppid=1342 vsize=9558416 CPUtime=0.25 cores=1,3,5,7
/proc/1344/task/1362/stat : 1362 (java) R 1342 1344 28184 0 -1 4202560 2512 0 0 0 25 0 0 0 20 0 18 0 292032521 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755041794240 139755225813040 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1363] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1363/stat : 1363 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292032521 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755040741752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1364] ppid=1342 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1364/stat : 1364 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 292032521 9787817984 203342 33554432000 1073741824 1073778376 140734556105120 139755039689160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 9558416

[startup+6.30078 s]
/proc/loadavg: 4.39 3.47 2.61 3/213 1396
/proc/meminfo: memFree=29675648/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9624980 CPUtime=8.8 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 12650 0 1 0 822 58 0 0 20 0 19 0 292032515 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2406245 203578 2268 9 0 2396937 0
[pid=1344/tid=1345] ppid=1342 vsize=9624980 CPUtime=5.75 cores=1,3,5,7
/proc/1344/task/1345/stat : 1345 (java) R 1342 1344 28184 0 -1 4202560 2917 0 1 0 565 10 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755222944256 139755096081239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1347] ppid=1342 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/1344/task/1347/stat : 1347 (java) S 1342 1344 28184 0 -1 4202560 83 0 0 0 13 5 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755066838056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1348] ppid=1342 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/1344/task/1348/stat : 1348 (java) S 1342 1344 28184 0 -1 4202560 169 0 0 0 18 6 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755065785256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1349] ppid=1342 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/1344/task/1349/stat : 1349 (java) S 1342 1344 28184 0 -1 4202560 92 0 0 0 13 4 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755064732456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1350] ppid=1342 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/1344/task/1350/stat : 1350 (java) S 1342 1344 28184 0 -1 4202560 236 0 0 0 24 8 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755063679656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1351] ppid=1342 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/1344/task/1351/stat : 1351 (java) S 1342 1344 28184 0 -1 4202560 211 0 0 0 12 5 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755062626856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1354] ppid=1342 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/1344/task/1354/stat : 1354 (java) S 1342 1344 28184 0 -1 4202560 77 0 0 0 14 5 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755061574056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1355] ppid=1342 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/1344/task/1355/stat : 1355 (java) S 1342 1344 28184 0 -1 4202560 222 0 0 0 22 8 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755060521256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1356] ppid=1342 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/1344/task/1356/stat : 1356 (java) S 1342 1344 28184 0 -1 4202560 181 0 0 0 21 6 0 0 20 0 19 0 292032516 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755059468456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1357] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1357/stat : 1357 (java) S 1342 1344 28184 0 -1 4202560 563 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755047058408 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1358] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1358/stat : 1358 (java) S 1342 1344 28184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755046004472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1359] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1359/stat : 1359 (java) S 1342 1344 28184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755044951560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1360] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1360/stat : 1360 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755043900048 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1361] ppid=1342 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/1344/task/1361/stat : 1361 (java) S 1342 1344 28184 0 -1 4202560 2753 0 0 0 48 0 0 0 20 0 19 0 292032521 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755042847160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1362] ppid=1342 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/1344/task/1362/stat : 1362 (java) S 1342 1344 28184 0 -1 4202560 3964 0 0 0 57 0 0 0 20 0 19 0 292032521 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755041794360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1363] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1363/stat : 1363 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755040741752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1364] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1364/stat : 1364 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755039689160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1396] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1396/stat : 1396 (java) S 1342 1344 28184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292032859 9855979520 203578 33554432000 1073741824 1073778376 140734556105120 139755038635688 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]
/proc/loadavg: 4.28 3.46 2.62 3/214 1397
/proc/meminfo: memFree=29539496/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9624980 CPUtime=15.37 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 13450 0 1 0 1478 59 0 0 20 0 19 0 292032515 9855979520 203608 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0

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

[pid=1344/tid=1361] ppid=1342 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/1344/task/1361/stat : 1361 (java) S 1342 1344 28184 0 -1 4202560 2788 0 0 0 58 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755042847160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1362] ppid=1342 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/1344/task/1362/stat : 1362 (java) S 1342 1344 28184 0 -1 4202560 4772 0 0 0 77 2 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755041794360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1363] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1363/stat : 1363 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755040741752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1364] ppid=1342 vsize=9624980 CPUtime=1.09 cores=1,3,5,7
/proc/1344/task/1364/stat : 1364 (java) S 1342 1344 28184 0 -1 4202560 99 0 0 0 51 58 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755039689160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1396] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1396/stat : 1396 (java) S 1342 1344 28184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292032859 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755038635688 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.79
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/213 1437
/proc/meminfo: memFree=28846860/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9624980 CPUtime=1786.81 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 14601 0 1 0 178526 155 0 0 20 0 19 0 292032515 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2406245 288547 2282 9 0 2396937 0
[pid=1344/tid=1345] ppid=1342 vsize=9624980 CPUtime=1767.85 cores=1,3,5,7
/proc/1344/task/1345/stat : 1345 (java) R 1342 1344 28184 0 -1 4202560 2929 0 1 0 176749 36 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755222946112 139755095265196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1347] ppid=1342 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/1344/task/1347/stat : 1347 (java) S 1342 1344 28184 0 -1 4202560 117 0 0 0 20 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755066838056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1348] ppid=1342 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/1344/task/1348/stat : 1348 (java) S 1342 1344 28184 0 -1 4202560 285 0 0 0 23 8 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755065785256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1349] ppid=1342 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/1344/task/1349/stat : 1349 (java) S 1342 1344 28184 0 -1 4202560 139 0 0 0 22 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755064732456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1350] ppid=1342 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/1344/task/1350/stat : 1350 (java) S 1342 1344 28184 0 -1 4202560 314 0 0 0 31 11 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755063679656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1351] ppid=1342 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/1344/task/1351/stat : 1351 (java) S 1342 1344 28184 0 -1 4202560 468 0 0 0 21 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755062626856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1354] ppid=1342 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/1344/task/1354/stat : 1354 (java) S 1342 1344 28184 0 -1 4202560 148 0 0 0 19 6 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755061574056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1355] ppid=1342 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/1344/task/1355/stat : 1355 (java) S 1342 1344 28184 0 -1 4202560 248 0 0 0 27 10 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755060521256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1356] ppid=1342 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/1344/task/1356/stat : 1356 (java) S 1342 1344 28184 0 -1 4202560 259 0 0 0 27 8 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755059468456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1357] ppid=1342 vsize=9624980 CPUtime=9.15 cores=1,3,5,7
/proc/1344/task/1357/stat : 1357 (java) S 1342 1344 28184 0 -1 4202560 850 0 0 0 909 6 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755047058408 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1358] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1358/stat : 1358 (java) S 1342 1344 28184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755046004472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1359] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1359/stat : 1359 (java) S 1342 1344 28184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755044951560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1360] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1360/stat : 1360 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755043900048 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1361] ppid=1342 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/1344/task/1361/stat : 1361 (java) S 1342 1344 28184 0 -1 4202560 2788 0 0 0 58 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755042847160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1362] ppid=1342 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/1344/task/1362/stat : 1362 (java) S 1342 1344 28184 0 -1 4202560 4772 0 0 0 77 2 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755041794360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1363] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1363/stat : 1363 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755040741752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1364] ppid=1342 vsize=9624980 CPUtime=1.13 cores=1,3,5,7
/proc/1344/task/1364/stat : 1364 (java) S 1342 1344 28184 0 -1 4202560 103 0 0 0 54 59 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755039689160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1396] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1396/stat : 1396 (java) S 1342 1344 28184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292032859 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755038635688 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.81
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.07 2/193 1440
/proc/meminfo: memFree=30433092/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9624980 CPUtime=1800.03 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 14601 0 1 0 179847 156 0 0 20 0 19 0 292032515 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2406245 288547 2282 9 0 2396937 0
[pid=1344/tid=1345] ppid=1342 vsize=9624980 CPUtime=1781.02 cores=1,3,5,7
/proc/1344/task/1345/stat : 1345 (java) R 1342 1344 28184 0 -1 4202560 2929 0 1 0 178065 37 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755222946112 139755096180540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1347] ppid=1342 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/1344/task/1347/stat : 1347 (java) S 1342 1344 28184 0 -1 4202560 117 0 0 0 20 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755066838056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1348] ppid=1342 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/1344/task/1348/stat : 1348 (java) S 1342 1344 28184 0 -1 4202560 285 0 0 0 23 8 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755065785256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1349] ppid=1342 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/1344/task/1349/stat : 1349 (java) S 1342 1344 28184 0 -1 4202560 139 0 0 0 22 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755064732456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1350] ppid=1342 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/1344/task/1350/stat : 1350 (java) S 1342 1344 28184 0 -1 4202560 314 0 0 0 31 11 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755063679656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1351] ppid=1342 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/1344/task/1351/stat : 1351 (java) S 1342 1344 28184 0 -1 4202560 468 0 0 0 21 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755062626856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1354] ppid=1342 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/1344/task/1354/stat : 1354 (java) S 1342 1344 28184 0 -1 4202560 148 0 0 0 19 6 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755061574056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1355] ppid=1342 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/1344/task/1355/stat : 1355 (java) S 1342 1344 28184 0 -1 4202560 248 0 0 0 27 10 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755060521256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1356] ppid=1342 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/1344/task/1356/stat : 1356 (java) S 1342 1344 28184 0 -1 4202560 259 0 0 0 27 8 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755059468456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1357] ppid=1342 vsize=9624980 CPUtime=9.15 cores=1,3,5,7
/proc/1344/task/1357/stat : 1357 (java) S 1342 1344 28184 0 -1 4202560 850 0 0 0 909 6 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755047058408 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1358] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1358/stat : 1358 (java) S 1342 1344 28184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755046004472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1359] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1359/stat : 1359 (java) S 1342 1344 28184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755044951560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1360] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1360/stat : 1360 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755043900048 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1361] ppid=1342 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/1344/task/1361/stat : 1361 (java) S 1342 1344 28184 0 -1 4202560 2788 0 0 0 58 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755042847160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1362] ppid=1342 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/1344/task/1362/stat : 1362 (java) S 1342 1344 28184 0 -1 4202560 4772 0 0 0 77 2 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755041794360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1363] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1363/stat : 1363 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755040741752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1364] ppid=1342 vsize=9624980 CPUtime=1.14 cores=1,3,5,7
/proc/1344/task/1364/stat : 1364 (java) S 1342 1344 28184 0 -1 4202560 103 0 0 0 55 59 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755039689160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1396] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1396/stat : 1396 (java) S 1342 1344 28184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292032859 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755038635688 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.07 2/193 1440
/proc/meminfo: memFree=30433092/32873844 swapFree=7372/7372
[pid=1344] ppid=1342 vsize=9624980 CPUtime=1800.03 cores=1,3,5,7
/proc/1344/stat : 1344 (java) S 1342 1344 28184 0 -1 4202496 14601 0 1 0 179847 156 0 0 20 0 19 0 292032515 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 140734556096256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1344/statm: 2406245 288547 2282 9 0 2396937 0
[pid=1344/tid=1345] ppid=1342 vsize=9624980 CPUtime=1781.02 cores=1,3,5,7
/proc/1344/task/1345/stat : 1345 (java) R 1342 1344 28184 0 -1 4202560 2929 0 1 0 178065 37 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755222946112 139755096180540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1347] ppid=1342 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/1344/task/1347/stat : 1347 (java) S 1342 1344 28184 0 -1 4202560 117 0 0 0 20 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755066838056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1348] ppid=1342 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/1344/task/1348/stat : 1348 (java) S 1342 1344 28184 0 -1 4202560 285 0 0 0 23 8 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755065785256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1349] ppid=1342 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/1344/task/1349/stat : 1349 (java) S 1342 1344 28184 0 -1 4202560 139 0 0 0 22 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755064732456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1350] ppid=1342 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/1344/task/1350/stat : 1350 (java) S 1342 1344 28184 0 -1 4202560 314 0 0 0 31 11 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755063679656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1351] ppid=1342 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/1344/task/1351/stat : 1351 (java) S 1342 1344 28184 0 -1 4202560 468 0 0 0 21 7 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755062626856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1354] ppid=1342 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/1344/task/1354/stat : 1354 (java) S 1342 1344 28184 0 -1 4202560 148 0 0 0 19 6 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755061574056 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1355] ppid=1342 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/1344/task/1355/stat : 1355 (java) S 1342 1344 28184 0 -1 4202560 248 0 0 0 27 10 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755060521256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1356] ppid=1342 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/1344/task/1356/stat : 1356 (java) S 1342 1344 28184 0 -1 4202560 259 0 0 0 27 8 0 0 20 0 19 0 292032516 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755059468456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1357] ppid=1342 vsize=9624980 CPUtime=9.15 cores=1,3,5,7
/proc/1344/task/1357/stat : 1357 (java) S 1342 1344 28184 0 -1 4202560 850 0 0 0 909 6 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755047058408 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1344/tid=1358] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1358/stat : 1358 (java) S 1342 1344 28184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755046004472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1359] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1359/stat : 1359 (java) S 1342 1344 28184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292032518 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755044951560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1360] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1360/stat : 1360 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755043900048 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1361] ppid=1342 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/1344/task/1361/stat : 1361 (java) S 1342 1344 28184 0 -1 4202560 2788 0 0 0 58 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755042847160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1344/tid=1362] ppid=1342 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/1344/task/1362/stat : 1362 (java) S 1342 1344 28184 0 -1 4202560 4772 0 0 0 77 2 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755041794360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1363] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1363/stat : 1363 (java) S 1342 1344 28184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755040741752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1344/tid=1364] ppid=1342 vsize=9624980 CPUtime=1.14 cores=1,3,5,7
/proc/1344/task/1364/stat : 1364 (java) S 1342 1344 28184 0 -1 4202560 103 0 0 0 55 59 0 0 20 0 19 0 292032521 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755039689160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1344/tid=1396] ppid=1342 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/1344/task/1396/stat : 1396 (java) S 1342 1344 28184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292032859 9855979520 288547 33554432000 1073741824 1073778376 140734556105120 139755038635688 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624980

Child status: 143

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

Real time (s): 1795.55
CPU time (s): 1800.03
CPU user time (s): 1798.47
CPU system time (s): 1.56
CPU usage (%): 100.249
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 1.82072
maximum resident set size= 1154316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14639
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38194
involuntary context switches= 5309

runsolver used 7.15091 second user time and 16.1415 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-29 04:37:19
IDJOB=3717922
IDBENCH=79642
IDSOLVER=2301
FILE ID=node109/3717922-1338259039
RUNJOBID= node109-1338259035-867
PBS_JOBID= 14624656
Free space on /tmp= 71208 MiB

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

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

MD5SUM BENCH= 16314cc1180b662b2cbfb0443cd0a158
RANDOM SEED=1644418521

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31584784 kB
Buffers:          229564 kB
Cached:           176200 kB
SwapCached:          588 kB
Active:           368412 kB
Inactive:          49292 kB
Active(anon):       4484 kB
Inactive(anon):    10388 kB
Active(file):     363928 kB
Inactive(file):    38904 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106292 kB
Dirty:             43412 kB
Writeback:             0 kB
AnonPages:         19376 kB
Mapped:             9704 kB
Shmem:                 8 kB
Slab:             730316 kB
SReclaimable:     170288 kB
SUnreclaim:       560028 kB
KernelStack:        1464 kB
PageTables:         4152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     107244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71228 MiB
End job on node109 at 2012-05-29 05:07:17