Trace number 2701820

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 Resolution 2.2.1MSAT (TO) 1800.18 1792.49

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 benchmark33778
Best CPU time to get the best result obtained on this benchmark1800.18
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.2.1.v20100705
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) Server VM
0.00/0.07	c java.vm.version	11.2-b01
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	32
0.00/0.07	c java.version		1.6.0_12
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		i386
0.00/0.07	c Free memory 		1393557488
0.00/0.07	c Max memory 		1395916800
0.00/0.07	c Total memory 		1395916800
0.00/0.07	c Number of processors 	8
0.09/0.09	c Pseudo Boolean Optimization
0.09/0.09	c --- Begin Solver configuration ---
0.09/0.09	c Stops conflict analysis at the first Unique Implication Point
0.09/0.09	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b
0.09/0.09	c Learn all clauses as in MiniSAT
0.09/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.09	c Expensive reason simplification
0.09/0.09	c Armin Biere (Picosat) restarts strategy
0.09/0.09	c Glucose learned constraints deletion strategy
0.09/0.09	c timeout=2147483s
0.09/0.09	c DB Simplification allowed=false
0.09/0.09	c --- End Solver configuration ---
0.09/0.09	c solving HOME/instance-2701820-1278541736.wbo
0.09/0.09	c reading problem ... 
7.53/3.68	c ... done. Wall clock time 3.59s.
7.53/3.68	c #vars     524877
7.53/3.68	c #constraints  521370
7.53/3.68	c constraints type 
7.53/3.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 521269
7.53/3.68	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
7.53/3.68	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
155.60/150.39	c SATISFIABLE
155.60/150.39	c OPTIMIZING...
155.60/150.39	c Got one! Elapsed wall clock time (in seconds):150.292
155.60/150.39	o 66083
301.29/295.00	c Got one! Elapsed wall clock time (in seconds):294.903
301.29/295.00	o 33778
537.26/530.01	c cleaning 2494 clauses out of 5001 with flag 5001/5001
732.80/725.45	c cleaning 4213 clauses out of 8506 with flag 11000/11000
924.95/917.59	c cleaning 5639 clauses out of 11293 with flag 18000/18000
1172.13/1164.70	c cleaning 6805 clauses out of 13654 with flag 26000/26000
1800.03/1792.41	c starts		: 56
1800.03/1792.41	c conflicts		: 28204
1800.03/1792.41	c decisions		: 13940002
1800.03/1792.41	c propagations		: 664625322
1800.03/1792.41	c inspects		: 34425334
1800.03/1792.41	c learnt literals	: 0
1800.03/1792.41	c learnt binary clauses	: 0
1800.03/1792.41	c learnt ternary clauses	: 0
1800.03/1792.41	c learnt clauses	: 28203
1800.03/1792.41	c ignored clauses	: 0
1800.03/1792.41	c root simplifications	: 0
1800.03/1792.41	c removed literals (reason simplification)	: 664321
1800.03/1792.41	c reason swapping (by a shorter reason)	: 0
1800.03/1792.41	c Calls to reduceDB	: 4
1800.03/1792.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.41	c number of learned constraints concerned by reduction	: 0
1800.03/1792.41	c number of learning phase by resolution	: 0
1800.03/1792.41	c number of learning phase by cutting planes	: 0
1800.03/1792.41	c speed (assignments/second)	: 444019.83783137373
1800.03/1792.41	c non guided choices	171802
1800.03/1792.41	c learnt constraints type 
1800.03/1792.41	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 9052
1800.03/1792.42	c constraints type 
1800.03/1792.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 521269
1800.03/1792.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
1800.03/1792.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
1800.03/1792.42	s SATISFIABLE
1800.03/1792.42	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/1792.44	c objective function=33778
1800.03/1792.44	c Total wall clock time (in seconds): 1792.346

Verifier Data 

OK	33778

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701820-1278541736/watcher-2701820-1278541736 -o /tmp/evaluation-result-2701820-1278541736/solver-2701820-1278541736 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701820-1278541736.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.07 2.13 2/196 2825
/proc/meminfo: memFree=29237260/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=248 CPUtime=0
/proc/2825/stat : 2825 (java) R 2823 2825 927 0 -1 4194304 283 0 0 0 0 0 0 0 21 0 1 0 22387085 253952 28 4089446400 134512640 134550932 4290087824 18446744073709551615 4178398 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2825/statm: 62 28 21 10 0 23 0

[startup+0.0831111 s]
/proc/loadavg: 2.01 2.07 2.13 2/196 2825
/proc/meminfo: memFree=29237260/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1529708 CPUtime=0.09
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 5000 0 1 0 8 1 0 0 21 0 18 0 22387085 1566420992 4436 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 382427 4437 1338 10 0 379730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1529708

[startup+0.101108 s]
/proc/loadavg: 2.01 2.07 2.13 2/196 2825
/proc/meminfo: memFree=29237260/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1529876 CPUtime=0.11
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 5215 0 1 0 10 1 0 0 21 0 18 0 22387085 1566593024 4651 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 382469 4651 1347 10 0 379772 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1529876

[startup+0.300073 s]
/proc/loadavg: 2.01 2.07 2.13 2/196 2825
/proc/meminfo: memFree=29237260/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1532796 CPUtime=0.56
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 9127 0 1 0 55 1 0 0 21 0 18 0 22387085 1569583104 8408 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 383199 8409 1401 10 0 380502 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 1532796

[startup+0.70101 s]
/proc/loadavg: 2.01 2.07 2.13 2/196 2825
/proc/meminfo: memFree=29237260/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1537224 CPUtime=1.38
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 41378 0 1 0 133 5 0 0 21 0 18 0 22387085 1574117376 39445 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 384306 39445 1415 10 0 381609 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 1537224

[startup+1.50087 s]
/proc/loadavg: 2.01 2.07 2.13 3/214 2851
/proc/meminfo: memFree=29047272/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1537224 CPUtime=2.9
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 61110 0 1 0 281 9 0 0 21 0 18 0 22387085 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 384306 58600 1415 10 0 381609 0
[pid=2825/tid=2827] ppid=2823 vsize=1537224 CPUtime=1.33
/proc/2825/task/2827/stat : 2827 (java) R 2823 2825 927 0 -1 4202560 32029 0 1 0 130 3 0 0 18 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4109538339 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2825/tid=2828] ppid=2823 vsize=1537224 CPUtime=0.12
/proc/2825/task/2828/stat : 2828 (java) S 2823 2825 927 0 -1 4202560 3344 0 0 0 12 0 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2829] ppid=2823 vsize=1537224 CPUtime=0.13
/proc/2825/task/2829/stat : 2829 (java) S 2823 2825 927 0 -1 4202560 3927 0 0 0 12 1 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2830] ppid=2823 vsize=1537224 CPUtime=0.12
/proc/2825/task/2830/stat : 2830 (java) S 2823 2825 927 0 -1 4202560 3611 0 0 0 12 0 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2831] ppid=2823 vsize=1537224 CPUtime=0.12
/proc/2825/task/2831/stat : 2831 (java) S 2823 2825 927 0 -1 4202560 4541 0 0 0 12 0 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 6 0 0 0
[pid=2825/tid=2832] ppid=2823 vsize=1537224 CPUtime=0.11
/proc/2825/task/2832/stat : 2832 (java) S 2823 2825 927 0 -1 4202560 2769 0 0 0 11 0 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
[pid=2825/tid=2833] ppid=2823 vsize=1537224 CPUtime=0.11
/proc/2825/task/2833/stat : 2833 (java) S 2823 2825 927 0 -1 4202560 2881 0 0 0 11 0 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2834] ppid=2823 vsize=1537224 CPUtime=0.11
/proc/2825/task/2834/stat : 2834 (java) S 2823 2825 927 0 -1 4202560 2432 0 0 0 11 0 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2835] ppid=2823 vsize=1537224 CPUtime=0.01
/proc/2825/task/2835/stat : 2835 (java) S 2823 2825 927 0 -1 4202560 626 0 0 0 1 0 0 0 16 0 18 0 22387086 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2844] ppid=2823 vsize=1537224 CPUtime=0
/proc/2825/task/2844/stat : 2844 (java) S 2823 2825 927 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 22387087 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2845] ppid=2823 vsize=1537224 CPUtime=0
/proc/2825/task/2845/stat : 2845 (java) S 2823 2825 927 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 22387087 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2846] ppid=2823 vsize=1537224 CPUtime=0
/proc/2825/task/2846/stat : 2846 (java) S 2823 2825 927 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 22387087 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2847] ppid=2823 vsize=1537224 CPUtime=0
/proc/2825/task/2847/stat : 2847 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22387089 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2848] ppid=2823 vsize=1537224 CPUtime=0.31
/proc/2825/task/2848/stat : 2848 (java) S 2823 2825 927 0 -1 4202560 1824 0 0 0 31 0 0 0 17 0 18 0 22387089 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2849] ppid=2823 vsize=1537224 CPUtime=0.32
/proc/2825/task/2849/stat : 2849 (java) S 2823 2825 927 0 -1 4202560 2049 0 0 0 32 0 0 0 25 0 18 0 22387089 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2850] ppid=2823 vsize=1537224 CPUtime=0
/proc/2825/task/2850/stat : 2850 (java) S 2823 2825 927 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 22387089 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2851] ppid=2823 vsize=1537224 CPUtime=0
/proc/2825/task/2851/stat : 2851 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22387089 1574117376 58600 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 1537224

[startup+3.10068 s]
/proc/loadavg: 2.01 2.07 2.12 3/214 2851
/proc/meminfo: memFree=28971972/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1541396 CPUtime=6.84
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 94243 0 1 0 663 21 0 0 21 0 18 0 22387085 1578389504 89990 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 385349 89990 1425 10 0 382652 0
[pid=2825/tid=2827] ppid=2823 vsize=1541396 CPUtime=2.52
/proc/2825/task/2827/stat : 2827 (java) S 2823 2825 927 0 -1 4202560 32058 0 1 0 248 4 0 0 15 0 18 0 22387086 1578389504 89992 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2828] ppid=2823 vsize=1541396 CPUtime=0.47
/proc/2825/task/2828/stat : 2828 (java) R 2823 2825 927 0 -1 4202560 7501 0 0 0 46 1 0 0 15 0 18 0 22387086 1578389504 89993 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2825/tid=2829] ppid=2823 vsize=1541396 CPUtime=0.47
/proc/2825/task/2829/stat : 2829 (java) R 2823 2825 927 0 -1 4202560 8090 0 0 0 46 1 0 0 15 0 18 0 22387086 1578389504 89996 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2825/tid=2830] ppid=2823 vsize=1541396 CPUtime=0.47
/proc/2825/task/2830/stat : 2830 (java) R 2823 2825 927 0 -1 4202560 6601 0 0 0 46 1 0 0 16 0 18 0 22387086 1578389504 89996 4089446400 134512640 134550932 4290087824 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2825/tid=2831] ppid=2823 vsize=1541396 CPUtime=0.48
/proc/2825/task/2831/stat : 2831 (java) R 2823 2825 927 0 -1 4202560 8119 0 0 0 46 2 0 0 15 0 18 0 22387086 1578389504 89996 4089446400 134512640 134550932 4290087824 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2825/tid=2832] ppid=2823 vsize=1541396 CPUtime=0.38
/proc/2825/task/2832/stat : 2832 (java) R 2823 2825 927 0 -1 4202560 8334 0 0 0 36 2 0 0 15 0 18 0 22387086 1578389504 89997 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2825/tid=2833] ppid=2823 vsize=1541396 CPUtime=0.43
/proc/2825/task/2833/stat : 2833 (java) R 2823 2825 927 0 -1 4202560 7362 0 0 0 41 2 0 0 15 0 18 0 22387086 1578389504 89998 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2825/tid=2834] ppid=2823 vsize=1541396 CPUtime=0.47
/proc/2825/task/2834/stat : 2834 (java) R 2823 2825 927 0 -1 4202560 6556 0 0 0 46 1 0 0 15 0 18 0 22387086 1578389504 89998 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2825/tid=2835] ppid=2823 vsize=1541396 CPUtime=0.36
/proc/2825/task/2835/stat : 2835 (java) R 2823 2825 927 0 -1 4202560 4672 0 0 0 35 1 0 0 15 0 18 0 22387086 1578389504 89998 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2825/tid=2844] ppid=2823 vsize=1541396 CPUtime=0
/proc/2825/task/2844/stat : 2844 (java) S 2823 2825 927 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 22387087 1578389504 89999 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2845] ppid=2823 vsize=1541396 CPUtime=0
/proc/2825/task/2845/stat : 2845 (java) S 2823 2825 927 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 22387087 1578389504 90001 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2846] ppid=2823 vsize=1541396 CPUtime=0
/proc/2825/task/2846/stat : 2846 (java) S 2823 2825 927 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 22387087 1578389504 90004 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2847] ppid=2823 vsize=1541396 CPUtime=0
/proc/2825/task/2847/stat : 2847 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22387089 1578389504 90004 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2848] ppid=2823 vsize=1541396 CPUtime=0.33
/proc/2825/task/2848/stat : 2848 (java) S 2823 2825 927 0 -1 4202560 1827 0 0 0 33 0 0 0 17 0 18 0 22387089 1578389504 90005 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2849] ppid=2823 vsize=1541396 CPUtime=0.33
/proc/2825/task/2849/stat : 2849 (java) S 2823 2825 927 0 -1 4202560 2051 0 0 0 33 0 0 0 18 0 18 0 22387089 1578389504 90005 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2850] ppid=2823 vsize=1541396 CPUtime=0
/proc/2825/task/2850/stat : 2850 (java) S 2823 2825 927 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 22387089 1578389504 90005 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2851] ppid=2823 vsize=1541396 CPUtime=0
/proc/2825/task/2851/stat : 2851 (java) R 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22387089 1578389504 90006 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 1541396

[startup+6.30117 s]
/proc/loadavg: 2.01 2.07 2.12 3/215 2852
/proc/meminfo: memFree=28798116/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1543332 CPUtime=11.58
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 115816 0 1 0 1130 28 0 0 21 0 19 0 22387085 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 385833 111077 1441 10 0 383136 0
[pid=2825/tid=2827] ppid=2823 vsize=1543332 CPUtime=5.5
/proc/2825/task/2827/stat : 2827 (java) R 2823 2825 927 0 -1 4202560 32096 0 1 0 546 4 0 0 19 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4109867515 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2825/tid=2828] ppid=2823 vsize=1543332 CPUtime=0.61
/proc/2825/task/2828/stat : 2828 (java) S 2823 2825 927 0 -1 4202560 9386 0 0 0 59 2 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2829] ppid=2823 vsize=1543332 CPUtime=0.59
/proc/2825/task/2829/stat : 2829 (java) S 2823 2825 927 0 -1 4202560 11698 0 0 0 57 2 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2830] ppid=2823 vsize=1543332 CPUtime=0.55
/proc/2825/task/2830/stat : 2830 (java) S 2823 2825 927 0 -1 4202560 7789 0 0 0 54 1 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2831] ppid=2823 vsize=1543332 CPUtime=0.61
/proc/2825/task/2831/stat : 2831 (java) S 2823 2825 927 0 -1 4202560 9664 0 0 0 59 2 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 7 0 0 0
[pid=2825/tid=2832] ppid=2823 vsize=1543332 CPUtime=0.47
/proc/2825/task/2832/stat : 2832 (java) S 2823 2825 927 0 -1 4202560 9504 0 0 0 44 3 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2833] ppid=2823 vsize=1543332 CPUtime=0.58
/proc/2825/task/2833/stat : 2833 (java) S 2823 2825 927 0 -1 4202560 10362 0 0 0 55 3 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 6 0 0 0
[pid=2825/tid=2834] ppid=2823 vsize=1543332 CPUtime=0.65
/proc/2825/task/2834/stat : 2834 (java) S 2823 2825 927 0 -1 4202560 13937 0 0 0 62 3 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2835] ppid=2823 vsize=1543332 CPUtime=0.49
/proc/2825/task/2835/stat : 2835 (java) S 2823 2825 927 0 -1 4202560 6050 0 0 0 48 1 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
[pid=2825/tid=2844] ppid=2823 vsize=1543332 CPUtime=0
/proc/2825/task/2844/stat : 2844 (java) S 2823 2825 927 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 22387087 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2845] ppid=2823 vsize=1543332 CPUtime=0
/proc/2825/task/2845/stat : 2845 (java) S 2823 2825 927 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 22387087 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2846] ppid=2823 vsize=1543332 CPUtime=0
/proc/2825/task/2846/stat : 2846 (java) S 2823 2825 927 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 22387087 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2847] ppid=2823 vsize=1543332 CPUtime=0
/proc/2825/task/2847/stat : 2847 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22387089 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2848] ppid=2823 vsize=1543332 CPUtime=0.74
/proc/2825/task/2848/stat : 2848 (java) S 2823 2825 927 0 -1 4202560 2038 0 0 0 74 0 0 0 15 0 19 0 22387089 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2849] ppid=2823 vsize=1543332 CPUtime=0.66
/proc/2825/task/2849/stat : 2849 (java) S 2823 2825 927 0 -1 4202560 2210 0 0 0 66 0 0 0 15 0 19 0 22387089 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2850] ppid=2823 vsize=1543332 CPUtime=0
/proc/2825/task/2850/stat : 2850 (java) S 2823 2825 927 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 22387089 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2851] ppid=2823 vsize=1543332 CPUtime=0
/proc/2825/task/2851/stat : 2851 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22387089 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2852] ppid=2823 vsize=1543332 CPUtime=0
/proc/2825/task/2852/stat : 2852 (java) S 2823 2825 927 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 22387529 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 1543332

[startup+12.7011 s]
/proc/loadavg: 2.01 2.07 2.12 3/215 2852
/proc/meminfo: memFree=28798560/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1543332 CPUtime=17.99
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 115818 0 1 0 1771 28 0 0 21 0 19 0 22387085 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 385833 111077 1441 10 0 383136 0
[pid=2825/tid=2827] ppid=2823 vsize=1543332 CPUtime=11.9
/proc/2825/task/2827/stat : 2827 (java) R 2823 2825 927 0 -1 4202560 32098 0 1 0 1186 4 0 0 25 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4109714504 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2825/tid=2828] ppid=2823 vsize=1543332 CPUtime=0.61
/proc/2825/task/2828/stat : 2828 (java) S 2823 2825 927 0 -1 4202560 9386 0 0 0 59 2 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2829] ppid=2823 vsize=1543332 CPUtime=0.59
/proc/2825/task/2829/stat : 2829 (java) S 2823 2825 927 0 -1 4202560 11698 0 0 0 57 2 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2830] ppid=2823 vsize=1543332 CPUtime=0.55
/proc/2825/task/2830/stat : 2830 (java) S 2823 2825 927 0 -1 4202560 7789 0 0 0 54 1 0 0 15 0 19 0 22387086 1580371968 111077 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0

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

[pid=2825/tid=2833] ppid=2823 vsize=1546920 CPUtime=0.91
/proc/2825/task/2833/stat : 2833 (java) S 2823 2825 927 0 -1 4202560 20087 0 0 0 85 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 6 0 0 0
[pid=2825/tid=2834] ppid=2823 vsize=1546920 CPUtime=0.97
/proc/2825/task/2834/stat : 2834 (java) S 2823 2825 927 0 -1 4202560 18074 0 0 0 91 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2835] ppid=2823 vsize=1546920 CPUtime=0.84
/proc/2825/task/2835/stat : 2835 (java) S 2823 2825 927 0 -1 4202560 12071 0 0 0 80 4 0 0 16 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2844] ppid=2823 vsize=1546920 CPUtime=2.63
/proc/2825/task/2844/stat : 2844 (java) S 2823 2825 927 0 -1 4202560 15034 0 0 0 262 1 0 0 15 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2845] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2845/stat : 2845 (java) S 2823 2825 927 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2846] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2846/stat : 2846 (java) S 2823 2825 927 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2847] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2847/stat : 2847 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2848] ppid=2823 vsize=1546920 CPUtime=0.86
/proc/2825/task/2848/stat : 2848 (java) S 2823 2825 927 0 -1 4202560 2054 0 0 0 86 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2849] ppid=2823 vsize=1546920 CPUtime=0.78
/proc/2825/task/2849/stat : 2849 (java) S 2823 2825 927 0 -1 4202560 2233 0 0 0 78 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2850] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2850/stat : 2850 (java) S 2823 2825 927 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2851] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2851/stat : 2851 (java) S 2823 2825 927 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2852] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2852/stat : 2852 (java) S 2823 2825 927 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 22387529 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1669.92
Current children cumulated vsize (KiB) 1546920

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/189 2925
/proc/meminfo: memFree=28738384/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1546920 CPUtime=1729.92
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 168013 0 1 0 172945 47 0 0 21 0 19 0 22387085 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 386730 147421 1446 10 0 384033 0
[pid=2825/tid=2827] ppid=2823 vsize=1546920 CPUtime=1718.39
/proc/2825/task/2827/stat : 2827 (java) R 2823 2825 927 0 -1 4202560 32124 0 1 0 171835 4 0 0 25 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4110200259 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2825/tid=2828] ppid=2823 vsize=1546920 CPUtime=0.92
/proc/2825/task/2828/stat : 2828 (java) S 2823 2825 927 0 -1 4202560 13023 0 0 0 89 3 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2829] ppid=2823 vsize=1546920 CPUtime=0.95
/proc/2825/task/2829/stat : 2829 (java) S 2823 2825 927 0 -1 4202560 13687 0 0 0 91 4 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2830] ppid=2823 vsize=1546920 CPUtime=0.89
/proc/2825/task/2830/stat : 2830 (java) S 2823 2825 927 0 -1 4202560 12247 0 0 0 86 3 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2831] ppid=2823 vsize=1546920 CPUtime=0.94
/proc/2825/task/2831/stat : 2831 (java) S 2823 2825 927 0 -1 4202560 13238 0 0 0 90 4 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
[pid=2825/tid=2832] ppid=2823 vsize=1546920 CPUtime=0.73
/proc/2825/task/2832/stat : 2832 (java) S 2823 2825 927 0 -1 4202560 12973 0 0 0 68 5 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 7 0 0 0
[pid=2825/tid=2833] ppid=2823 vsize=1546920 CPUtime=0.91
/proc/2825/task/2833/stat : 2833 (java) S 2823 2825 927 0 -1 4202560 20087 0 0 0 85 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 6 0 0 0
[pid=2825/tid=2834] ppid=2823 vsize=1546920 CPUtime=0.97
/proc/2825/task/2834/stat : 2834 (java) S 2823 2825 927 0 -1 4202560 18074 0 0 0 91 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2835] ppid=2823 vsize=1546920 CPUtime=0.84
/proc/2825/task/2835/stat : 2835 (java) S 2823 2825 927 0 -1 4202560 12071 0 0 0 80 4 0 0 16 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2844] ppid=2823 vsize=1546920 CPUtime=2.63
/proc/2825/task/2844/stat : 2844 (java) S 2823 2825 927 0 -1 4202560 15034 0 0 0 262 1 0 0 15 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2845] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2845/stat : 2845 (java) S 2823 2825 927 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2846] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2846/stat : 2846 (java) S 2823 2825 927 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2847] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2847/stat : 2847 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2848] ppid=2823 vsize=1546920 CPUtime=0.86
/proc/2825/task/2848/stat : 2848 (java) S 2823 2825 927 0 -1 4202560 2054 0 0 0 86 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2849] ppid=2823 vsize=1546920 CPUtime=0.78
/proc/2825/task/2849/stat : 2849 (java) S 2823 2825 927 0 -1 4202560 2233 0 0 0 78 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2850] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2850/stat : 2850 (java) S 2823 2825 927 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2851] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2851/stat : 2851 (java) S 2823 2825 927 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2852] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2852/stat : 2852 (java) S 2823 2825 927 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 22387529 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1729.92
Current children cumulated vsize (KiB) 1546920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/189 2927
/proc/meminfo: memFree=28738348/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1546920 CPUtime=1789.92
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 168017 0 1 0 178945 47 0 0 21 0 19 0 22387085 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 386730 147421 1446 10 0 384033 0
[pid=2825/tid=2827] ppid=2823 vsize=1546920 CPUtime=1778.4
/proc/2825/task/2827/stat : 2827 (java) R 2823 2825 927 0 -1 4202560 32124 0 1 0 177836 4 0 0 25 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4110206557 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2825/tid=2828] ppid=2823 vsize=1546920 CPUtime=0.92
/proc/2825/task/2828/stat : 2828 (java) S 2823 2825 927 0 -1 4202560 13023 0 0 0 89 3 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2829] ppid=2823 vsize=1546920 CPUtime=0.95
/proc/2825/task/2829/stat : 2829 (java) S 2823 2825 927 0 -1 4202560 13687 0 0 0 91 4 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2830] ppid=2823 vsize=1546920 CPUtime=0.89
/proc/2825/task/2830/stat : 2830 (java) S 2823 2825 927 0 -1 4202560 12247 0 0 0 86 3 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2831] ppid=2823 vsize=1546920 CPUtime=0.94
/proc/2825/task/2831/stat : 2831 (java) S 2823 2825 927 0 -1 4202560 13238 0 0 0 90 4 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
[pid=2825/tid=2832] ppid=2823 vsize=1546920 CPUtime=0.73
/proc/2825/task/2832/stat : 2832 (java) S 2823 2825 927 0 -1 4202560 12973 0 0 0 68 5 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 7 0 0 0
[pid=2825/tid=2833] ppid=2823 vsize=1546920 CPUtime=0.91
/proc/2825/task/2833/stat : 2833 (java) S 2823 2825 927 0 -1 4202560 20087 0 0 0 85 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 6 0 0 0
[pid=2825/tid=2834] ppid=2823 vsize=1546920 CPUtime=0.97
/proc/2825/task/2834/stat : 2834 (java) S 2823 2825 927 0 -1 4202560 18074 0 0 0 91 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2835] ppid=2823 vsize=1546920 CPUtime=0.84
/proc/2825/task/2835/stat : 2835 (java) S 2823 2825 927 0 -1 4202560 12071 0 0 0 80 4 0 0 16 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2844] ppid=2823 vsize=1546920 CPUtime=2.63
/proc/2825/task/2844/stat : 2844 (java) S 2823 2825 927 0 -1 4202560 15034 0 0 0 262 1 0 0 15 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2845] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2845/stat : 2845 (java) S 2823 2825 927 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2846] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2846/stat : 2846 (java) S 2823 2825 927 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2847] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2847/stat : 2847 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2848] ppid=2823 vsize=1546920 CPUtime=0.86
/proc/2825/task/2848/stat : 2848 (java) S 2823 2825 927 0 -1 4202560 2054 0 0 0 86 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2849] ppid=2823 vsize=1546920 CPUtime=0.78
/proc/2825/task/2849/stat : 2849 (java) S 2823 2825 927 0 -1 4202560 2233 0 0 0 78 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2850] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2850/stat : 2850 (java) S 2823 2825 927 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2851] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2851/stat : 2851 (java) S 2823 2825 927 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2852] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2852/stat : 2852 (java) S 2823 2825 927 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 22387529 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 1546920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.4 s]
/proc/loadavg: 1.00 1.02 1.30 2/189 2927
/proc/meminfo: memFree=28738208/32950928 swapFree=67109624/67111528
[pid=2825] ppid=2823 vsize=1546920 CPUtime=1800.03
/proc/2825/stat : 2825 (java) S 2823 2825 927 0 -1 4202496 168017 0 1 0 179956 47 0 0 21 0 19 0 22387085 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2825/statm: 386730 147421 1446 10 0 384033 0
[pid=2825/tid=2827] ppid=2823 vsize=1546920 CPUtime=1788.5
/proc/2825/task/2827/stat : 2827 (java) R 2823 2825 927 0 -1 4202560 32124 0 1 0 178846 4 0 0 25 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4110200259 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2825/tid=2828] ppid=2823 vsize=1546920 CPUtime=0.92
/proc/2825/task/2828/stat : 2828 (java) S 2823 2825 927 0 -1 4202560 13023 0 0 0 89 3 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2829] ppid=2823 vsize=1546920 CPUtime=0.95
/proc/2825/task/2829/stat : 2829 (java) S 2823 2825 927 0 -1 4202560 13687 0 0 0 91 4 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2830] ppid=2823 vsize=1546920 CPUtime=0.89
/proc/2825/task/2830/stat : 2830 (java) S 2823 2825 927 0 -1 4202560 12247 0 0 0 86 3 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2831] ppid=2823 vsize=1546920 CPUtime=0.94
/proc/2825/task/2831/stat : 2831 (java) S 2823 2825 927 0 -1 4202560 13238 0 0 0 90 4 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
[pid=2825/tid=2832] ppid=2823 vsize=1546920 CPUtime=0.73
/proc/2825/task/2832/stat : 2832 (java) S 2823 2825 927 0 -1 4202560 12973 0 0 0 68 5 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 7 0 0 0
[pid=2825/tid=2833] ppid=2823 vsize=1546920 CPUtime=0.91
/proc/2825/task/2833/stat : 2833 (java) S 2823 2825 927 0 -1 4202560 20087 0 0 0 85 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 6 0 0 0
[pid=2825/tid=2834] ppid=2823 vsize=1546920 CPUtime=0.97
/proc/2825/task/2834/stat : 2834 (java) S 2823 2825 927 0 -1 4202560 18074 0 0 0 91 6 0 0 15 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2835] ppid=2823 vsize=1546920 CPUtime=0.84
/proc/2825/task/2835/stat : 2835 (java) S 2823 2825 927 0 -1 4202560 12071 0 0 0 80 4 0 0 16 0 19 0 22387086 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 3 0 0 0
[pid=2825/tid=2844] ppid=2823 vsize=1546920 CPUtime=2.63
/proc/2825/task/2844/stat : 2844 (java) S 2823 2825 927 0 -1 4202560 15034 0 0 0 262 1 0 0 15 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 0 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2845] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2845/stat : 2845 (java) S 2823 2825 927 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2846] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2846/stat : 2846 (java) S 2823 2825 927 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 22387087 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 0 0 0 0
[pid=2825/tid=2847] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2847/stat : 2847 (java) S 2823 2825 927 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2848] ppid=2823 vsize=1546920 CPUtime=0.86
/proc/2825/task/2848/stat : 2848 (java) S 2823 2825 927 0 -1 4202560 2054 0 0 0 86 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 2 0 0 0
[pid=2825/tid=2849] ppid=2823 vsize=1546920 CPUtime=0.78
/proc/2825/task/2849/stat : 2849 (java) S 2823 2825 927 0 -1 4202560 2233 0 0 0 78 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2850] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2850/stat : 2850 (java) S 2823 2825 927 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 4 0 0 0
[pid=2825/tid=2851] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2851/stat : 2851 (java) S 2823 2825 927 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 22387089 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 1 0 0 0
[pid=2825/tid=2852] ppid=2823 vsize=1546920 CPUtime=0
/proc/2825/task/2852/stat : 2852 (java) S 2823 2825 927 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 22387529 1584046080 147421 4089446400 134512640 134550932 4290087824 18446744073709551615 4294960144 0 4 0 16800975 18446604453893986368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1546920

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

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

Child status: 143
Real time (s): 1792.49
CPU time (s): 1800.18
CPU user time (s): 1799.68
CPU system time (s): 0.499924
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 1554924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.499924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168043
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= 38507
involuntary context switches= 144467

runsolver used 3.08353 second user time and 6.08907 second system time

The end

Launcher Data 

Begin job on node126 at 2010-07-08 00:28:56
IDJOB=2701820
IDBENCH=79642
IDSOLVER=1211
FILE ID=node126/2701820-1278541736
PBS_JOBID= 11239226
Free space on /tmp= 73520 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.1
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph05_wcsp.wbo
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701820-1278541736/watcher-2701820-1278541736 -o /tmp/evaluation-result-2701820-1278541736/solver-2701820-1278541736 -C 1800 -W 2000 -M 3800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701820-1278541736.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 16314cc1180b662b2cbfb0443cd0a158
RANDOM SEED=1525658857

node126.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.861
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.72
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.861
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	: 5226.05
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.861
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.861
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.67
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.861
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.84
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.861
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.67
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.861
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.85
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.861
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29237780 kB
Buffers:        114972 kB
Cached:        3298872 kB
SwapCached:       1140 kB
Active:         783128 kB
Inactive:      2777536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29237780 kB
SwapTotal:    67111528 kB
SwapFree:     67109624 kB
Dirty:           16260 kB
Writeback:           0 kB
AnonPages:      146064 kB
Mapped:          20340 kB
Slab:            87344 kB
PageTables:       4984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1639852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73520 MiB
End job on node126 at 2010-07-08 00:58:51