Trace number 351053

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)-25 1800.31 1790.39

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
MD5SUM916719a95a95b5989e5d4b5f3d786df3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 42742
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 526467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262137
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527037
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.15	c no version file found!!!
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version	1.6.0
0.09/0.15	c os.name	Linux
0.09/0.15	c os.version	2.6.9-22.EL.rootsmp
0.09/0.15	c os.arch	i386
0.09/0.15	c Free memory 1651659224
0.09/0.15	c Max memory 1654456320
0.09/0.15	c Total memory 1654456320
0.09/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/351053-1176577244/instance-351053-1176577244.opb
0.20/0.20	c reading problem ... 
2.37/1.43	c ... done. Wall clock time 1.227s.
2.37/1.43	c CPU time (experimental) 0.93s.
2.37/1.43	c #vars     4260
2.37/1.43	c #constraints  174
8.00/6.79	c SATISFIABLE
8.00/6.79	c OPTIMIZING...
8.00/6.79	c Got one! Elapsed wall clock time (in seconds):6.582
8.11/6.80	o -25
1800.03/1790.21	c starts		: 24
1800.03/1790.21	c conflicts		: 324305
1800.03/1790.21	c decisions		: 685293
1800.03/1790.21	c propagations		: 91912408
1800.03/1790.21	c inspects		: 441563288
1800.03/1790.21	c learnt literals	: 3
1800.03/1790.21	c learnt binary clauses	: 2
1800.03/1790.21	c learnt ternary clauses	: 0
1800.03/1790.21	c learnt clauses	: 324302
1800.03/1790.21	c root simplifications	: 0
1800.03/1790.21	c removed literals (reason simplification)	: 0
1800.03/1790.21	c reason swapping (by a shorter reason)	: 0
1800.03/1790.21	c Calls to reduceDB	: 0
1800.03/1790.21	c speed (decisions/second)	: 384.28470892364976
1800.03/1790.21	c non guided choices	908
1800.03/1790.21	s SATISFIABLE
1800.03/1790.26	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
1800.03/1790.26	v -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
1800.03/1790.26	v -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
1800.03/1790.26	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.03/1790.26	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.03/1790.26	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.03/1790.26	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.03/1790.26	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.03/1790.26	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.03/1790.26	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.03/1790.26	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.03/1790.26	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.03/1790.26	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.03/1790.26	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.03/1790.26	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.03/1790.26	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.03/1790.26	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.03/1790.26	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.03/1790.26	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.03/1790.26	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.03/1790.26	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.03/1790.26	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.03/1790.26	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.03/1790.26	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.03/1790.26	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.03/1790.26	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.03/1790.26	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.03/1790.26	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.03/1790.26	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.03/1790.26	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.03/1790.26	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.03/1790.26	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.03/1790.26	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713
1800.03/1790.26	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.03/1790.26	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.03/1790.26	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.03/1790.26	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.03/1790.26	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 -x816 -x817 -x818 -x819
1800.03/1790.26	v x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.03/1790.26	v x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864
1800.03/1790.26	v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
1800.03/1790.26	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906
1800.03/1790.26	v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927
1800.03/1790.26	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948
1800.03/1790.26	v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1800.03/1790.26	v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
1800.03/1790.26	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009
1800.03/1790.26	v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026
1800.03/1790.26	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043
1800.03/1790.26	v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1800.03/1790.26	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1800.03/1790.26	v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 x1095
1800.03/1790.26	v -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
1800.03/1790.26	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
1800.03/1790.26	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1800.03/1790.26	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.03/1790.26	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.03/1790.26	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.03/1790.26	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1800.03/1790.26	v -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.03/1790.26	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
1800.03/1790.26	v -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266
1800.03/1790.26	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
1800.03/1790.26	v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1800.03/1790.26	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317
1800.03/1790.26	v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1800.03/1790.26	v -x1335 -x1336 -x1337 -x1338 x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352
1800.03/1790.26	v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369
1800.03/1790.26	v x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386
1800.03/1790.26	v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403
1800.03/1790.26	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
1800.03/1790.26	v -x1421 -x1422 -x1423 -x1424 -x1425 x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1800.03/1790.26	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.03/1790.26	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1800.03/1790.26	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489
1800.03/1790.26	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.03/1790.26	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
1800.03/1790.26	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1800.03/1790.26	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
1800.03/1790.26	v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574
1800.03/1790.26	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591
1800.03/1790.26	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1800.03/1790.26	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625
1800.03/1790.26	v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642
1800.03/1790.26	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659
1800.03/1790.26	v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1800.03/1790.26	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
1800.03/1790.26	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1800.03/1790.26	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727
1800.03/1790.26	v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744
1800.03/1790.26	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
1800.03/1790.26	v x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1800.03/1790.26	v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795
1800.03/1790.26	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1800.03/1790.26	v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1800.03/1790.26	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846
1800.03/1790.26	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1800.03/1790.26	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1800.03/1790.26	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1800.03/1790.26	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1800.03/1790.26	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1800.03/1790.26	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1800.03/1790.26	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965
1800.03/1790.26	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
1800.03/1790.26	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1800.03/1790.26	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.03/1790.26	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
1800.03/1790.26	v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
1800.03/1790.26	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
1800.03/1790.26	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1800.03/1790.26	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1800.03/1790.26	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
1800.03/1790.26	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135
1800.03/1790.26	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152
1800.03/1790.26	v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1800.03/1790.26	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1800.03/1790.26	v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
1800.03/1790.26	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.03/1790.26	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1800.03/1790.26	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1800.03/1790.26	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1800.03/1790.26	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1800.03/1790.26	v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1800.03/1790.26	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1800.03/1790.26	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
1800.03/1790.26	v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1800.03/1790.26	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373
1800.03/1790.26	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
1800.03/1790.26	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407
1800.03/1790.26	v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424
1800.03/1790.26	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441
1800.03/1790.26	v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458
1800.03/1790.26	v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1800.03/1790.26	v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
1800.03/1790.26	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1800.03/1790.26	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1800.03/1790.26	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
1800.03/1790.26	v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
1800.03/1790.26	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577
1800.03/1790.26	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594
1800.03/1790.26	v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611
1800.03/1790.26	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
1800.03/1790.26	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645
1800.03/1790.26	v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662
1800.03/1790.26	v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
1800.03/1790.26	v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696
1800.03/1790.26	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1800.03/1790.26	v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1800.03/1790.26	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747
1800.03/1790.26	v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764
1800.03/1790.26	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781
1800.03/1790.26	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798
1800.03/1790.26	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815
1800.03/1790.26	v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832
1800.03/1790.26	v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849
1800.03/1790.26	v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866
1800.03/1790.26	v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883
1800.03/1790.26	v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
1800.03/1790.26	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917
1800.03/1790.26	v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934
1800.03/1790.26	v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1800.03/1790.26	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.03/1790.26	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
1800.03/1790.26	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
1800.03/1790.26	v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
1800.03/1790.26	v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
1800.03/1790.26	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1800.03/1790.26	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1800.03/1790.26	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1800.03/1790.26	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104
1800.03/1790.26	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121
1800.03/1790.26	v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138
1800.03/1790.26	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155
1800.03/1790.26	v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172
1800.03/1790.26	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189
1800.03/1790.26	v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
1800.03/1790.26	v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223
1800.03/1790.26	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
1800.03/1790.26	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257
1800.03/1790.26	v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274
1800.03/1790.26	v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291
1800.03/1790.26	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308
1800.03/1790.26	v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1800.03/1790.26	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342
1800.03/1790.26	v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359
1800.03/1790.26	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376
1800.03/1790.26	v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393
1800.03/1790.26	v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1800.03/1790.26	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1800.03/1790.26	v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444
1800.03/1790.26	v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461
1800.03/1790.26	v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478
1800.03/1790.26	v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495
1800.03/1790.26	v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512
1800.03/1790.26	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529
1800.03/1790.26	v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
1800.03/1790.26	v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563
1800.03/1790.26	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
1800.03/1790.26	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597
1800.03/1790.26	v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614
1800.03/1790.26	v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631
1800.03/1790.26	v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648
1800.03/1790.26	v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665
1800.03/1790.26	v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682
1800.03/1790.26	v -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699
1800.03/1790.26	v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716
1800.03/1790.26	v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733
1800.03/1790.26	v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
1800.03/1790.26	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767
1800.03/1790.26	v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784
1800.03/1790.26	v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801
1800.03/1790.26	v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818
1800.03/1790.26	v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835
1800.03/1790.26	v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852
1800.03/1790.26	v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869
1800.03/1790.26	v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886
1800.03/1790.26	v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903
1800.03/1790.26	v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
1800.03/1790.26	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937
1800.03/1790.26	v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954
1800.03/1790.26	v -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971
1800.03/1790.26	v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988
1800.03/1790.26	v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005
1800.03/1790.26	v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022
1800.03/1790.26	v -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039
1800.03/1790.26	v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056
1800.03/1790.26	v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073
1800.03/1790.26	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 x4085 x4086 -x4087 x4088 -x4089 -x4090 -x4091
1800.03/1790.26	v -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109
1800.03/1790.26	v -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126
1800.03/1790.26	v -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143
1800.03/1790.26	v -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
1800.03/1790.26	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177
1800.03/1790.26	v -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194
1800.03/1790.26	v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211
1800.03/1790.26	v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228
1800.03/1790.26	v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245
1800.03/1790.26	v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
1800.03/1790.30	c objective function=-25
1800.03/1790.30	c Total wall clock time (ms): 1790.092

Verifier Data (download as text)

OK	-25

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node61/watcher-351053-1176577244 -o ROOT/results/node61/solver-351053-1176577244 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351053-1176577244/sat4jPseudoResolution.jar /tmp/evaluation/351053-1176577244/instance-351053-1176577244.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 26063
/proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=152 CPUtime=0
/proc/26063/stat : 26063 (java) R 26061 26063 25070 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 69688084 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10383659 0 0 4096 0 0 0 0 17 1 0 0
/proc/26063/statm: 38 26 19 9 0 4 0

[startup+0.044943 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 26063
/proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1776376 CPUtime=0.03
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 3414 0 1 0 1 2 0 0 18 0 4 0 69688084 1819009024 3160 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 444094 3160 1001 9 0 441730 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1776376

[startup+0.101948 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 26063
/proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1780108 CPUtime=0.09
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 3974 0 1 0 6 3 0 0 18 0 12 0 69688084 1822830592 3715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 445027 3715 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.301964 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 26063
/proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1781428 CPUtime=0.33
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 5097 0 1 0 29 4 0 0 18 0 12 0 69688084 1824182272 4835 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 445357 4835 1264 9 0 442969 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781428

[startup+0.702005 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 26063
/proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1788136 CPUtime=1.01
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 8334 0 1 0 95 6 0 0 18 0 12 0 69688084 1831051264 7497 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 447034 7497 1302 9 0 444646 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 1788136

[startup+1.50208 s]
/proc/loadavg: 0.92 0.98 0.99 4/76 26075
/proc/meminfo: memFree=1284200/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1792960 CPUtime=2.47
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 24247 0 1 0 234 13 0 0 18 0 12 0 69688084 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448240 19768 1316 9 0 445852 0
[pid=26063/tid=26065] ppid=26061 vsize=1792960 CPUtime=0.99
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 16187 0 1 0 91 8 0 0 18 0 12 0 69688086 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109188194 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 69688087 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 69688087 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 69688089 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 69688090 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 69688090 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1792960 CPUtime=0.94
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5528 0 0 0 92 2 0 0 16 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1792960 CPUtime=0.51
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 1808 0 0 0 50 1 0 0 16 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1792960 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 1792960

[startup+3.10224 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 26076
/proc/meminfo: memFree=1232288/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1793284 CPUtime=4.34
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 33918 0 1 0 416 18 0 0 18 0 13 0 69688084 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448321 29231 1321 9 0 445933 0
[pid=26063/tid=26065] ppid=26061 vsize=1793284 CPUtime=2.46
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 25590 0 1 0 233 13 0 0 25 0 13 0 69688086 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109664964 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 69688087 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 69688087 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 69688089 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 69688090 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 69688090 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1793284 CPUtime=1.12
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5543 0 0 0 110 2 0 0 16 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1793284 CPUtime=0.73
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2057 0 0 0 72 1 0 0 16 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26076] ppid=26061 vsize=1793284 CPUtime=0
/proc/26063/task/26076/stat : 26076 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 69688239 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 1793284

[startup+6.30153 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 26076
/proc/meminfo: memFree=1149856/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1792900 CPUtime=7.6
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 47569 0 1 0 737 23 0 0 18 0 13 0 69688084 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448225 42770 1330 9 0 445837 0
[pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=5.6
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 37721 0 1 0 543 17 0 0 25 0 13 0 69688086 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662971 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=0.02
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 804 0 0 0 2 0 0 0 17 0 13 0 69688087 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=0.02
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 710 0 0 0 2 0 0 0 17 0 13 0 69688087 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 69688089 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.14
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5544 0 0 0 112 2 0 0 16 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.77
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2059 0 0 0 76 1 0 0 17 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26076] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26076/stat : 26076 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 69688239 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 1792900

[startup+12.7022 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 26077
/proc/meminfo: memFree=1143000/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1792900 CPUtime=14.2
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 49307 0 1 0 1396 24 0 0 18 0 13 0 69688084 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448225 44494 1334 9 0 445837 0
[pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=11.91
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 37724 0 1 0 1174 17 0 0 25 0 13 0 69688086 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109665066 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=0.04
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 1701 0 0 0 4 0 0 0 16 0 13 0 69688087 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=0.04
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1525 0 0 0 4 0 0 0 17 0 13 0 69688087 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688089 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.25
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5553 0 0 0 123 2 0 0 17 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.9
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2068 0 0 0 89 1 0 0 16 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.2
Current children cumulated vsize (KiB) 1792900

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/83 26149
/proc/meminfo: memFree=1146592/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1792900 CPUtime=27.04
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 49913 0 1 0 2678 26 0 0 18 0 13 0 69688084 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448225 43247 1334 9 0 445837 0
[pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=24.61
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 37729 0 1 0 2443 18 0 0 25 0 13 0 69688086 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109661006 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=0.11
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 2038 0 0 0 11 0 0 0 16 0 13 0 69688087 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=0.11
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1780 0 0 0 10 1 0 0 17 0 13 0 69688087 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 69688089 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=26063] ppid=26061 vsize=1792900 CPUtime=1671.36
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 113747 0 1 0 166997 139 0 0 18 0 13 0 69688084 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448225 50926 1334 9 0 445837 0
[pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1648.89
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 52779 0 1 0 164856 33 0 0 25 0 13 0 69688086 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109824373 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=9.85
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 27026 0 0 0 945 40 0 0 16 0 13 0 69688087 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=9.8
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 25514 0 0 0 944 36 0 0 16 0 13 0 69688087 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.54
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 79 0 0 0 31 23 0 0 16 0 13 0 69688089 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.92
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2068 0 0 0 91 1 0 0 17 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1671.36
Current children cumulated vsize (KiB) 1792900

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 26277
/proc/meminfo: memFree=1103896/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1792900 CPUtime=1731.67
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 118296 0 1 0 173023 144 0 0 18 0 13 0 69688084 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448225 54186 1334 9 0 445837 0
[pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1708.31
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 53504 0 1 0 170798 33 0 0 25 0 13 0 69688086 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522656 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=10.28
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 28506 0 0 0 987 41 0 0 16 0 13 0 69688087 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=10.25
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 27854 0 0 0 987 38 0 0 16 0 13 0 69688087 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.56
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 83 0 0 0 32 24 0 0 16 0 13 0 69688089 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.92
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2068 0 0 0 91 1 0 0 17 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1731.67
Current children cumulated vsize (KiB) 1792900

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 26277
/proc/meminfo: memFree=1090072/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1792900 CPUtime=1792.09
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 122782 0 1 0 179060 149 0 0 18 0 13 0 69688084 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448225 57568 1334 9 0 445837 0
[pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1767.74
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 54381 0 1 0 176740 34 0 0 25 0 13 0 69688086 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109823986 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=10.77
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 29097 0 0 0 1035 42 0 0 16 0 13 0 69688087 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=10.72
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 30867 0 0 0 1031 41 0 0 16 0 13 0 69688087 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.57
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 87 0 0 0 33 24 0 0 16 0 13 0 69688089 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.93
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2069 0 0 0 92 1 0 0 16 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1792.09
Current children cumulated vsize (KiB) 1792900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 26277
/proc/meminfo: memFree=1088920/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1792900 CPUtime=1800.03
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 123199 0 1 0 179854 149 0 0 18 0 13 0 69688084 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448225 57848 1334 9 0 445837 0
[pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1775.56
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 54389 0 1 0 177522 34 0 0 25 0 13 0 69688086 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109663035 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=10.83
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 29097 0 0 0 1041 42 0 0 16 0 13 0 69688087 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=10.79
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 31276 0 0 0 1037 42 0 0 16 0 13 0 69688087 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.57
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 87 0 0 0 33 24 0 0 16 0 13 0 69688089 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.93
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2069 0 0 0 92 1 0 0 16 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0
/proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1792900

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

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

[startup+1790.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 26277
/proc/meminfo: memFree=1088920/2055920 swapFree=4192812/4192956
[pid=26063] ppid=26061 vsize=1793548 CPUtime=1800.23
/proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 123222 0 1 0 179873 150 0 0 16 0 14 0 69688084 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 448387 57871 1334 9 0 445999 0
[pid=26063/tid=26065] ppid=26061 vsize=1793548 CPUtime=1775.66
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 54389 0 1 0 177532 34 0 0 25 0 14 0 69688086 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109661274 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=1793548 CPUtime=10.83
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 29097 0 0 0 1041 42 0 0 16 0 14 0 69688087 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26067] ppid=26061 vsize=1793548 CPUtime=10.79
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 31276 0 0 0 1037 42 0 0 16 0 14 0 69688087 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26068] ppid=26061 vsize=1793548 CPUtime=0.57
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 87 0 0 0 33 24 0 0 16 0 14 0 69688089 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=1793548 CPUtime=0
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 69688090 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=1793548 CPUtime=0
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 69688090 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=1793548 CPUtime=0
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26072] ppid=26061 vsize=1793548 CPUtime=1.3
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5558 0 0 0 128 2 0 0 16 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26073] ppid=26061 vsize=1793548 CPUtime=0.96
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2071 0 0 0 95 1 0 0 17 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26074] ppid=26061 vsize=1793548 CPUtime=0
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=1793548 CPUtime=0
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26063/tid=26077] ppid=26061 vsize=1793548 CPUtime=0
/proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 69688776 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1793548

Child status: 143
Real time (s): 1790.39
CPU time (s): 1800.31
CPU user time (s): 1798.77
CPU system time (s): 1.53777
CPU usage (%): 100.554
Max. virtual memory (cumulated for all children) (KiB): 1794364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.53777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123222
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= 65702
involuntary context switches= 44855

runsolver used 2.02469 second user time and 5.00624 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Apr 14 19:00:45 UTC 2007

IDJOB= 351053
IDBENCH= 1655
IDSOLVER= 159
FILE ID= node61/351053-1176577244

PBS_JOBID= 4556907

Free space on /tmp= 66561 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351053-1176577244/sat4jPseudoResolution.jar /tmp/evaluation/351053-1176577244/instance-351053-1176577244.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-351053-1176577244 -o ROOT/results/node61/solver-351053-1176577244 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351053-1176577244/sat4jPseudoResolution.jar /tmp/evaluation/351053-1176577244/instance-351053-1176577244.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  916719a95a95b5989e5d4b5f3d786df3

RANDOM SEED= 590570142

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1317216 kB
Buffers:         42408 kB
Cached:         554020 kB
SwapCached:          0 kB
Active:         328504 kB
Inactive:       287564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1317216 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4248 kB
Writeback:           0 kB
Mapped:          29824 kB
Slab:           108688 kB
Committed_AS:   111972 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node61 on Sat Apr 14 19:30:37 UTC 2007