Trace number 373442

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
sat4jPseudoCP 2007-03-23SAT (TO)46880 1800.33 1780.24

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
MD5SUM83920c844b074c56822148eb18b413de
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37042
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 2124
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3653850
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2124
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3653850
Number of bits of the biggest sum of numbers22
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 (download as text)

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

Verifier Data (download as text)

OK	46880

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-373442-1177192939 -o ROOT/results/node51/solver-373442-1177192939 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373442-1177192939/sat4jPseudoCP.jar /tmp/evaluation/373442-1177192939/instance-373442-1177192939.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 2330
/proc/meminfo: memFree=1621096/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=152 CPUtime=0
/proc/2330/stat : 2330 (java) R 2328 2330 1523 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 74139051 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 2617643 0 0 4096 0 0 0 0 17 1 0 0
/proc/2330/statm: 38 26 19 9 0 4 0

[startup+0.0830711 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 2330
/proc/meminfo: memFree=1621096/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1777844 CPUtime=0.07
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 3803 0 1 0 4 3 0 0 18 0 7 0 74139051 1820512256 3546 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 444461 3546 1086 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.101072 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 2330
/proc/meminfo: memFree=1621096/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1780108 CPUtime=0.08
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 3973 0 1 0 5 3 0 0 18 0 12 0 74139051 1822830592 3715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 445027 3715 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301089 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 2330
/proc/meminfo: memFree=1621096/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1781452 CPUtime=0.34
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 5103 0 1 0 30 4 0 0 18 0 12 0 74139051 1824206848 4836 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 445363 4836 1267 9 0 442975 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1781452

[startup+0.701126 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 2330
/proc/meminfo: memFree=1621096/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1782504 CPUtime=0.89
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 6872 0 1 0 84 5 0 0 18 0 12 0 74139051 1825284096 6460 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 445626 6460 1301 9 0 443238 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1782504

[startup+1.5012 s]
/proc/loadavg: 0.92 0.98 0.99 2/76 2342
/proc/meminfo: memFree=1591304/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1784912 CPUtime=2.11
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 12620 0 1 0 203 8 0 0 18 0 13 0 74139051 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 446228 11351 1318 9 0 443840 0
[pid=2330/tid=2332] ppid=2328 vsize=1784912 CPUtime=1.07
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 9570 0 1 0 101 6 0 0 25 0 13 0 74139052 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109216014 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 74139054 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 74139054 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 74139056 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 74139057 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 74139057 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1784912 CPUtime=0.53
/proc/2330/task/2339/stat : 2339 (java) R 2328 2330 1523 0 -1 64 1125 0 0 0 53 0 0 0 16 0 13 0 74139061 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102120666 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1784912 CPUtime=0.48
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 1201 0 0 0 48 0 0 0 16 0 13 0 74139061 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1784912 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1827749888 11351 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 1784912

[startup+3.10234 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 2344
/proc/meminfo: memFree=1482944/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1785936 CPUtime=4.08
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 42845 0 1 0 388 20 0 0 18 0 13 0 74139051 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 446484 40884 1327 9 0 444096 0
[pid=2330/tid=2332] ppid=2328 vsize=1785936 CPUtime=2.48
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 37717 0 1 0 231 17 0 0 20 0 13 0 74139052 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109214169 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1785936 CPUtime=0.02
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 694 0 0 0 2 0 0 0 16 0 13 0 74139054 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1785936 CPUtime=0.02
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 593 0 0 0 2 0 0 0 16 0 13 0 74139054 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1785936 CPUtime=0
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139056 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1785936 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1785936 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1785936 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1785936 CPUtime=0.84
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 1740 0 0 0 84 0 0 0 17 0 13 0 74139061 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1785936 CPUtime=0.68
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 1367 0 0 0 67 1 0 0 16 0 13 0 74139061 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1785936 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1785936 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1828798464 40884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 1785936

[startup+6.30262 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 2345
/proc/meminfo: memFree=1444152/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1785648 CPUtime=7.65
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 48962 0 1 0 742 23 0 0 18 0 13 0 74139051 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 446412 45539 1327 9 0 444024 0
[pid=2330/tid=2332] ppid=2328 vsize=1785648 CPUtime=5.52
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 41269 0 1 0 534 18 0 0 25 0 13 0 74139052 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109732797 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1785648 CPUtime=0.08
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 1542 0 0 0 8 0 0 0 16 0 13 0 74139054 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1785648 CPUtime=0.07
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 1573 0 0 0 7 0 0 0 16 0 13 0 74139054 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1785648 CPUtime=0
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 74139056 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1785648 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1785648 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1785648 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1785648 CPUtime=1.02
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 1743 0 0 0 102 0 0 0 16 0 13 0 74139061 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1785648 CPUtime=0.9
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 2081 0 0 0 89 1 0 0 16 0 13 0 74139061 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1785648 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1785648 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2345] ppid=2328 vsize=1785648 CPUtime=0
/proc/2330/task/2345/stat : 2345 (java) S 2328 2330 1523 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 74139356 1828503552 45539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 1785648

[startup+12.7022 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 2346
/proc/meminfo: memFree=1423024/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1790768 CPUtime=14.42
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 57040 0 1 0 1414 28 0 0 18 0 13 0 74139051 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 447692 49669 1328 9 0 445304 0
[pid=2330/tid=2332] ppid=2328 vsize=1790768 CPUtime=11.77
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 45689 0 1 0 1156 21 0 0 25 0 13 0 74139052 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109732867 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1790768 CPUtime=0.11
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 2044 0 0 0 10 1 0 0 16 0 13 0 74139054 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1790768 CPUtime=0.1
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 1895 0 0 0 10 0 0 0 15 0 13 0 74139054 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1790768 CPUtime=0
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 74139056 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1790768 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1790768 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1790768 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1790768 CPUtime=1.16
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 1750 0 0 0 116 0 0 0 17 0 13 0 74139061 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1790768 CPUtime=1.21
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 4908 0 0 0 119 2 0 0 16 0 13 0 74139061 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1790768 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1790768 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2346] ppid=2328 vsize=1790768 CPUtime=0
/proc/2330/task/2346/stat : 2346 (java) S 2328 2330 1523 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 74139853 1833746432 49669 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.42
Current children cumulated vsize (KiB) 1790768

[startup+25.5023 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 2347
/proc/meminfo: memFree=1450408/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1792232 CPUtime=27.76
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 61279 0 1 0 2746 30 0 0 18 0 13 0 74139051 1835245568 43531 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 448058 43531 1328 9 0 445670 0
[pid=2330/tid=2332] ppid=2328 vsize=1792232 CPUtime=24.24
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 45729 0 1 0 2403 21 0 0 25 0 13 0 74139052 1835245568 43531 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109785006 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1792232 CPUtime=0.17
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 2770 0 0 0 16 1 0 0 16 0 13 0 74139054 1835245568 43531 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1792232 CPUtime=0.16
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 2540 0 0 0 16 0 0 0 15 0 13 0 74139054 1835245568 43531 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1792232 CPUtime=0.01
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 31 0 0 0 0 1 0 0 17 0 13 0 74139056 1835245568 43531 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1792232 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1835245568 43531 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=2330/tid=2335] ppid=2328 vsize=1791396 CPUtime=0.86
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 279 0 0 0 49 37 0 0 15 0 13 0 74139056 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1791396 CPUtime=2.04
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 4253 0 0 0 203 1 0 0 17 0 13 0 74139061 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1791396 CPUtime=1.89
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 5599 0 0 0 186 3 0 0 17 0 13 0 74139061 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2352] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2352/stat : 2352 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 74180498 1834389504 159225 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1560.1
Current children cumulated vsize (KiB) 1791396

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/77 2352
/proc/meminfo: memFree=978576/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1791396 CPUtime=1620.66
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 277925 0 1 0 161879 187 0 0 18 0 13 0 74139051 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 447849 161464 1329 9 0 445461 0
[pid=2330/tid=2332] ppid=2328 vsize=1791396 CPUtime=1582.45
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 118112 0 1 0 158186 59 0 0 25 0 13 0 74139052 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109873405 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1791396 CPUtime=16.66
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 75594 0 0 0 1625 41 0 0 16 0 13 0 74139054 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1791396 CPUtime=16.67
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 73359 0 0 0 1625 42 0 0 15 0 13 0 74139054 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1791396 CPUtime=0.88
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 279 0 0 0 51 37 0 0 16 0 13 0 74139056 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1791396 CPUtime=2.04
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 4253 0 0 0 203 1 0 0 17 0 13 0 74139061 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1791396 CPUtime=1.89
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 5599 0 0 0 186 3 0 0 17 0 13 0 74139061 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2352] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2352/stat : 2352 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 74180498 1834389504 161464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1620.66
Current children cumulated vsize (KiB) 1791396

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/77 2352
/proc/meminfo: memFree=968976/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1791396 CPUtime=1681.21
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 281728 0 1 0 167930 191 0 0 18 0 13 0 74139051 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 447849 163828 1329 9 0 445461 0
[pid=2330/tid=2332] ppid=2328 vsize=1791396 CPUtime=1641.74
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 118324 0 1 0 164114 60 0 0 22 0 13 0 74139052 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109697007 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1791396 CPUtime=17.28
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 77331 0 0 0 1686 42 0 0 16 0 13 0 74139054 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1791396 CPUtime=17.3
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 75213 0 0 0 1687 43 0 0 16 0 13 0 74139054 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1791396 CPUtime=0.9
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 279 0 0 0 52 38 0 0 15 0 13 0 74139056 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1791396 CPUtime=2.04
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 4253 0 0 0 203 1 0 0 17 0 13 0 74139061 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1791396 CPUtime=1.89
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 5599 0 0 0 186 3 0 0 17 0 13 0 74139061 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2352] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2352/stat : 2352 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 74180498 1834389504 163828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1681.21
Current children cumulated vsize (KiB) 1791396

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 2352
/proc/meminfo: memFree=960272/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1791396 CPUtime=1741.78
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 285952 0 1 0 173982 196 0 0 18 0 13 0 74139051 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 447849 166030 1329 9 0 445461 0
[pid=2330/tid=2332] ppid=2328 vsize=1791396 CPUtime=1701.07
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 118564 0 1 0 170046 61 0 0 19 0 13 0 74139052 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109696924 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1791396 CPUtime=17.89
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 79229 0 0 0 1746 43 0 0 16 0 13 0 74139054 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1791396 CPUtime=17.9
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 77299 0 0 0 1746 44 0 0 16 0 13 0 74139054 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1791396 CPUtime=0.92
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 279 0 0 0 52 40 0 0 15 0 13 0 74139056 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1791396 CPUtime=2.04
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 4253 0 0 0 203 1 0 0 17 0 13 0 74139061 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1791396 CPUtime=1.89
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 5599 0 0 0 186 3 0 0 17 0 13 0 74139061 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2352] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2352/stat : 2352 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 74180498 1834389504 166030 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1741.78
Current children cumulated vsize (KiB) 1791396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 2352
/proc/meminfo: memFree=950160/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=1791396 CPUtime=1800.02
/proc/2330/stat : 2330 (java) S 2328 2330 1523 0 -1 0 289739 0 1 0 179803 199 0 0 18 0 13 0 74139051 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2330/statm: 447849 168535 1329 9 0 445461 0
[pid=2330/tid=2332] ppid=2328 vsize=1791396 CPUtime=1758.11
/proc/2330/task/2332/stat : 2332 (java) R 2328 2330 1523 0 -1 64 118723 0 1 0 175750 61 0 0 17 0 13 0 74139052 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109696979 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2333] ppid=2328 vsize=1791396 CPUtime=18.47
/proc/2330/task/2333/stat : 2333 (java) S 2328 2330 1523 0 -1 64 81062 0 0 0 1803 44 0 0 15 0 13 0 74139054 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2334] ppid=2328 vsize=1791396 CPUtime=18.5
/proc/2330/task/2334/stat : 2334 (java) S 2328 2330 1523 0 -1 64 79094 0 0 0 1804 46 0 0 16 0 13 0 74139054 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2335] ppid=2328 vsize=1791396 CPUtime=0.94
/proc/2330/task/2335/stat : 2335 (java) S 2328 2330 1523 0 -1 64 279 0 0 0 54 40 0 0 15 0 13 0 74139056 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2336] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2336/stat : 2336 (java) S 2328 2330 1523 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2337] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2337/stat : 2337 (java) S 2328 2330 1523 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 74139057 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2338] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2338/stat : 2338 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 74139061 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2339] ppid=2328 vsize=1791396 CPUtime=2.04
/proc/2330/task/2339/stat : 2339 (java) S 2328 2330 1523 0 -1 64 4253 0 0 0 203 1 0 0 17 0 13 0 74139061 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2340] ppid=2328 vsize=1791396 CPUtime=1.89
/proc/2330/task/2340/stat : 2340 (java) S 2328 2330 1523 0 -1 64 5599 0 0 0 186 3 0 0 17 0 13 0 74139061 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2341] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2341/stat : 2341 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 74139061 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2330/tid=2342] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2342/stat : 2342 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 74139061 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2330/tid=2352] ppid=2328 vsize=1791396 CPUtime=0
/proc/2330/task/2352/stat : 2352 (java) S 2328 2330 1523 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 74180498 1834389504 168535 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1791396

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

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

[startup+1780.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 2352
/proc/meminfo: memFree=950160/2055920 swapFree=4183244/4192956
[pid=2330] ppid=2328 vsize=0 CPUtime=1800.3
/proc/2330/stat : 2330 (java) Z 2328 2330 1523 0 -1 1036 289758 0 1 0 179824 206 0 0 15 0 2 0 74139051 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2330/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1780.24
CPU time (s): 1800.33
CPU user time (s): 1798.24
CPU system time (s): 2.09268
CPU usage (%): 101.129
Max. virtual memory (cumulated for all children) (KiB): 1793372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 2.09268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289758
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= 74890
involuntary context switches= 36390

runsolver used 2.04669 second user time and 5.07923 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Apr 21 22:02:19 UTC 2007

IDJOB= 373442
IDBENCH= 25045
IDSOLVER= 160
FILE ID= node51/373442-1177192939

PBS_JOBID= 4649057

Free space on /tmp= 66458 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373442-1177192939/sat4jPseudoCP.jar /tmp/evaluation/373442-1177192939/instance-373442-1177192939.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-373442-1177192939 -o ROOT/results/node51/solver-373442-1177192939 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373442-1177192939/sat4jPseudoCP.jar /tmp/evaluation/373442-1177192939/instance-373442-1177192939.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  83920c844b074c56822148eb18b413de

RANDOM SEED= 523534389

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1621568 kB
Buffers:         67348 kB
Cached:         290624 kB
SwapCached:       3448 kB
Active:         184912 kB
Inactive:       186212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1621568 kB
SwapTotal:     4192956 kB
SwapFree:      4183244 kB
Dirty:            3924 kB
Writeback:           0 kB
Mapped:          17384 kB
Slab:            49344 kB
Committed_AS:  3721232 kB
PageTables:       1412 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= 66458 MiB

End job on node51 on Sat Apr 21 22:32:01 UTC 2007