Trace number 360582

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
sat4jPseudoCPClause 2007-03-23SAT 52.466 46.4137

General information on the benchmark

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

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/node57/watcher-360582-1176971068 -o ROOT/results/node57/solver-360582-1176971068 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360582-1176971068/sat4jPseudoCPClause.jar /tmp/evaluation/360582-1176971068/instance-360582-1176971068.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.89 1.15 1.07 2/64 17611
/proc/meminfo: memFree=1675464/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=18568 CPUtime=0
/proc/17611/stat : 17611 (runsolver) R 17609 17611 17548 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 138242951 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 218076081447 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/17611/statm: 4642 292 257 24 0 2626 0

[startup+0.0674501 s]
/proc/loadavg: 0.89 1.15 1.07 2/64 17611
/proc/meminfo: memFree=1675464/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=12056 CPUtime=0.01
/proc/17611/stat : 17611 (java) D 17609 17611 17548 0 -1 0 367 0 6 0 0 1 0 0 18 0 1 0 138242951 12345344 181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 7365418 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/17611/statm: 3014 181 135 9 0 1148 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12056

[startup+0.105398 s]
/proc/loadavg: 0.89 1.15 1.07 2/64 17611
/proc/meminfo: memFree=1675464/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=12420 CPUtime=0.01
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 744 0 24 0 0 1 0 0 18 0 2 0 138242951 12718080 551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 3105 551 241 9 0 1241 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12420

[startup+0.302416 s]
/proc/loadavg: 0.89 1.15 1.07 2/64 17611
/proc/meminfo: memFree=1675464/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1777708 CPUtime=0.09
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 3684 0 33 0 5 4 0 0 18 0 7 0 138242951 1820372992 3459 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 444427 3459 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1777708

[startup+0.702452 s]
/proc/loadavg: 0.89 1.15 1.07 2/64 17611
/proc/meminfo: memFree=1675464/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1781940 CPUtime=0.51
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 5418 0 33 0 45 6 0 0 18 0 12 0 138242951 1824706560 5189 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 445485 5189 1271 9 0 443096 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1781940

[startup+1.50221 s]
/proc/loadavg: 0.89 1.15 1.07 2/76 17623
/proc/meminfo: memFree=1645928/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1786108 CPUtime=1.66
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 12740 0 33 0 156 10 0 0 18 0 12 0 138242951 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 446527 11379 1303 9 0 444138 0
[pid=17611/tid=17613] ppid=17609 vsize=1786108 CPUtime=0.89
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 9550 0 9 0 82 7 0 0 18 0 12 0 138242961 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 138242972 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 138242972 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 138242976 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 9 0 0 0 0 0 0 0 20 0 12 0 138242977 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 138242977 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 138242986 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1786108 CPUtime=0.36
/proc/17611/task/17620/stat : 17620 (java) R 17609 17611 17548 0 -1 64 1200 0 0 0 36 0 0 0 16 0 12 0 138242986 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104614528 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1786108 CPUtime=0.36
/proc/17611/task/17621/stat : 17621 (java) S 17609 17611 17548 0 -1 64 1295 0 0 0 36 0 0 0 15 0 12 0 138242986 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 138242986 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1786108 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 138242986 1828974592 11379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 1786108

[startup+3.10165 s]
/proc/loadavg: 0.89 1.15 1.07 2/76 17623
/proc/meminfo: memFree=1570856/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1786140 CPUtime=3.43
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 42183 0 33 0 316 27 0 0 18 0 12 0 138242951 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 446535 40816 1312 9 0 444146 0
[pid=17611/tid=17613] ppid=17609 vsize=1786140 CPUtime=2.34
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 37678 0 9 0 211 23 0 0 22 0 12 0 138242961 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1786140 CPUtime=0.03
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 558 0 0 0 3 0 0 0 17 0 12 0 138242972 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1786140 CPUtime=0.03
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 661 0 0 0 3 0 0 0 16 0 12 0 138242972 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1786140 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 138242976 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1786140 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 12 0 138242977 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1786140 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 138242977 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1786140 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 138242986 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1786140 CPUtime=0.5
/proc/17611/task/17620/stat : 17620 (java) S 17609 17611 17548 0 -1 64 1271 0 0 0 50 0 0 0 16 0 12 0 138242986 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1786140 CPUtime=0.48
/proc/17611/task/17621/stat : 17621 (java) S 17609 17611 17548 0 -1 64 1315 0 0 0 48 0 0 0 16 0 12 0 138242986 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1786140 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 138242986 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1786140 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 138242986 1829007360 40816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 1786140

[startup+6.30293 s]
/proc/loadavg: 0.98 1.16 1.07 2/76 17623
/proc/meminfo: memFree=1486440/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1786500 CPUtime=6.83
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 49325 0 33 0 650 33 0 0 18 0 12 0 138242951 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 446625 47399 1312 9 0 444236 0
[pid=17611/tid=17613] ppid=17609 vsize=1786500 CPUtime=5.33
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 37682 0 9 0 508 25 0 0 23 0 12 0 138242961 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109474188 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1786500 CPUtime=0.22
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 4882 0 0 0 21 1 0 0 16 0 12 0 138242972 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1786500 CPUtime=0.23
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 3466 0 0 0 21 2 0 0 16 0 12 0 138242972 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1786500 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 16 0 0 0 0 0 0 0 16 0 12 0 138242976 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1786500 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 12 0 138242977 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1786500 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 138242977 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1786500 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 138242986 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1786500 CPUtime=0.5
/proc/17611/task/17620/stat : 17620 (java) S 17609 17611 17548 0 -1 64 1271 0 0 0 50 0 0 0 16 0 12 0 138242986 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1786500 CPUtime=0.48
/proc/17611/task/17621/stat : 17621 (java) S 17609 17611 17548 0 -1 64 1315 0 0 0 48 0 0 0 16 0 12 0 138242986 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1786500 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 138242986 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1786500 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 138242986 1829376000 47399 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 1786500

[startup+12.7045 s]
/proc/loadavg: 0.98 1.16 1.07 2/76 17623
/proc/meminfo: memFree=1425768/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1787140 CPUtime=13.97
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 65235 0 33 0 1353 44 0 0 18 0 12 0 138242951 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 446785 61817 1312 9 0 444396 0
[pid=17611/tid=17613] ppid=17609 vsize=1787140 CPUtime=10.98
/proc/17611/task/17613/stat : 17613 (java) S 17609 17611 17548 0 -1 64 37691 0 9 0 1070 28 0 0 22 0 12 0 138242961 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1787140 CPUtime=0.96
/proc/17611/task/17614/stat : 17614 (java) R 17609 17611 17548 0 -1 64 13734 0 0 0 90 6 0 0 16 0 12 0 138242972 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369140 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1787140 CPUtime=0.96
/proc/17611/task/17615/stat : 17615 (java) R 17609 17611 17548 0 -1 64 10510 0 0 0 91 5 0 0 16 0 12 0 138242972 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 21 0 0 0 0 0 0 0 15 0 12 0 138242976 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 12 0 138242977 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 138242977 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 138242986 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1787140 CPUtime=0.5
/proc/17611/task/17620/stat : 17620 (java) S 17609 17611 17548 0 -1 64 1271 0 0 0 50 0 0 0 16 0 12 0 138242986 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1787140 CPUtime=0.48
/proc/17611/task/17621/stat : 17621 (java) S 17609 17611 17548 0 -1 64 1315 0 0 0 48 0 0 0 16 0 12 0 138242986 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 138242986 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 138242986 1830031360 61817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.97
Current children cumulated vsize (KiB) 1787140

[startup+25.5026 s]
/proc/loadavg: 0.99 1.15 1.07 2/76 17623
/proc/meminfo: memFree=1360232/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1787140 CPUtime=27.73
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 82365 0 33 0 2719 54 0 0 18 0 12 0 138242951 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 446785 78051 1312 9 0 444396 0
[pid=17611/tid=17613] ppid=17609 vsize=1787140 CPUtime=22.79
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 37707 0 9 0 2248 31 0 0 22 0 12 0 138242961 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109488779 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1787140 CPUtime=1.92
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 23294 0 0 0 182 10 0 0 16 0 12 0 138242972 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1787140 CPUtime=1.93
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 18049 0 0 0 184 9 0 0 16 0 12 0 138242972 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 138242976 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 12 0 138242977 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 138242977 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1787140 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 138242986 1830031360 78051 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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


[startup+41.503 s]
/proc/loadavg: 0.99 1.14 1.07 2/76 17623
/proc/meminfo: memFree=1272424/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1798256 CPUtime=45.46
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 109459 0 33 0 4477 69 0 0 18 0 12 0 138242951 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 449564 102460 1316 9 0 447175 0
[pid=17611/tid=17613] ppid=17609 vsize=1798256 CPUtime=37.16
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 37734 0 9 0 3681 35 0 0 17 0 12 0 138242961 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521652 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1798256 CPUtime=3.28
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 34834 0 0 0 314 14 0 0 17 0 12 0 138242972 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1798256 CPUtime=3.27
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 28785 0 0 0 314 13 0 0 17 0 12 0 138242972 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1798256 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 138242976 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1798256 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 12 0 138242977 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1798256 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 138242977 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1798256 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 138242986 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1798256 CPUtime=0.79
/proc/17611/task/17620/stat : 17620 (java) S 17609 17611 17548 0 -1 64 3020 0 0 0 78 1 0 0 17 0 12 0 138242986 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1798256 CPUtime=0.9
/proc/17611/task/17621/stat : 17621 (java) R 17609 17611 17548 0 -1 64 4363 0 0 0 88 2 0 0 18 0 12 0 138242986 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103322427 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1798256 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 138242986 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1798256 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 138242986 1841414144 102460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 45.46
Current children cumulated vsize (KiB) 1798256

[startup+44.7013 s]
/proc/loadavg: 0.99 1.14 1.07 3/77 17624
/proc/meminfo: memFree=1247840/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1792608 CPUtime=50.26
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 123607 0 33 0 4950 76 0 0 18 0 13 0 138242951 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 448152 108357 1333 9 0 445763 0
[pid=17611/tid=17613] ppid=17609 vsize=1792608 CPUtime=39.59
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 37775 0 9 0 3923 36 0 0 18 0 13 0 138242961 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109819107 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1792608 CPUtime=3.57
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 39393 0 0 0 341 16 0 0 16 0 13 0 138242972 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1792608 CPUtime=3.56
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 32828 0 0 0 341 15 0 0 17 0 13 0 138242972 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1792608 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 138242976 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1792608 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 138242977 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1792608 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138242977 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1792608 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 138242986 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1792608 CPUtime=1.55
/proc/17611/task/17620/stat : 17620 (java) S 17609 17611 17548 0 -1 64 6543 0 0 0 153 2 0 0 16 0 13 0 138242986 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1792608 CPUtime=1.93
/proc/17611/task/17621/stat : 17621 (java) R 17609 17611 17548 0 -1 64 6340 0 0 0 190 3 0 0 16 0 13 0 138242986 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102673393 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1792608 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 138242986 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1792608 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138242986 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17624] ppid=17609 vsize=1792608 CPUtime=0
/proc/17611/task/17624/stat : 17624 (java) S 17609 17611 17548 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 138247263 1835630592 108357 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 1792608

[startup+45.5013 s]
/proc/loadavg: 1.07 1.15 1.07 3/77 17624
/proc/meminfo: memFree=1234016/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1793892 CPUtime=51.45
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 127856 0 33 0 5066 79 0 0 18 0 13 0 138242951 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 448473 110206 1333 9 0 446084 0
[pid=17611/tid=17613] ppid=17609 vsize=1793892 CPUtime=40.29
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 37776 0 9 0 3993 36 0 0 17 0 13 0 138242961 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873460 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1793892 CPUtime=3.62
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 40870 0 0 0 345 17 0 0 16 0 13 0 138242972 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1793892 CPUtime=3.61
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 33324 0 0 0 346 15 0 0 17 0 13 0 138242972 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 138242976 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 138242977 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138242977 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1793892 CPUtime=1.82
/proc/17611/task/17620/stat : 17620 (java) S 17609 17611 17548 0 -1 64 8818 0 0 0 179 3 0 0 17 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1793892 CPUtime=2.02
/proc/17611/task/17621/stat : 17621 (java) S 17609 17611 17548 0 -1 64 6340 0 0 0 199 3 0 0 16 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17624] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17624/stat : 17624 (java) S 17609 17611 17548 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 138247263 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.45
Current children cumulated vsize (KiB) 1793892

[startup+45.9034 s]
/proc/loadavg: 1.07 1.15 1.07 3/77 17624
/proc/meminfo: memFree=1234016/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1793892 CPUtime=51.88
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 127856 0 33 0 5109 79 0 0 18 0 13 0 138242951 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 448473 110206 1333 9 0 446084 0
[pid=17611/tid=17613] ppid=17609 vsize=1793892 CPUtime=40.69
/proc/17611/task/17613/stat : 17613 (java) R 17609 17611 17548 0 -1 64 37776 0 9 0 4033 36 0 0 20 0 13 0 138242961 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109984089 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1793892 CPUtime=3.62
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 40870 0 0 0 345 17 0 0 16 0 13 0 138242972 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1793892 CPUtime=3.61
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 33324 0 0 0 346 15 0 0 17 0 13 0 138242972 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 138242976 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 138242977 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138242977 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1793892 CPUtime=1.84
/proc/17611/task/17620/stat : 17620 (java) R 17609 17611 17548 0 -1 64 8818 0 0 0 181 3 0 0 16 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105427712 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1793892 CPUtime=2.04
/proc/17611/task/17621/stat : 17621 (java) S 17609 17611 17548 0 -1 64 6340 0 0 0 201 3 0 0 16 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138242986 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17624] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17624/stat : 17624 (java) S 17609 17611 17548 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 138247263 1836945408 110206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.88
Current children cumulated vsize (KiB) 1793892

[startup+46.3024 s]
/proc/loadavg: 1.07 1.15 1.07 2/77 17624
/proc/meminfo: memFree=1231200/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=1793892 CPUtime=52.37
/proc/17611/stat : 17611 (java) S 17609 17611 17548 0 -1 0 127868 0 33 0 5158 79 0 0 18 0 13 0 138242951 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 448473 110217 1334 9 0 446084 0
[pid=17611/tid=17613] ppid=17609 vsize=1793892 CPUtime=41.05
/proc/17611/task/17613/stat : 17613 (java) S 17609 17611 17548 0 -1 64 37779 0 9 0 4069 36 0 0 18 0 13 0 138242961 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17614] ppid=17609 vsize=1793892 CPUtime=3.62
/proc/17611/task/17614/stat : 17614 (java) S 17609 17611 17548 0 -1 64 40870 0 0 0 345 17 0 0 16 0 13 0 138242972 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17615] ppid=17609 vsize=1793892 CPUtime=3.61
/proc/17611/task/17615/stat : 17615 (java) S 17609 17611 17548 0 -1 64 33324 0 0 0 346 15 0 0 17 0 13 0 138242972 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17616] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17616/stat : 17616 (java) S 17609 17611 17548 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 138242976 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17617] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17617/stat : 17617 (java) S 17609 17611 17548 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 138242977 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17618] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17618/stat : 17618 (java) S 17609 17611 17548 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138242977 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17619] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17619/stat : 17619 (java) S 17609 17611 17548 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 138242986 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17620] ppid=17609 vsize=1793892 CPUtime=1.91
/proc/17611/task/17620/stat : 17620 (java) R 17609 17611 17548 0 -1 64 8823 0 0 0 188 3 0 0 17 0 13 0 138242986 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105057980 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17611/tid=17621] ppid=17609 vsize=1793892 CPUtime=2.07
/proc/17611/task/17621/stat : 17621 (java) R 17609 17611 17548 0 -1 64 6342 0 0 0 204 3 0 0 16 0 13 0 138242986 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104846264 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17622] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17622/stat : 17622 (java) S 17609 17611 17548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 138242986 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17611/tid=17623] ppid=17609 vsize=1793892 CPUtime=0
/proc/17611/task/17623/stat : 17623 (java) S 17609 17611 17548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138242986 1836945408 110217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.37
Current children cumulated vsize (KiB) 1793892

[startup+46.403 s]
/proc/loadavg: 1.07 1.15 1.07 2/77 17624
/proc/meminfo: memFree=1231200/2055920 swapFree=4183092/4192956
[pid=17611] ppid=17609 vsize=0 CPUtime=52.44
/proc/17611/stat : 17611 (java) Z 17609 17611 17548 0 -1 1036 127875 0 33 0 5160 84 0 0 16 0 2 0 138242951 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17611/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 52.44
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 46.4137
CPU time (s): 52.466
CPU user time (s): 51.6082
CPU system time (s): 0.857869
CPU usage (%): 113.04
Max. virtual memory (cumulated for all children) (KiB): 1798288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.6082
system time used= 0.857869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127875
page faults= 33
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2449
involuntary context switches= 1537

runsolver used 0.05999 second user time and 0.124981 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Thu Apr 19 08:24:30 UTC 2007

IDJOB= 360582
IDBENCH= 1381
IDSOLVER= 164
FILE ID= node57/360582-1176971068

PBS_JOBID= 4630324

Free space on /tmp= 66366 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  16e382d24044cea3204cbf333685cccd

RANDOM SEED= 516186807

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1676128 kB
Buffers:          1496 kB
Cached:         328004 kB
SwapCached:       3564 kB
Active:         111728 kB
Inactive:       226948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1676128 kB
SwapTotal:     4192956 kB
SwapFree:      4183092 kB
Dirty:           92408 kB
Writeback:           0 kB
Mapped:          15156 kB
Slab:            27236 kB
Committed_AS:   895868 kB
PageTables:       1408 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= 66366 MiB

End job on node57 on Thu Apr 19 08:25:16 UTC 2007