Trace number 453406

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
sat4jPseudoCPClause 2007-03-23SAT (TO)15 1800.4 1748.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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.15	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.PBSolverClause)
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 Simplify asserted PB constraints to clauses
0.20/0.20	c solving /tmp/evaluation/453406-1178135286/instance-453406-1178135286.opb
0.20/0.20	c reading problem ... 
9.78/9.06	c ... done. Wall clock time 8.858s.
9.78/9.06	c CPU time (experimental) 8.64s.
9.78/9.06	c #vars     6404
9.78/9.06	c #constraints  12608
10.09/9.25	c SATISFIABLE
10.09/9.25	c OPTIMIZING...
10.09/9.25	c Got one! Elapsed wall clock time (in seconds):9.054
10.09/9.29	o 15
1800.08/1748.61	c starts		: 3
1800.08/1748.61	c conflicts		: 15426
1800.08/1748.61	c decisions		: 20337
1800.08/1748.61	c propagations		: 3059228
1800.08/1748.61	c inspects		: 133244375
1800.08/1748.61	c learnt literals	: 0
1800.08/1748.61	c learnt binary clauses	: 0
1800.08/1748.61	c learnt ternary clauses	: 0
1800.08/1748.61	c learnt clauses	: 15425
1800.08/1748.61	c root simplifications	: 0
1800.08/1748.61	c removed literals (reason simplification)	: 0
1800.08/1748.61	c reason swapping (by a shorter reason)	: 0
1800.08/1748.61	c Calls to reduceDB	: 0
1800.08/1748.61	c speed (decisions/second)	: 11.692621522886768
1800.08/1748.61	c non guided choices	0
1800.08/1748.61	s SATISFIABLE
1800.08/1748.65	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.08/1748.65	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.08/1748.65	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 -x81
1800.08/1748.65	v -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.08/1748.65	v -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 x118 -x119 -x120 x121 -x122 x123 -x124 -x125 x126 x127
1800.08/1748.65	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.08/1748.65	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.08/1748.65	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.08/1748.65	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1800.08/1748.65	v -x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232
1800.08/1748.65	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1800.08/1748.65	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274
1800.08/1748.65	v -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295
1800.08/1748.65	v x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316
1800.08/1748.65	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.08/1748.65	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358
1800.08/1748.65	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379
1800.08/1748.65	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.08/1748.65	v -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421
1800.08/1748.65	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442
1800.08/1748.65	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1800.08/1748.65	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484
1800.08/1748.65	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505
1800.08/1748.65	v -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1800.08/1748.65	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1800.08/1748.65	v -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 x566 -x567 x568 -x569
1800.08/1748.65	v -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1800.08/1748.65	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
1800.08/1748.65	v -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632
1800.08/1748.65	v x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.08/1748.65	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674
1800.08/1748.65	v -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.08/1748.65	v -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.08/1748.65	v -x717 -x718 x719 -x720 -x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.08/1748.65	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.08/1748.65	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 x776 -x777 -x778 -x779
1800.08/1748.65	v -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.08/1748.65	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1800.08/1748.65	v -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 x842
1800.08/1748.65	v -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1800.08/1748.65	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1800.08/1748.65	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905
1800.08/1748.65	v -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926
1800.08/1748.65	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
1800.08/1748.65	v -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968
1800.08/1748.65	v -x969 -x970 -x971 x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1800.08/1748.65	v -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
1800.08/1748.65	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025
1800.08/1748.65	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.08/1748.65	v -x1043 x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1800.08/1748.65	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077
1800.08/1748.65	v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1800.08/1748.65	v -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1800.08/1748.65	v -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 x1129
1800.08/1748.65	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146
1800.08/1748.65	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163
1800.08/1748.65	v x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181
1800.08/1748.65	v -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.08/1748.65	v x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216
1800.08/1748.65	v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 x1234
1800.08/1748.65	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
1800.08/1748.65	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.08/1748.65	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1800.08/1748.65	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302
1800.08/1748.65	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1800.08/1748.65	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1800.08/1748.65	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353
1800.08/1748.65	v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1800.08/1748.65	v -x1371 -x1372 x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
1800.08/1748.65	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405
1800.08/1748.65	v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
1800.08/1748.65	v -x1424 x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441
1800.08/1748.65	v -x1442 -x1443 -x1444 -x1445 x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459
1800.08/1748.65	v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476
1800.08/1748.65	v -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493
1800.08/1748.65	v x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511
1800.08/1748.65	v -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529
1800.08/1748.65	v -x1530 x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547
1800.08/1748.65	v -x1548 -x1549 -x1550 -x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 x1561 -x1562 -x1563 -x1564 -x1565
1800.08/1748.65	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582
1800.08/1748.65	v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600
1800.08/1748.65	v x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.08/1748.65	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
1800.08/1748.65	v -x1635 x1636 -x1637 -x1638 x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
1800.08/1748.65	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669
1800.08/1748.65	v -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
1800.08/1748.65	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1800.08/1748.65	v -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 x1717 -x1718 -x1719 -x1720 x1721
1800.08/1748.65	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738
1800.08/1748.65	v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1800.08/1748.65	v x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
1800.08/1748.65	v x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791
1800.08/1748.65	v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808
1800.08/1748.65	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.08/1748.65	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842
1800.08/1748.65	v -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1800.08/1748.65	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876
1800.08/1748.65	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893
1800.08/1748.65	v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910
1800.08/1748.65	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927
1800.08/1748.65	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1800.08/1748.65	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961
1800.08/1748.65	v -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979
1800.08/1748.65	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1800.08/1748.65	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013
1800.08/1748.65	v -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031
1800.08/1748.65	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
1800.08/1748.65	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066
1800.08/1748.65	v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083
1800.08/1748.65	v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100
1800.08/1748.65	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117
1800.08/1748.65	v -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135
1800.08/1748.65	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152
1800.08/1748.65	v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1800.08/1748.65	v x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1800.08/1748.65	v -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
1800.08/1748.65	v -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221
1800.08/1748.65	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238
1800.08/1748.65	v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255
1800.08/1748.65	v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 -x2270 -x2271 -x2272
1800.08/1748.65	v -x2273 x2274 x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
1800.08/1748.65	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307
1800.08/1748.65	v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324
1800.08/1748.65	v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342
1800.08/1748.65	v -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
1800.08/1748.65	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377
1800.08/1748.65	v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394
1800.08/1748.65	v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411
1800.08/1748.65	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.08/1748.65	v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.08/1748.65	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1800.08/1748.65	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
1800.08/1748.65	v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.08/1748.65	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513
1800.08/1748.65	v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
1800.08/1748.65	v -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547
1800.08/1748.65	v -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 x2565
1800.08/1748.65	v -x2566 x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582
1800.08/1748.65	v -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600
1800.08/1748.65	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617
1800.08/1748.65	v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
1800.08/1748.65	v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652
1800.08/1748.65	v -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670
1800.08/1748.65	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687
1800.08/1748.65	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704
1800.08/1748.65	v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 x2721 -x2722
1800.08/1748.65	v -x2723 -x2724 x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
1800.08/1748.65	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757
1800.08/1748.65	v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774
1800.08/1748.65	v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791
1800.08/1748.65	v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808
1800.08/1748.65	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1800.08/1748.65	v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842
1800.08/1748.65	v -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859
1800.08/1748.65	v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876
1800.08/1748.65	v -x2877 -x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894
1800.08/1748.65	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1800.08/1748.65	v -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1800.08/1748.65	v x2929 -x2930 -x2931 -x2932 x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946
1800.08/1748.65	v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
1800.08/1748.65	v -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
1800.08/1748.65	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997
1800.08/1748.65	v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015
1800.08/1748.65	v -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032
1800.08/1748.65	v -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050
1800.08/1748.65	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067
1800.08/1748.65	v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084
1800.08/1748.65	v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101
1800.08/1748.65	v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118
1800.08/1748.65	v -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136
1800.08/1748.65	v -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154
1800.08/1748.65	v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171
1800.08/1748.65	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 x3189
1800.08/1748.65	v -x3190 -x3191 -x3192 -x3193 x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207
1800.08/1748.65	v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3223 x3224 -x3225
1800.08/1748.65	v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 x3233 x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243
1800.08/1748.65	v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
1800.08/1748.65	v -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278
1800.08/1748.65	v -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295
1800.08/1748.65	v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312
1800.08/1748.65	v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329
1800.08/1748.65	v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346
1800.08/1748.65	v -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 -x3363 -x3364
1800.08/1748.65	v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381
1800.08/1748.65	v -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398
1800.08/1748.65	v x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416
1800.08/1748.65	v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433
1800.08/1748.65	v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451
1800.08/1748.65	v -x3452 x3453 x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469
1800.08/1748.65	v -x3470 -x3471 -x3472 -x3473 -x3474 x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 x3485 -x3486 -x3487
1800.08/1748.65	v -x3488 -x3489 x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505
1800.08/1748.65	v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 x3522 -x3523
1800.08/1748.65	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540
1800.08/1748.65	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557
1800.08/1748.65	v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574
1800.08/1748.65	v -x3575 -x3576 x3577 -x3578 -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592
1800.08/1748.65	v x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609
1800.08/1748.65	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626
1800.08/1748.65	v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644
1800.08/1748.65	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661
1800.08/1748.65	v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 x3677 x3678 -x3679
1800.08/1748.65	v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697
1800.08/1748.65	v -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714
1800.08/1748.65	v -x3715 -x3716 x3717 -x3718 -x3719 -x3720 -x3721 x3722 x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732
1800.08/1748.65	v -x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 x3749 -x3750
1800.08/1748.65	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767
1800.08/1748.65	v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784
1800.08/1748.65	v -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802
1800.08/1748.65	v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 x3816 -x3817 -x3818 -x3819
1800.08/1748.65	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836
1800.08/1748.65	v -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854
1800.08/1748.65	v -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871
1800.08/1748.65	v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888
1800.08/1748.65	v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905
1800.08/1748.65	v -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922
1800.08/1748.65	v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939
1800.08/1748.65	v -x3940 x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957
1800.08/1748.65	v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 x3974 -x3975
1800.08/1748.65	v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992
1800.08/1748.65	v -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
1800.08/1748.65	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 x4026 -x4027
1800.08/1748.65	v -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044
1800.08/1748.65	v -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061
1800.08/1748.65	v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079
1800.08/1748.65	v -x4080 -x4081 x4082 -x4083 -x4084 x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097
1800.08/1748.65	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114
1800.08/1748.65	v -x4115 -x4116 -x4117 x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
1800.08/1748.65	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148
1800.08/1748.65	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165
1800.08/1748.65	v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182
1800.08/1748.65	v x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
1800.08/1748.65	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 -x4218
1800.08/1748.65	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236
1800.08/1748.65	v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253
1800.08/1748.65	v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270
1800.08/1748.65	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287
1800.08/1748.65	v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
1800.08/1748.65	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321
1800.08/1748.65	v -x4322 -x4323 x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338
1800.08/1748.65	v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4356
1800.08/1748.65	v x4357 -x4358 x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374
1800.08/1748.65	v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391
1800.08/1748.65	v -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408
1800.08/1748.65	v -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425
1800.08/1748.65	v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 x4440 -x4441 -x4442
1800.08/1748.65	v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459
1800.08/1748.65	v -x4460 -x4461 -x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476
1800.08/1748.65	v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493
1800.08/1748.65	v -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
1800.08/1748.65	v x4511 x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528
1800.08/1748.65	v -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545
1800.08/1748.65	v -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562
1800.08/1748.65	v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 x4578 x4579 -x4580
1800.08/1748.65	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 x4594 -x4595 -x4596 -x4597 -x4598
1800.08/1748.65	v -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 x4613 x4614 -x4615 -x4616
1800.08/1748.65	v -x4617 -x4618 -x4619 x4620 x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634
1800.08/1748.65	v -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651
1800.08/1748.65	v -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668
1800.08/1748.65	v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685
1800.08/1748.65	v -x4686 -x4687 -x4688 -x4689 x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703
1800.08/1748.65	v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 x4712 -x4713 x4714 -x4715 -x4716 -x4717 x4718 -x4719 x4720 -x4721
1800.08/1748.65	v -x4722 -x4723 -x4724 -x4725 -x4726 x4727 x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739
1800.08/1748.65	v -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756
1800.08/1748.65	v -x4757 -x4758 -x4759 x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773
1800.08/1748.65	v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 x4785 x4786 x4787 -x4788 -x4789 -x4790 -x4791
1800.08/1748.65	v -x4792 -x4793 x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808
1800.08/1748.65	v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826
1800.08/1748.65	v -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844
1800.08/1748.65	v -x4845 -x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 x4860 x4861 -x4862
1800.08/1748.65	v -x4863 -x4864 x4865 -x4866 x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880
1800.08/1748.65	v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897
1800.08/1748.65	v -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
1800.08/1748.65	v -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 x4928 -x4929 x4930 x4931 -x4932 -x4933
1800.08/1748.65	v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1800.08/1748.65	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 x4958 -x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968
1800.08/1748.65	v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986
1800.08/1748.65	v -x4987 -x4988 x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003
1800.08/1748.65	v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 -x5019 -x5020
1800.08/1748.65	v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037
1800.08/1748.65	v -x5038 -x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054
1800.08/1748.65	v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 x5067 -x5068 -x5069 -x5070 -x5071
1800.08/1748.65	v -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088
1800.08/1748.65	v -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105
1800.08/1748.65	v -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122
1800.08/1748.65	v -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139
1800.08/1748.65	v -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156
1800.08/1748.65	v -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 -x5172 -x5173 -x5174
1800.08/1748.65	v -x5175 -x5176 -x5177 -x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191
1800.08/1748.65	v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 x5208 -x5209
1800.08/1748.65	v -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 x5219 -x5220 -x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227
1800.08/1748.65	v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244
1800.08/1748.65	v -x5245 -x5246 -x5247 x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 -x5262
1800.08/1748.65	v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279
1800.08/1748.65	v -x5280 x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296
1800.08/1748.65	v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314
1800.08/1748.65	v -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331
1800.08/1748.65	v -x5332 -x5333 -x5334 -x5335 -x5336 x5337 x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349
1800.08/1748.65	v -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366
1800.08/1748.65	v -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383
1800.08/1748.65	v x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 -x5401
1800.08/1748.65	v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418
1800.08/1748.65	v -x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436
1800.08/1748.65	v -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 x5444 -x5445 x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454
1800.08/1748.65	v -x5455 x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5471 -x5472
1800.08/1748.65	v -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489
1800.08/1748.65	v -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 -x5506
1800.08/1748.65	v -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523
1800.08/1748.65	v x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540
1800.08/1748.65	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 x5547 -x5548 -x5549 -x5550 x5551 -x5552 x5553 -x5554 -x5555 -x5556 -x5557 -x5558
1800.08/1748.65	v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575
1800.08/1748.65	v -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592
1800.08/1748.65	v -x5593 -x5594 -x5595 x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609
1800.08/1748.65	v -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626
1800.08/1748.65	v -x5627 -x5628 -x5629 x5630 -x5631 -x5632 -x5633 -x5634 x5635 x5636 -x5637 -x5638 -x5639 -x5640 -x5641 x5642 x5643 -x5644
1800.08/1748.65	v -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661
1800.08/1748.65	v -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678
1800.08/1748.65	v -x5679 -x5680 -x5681 x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 -x5689 -x5690 -x5691 -x5692 x5693 x5694 -x5695 x5696
1800.08/1748.65	v -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 x5713
1800.08/1748.65	v -x5714 -x5715 -x5716 -x5717 -x5718 x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730
1800.08/1748.65	v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 x5741 x5742 -x5743 -x5744 -x5745 x5746 x5747 -x5748
1800.08/1748.65	v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 -x5764 -x5765
1800.08/1748.65	v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782
1800.08/1748.65	v -x5783 -x5784 -x5785 -x5786 x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x5800
1800.08/1748.65	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817
1800.08/1748.65	v -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834
1800.08/1748.65	v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850 -x5851
1800.08/1748.65	v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868
1800.08/1748.65	v -x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886
1800.08/1748.65	v -x5887 x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904
1800.08/1748.65	v -x5905 -x5906 x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921
1800.08/1748.65	v x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939
1800.08/1748.65	v x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957
1800.08/1748.65	v -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974
1800.08/1748.65	v -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991
1800.08/1748.65	v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 x6002 -x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009
1800.08/1748.65	v -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026
1800.08/1748.65	v -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043
1800.08/1748.65	v -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060
1800.08/1748.65	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077
1800.08/1748.65	v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 x6089 -x6090 -x6091 -x6092 -x6093 -x6094
1800.08/1748.65	v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111
1800.08/1748.65	v -x6112 -x6113 -x6114 x6115 x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129
1800.08/1748.65	v -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 x6137 -x6138 -x6139 -x6140 -x6141 -x6142 x6143 -x6144 x6145 -x6146 -x6147
1800.08/1748.65	v -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164
1800.08/1748.65	v x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 x6178 -x6179 -x6180 -x6181 -x6182
1800.08/1748.65	v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 x6193 -x6194 x6195 -x6196 -x6197 -x6198 -x6199 -x6200
1800.08/1748.65	v -x6201 -x6202 -x6203 -x6204 -x6205 x6206 x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 -x6215 x6216 x6217 -x6218
1800.08/1748.65	v -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 x6234 -x6235
1800.08/1748.65	v -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252
1800.08/1748.65	v -x6253 -x6254 -x6255 x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270
1800.08/1748.65	v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287
1800.08/1748.65	v -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304
1800.08/1748.65	v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 x6313 x6314 x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322
1800.08/1748.65	v -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339
1800.08/1748.65	v -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356
1800.08/1748.65	v -x6357 x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 x6372 -x6373 -x6374
1800.08/1748.65	v -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391
1800.08/1748.65	v -x6392 -x6393 -x6394 -x6395 -x6396 x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404
1800.08/1748.67	c objective function=15
1800.08/1748.67	c Total wall clock time (ms): 1748.471

Verifier Data (download as text)

OK	15

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node21/watcher-453406-1178135286 -o ROOT/results/node21/solver-453406-1178135286 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453406-1178135286/sat4jPseudoCPClause.jar /tmp/evaluation/453406-1178135286/instance-453406-1178135286.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/77 29602
/proc/meminfo: memFree=1812544/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1800 CPUtime=0
/proc/29602/stat : 29602 (java) R 29600 29602 28069 0 -1 0 157 0 0 0 0 0 0 0 18 0 1 0 261445876 1843200 131 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 8707360 0 0 4096 0 0 0 0 17 1 0 0
/proc/29602/statm: 450 138 101 9 0 92 0

[startup+0.0164509 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 29602
/proc/meminfo: memFree=1812544/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=12652 CPUtime=0
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 877 0 1 0 0 0 0 0 18 0 2 0 261445876 12955648 635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 3163 635 311 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12652

[startup+0.10213 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 29602
/proc/meminfo: memFree=1812544/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1780112 CPUtime=0.08
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 3971 0 1 0 5 3 0 0 18 0 12 0 261445876 1822834688 3714 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 445028 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.302151 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 29602
/proc/meminfo: memFree=1812544/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1782188 CPUtime=0.31
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 5151 0 1 0 27 4 0 0 18 0 12 0 261445876 1824960512 4891 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 445547 4891 1263 9 0 443158 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782188

[startup+0.701197 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 29602
/proc/meminfo: memFree=1812544/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1782672 CPUtime=0.85
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 6152 0 1 0 80 5 0 0 18 0 12 0 261445876 1825456128 5866 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 445668 5866 1301 9 0 443279 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 1782672

[startup+1.50228 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 29614
/proc/meminfo: memFree=1787296/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1788192 CPUtime=2.06
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 11628 0 1 0 199 7 0 0 18 0 12 0 261445876 1831108608 8437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 447048 8437 1304 9 0 444659 0
[pid=29602/tid=29604] ppid=29600 vsize=1788192 CPUtime=1.11
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 5948 0 1 0 107 4 0 0 18 0 12 0 261445877 1831108608 8437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109483958 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 261445879 1831108608 8437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 261445879 1831108608 8437 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 261445881 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 261445881 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 261445881 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 261445886 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1788192 CPUtime=0.45
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 2256 0 0 0 44 1 0 0 16 0 12 0 261445886 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1788192 CPUtime=0.46
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 2706 0 0 0 46 0 0 0 16 0 12 0 261445886 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 261445886 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 261445886 1831108608 8438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 1788192

[startup+3.10146 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 29614
/proc/meminfo: memFree=1781088/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1788192 CPUtime=3.75
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 12829 0 1 0 367 8 0 0 18 0 12 0 261445876 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 447048 9637 1304 9 0 444659 0
[pid=29602/tid=29604] ppid=29600 vsize=1788192 CPUtime=2.69
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 7143 0 1 0 264 5 0 0 25 0 12 0 261445877 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109483958 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 261445879 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 261445879 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 261445881 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 261445881 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 261445881 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 261445886 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1788192 CPUtime=0.5
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 2258 0 0 0 49 1 0 0 17 0 12 0 261445886 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1788192 CPUtime=0.53
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 2710 0 0 0 53 0 0 0 15 0 12 0 261445886 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 261445886 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1788192 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 261445886 1831108608 9637 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 1788192

[startup+6.3028 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 29614
/proc/meminfo: memFree=1776160/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1786900 CPUtime=7.08
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 14118 0 1 0 699 9 0 0 18 0 12 0 261445876 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 446725 10477 1304 9 0 444336 0
[pid=29602/tid=29604] ppid=29600 vsize=1786900 CPUtime=5.88
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 8378 0 1 0 582 6 0 0 25 0 12 0 261445877 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109484294 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 261445879 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 261445879 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 261445881 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 261445881 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 261445881 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 261445886 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1786900 CPUtime=0.59
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 2309 0 0 0 58 1 0 0 16 0 12 0 261445886 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1786900 CPUtime=0.58
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 2713 0 0 0 58 0 0 0 16 0 12 0 261445886 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 261445886 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1786900 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 261445886 1829785600 10477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 1786900

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 3/90 29616
/proc/meminfo: memFree=1635672/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1795084 CPUtime=15.14
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 54794 0 1 0 1484 30 0 0 18 0 13 0 261445876 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 448771 45681 1327 9 0 446382 0
[pid=29602/tid=29604] ppid=29600 vsize=1795084 CPUtime=11.49
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 37732 0 1 0 1128 21 0 0 20 0 13 0 261445877 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109854685 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1795084 CPUtime=0.13
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 1819 0 0 0 12 1 0 0 16 0 13 0 261445879 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1795084 CPUtime=0.14
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 1917 0 0 0 13 1 0 0 17 0 13 0 261445879 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261445886 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1795084 CPUtime=1.47
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 5516 0 0 0 145 2 0 0 16 0 13 0 261445886 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1795084 CPUtime=1.88
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 7071 0 0 0 185 3 0 0 16 0 13 0 261445886 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261445886 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 261445886 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29616] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29616/stat : 29616 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 261446807 1838166016 45681 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.14
Current children cumulated vsize (KiB) 1795084

[startup+25.5029 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 29616
/proc/meminfo: memFree=1603864/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1795084 CPUtime=28.47
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 64818 0 1 0 2811 36 0 0 18 0 13 0 261445876 1838166016 53228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 448771 53228 1328 9 0 446382 0
[pid=29602/tid=29604] ppid=29600 vsize=1795084 CPUtime=24.04
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 39928 0 1 0 2381 23 0 0 25 0 13 0 261445877 1838166016 53228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109854747 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1795084 CPUtime=0.35
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 6064 0 0 0 33 2 0 0 16 0 13 0 261445879 1838166016 53228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1795084 CPUtime=0.36
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 5480 0 0 0 34 2 0 0 16 0 13 0 261445879 1838166016 53228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 261445881 1838166016 53228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 53228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 53228 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=29602/tid=29607] ppid=29600 vsize=1795084 CPUtime=0.32
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 45 0 0 0 20 12 0 0 16 0 13 0 261445881 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261445886 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1795084 CPUtime=1.67
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 5527 0 0 0 165 2 0 0 16 0 13 0 261445886 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1795084 CPUtime=2.06
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 7078 0 0 0 203 3 0 0 16 0 13 0 261445886 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261445886 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 261445886 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29616] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29616/stat : 29616 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 261446807 1838166016 212185 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1585.42
Current children cumulated vsize (KiB) 1795084

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 29814
/proc/meminfo: memFree=951192/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1795084 CPUtime=1647.76
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 253705 0 1 0 164627 149 0 0 18 0 13 0 261445876 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 448771 216027 1335 9 0 446382 0
[pid=29602/tid=29604] ppid=29600 vsize=1795084 CPUtime=1556.04
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 46885 0 1 0 155562 42 0 0 25 0 13 0 261445877 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109764513 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1795084 CPUtime=43.76
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 96440 0 0 0 4330 46 0 0 17 0 13 0 261445879 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1795084 CPUtime=43.84
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 97006 0 0 0 4343 41 0 0 16 0 13 0 261445879 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1795084 CPUtime=0.33
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 45 0 0 0 21 12 0 0 15 0 13 0 261445881 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261445886 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1795084 CPUtime=1.67
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 5527 0 0 0 165 2 0 0 16 0 13 0 261445886 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1795084 CPUtime=2.06
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 7078 0 0 0 203 3 0 0 16 0 13 0 261445886 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261445886 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 261445886 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29616] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29616/stat : 29616 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 261446807 1838166016 216027 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.76
Current children cumulated vsize (KiB) 1795084

[startup+1662.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/90 29814
/proc/meminfo: memFree=934872/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1795084 CPUtime=1710.24
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 258149 0 1 0 170871 153 0 0 18 0 13 0 261445876 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 448771 220062 1335 9 0 446382 0
[pid=29602/tid=29604] ppid=29600 vsize=1795084 CPUtime=1613.51
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 46926 0 1 0 161308 43 0 0 25 0 13 0 261445877 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109854711 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1795084 CPUtime=46.25
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 98074 0 0 0 4579 46 0 0 16 0 13 0 261445879 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1795084 CPUtime=46.35
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 99775 0 0 0 4592 43 0 0 16 0 13 0 261445879 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1795084 CPUtime=0.33
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 45 0 0 0 21 12 0 0 16 0 13 0 261445881 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261445886 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1795084 CPUtime=1.67
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 5527 0 0 0 165 2 0 0 16 0 13 0 261445886 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1795084 CPUtime=2.06
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 7078 0 0 0 203 3 0 0 16 0 13 0 261445886 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261445886 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 261445886 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29616] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29616/stat : 29616 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 261446807 1838166016 220062 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.24
Current children cumulated vsize (KiB) 1795084

[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/90 29814
/proc/meminfo: memFree=918744/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1795084 CPUtime=1772.63
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 262529 0 1 0 177108 155 0 0 18 0 13 0 261445876 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 448771 224096 1335 9 0 446382 0
[pid=29602/tid=29604] ppid=29600 vsize=1795084 CPUtime=1671.01
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 46966 0 1 0 167058 43 0 0 25 0 13 0 261445877 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109636964 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1795084 CPUtime=48.69
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 101389 0 0 0 4821 48 0 0 16 0 13 0 261445879 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1795084 CPUtime=48.78
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 100800 0 0 0 4835 43 0 0 16 0 13 0 261445879 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1795084 CPUtime=0.34
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 45 0 0 0 22 12 0 0 16 0 13 0 261445881 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261445886 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1795084 CPUtime=1.67
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 5527 0 0 0 165 2 0 0 16 0 13 0 261445886 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1795084 CPUtime=2.06
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 7078 0 0 0 203 3 0 0 16 0 13 0 261445886 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261445886 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 261445886 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29616] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29616/stat : 29616 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 261446807 1838166016 224096 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.63
Current children cumulated vsize (KiB) 1795084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1748.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 29814
/proc/meminfo: memFree=911000/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=1795084 CPUtime=1800.08
/proc/29602/stat : 29602 (java) S 29600 29602 28069 0 -1 0 264648 0 1 0 179852 156 0 0 18 0 13 0 261445876 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 448771 226019 1335 9 0 446382 0
[pid=29602/tid=29604] ppid=29600 vsize=1795084 CPUtime=1696.12
/proc/29602/task/29604/stat : 29604 (java) R 29600 29602 28069 0 -1 64 46985 0 1 0 169568 44 0 0 20 0 13 0 261445877 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109864133 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29605] ppid=29600 vsize=1795084 CPUtime=49.88
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 28069 0 -1 64 102901 0 0 0 4939 49 0 0 16 0 13 0 261445879 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=1795084 CPUtime=49.95
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 28069 0 -1 64 101388 0 0 0 4952 43 0 0 16 0 13 0 261445879 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29607] ppid=29600 vsize=1795084 CPUtime=0.34
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 28069 0 -1 64 45 0 0 0 22 12 0 0 15 0 13 0 261445881 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29608] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 28069 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 28069 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261445881 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261445886 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29611] ppid=29600 vsize=1795084 CPUtime=1.67
/proc/29602/task/29611/stat : 29611 (java) S 29600 29602 28069 0 -1 64 5527 0 0 0 165 2 0 0 16 0 13 0 261445886 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29612] ppid=29600 vsize=1795084 CPUtime=2.06
/proc/29602/task/29612/stat : 29612 (java) S 29600 29602 28069 0 -1 64 7078 0 0 0 203 3 0 0 16 0 13 0 261445886 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29613] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29613/stat : 29613 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261445886 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29614] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29614/stat : 29614 (java) S 29600 29602 28069 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 261445886 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29616] ppid=29600 vsize=1795084 CPUtime=0
/proc/29602/task/29616/stat : 29616 (java) S 29600 29602 28069 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 261446807 1838166016 226019 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1795084

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

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

[startup+1748.8 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 29814
/proc/meminfo: memFree=911000/2055920 swapFree=4156296/4192956
[pid=29602] ppid=29600 vsize=0 CPUtime=1800.34
/proc/29602/stat : 29602 (java) Z 29600 29602 28069 0 -1 1036 264670 0 1 0 179868 166 0 0 15 0 2 0 261445876 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1748.85
CPU time (s): 1800.4
CPU user time (s): 1798.69
CPU system time (s): 1.71574
CPU usage (%): 102.948
Max. virtual memory (cumulated for all children) (KiB): 1796880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.71574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264670
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= 49885
involuntary context switches= 53863

runsolver used 1.75773 second user time and 4.72128 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Wed May  2 19:48:06 UTC 2007

IDJOB= 453406
IDBENCH= 48128
IDSOLVER= 164
FILE ID= node21/453406-1178135286

PBS_JOBID= 4751039

Free space on /tmp= 66561 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453406-1178135286/sat4jPseudoCPClause.jar /tmp/evaluation/453406-1178135286/instance-453406-1178135286.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-453406-1178135286 -o ROOT/results/node21/solver-453406-1178135286 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453406-1178135286/sat4jPseudoCPClause.jar /tmp/evaluation/453406-1178135286/instance-453406-1178135286.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  88e7a647c6e46a38e952354158b1fb76

RANDOM SEED= 739399481

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1812952 kB
Buffers:         70384 kB
Cached:          78880 kB
SwapCached:      15568 kB
Active:          98420 kB
Inactive:        80352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812952 kB
SwapTotal:     4192956 kB
SwapFree:      4156296 kB
Dirty:            3756 kB
Writeback:           0 kB
Mapped:          35432 kB
Slab:            49680 kB
Committed_AS:  4804584 kB
PageTables:       1800 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 node21 on Wed May  2 20:17:16 UTC 2007