Trace number 43640

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 NameAnswerCPU timeWall clock time
SAT4JPSEUDO 2006.2SAT 269.464 258.569

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
MD5SUM79ed7fb7a57e7e2ac59cfc8508d281c9
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark13.5289
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 420
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node39/watcher-43640-1149226901 -o ROOT/results/node39/solver-43640-1149226901 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb 387171460 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.51 0.77 0.84 2/64 642
/proc/meminfo: memFree=1071464/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1784 CPUtime=0
/proc/642/stat : 642 (java) D 640 642 597 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 188358671 1826816 137 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/642/statm: 446 137 102 14 0 91 0

[startup+10.0017 s]
/proc/loadavg: 0.59 0.78 0.84 2/75 653
/proc/meminfo: memFree=882448/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709664 CPUtime=10.6
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 49907 0 1 0 1035 25 0 0 23 0 12 0 188358671 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427416 49006 1876 14 0 414163 0
[pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.15
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 2457 0 0 0 14 1 0 0 16 0 12 0 188358675 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.13
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 2199 0 0 0 13 0 0 0 15 0 12 0 188358675 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 49006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.6
Current children cumulated vsize (Kb) 1709664

[startup+20.0097 s]
/proc/loadavg: 0.65 0.78 0.84 2/75 653
/proc/meminfo: memFree=870800/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709664 CPUtime=20.74
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 52925 0 1 0 2046 28 0 0 20 0 12 0 188358671 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071345567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427416 51926 1876 14 0 414163 0
[pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.29
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 3974 0 0 0 27 2 0 0 15 0 12 0 188358675 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.28
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 3674 0 0 0 27 1 0 0 16 0 12 0 188358675 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 51926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.74
Current children cumulated vsize (Kb) 1709664

[startup+30.0176 s]
/proc/loadavg: 0.70 0.79 0.84 2/75 653
/proc/meminfo: memFree=862416/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709664 CPUtime=30.87
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 55139 0 1 0 3057 30 0 0 25 0 12 0 188358671 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071343590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427416 54033 1876 14 0 414163 0
[pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.42
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 4961 0 0 0 40 2 0 0 16 0 12 0 188358675 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.43
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 4878 0 0 0 41 2 0 0 16 0 12 0 188358675 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 54033 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.87
Current children cumulated vsize (Kb) 1709664

[startup+40.0245 s]
/proc/loadavg: 0.75 0.80 0.84 2/75 653
/proc/meminfo: memFree=849040/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709664 CPUtime=41.04
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 58629 0 1 0 4071 33 0 0 25 0 12 0 188358671 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071343600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427416 57372 1876 14 0 414163 0
[pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.59
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 6397 0 0 0 56 3 0 0 16 0 12 0 188358675 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.61
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 6908 0 0 0 58 3 0 0 16 0 12 0 188358675 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0.01
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 188358678 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 16 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 57372 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.04
Current children cumulated vsize (Kb) 1709664

[startup+50.0315 s]
/proc/loadavg: 0.79 0.80 0.84 2/75 653
/proc/meminfo: memFree=840848/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709664 CPUtime=51.24
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 60804 0 1 0 5087 37 0 0 25 0 12 0 188358671 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071341978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427416 59429 1876 14 0 414163 0
[pid=642/tid=643] ppid=640 vsize=1709664 CPUtime=0.8
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 7468 0 0 0 76 4 0 0 15 0 12 0 188358675 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=644] ppid=640 vsize=1709664 CPUtime=0.82
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 7988 0 0 0 78 4 0 0 16 0 12 0 188358675 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=645] ppid=640 vsize=1709664 CPUtime=0.02
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 1 1 0 0 16 0 12 0 188358678 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=646] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709664 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709664 CPUtime=0.29
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 17 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709664 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750695936 59429 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (Kb) 1709664

[startup+60.0384 s]
/proc/loadavg: 0.82 0.81 0.84 2/75 653
/proc/meminfo: memFree=833744/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709536 CPUtime=61.45
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 62665 0 1 0 6104 41 0 0 25 0 12 0 188358671 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071333145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427384 61180 1876 14 0 414131 0
[pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=1.02
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 8420 0 0 0 95 7 0 0 15 0 12 0 188358675 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=1.03
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 8874 0 0 0 99 4 0 0 16 0 12 0 188358675 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.03
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 2 1 0 0 16 0 12 0 188358678 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.29
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 332 0 0 0 29 0 0 0 17 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 61180 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 93730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.21
Current children cumulated vsize (Kb) 1709536

[startup+200.134 s]
/proc/loadavg: 1.04 0.91 0.87 2/75 653
/proc/meminfo: memFree=695248/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709536 CPUtime=206.72
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 98306 0 1 0 20531 141 0 0 25 0 12 0 188358671 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071376599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427384 95730 1876 14 0 414131 0
[pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=6.36
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 30449 0 0 0 555 81 0 0 16 0 12 0 188358675 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=6.3
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 22168 0 0 0 617 13 0 0 17 0 12 0 188358675 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.08
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 5 3 0 0 16 0 12 0 188358678 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 95730 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 206.72
Current children cumulated vsize (Kb) 1709536

[startup+210.141 s]
/proc/loadavg: 1.03 0.91 0.87 2/75 653
/proc/meminfo: memFree=688464/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709536 CPUtime=217.24
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 100061 0 1 0 21570 154 0 0 25 0 12 0 188358671 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071350703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427384 97440 1876 14 0 414131 0
[pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=6.88
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 31506 0 0 0 596 92 0 0 16 0 12 0 188358675 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=6.83
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 22844 0 0 0 669 14 0 0 16 0 12 0 188358675 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.09
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 6 3 0 0 15 0 12 0 188358678 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 97440 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 217.24
Current children cumulated vsize (Kb) 1709536

[startup+220.148 s]
/proc/loadavg: 1.02 0.92 0.87 2/75 653
/proc/meminfo: memFree=681616/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709536 CPUtime=227.76
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 101811 0 1 0 22610 166 0 0 25 0 12 0 188358671 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071343520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427384 99145 1876 14 0 414131 0
[pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=7.4
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 32690 0 0 0 637 103 0 0 16 0 12 0 188358675 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=7.36
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 23388 0 0 0 722 14 0 0 15 0 12 0 188358675 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.09
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 6 3 0 0 16 0 12 0 188358678 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 99145 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 227.76
Current children cumulated vsize (Kb) 1709536

[startup+230.154 s]
/proc/loadavg: 1.02 0.92 0.88 2/75 653
/proc/meminfo: memFree=674704/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709536 CPUtime=238.29
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 103604 0 1 0 23650 179 0 0 25 0 12 0 188358671 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427384 100872 1876 14 0 414131 0
[pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=7.92
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 34127 0 0 0 678 114 0 0 16 0 12 0 188358675 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=7.89
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 23722 0 0 0 775 14 0 0 16 0 12 0 188358675 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.09
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 6 3 0 0 16 0 12 0 188358678 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 100872 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 238.29
Current children cumulated vsize (Kb) 1709536

[startup+240.161 s]
/proc/loadavg: 1.02 0.92 0.88 2/75 653
/proc/meminfo: memFree=667792/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1709536 CPUtime=248.83
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 105359 0 1 0 24690 193 0 0 19 0 12 0 188358671 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071350906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 427384 102580 1876 14 0 414131 0
[pid=642/tid=643] ppid=640 vsize=1709536 CPUtime=8.45
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 35435 0 0 0 720 125 0 0 16 0 12 0 188358675 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1709536 CPUtime=8.44
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 24147 0 0 0 828 16 0 0 16 0 12 0 188358675 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1709536 CPUtime=0.11
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 7 4 0 0 15 0 12 0 188358678 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=646] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188358678 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=650] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 326 0 0 0 31 0 0 0 17 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=651] ppid=640 vsize=1709536 CPUtime=0.31
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 334 0 0 0 31 0 0 0 16 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=652] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1709536 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188358681 1750564864 102580 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 248.83
Current children cumulated vsize (Kb) 1709536

[startup+250.168 s]
/proc/loadavg: 1.09 0.94 0.88 2/76 654
/proc/meminfo: memFree=647752/2055920 swapFree=4180888/4192956
[pid=642] ppid=640 vsize=1714120 CPUtime=260.36
/proc/642/stat : 642 (java) R 640 642 597 0 -1 0 114428 0 1 0 25828 208 0 0 19 0 13 0 188358671 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071523508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/642/statm: 428530 107554 1906 14 0 415277 0
[pid=642/tid=643] ppid=640 vsize=1714120 CPUtime=8.96
/proc/642/task/643/stat : 643 (java) S 640 642 597 0 -1 64 37299 0 0 0 769 127 0 0 16 0 13 0 188358675 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=644] ppid=640 vsize=1714120 CPUtime=8.94
/proc/642/task/644/stat : 644 (java) S 640 642 597 0 -1 64 26420 0 0 0 867 27 0 0 16 0 13 0 188358675 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=645] ppid=640 vsize=1714120 CPUtime=0.11
/proc/642/task/645/stat : 645 (java) S 640 642 597 0 -1 64 29 0 0 0 7 4 0 0 16 0 13 0 188358678 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=646] ppid=640 vsize=1714120 CPUtime=0
/proc/642/task/646/stat : 646 (java) S 640 642 597 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188358678 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=647] ppid=640 vsize=1714120 CPUtime=0
/proc/642/task/647/stat : 647 (java) S 640 642 597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188358678 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=648] ppid=640 vsize=1714120 CPUtime=0
/proc/642/task/648/stat : 648 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=649] ppid=640 vsize=1714120 CPUtime=0
/proc/642/task/649/stat : 649 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=650] ppid=640 vsize=1714120 CPUtime=1.21
/proc/642/task/650/stat : 650 (java) S 640 642 597 0 -1 64 4932 0 0 0 120 1 0 0 16 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=651] ppid=640 vsize=1714120 CPUtime=0.75
/proc/642/task/651/stat : 651 (java) S 640 642 597 0 -1 64 581 0 0 0 75 0 0 0 16 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=642/tid=652] ppid=640 vsize=1714120 CPUtime=0
/proc/642/task/652/stat : 652 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=653] ppid=640 vsize=1714120 CPUtime=0
/proc/642/task/653/stat : 653 (java) S 640 642 597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188358681 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=642/tid=654] ppid=640 vsize=1714120 CPUtime=0
/proc/642/task/654/stat : 654 (java) S 640 642 597 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 188383613 1755258880 107554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 260.36
Current children cumulated vsize (Kb) 1714120

Child status: 10
Real time (s): 258.569
CPU time (s): 269.464
CPU user time (s): 267.282
CPU system time (s): 2.18167
CPU usage (%): 104.214
Max. virtual memory (cumulated for all children) (Kb): 1714120

Launcher Data (download as text)

Begin job on node39 on Fri Jun  2 05:41:52 UTC 2006


FILE ID= 43640-1149226901

PBS_JOBID= 295945

BENCH NAME= ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb 387171460
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-43640-1149226901 -o ROOT/results/node39/solver-43640-1149226901 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/43640-1149226901/instance-43640-1149226901.opb 387171460

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  79ed7fb7a57e7e2ac59cfc8508d281c9

RANDOM SEED= 387171460


/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.213
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	: 5931.00
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.213
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:       1071352 kB
Buffers:         44288 kB
Cached:         864696 kB
SwapCached:       4052 kB
Active:         307356 kB
Inactive:       610672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1071352 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             244 kB
Writeback:           0 kB
Mapped:          14820 kB
Slab:            52548 kB
Committed_AS:   216216 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node39 on Fri Jun  2 05:46:29 UTC 2006