Trace number 360493

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
SAT4JPseudoResolution 2007-03-23SAT 48.0617 42.4288

General information on the benchmark

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-360493-1176970239 -o ROOT/results/node23/solver-360493-1176970239 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360493-1176970239/sat4jPseudoResolution.jar /tmp/evaluation/360493-1176970239/instance-360493-1176970239.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: 1.27 1.07 1.02 2/77 10993
/proc/meminfo: memFree=1493864/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=18568 CPUtime=0
/proc/10993/stat : 10993 (runsolver) R 10991 10993 9683 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 144941144 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/10993/statm: 4642 292 257 24 0 2626 0

[startup+0.0415379 s]
/proc/loadavg: 1.27 1.07 1.02 2/77 10993
/proc/meminfo: memFree=1493864/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1774248 CPUtime=0.01
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 2679 0 1 0 0 1 0 0 18 0 4 0 144941144 1816829952 2427 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 443562 2427 483 9 0 441576 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1774248

[startup+0.101543 s]
/proc/loadavg: 1.27 1.07 1.02 2/77 10993
/proc/meminfo: memFree=1493864/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1774248 CPUtime=0.01
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 2679 0 1 0 0 1 0 0 18 0 4 0 144941144 1816829952 2427 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 443562 2427 483 9 0 441576 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1774248

[startup+0.30159 s]
/proc/loadavg: 1.27 1.07 1.02 2/77 10993
/proc/meminfo: memFree=1493864/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1782372 CPUtime=0.23
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 4976 0 1 0 20 3 0 0 18 0 12 0 144941144 1825148928 4715 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 445593 4715 1246 9 0 443205 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 1782372

[startup+0.701667 s]
/proc/loadavg: 1.27 1.07 1.02 2/77 10993
/proc/meminfo: memFree=1493864/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1783640 CPUtime=0.75
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 6516 0 1 0 72 3 0 0 18 0 12 0 144941144 1826447360 6085 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 445910 6085 1292 9 0 443522 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 1783640

[startup+1.50283 s]
/proc/loadavg: 1.27 1.07 1.02 2/89 11005
/proc/meminfo: memFree=1469768/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1785760 CPUtime=1.93
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 15122 0 1 0 185 8 0 0 18 0 12 0 144941144 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 446440 13754 1303 9 0 444052 0
[pid=10993/tid=10995] ppid=10991 vsize=1785760 CPUtime=0.92
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 11923 0 1 0 86 6 0 0 18 0 12 0 144941146 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109488779 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 144941147 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 144941147 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 144941157 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 144941158 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 144941158 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1785760 CPUtime=0.48
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 822 0 0 0 48 0 0 0 17 0 12 0 144941161 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1785760 CPUtime=0.5
/proc/10993/task/11003/stat : 11003 (java) S 10991 10993 9683 0 -1 64 1659 0 0 0 50 0 0 0 17 0 12 0 144941162 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1785760 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1828618240 13754 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 1785760

[startup+3.10112 s]
/proc/loadavg: 1.27 1.07 1.02 2/89 11005
/proc/meminfo: memFree=1375240/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1785924 CPUtime=3.57
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 42146 0 1 0 334 23 0 0 18 0 12 0 144941144 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 446481 40771 1312 9 0 444093 0
[pid=10993/tid=10995] ppid=10991 vsize=1785924 CPUtime=2.47
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37680 0 1 0 227 20 0 0 22 0 12 0 144941146 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109669285 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1785924 CPUtime=0.03
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 612 0 0 0 3 0 0 0 16 0 12 0 144941147 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1785924 CPUtime=0.02
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 649 0 0 0 2 0 0 0 16 0 12 0 144941147 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1785924 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 144941157 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1785924 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144941158 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1785924 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144941158 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1785924 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1785924 CPUtime=0.48
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 822 0 0 0 48 0 0 0 17 0 12 0 144941161 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1785924 CPUtime=0.51
/proc/10993/task/11003/stat : 11003 (java) S 10991 10993 9683 0 -1 64 1659 0 0 0 51 0 0 0 16 0 12 0 144941162 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1785924 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1785924 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1828786176 40771 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 1785924

[startup+6.30294 s]
/proc/loadavg: 1.32 1.09 1.03 2/89 11005
/proc/meminfo: memFree=1308240/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1788296 CPUtime=7.06
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 51575 0 1 0 678 28 0 0 18 0 12 0 144941144 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 447074 49647 1312 9 0 444686 0
[pid=10993/tid=10995] ppid=10991 vsize=1788296 CPUtime=5.37
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37685 0 1 0 514 23 0 0 16 0 12 0 144941146 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109474186 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1788296 CPUtime=0.32
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 5149 0 0 0 31 1 0 0 17 0 12 0 144941147 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1788296 CPUtime=0.32
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 5525 0 0 0 31 1 0 0 17 0 12 0 144941147 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 144941157 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1788296 CPUtime=0.48
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 822 0 0 0 48 0 0 0 17 0 12 0 144941161 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1788296 CPUtime=0.51
/proc/10993/task/11003/stat : 11003 (java) S 10991 10993 9683 0 -1 64 1659 0 0 0 51 0 0 0 16 0 12 0 144941162 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1831215104 49647 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 1788296

[startup+12.7012 s]
/proc/loadavg: 1.30 1.09 1.02 2/89 11005
/proc/meminfo: memFree=1252624/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1788296 CPUtime=14.34
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 65809 0 1 0 1398 36 0 0 18 0 12 0 144941144 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 447074 62589 1312 9 0 444686 0
[pid=10993/tid=10995] ppid=10991 vsize=1788296 CPUtime=10.86
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37693 0 1 0 1061 25 0 0 19 0 12 0 144941146 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 103832689 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1788296 CPUtime=1.22
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 11383 0 0 0 118 4 0 0 16 0 12 0 144941147 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1788296 CPUtime=1.22
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 13515 0 0 0 117 5 0 0 16 0 12 0 144941147 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 20 0 0 0 0 0 0 0 16 0 12 0 144941157 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1788296 CPUtime=0.48
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 822 0 0 0 48 0 0 0 16 0 12 0 144941161 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1788296 CPUtime=0.51
/proc/10993/task/11003/stat : 11003 (java) S 10991 10993 9683 0 -1 64 1659 0 0 0 51 0 0 0 16 0 12 0 144941162 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1831215104 62589 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.34
Current children cumulated vsize (KiB) 1788296

[startup+25.5026 s]
/proc/loadavg: 1.23 1.08 1.02 2/89 11005
/proc/meminfo: memFree=1180944/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1788296 CPUtime=28.35
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 83695 0 1 0 2788 47 0 0 18 0 12 0 144941144 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 447074 79706 1312 9 0 444686 0
[pid=10993/tid=10995] ppid=10991 vsize=1788296 CPUtime=22.4
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37710 0 1 0 2213 27 0 0 20 0 12 0 144941146 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109488779 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1788296 CPUtime=2.41
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 22567 0 0 0 232 9 0 0 16 0 12 0 144941147 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1788296 CPUtime=2.44
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 20121 0 0 0 237 7 0 0 16 0 12 0 144941147 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 144941157 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1831215104 79706 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=10993/tid=11004] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1831215104 91768 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1831215104 91768 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.41
Current children cumulated vsize (KiB) 1788296

[startup+38.3011 s]
/proc/loadavg: 1.20 1.08 1.02 2/89 11005
/proc/meminfo: memFree=1107216/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1788296 CPUtime=42.54
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 103465 0 1 0 4196 58 0 0 18 0 12 0 144941144 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 447074 99204 1312 9 0 444686 0
[pid=10993/tid=10995] ppid=10991 vsize=1788296 CPUtime=33.73
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37724 0 1 0 3343 30 0 0 25 0 12 0 144941146 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109584767 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1788296 CPUtime=3.85
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 37153 0 0 0 370 15 0 0 16 0 12 0 144941147 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1788296 CPUtime=3.87
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 25288 0 0 0 377 10 0 0 16 0 12 0 144941147 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 144941157 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1788296 CPUtime=0.49
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 823 0 0 0 49 0 0 0 17 0 12 0 144941161 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1788296 CPUtime=0.54
/proc/10993/task/11003/stat : 11003 (java) S 10991 10993 9683 0 -1 64 1732 0 0 0 54 0 0 0 16 0 12 0 144941162 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1831215104 99204 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.54
Current children cumulated vsize (KiB) 1788296

[startup+39.9024 s]
/proc/loadavg: 1.18 1.08 1.02 2/89 11005
/proc/meminfo: memFree=1098512/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1788296 CPUtime=44.29
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 104571 0 1 0 4370 59 0 0 18 0 12 0 144941144 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 447074 100306 1316 9 0 444686 0
[pid=10993/tid=10995] ppid=10991 vsize=1788296 CPUtime=35.19
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37735 0 1 0 3489 30 0 0 22 0 12 0 144941146 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109221854 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1788296 CPUtime=3.96
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 37911 0 0 0 381 15 0 0 17 0 12 0 144941147 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1788296 CPUtime=3.98
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 25620 0 0 0 388 10 0 0 17 0 12 0 144941147 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 144941157 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144941158 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1788296 CPUtime=0.52
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 827 0 0 0 52 0 0 0 17 0 12 0 144941161 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1788296 CPUtime=0.56
/proc/10993/task/11003/stat : 11003 (java) S 10991 10993 9683 0 -1 64 1733 0 0 0 56 0 0 0 17 0 12 0 144941162 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1788296 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1831215104 100306 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.29
Current children cumulated vsize (KiB) 1788296

[startup+41.5027 s]
/proc/loadavg: 1.18 1.08 1.02 3/89 11005
/proc/meminfo: memFree=1089872/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1796128 CPUtime=46.63
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 111344 0 1 0 4601 62 0 0 18 0 12 0 144941144 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 449032 103259 1324 9 0 446644 0
[pid=10993/tid=10995] ppid=10991 vsize=1796128 CPUtime=36.46
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37737 0 1 0 3615 31 0 0 23 0 12 0 144941146 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109541056 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1796128 CPUtime=4.06
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 38521 0 0 0 391 15 0 0 16 0 12 0 144941147 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1796128 CPUtime=4.08
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 26039 0 0 0 398 10 0 0 17 0 12 0 144941147 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1796128 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 144941157 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1796128 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144941158 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1796128 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144941158 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1796128 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144941161 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1796128 CPUtime=1.18
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 4641 0 0 0 116 2 0 0 16 0 12 0 144941161 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1796128 CPUtime=0.79
/proc/10993/task/11003/stat : 11003 (java) R 10991 10993 9683 0 -1 64 3661 0 0 0 78 1 0 0 16 0 12 0 144941162 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 103057291 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1796128 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144941162 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1796128 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144941162 1839235072 103259 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.63
Current children cumulated vsize (KiB) 1796128

[startup+41.9028 s]
/proc/loadavg: 1.18 1.08 1.02 2/89 11005
/proc/meminfo: memFree=1070224/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1794260 CPUtime=47.24
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 115856 0 1 0 4659 65 0 0 18 0 13 0 144941144 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 448565 106778 1329 9 0 446177 0
[pid=10993/tid=10995] ppid=10991 vsize=1794260 CPUtime=36.7
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37764 0 1 0 3639 31 0 0 17 0 13 0 144941146 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1794260 CPUtime=4.19
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 40771 0 0 0 402 17 0 0 16 0 13 0 144941147 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1794260 CPUtime=4.21
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 28253 0 0 0 410 11 0 0 17 0 13 0 144941147 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 144941157 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144941158 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144941158 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144941161 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1794260 CPUtime=1.23
/proc/10993/task/11002/stat : 11002 (java) R 10991 10993 9683 0 -1 64 4641 0 0 0 121 2 0 0 17 0 13 0 144941161 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 102351921 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1794260 CPUtime=0.83
/proc/10993/task/11003/stat : 11003 (java) R 10991 10993 9683 0 -1 64 3678 0 0 0 82 1 0 0 16 0 13 0 144941162 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 104790078 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144941162 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144941162 1837322240 106778 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.24
Current children cumulated vsize (KiB) 1794260

[startup+42.3029 s]
/proc/loadavg: 1.18 1.08 1.02 2/89 11005
/proc/meminfo: memFree=1070224/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=1794260 CPUtime=47.9
/proc/10993/stat : 10993 (java) S 10991 10993 9683 0 -1 0 116144 0 1 0 4725 65 0 0 18 0 13 0 144941144 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 448565 106834 1332 9 0 446177 0
[pid=10993/tid=10995] ppid=10991 vsize=1794260 CPUtime=36.98
/proc/10993/task/10995/stat : 10995 (java) R 10991 10993 9683 0 -1 64 37767 0 1 0 3667 31 0 0 19 0 13 0 144941146 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109148841 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10996] ppid=10991 vsize=1794260 CPUtime=4.19
/proc/10993/task/10996/stat : 10996 (java) S 10991 10993 9683 0 -1 64 40771 0 0 0 402 17 0 0 16 0 13 0 144941147 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10997] ppid=10991 vsize=1794260 CPUtime=4.21
/proc/10993/task/10997/stat : 10997 (java) S 10991 10993 9683 0 -1 64 28253 0 0 0 410 11 0 0 17 0 13 0 144941147 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=10998] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/10998/stat : 10998 (java) S 10991 10993 9683 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 144941157 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=10999] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/10999/stat : 10999 (java) S 10991 10993 9683 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144941158 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11000] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11000/stat : 11000 (java) S 10991 10993 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144941158 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11001] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11001/stat : 11001 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144941161 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11002] ppid=10991 vsize=1794260 CPUtime=1.38
/proc/10993/task/11002/stat : 11002 (java) S 10991 10993 9683 0 -1 64 4665 0 0 0 136 2 0 0 16 0 13 0 144941161 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10993/tid=11003] ppid=10991 vsize=1794260 CPUtime=1.06
/proc/10993/task/11003/stat : 11003 (java) S 10991 10993 9683 0 -1 64 3939 0 0 0 105 1 0 0 16 0 13 0 144941162 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11004] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11004/stat : 11004 (java) S 10991 10993 9683 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144941162 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10993/tid=11005] ppid=10991 vsize=1794260 CPUtime=0
/proc/10993/task/11005/stat : 11005 (java) S 10991 10993 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144941162 1837322240 106834 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.9
Current children cumulated vsize (KiB) 1794260

[startup+42.4019 s]
/proc/loadavg: 1.18 1.08 1.02 2/89 11005
/proc/meminfo: memFree=1070224/2055920 swapFree=4169120/4192956
[pid=10993] ppid=10991 vsize=0 CPUtime=48.03
/proc/10993/stat : 10993 (java) Z 10991 10993 9683 0 -1 1036 116157 0 1 0 4734 69 0 0 16 0 2 0 144941144 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10993/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 48.03
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 42.4288
CPU time (s): 48.0617
CPU user time (s): 47.3458
CPU system time (s): 0.715891
CPU usage (%): 113.276
Max. virtual memory (cumulated for all children) (KiB): 1797276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.3458
system time used= 0.715891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116157
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= 2060
involuntary context switches= 1775

runsolver used 0.06099 second user time and 0.139978 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Thu Apr 19 08:10:40 UTC 2007

IDJOB= 360493
IDBENCH= 1375
IDSOLVER= 159
FILE ID= node23/360493-1176970239

PBS_JOBID= 4630268

Free space on /tmp= 66365 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360493-1176970239/sat4jPseudoResolution.jar /tmp/evaluation/360493-1176970239/instance-360493-1176970239.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-360493-1176970239 -o ROOT/results/node23/solver-360493-1176970239 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360493-1176970239/sat4jPseudoResolution.jar /tmp/evaluation/360493-1176970239/instance-360493-1176970239.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  ab4957c8b8761f975030868126e78f02

RANDOM SEED= 121986194

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1494272 kB
Buffers:         44320 kB
Cached:         418072 kB
SwapCached:       2388 kB
Active:         221956 kB
Inactive:       263556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1494272 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:           92372 kB
Writeback:           0 kB
Mapped:          30448 kB
Slab:            61632 kB
Committed_AS:  2451452 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= 66365 MiB

End job on node23 on Thu Apr 19 08:11:23 UTC 2007