Trace number 360638

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.41 45.6006

General information on the benchmark

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

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/node62/watcher-360638-1176971493 -o ROOT/results/node62/solver-360638-1176971493 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360638-1176971493/sat4jPseudoCPClause.jar /tmp/evaluation/360638-1176971493/instance-360638-1176971493.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.01 0.98 0.99 2/64 18499
/proc/meminfo: memFree=1383920/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=152 CPUtime=0
/proc/18499/stat : 18499 (java) R 18497 18499 17488 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 15725427 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 8106788 0 0 4096 0 0 0 0 17 1 0 0
/proc/18499/statm: 38 26 19 9 0 4 0

[startup+0.0518551 s]
/proc/loadavg: 1.01 0.98 0.99 2/64 18499
/proc/meminfo: memFree=1383920/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1777060 CPUtime=0.03
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 3512 0 1 0 2 1 0 0 18 0 5 0 15725427 1819709440 3257 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 444265 3257 1046 9 0 441901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1777060

[startup+0.101862 s]
/proc/loadavg: 1.01 0.98 0.99 2/64 18499
/proc/meminfo: memFree=1383920/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1780112 CPUtime=0.08
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 3980 0 1 0 6 2 0 0 18 0 12 0 15725427 1822834688 3722 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 445028 3722 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301886 s]
/proc/loadavg: 1.01 0.98 0.99 2/64 18499
/proc/meminfo: memFree=1383920/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1782432 CPUtime=0.32
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 5185 0 1 0 29 3 0 0 18 0 12 0 15725427 1825210368 4924 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 445608 4925 1263 9 0 443219 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782432

[startup+0.701932 s]
/proc/loadavg: 1.01 0.98 0.99 2/64 18499
/proc/meminfo: memFree=1383920/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1783472 CPUtime=0.88
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 6820 0 1 0 84 4 0 0 18 0 12 0 15725427 1826275328 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 445868 6283 1301 9 0 443479 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 1783472

[startup+1.50203 s]
/proc/loadavg: 1.17 1.01 1.00 3/76 18511
/proc/meminfo: memFree=1357712/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1785700 CPUtime=2.02
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 17525 0 1 0 194 8 0 0 18 0 12 0 15725427 1828556800 15908 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 446425 15909 1303 9 0 444036 0
[pid=18499/tid=18501] ppid=18497 vsize=1785700 CPUtime=1.01
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 14107 0 1 0 95 6 0 0 19 0 12 0 15725428 1828556800 15910 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109703791 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 15725430 1828556800 15912 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 15725430 1828556800 15913 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 15725432 1828556800 15914 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 15725432 1828556800 15916 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 15725432 1828556800 15917 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1828556800 15918 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1785700 CPUtime=0.46
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 929 0 0 0 46 0 0 0 17 0 12 0 15725436 1828556800 15919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1785700 CPUtime=0.52
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 1773 0 0 0 51 1 0 0 16 0 12 0 15725436 1828556800 15920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 15725436 1828556800 15922 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 15725436 1828556800 15923 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 1785700

[startup+3.10121 s]
/proc/loadavg: 1.17 1.01 1.00 2/76 18511
/proc/meminfo: memFree=1253648/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1785700 CPUtime=3.66
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 42337 0 1 0 345 21 0 0 18 0 12 0 15725427 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 446425 40715 1312 9 0 444036 0
[pid=18499/tid=18501] ppid=18497 vsize=1785700 CPUtime=2.58
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37691 0 1 0 239 19 0 0 23 0 12 0 15725428 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109474186 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1785700 CPUtime=0.03
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 705 0 0 0 3 0 0 0 17 0 12 0 15725430 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1785700 CPUtime=0.03
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 515 0 0 0 3 0 0 0 16 0 12 0 15725430 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 15725432 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 15725432 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 15725432 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1785700 CPUtime=0.46
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 929 0 0 0 46 0 0 0 17 0 12 0 15725436 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1785700 CPUtime=0.52
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 1773 0 0 0 51 1 0 0 16 0 12 0 15725436 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 15725436 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1785700 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 15725436 1828556800 40715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 1785700

[startup+6.30258 s]
/proc/loadavg: 1.17 1.01 1.00 2/76 18511
/proc/meminfo: memFree=1200080/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1787148 CPUtime=7.15
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 51532 0 1 0 690 25 0 0 18 0 12 0 15725427 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 446787 49370 1312 9 0 444398 0
[pid=18499/tid=18501] ppid=18497 vsize=1787148 CPUtime=5.48
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37696 0 1 0 528 20 0 0 17 0 12 0 15725428 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109474472 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1787148 CPUtime=0.32
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 4493 0 0 0 31 1 0 0 16 0 12 0 15725430 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1787148 CPUtime=0.32
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 5908 0 0 0 31 1 0 0 16 0 12 0 15725430 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1787148 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 16 0 0 0 0 0 0 0 17 0 12 0 15725432 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1787148 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 15725432 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1787148 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 15725432 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1787148 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1787148 CPUtime=0.46
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 929 0 0 0 46 0 0 0 17 0 12 0 15725436 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1787148 CPUtime=0.52
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 1773 0 0 0 51 1 0 0 16 0 12 0 15725436 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1787148 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 15725436 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1787148 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 15725436 1830039552 49370 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 1787148

[startup+12.7013 s]
/proc/loadavg: 1.14 1.01 1.00 2/76 18511
/proc/meminfo: memFree=1143960/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1786896 CPUtime=14.35
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 65966 0 1 0 1402 33 0 0 18 0 12 0 15725427 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 446724 62238 1312 9 0 444335 0
[pid=18499/tid=18501] ppid=18497 vsize=1786896 CPUtime=11.06
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37705 0 1 0 1086 20 0 0 17 0 12 0 15725428 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109703660 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1786896 CPUtime=1.12
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 12132 0 0 0 108 4 0 0 16 0 12 0 15725430 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1786896 CPUtime=1.13
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 12691 0 0 0 108 5 0 0 16 0 12 0 15725430 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 19 0 0 0 0 0 0 0 15 0 12 0 15725432 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 15725432 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 15725432 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1786896 CPUtime=0.46
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 929 0 0 0 46 0 0 0 17 0 12 0 15725436 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1786896 CPUtime=0.52
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 1773 0 0 0 51 1 0 0 16 0 12 0 15725436 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 15725436 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 15725436 1829781504 62238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (KiB) 1786896

[startup+25.5028 s]
/proc/loadavg: 1.12 1.01 1.00 2/76 18511
/proc/meminfo: memFree=1078240/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1786896 CPUtime=28.23
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 82464 0 1 0 2779 44 0 0 18 0 12 0 15725427 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 446724 77886 1312 9 0 444335 0
[pid=18499/tid=18501] ppid=18497 vsize=1786896 CPUtime=22.75
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37720 0 1 0 2251 24 0 0 21 0 12 0 15725428 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1786896 CPUtime=2.18
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 19808 0 0 0 210 8 0 0 16 0 12 0 15725430 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1786896 CPUtime=2.22
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 21487 0 0 0 213 9 0 0 17 0 12 0 15725430 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 15725432 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 15725432 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 15725432 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1786896 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1829781504 77886 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1830436864 96914 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1787536 CPUtime=0.51
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 933 0 0 0 51 0 0 0 16 0 12 0 15725436 1830436864 96914 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1787536 CPUtime=0.52
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 1773 0 0 0 51 1 0 0 16 0 12 0 15725436 1830436864 96914 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 15725436 1830436864 96914 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 15725436 1830436864 96914 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.3
Current children cumulated vsize (KiB) 1787536

[startup+41.5027 s]
/proc/loadavg: 1.24 1.04 1.01 2/76 18511
/proc/meminfo: memFree=993824/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1787536 CPUtime=45.82
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 105269 0 1 0 4525 57 0 0 18 0 12 0 15725427 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 446884 100032 1312 9 0 444495 0
[pid=18499/tid=18501] ppid=18497 vsize=1787536 CPUtime=37.12
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37736 0 1 0 3685 27 0 0 19 0 12 0 15725428 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109500226 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1787536 CPUtime=3.78
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 33903 0 0 0 365 13 0 0 16 0 12 0 15725430 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1787536 CPUtime=3.81
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 30178 0 0 0 368 13 0 0 17 0 12 0 15725430 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 15725432 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 15725432 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 15725432 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1787536 CPUtime=0.51
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 934 0 0 0 51 0 0 0 16 0 12 0 15725436 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1787536 CPUtime=0.52
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 1773 0 0 0 51 1 0 0 16 0 12 0 15725436 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 15725436 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1787536 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 15725436 1830436864 100032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 45.82
Current children cumulated vsize (KiB) 1787536

[startup+43.1029 s]
/proc/loadavg: 1.22 1.04 1.01 2/76 18511
/proc/meminfo: memFree=975648/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1795784 CPUtime=48.19
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 112250 0 1 0 4758 61 0 0 18 0 12 0 15725427 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 448946 103076 1324 9 0 446557 0
[pid=18499/tid=18501] ppid=18497 vsize=1795784 CPUtime=38.38
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37751 0 1 0 3811 27 0 0 22 0 12 0 15725428 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1795784 CPUtime=3.89
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 34538 0 0 0 375 14 0 0 16 0 12 0 15725430 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1795784 CPUtime=3.91
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 30543 0 0 0 378 13 0 0 17 0 12 0 15725430 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1795784 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 15725432 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1795784 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 15725432 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1795784 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 15725432 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1795784 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 15725436 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1795784 CPUtime=0.76
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 2643 0 0 0 75 1 0 0 15 0 12 0 15725436 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1795784 CPUtime=1.18
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 6030 0 0 0 116 2 0 0 16 0 12 0 15725436 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1795784 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 15725436 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1795784 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 15725436 1838882816 103076 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.19
Current children cumulated vsize (KiB) 1795784

[startup+44.7021 s]
/proc/loadavg: 1.22 1.04 1.01 4/77 18512
/proc/meminfo: memFree=958104/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1800432 CPUtime=50.94
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 121603 0 1 0 5029 65 0 0 18 0 13 0 15725427 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 450108 108254 1333 9 0 447719 0
[pid=18499/tid=18501] ppid=18497 vsize=1800432 CPUtime=39.7
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37801 0 1 0 3942 28 0 0 24 0 13 0 15725428 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109815065 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1800432 CPUtime=4.01
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 36523 0 0 0 387 14 0 0 17 0 13 0 15725430 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1800432 CPUtime=4.05
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 32983 0 0 0 390 15 0 0 16 0 13 0 15725430 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1800432 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) R 18497 18499 17488 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 15725432 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1800432 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 15725432 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1800432 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15725432 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1800432 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 15725436 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1800432 CPUtime=1.4
/proc/18499/task/18508/stat : 18508 (java) R 18497 18499 17488 0 -1 64 6063 0 0 0 138 2 0 0 20 0 13 0 15725436 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102602187 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1800432 CPUtime=1.71
/proc/18499/task/18509/stat : 18509 (java) R 18497 18499 17488 0 -1 64 7484 0 0 0 168 3 0 0 19 0 13 0 15725436 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102283539 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1800432 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15725436 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1800432 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 15725436 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18512] ppid=18497 vsize=1800432 CPUtime=0
/proc/18499/task/18512/stat : 18512 (java) S 18497 18499 17488 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 15729793 1843642368 108254 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 1800432

[startup+45.1061 s]
/proc/loadavg: 1.22 1.04 1.01 3/77 18512
/proc/meminfo: memFree=954648/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1796428 CPUtime=51.69
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 121662 0 1 0 5104 65 0 0 18 0 13 0 15725427 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 449107 107361 1333 9 0 446718 0
[pid=18499/tid=18501] ppid=18497 vsize=1796428 CPUtime=40.01
/proc/18499/task/18501/stat : 18501 (java) R 18497 18499 17488 0 -1 64 37801 0 1 0 3973 28 0 0 25 0 13 0 15725428 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109978751 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1796428 CPUtime=4.01
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 36523 0 0 0 387 14 0 0 17 0 13 0 15725430 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1796428 CPUtime=4.05
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 32983 0 0 0 390 15 0 0 16 0 13 0 15725430 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1796428 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 15725432 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1796428 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 15725432 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1796428 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15725432 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1796428 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 15725436 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1796428 CPUtime=1.76
/proc/18499/task/18508/stat : 18508 (java) S 18497 18499 17488 0 -1 64 6115 0 0 0 173 3 0 0 24 0 13 0 15725436 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1796428 CPUtime=1.8
/proc/18499/task/18509/stat : 18509 (java) S 18497 18499 17488 0 -1 64 7491 0 0 0 177 3 0 0 16 0 13 0 15725436 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1796428 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15725436 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1796428 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 15725436 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18512] ppid=18497 vsize=1796428 CPUtime=0
/proc/18499/task/18512/stat : 18512 (java) S 18497 18499 17488 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 15729793 1839542272 107361 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.69
Current children cumulated vsize (KiB) 1796428

[startup+45.5022 s]
/proc/loadavg: 1.22 1.04 1.01 3/77 18512
/proc/meminfo: memFree=954648/2055920 swapFree=4184556/4192956
[pid=18499] ppid=18497 vsize=1796752 CPUtime=52.32
/proc/18499/stat : 18499 (java) S 18497 18499 17488 0 -1 0 124439 0 1 0 5165 67 0 0 18 0 13 0 15725427 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18499/statm: 449188 109730 1334 9 0 446799 0
[pid=18499/tid=18501] ppid=18497 vsize=1796752 CPUtime=40.25
/proc/18499/task/18501/stat : 18501 (java) S 18497 18499 17488 0 -1 64 37806 0 1 0 3997 28 0 0 19 0 13 0 15725428 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18502] ppid=18497 vsize=1796752 CPUtime=4.14
/proc/18499/task/18502/stat : 18502 (java) S 18497 18499 17488 0 -1 64 38360 0 0 0 398 16 0 0 16 0 13 0 15725430 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18503] ppid=18497 vsize=1796752 CPUtime=4.17
/proc/18499/task/18503/stat : 18503 (java) S 18497 18499 17488 0 -1 64 33910 0 0 0 402 15 0 0 17 0 13 0 15725430 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18504] ppid=18497 vsize=1796752 CPUtime=0
/proc/18499/task/18504/stat : 18504 (java) S 18497 18499 17488 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 15725432 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18505] ppid=18497 vsize=1796752 CPUtime=0
/proc/18499/task/18505/stat : 18505 (java) S 18497 18499 17488 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 15725432 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18506] ppid=18497 vsize=1796752 CPUtime=0
/proc/18499/task/18506/stat : 18506 (java) S 18497 18499 17488 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 15725432 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18507] ppid=18497 vsize=1796752 CPUtime=0
/proc/18499/task/18507/stat : 18507 (java) S 18497 18499 17488 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 15725436 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18508] ppid=18497 vsize=1796752 CPUtime=1.83
/proc/18499/task/18508/stat : 18508 (java) R 18497 18499 17488 0 -1 64 6117 0 0 0 180 3 0 0 17 0 13 0 15725436 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104723621 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18509] ppid=18497 vsize=1796752 CPUtime=1.86
/proc/18499/task/18509/stat : 18509 (java) R 18497 18499 17488 0 -1 64 7491 0 0 0 183 3 0 0 16 0 13 0 15725436 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105417395 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18499/tid=18510] ppid=18497 vsize=1796752 CPUtime=0
/proc/18499/task/18510/stat : 18510 (java) S 18497 18499 17488 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 15725436 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18499/tid=18511] ppid=18497 vsize=1796752 CPUtime=0
/proc/18499/task/18511/stat : 18511 (java) S 18497 18499 17488 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 15725436 1839874048 109730 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.32
Current children cumulated vsize (KiB) 1796752

Child status: 10
Real time (s): 45.6006
CPU time (s): 52.41
CPU user time (s): 51.6701
CPU system time (s): 0.739887
CPU usage (%): 114.933
Max. virtual memory (cumulated for all children) (KiB): 1800432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.6701
system time used= 0.739887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124444
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= 1968
involuntary context switches= 1644

runsolver used 0.044993 second user time and 0.12998 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Thu Apr 19 08:31:34 UTC 2007

IDJOB= 360638
IDBENCH= 1385
IDSOLVER= 164
FILE ID= node62/360638-1176971493

PBS_JOBID= 4630278

Free space on /tmp= 66408 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_5.opb.PB06.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360638-1176971493/sat4jPseudoCPClause.jar /tmp/evaluation/360638-1176971493/instance-360638-1176971493.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-360638-1176971493 -o ROOT/results/node62/solver-360638-1176971493 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360638-1176971493/sat4jPseudoCPClause.jar /tmp/evaluation/360638-1176971493/instance-360638-1176971493.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  8bb4ff591e2fd696de21761de4abecdf

RANDOM SEED= 596297274

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1384328 kB
Buffers:         31832 kB
Cached:         557560 kB
SwapCached:       2820 kB
Active:         324876 kB
Inactive:       280320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1384328 kB
SwapTotal:     4192956 kB
SwapFree:      4184556 kB
Dirty:           92304 kB
Writeback:           0 kB
Mapped:          21628 kB
Slab:            52376 kB
Committed_AS:   155852 kB
PageTables:       1476 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= 66408 MiB

End job on node62 on Thu Apr 19 08:32:20 UTC 2007