Trace number 360498

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 54.8157 47.6912

General information on the benchmark

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

Solver Data (download as text)

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

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/node3/watcher-360498-1176970290 -o ROOT/results/node3/solver-360498-1176970290 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360498-1176970290/sat4jPseudoCPClause.jar /tmp/evaluation/360498-1176970290/instance-360498-1176970290.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.72 0.93 0.98 1/77 12400
/proc/meminfo: memFree=1273624/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=18568 CPUtime=0
/proc/12400/stat : 12400 (runsolver) D 12398 12400 12337 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173066833 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 233632754983 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/12400/statm: 4642 292 257 24 0 2626 0

[startup+0.0686121 s]
/proc/loadavg: 0.72 0.93 0.98 1/77 12400
/proc/meminfo: memFree=1273624/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1777708 CPUtime=0.05
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 3676 0 1 0 3 2 0 0 18 0 7 0 173066833 1820372992 3418 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 444427 3418 1079 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101618 s]
/proc/loadavg: 0.72 0.93 0.98 1/77 12400
/proc/meminfo: memFree=1273624/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1780112 CPUtime=0.08
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 3966 0 1 0 5 3 0 0 18 0 12 0 173066833 1822834688 3707 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 445028 3707 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301649 s]
/proc/loadavg: 0.72 0.93 0.98 1/77 12400
/proc/meminfo: memFree=1273624/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1782040 CPUtime=0.3
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 5165 0 1 0 27 3 0 0 18 0 12 0 173066833 1824808960 4903 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 445510 4903 1263 9 0 443121 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1782040

[startup+0.701715 s]
/proc/loadavg: 0.72 0.93 0.98 1/77 12400
/proc/meminfo: memFree=1273624/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1783192 CPUtime=0.88
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 6787 0 1 0 83 5 0 0 18 0 12 0 173066833 1825988608 6342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 445798 6342 1301 9 0 443409 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 1783192

[startup+1.50285 s]
/proc/loadavg: 0.72 0.93 0.98 3/89 12412
/proc/meminfo: memFree=1247160/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1785636 CPUtime=2.01
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 17249 0 1 0 192 9 0 0 18 0 12 0 173066833 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 446409 15754 1303 9 0 444020 0
[pid=12400/tid=12402] ppid=12398 vsize=1785636 CPUtime=1
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 13935 0 1 0 93 7 0 0 19 0 12 0 173066834 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109474029 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 173066836 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 173066836 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173066838 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 173066838 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 173066838 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1785636 CPUtime=0.5
/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 1421 0 0 0 50 0 0 0 16 0 12 0 173066842 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1785636 CPUtime=0.48
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 1174 0 0 0 48 0 0 0 17 0 12 0 173066842 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173066842 1828491264 15754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 1785636

[startup+3.1011 s]
/proc/loadavg: 0.74 0.94 0.98 2/89 12412
/proc/meminfo: memFree=1143224/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1785636 CPUtime=3.64
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 42219 0 1 0 342 22 0 0 18 0 12 0 173066833 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 446409 40711 1312 9 0 444020 0
[pid=12400/tid=12402] ppid=12398 vsize=1785636 CPUtime=2.55
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37673 0 1 0 236 19 0 0 25 0 12 0 173066834 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521553 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1785636 CPUtime=0.03
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 574 0 0 0 3 0 0 0 17 0 12 0 173066836 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1785636 CPUtime=0.03
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 652 0 0 0 3 0 0 0 16 0 12 0 173066836 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 173066838 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173066838 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173066838 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1785636 CPUtime=0.5
/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 1421 0 0 0 50 0 0 0 16 0 12 0 173066842 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1785636 CPUtime=0.48
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 1174 0 0 0 48 0 0 0 17 0 12 0 173066842 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1785636 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173066842 1828491264 40711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 1785636

[startup+6.30262 s]
/proc/loadavg: 0.74 0.94 0.98 2/89 12412
/proc/meminfo: memFree=1086072/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1787928 CPUtime=7.14
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 51693 0 1 0 687 27 0 0 18 0 12 0 173066833 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 446982 49550 1312 9 0 444593 0
[pid=12400/tid=12402] ppid=12398 vsize=1787928 CPUtime=5.45
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37678 0 1 0 525 20 0 0 17 0 12 0 173066834 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553796 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1787928 CPUtime=0.32
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 5157 0 0 0 31 1 0 0 17 0 12 0 173066836 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1787928 CPUtime=0.32
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 5528 0 0 0 30 2 0 0 16 0 12 0 173066836 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 17 0 0 0 0 0 0 0 17 0 12 0 173066838 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1787928 CPUtime=0.5
/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 1421 0 0 0 50 0 0 0 16 0 12 0 173066842 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1787928 CPUtime=0.48
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 1174 0 0 0 48 0 0 0 17 0 12 0 173066842 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173066842 1830838272 49550 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 1787928

[startup+12.7027 s]
/proc/loadavg: 0.85 0.95 0.98 2/89 12412
/proc/meminfo: memFree=1035584/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1787928 CPUtime=14.28
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 65341 0 1 0 1394 34 0 0 18 0 12 0 173066833 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 446982 61712 1312 9 0 444593 0
[pid=12400/tid=12402] ppid=12398 vsize=1787928 CPUtime=11.1
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37686 0 1 0 1089 21 0 0 21 0 12 0 173066834 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109541323 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1787928 CPUtime=1.06
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 12861 0 0 0 102 4 0 0 16 0 12 0 173066836 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1787928 CPUtime=1.07
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 11462 0 0 0 102 5 0 0 16 0 12 0 173066836 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 19 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1787928 CPUtime=0.5
/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 1421 0 0 0 50 0 0 0 16 0 12 0 173066842 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1787928 CPUtime=0.48
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 1174 0 0 0 48 0 0 0 16 0 12 0 173066842 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173066842 1830838272 61712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.28
Current children cumulated vsize (KiB) 1787928

[startup+25.5027 s]
/proc/loadavg: 0.87 0.95 0.98 2/89 12412
/proc/meminfo: memFree=972800/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1787928 CPUtime=28.21
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 82464 0 1 0 2777 44 0 0 18 0 12 0 173066833 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 446982 78071 1312 9 0 444593 0
[pid=12400/tid=12402] ppid=12398 vsize=1787928 CPUtime=22.78
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37702 0 1 0 2255 23 0 0 25 0 12 0 173066834 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522012 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1787928 CPUtime=2.16
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 22366 0 0 0 209 7 0 0 16 0 12 0 173066836 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1787928 CPUtime=2.17
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 19044 0 0 0 208 9 0 0 16 0 12 0 173066836 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173066838 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1830838272 78071 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 1435 0 0 0 54 0 0 0 16 0 12 0 173066842 1830838272 99086 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1787928 CPUtime=0.49
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 1174 0 0 0 49 0 0 0 16 0 12 0 173066842 1830838272 99086 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1830838272 99086 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1787928 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173066842 1830838272 99086 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 45.61
Current children cumulated vsize (KiB) 1787928

[startup+44.7019 s]
/proc/loadavg: 0.98 0.97 0.99 2/89 12412
/proc/meminfo: memFree=866816/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1796592 CPUtime=49.94
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 117056 0 2 0 4929 65 0 0 18 0 13 0 173066833 1839710208 107367 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 449148 107367 1329 9 0 446759 0
[pid=12400/tid=12402] ppid=12398 vsize=1796592 CPUtime=39.81
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37763 0 2 0 3955 26 0 0 17 0 13 0 173066834 1839710208 107369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1796592 CPUtime=3.95
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 34758 0 0 0 381 14 0 0 17 0 13 0 173066836 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1796592 CPUtime=3.98
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 34822 0 0 0 379 19 0 0 16 0 13 0 173066836 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1796592 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 27 0 0 0 0 0 0 0 17 0 13 0 173066838 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1796592 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173066838 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1796592 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173066838 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1796592 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1796592 CPUtime=0.9
/proc/12400/task/12409/stat : 12409 (java) R 12398 12400 12337 0 -1 64 3523 0 0 0 89 1 0 0 17 0 13 0 173066842 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11390679 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1796592 CPUtime=1.24
/proc/12400/task/12410/stat : 12410 (java) R 12398 12400 12337 0 -1 64 5449 0 0 0 122 2 0 0 16 0 13 0 173066842 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104795102 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1796592 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1796592 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173066842 1839710208 107375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (KiB) 1796592

[startup+46.3021 s]
/proc/loadavg: 0.98 0.97 0.99 4/90 12413
/proc/meminfo: memFree=836920/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1798640 CPUtime=53.06
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 123866 0 2 0 5238 68 0 0 18 0 13 0 173066833 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 449660 110332 1333 9 0 447271 0
[pid=12400/tid=12402] ppid=12398 vsize=1798640 CPUtime=41.23
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37767 0 2 0 4097 26 0 0 25 0 13 0 173066834 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110013933 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1798640 CPUtime=4.07
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 36698 0 0 0 392 15 0 0 16 0 13 0 173066836 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1798640 CPUtime=4.09
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 35711 0 0 0 390 19 0 0 16 0 13 0 173066836 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1798640 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 27 0 0 0 0 0 0 0 15 0 13 0 173066838 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1798640 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173066838 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1798640 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173066838 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1798640 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1798640 CPUtime=1.54
/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 4519 0 0 0 152 2 0 0 17 0 13 0 173066842 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1798640 CPUtime=2.08
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 8422 0 0 0 205 3 0 0 23 0 13 0 173066842 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1798640 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1798640 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173066842 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12413] ppid=12398 vsize=1798640 CPUtime=0
/proc/12400/task/12413/stat : 12413 (java) S 12398 12400 12337 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173071287 1841807360 110332 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.06
Current children cumulated vsize (KiB) 1798640

[startup+47.1022 s]
/proc/loadavg: 0.98 0.97 0.99 4/90 12413
/proc/meminfo: memFree=836920/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1798320 CPUtime=53.96
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 126102 0 2 0 5327 69 0 0 18 0 13 0 173066833 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 449580 112029 1333 9 0 447191 0
[pid=12400/tid=12402] ppid=12398 vsize=1798320 CPUtime=41.95
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37769 0 2 0 4169 26 0 0 25 0 13 0 173066834 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110014007 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1798320 CPUtime=4.13
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 38102 0 0 0 397 16 0 0 16 0 13 0 173066836 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1798320 CPUtime=4.14
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 36541 0 0 0 395 19 0 0 16 0 13 0 173066836 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 173066838 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173066838 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173066838 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1798320 CPUtime=1.58
/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 4519 0 0 0 156 2 0 0 16 0 13 0 173066842 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1798320 CPUtime=2.12
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 8422 0 0 0 209 3 0 0 16 0 13 0 173066842 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173066842 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12413] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12413/stat : 12413 (java) S 12398 12400 12337 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173071287 1841479680 112029 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.96
Current children cumulated vsize (KiB) 1798320

[startup+47.5023 s]
/proc/loadavg: 1.14 1.01 1.00 2/90 12413
/proc/meminfo: memFree=831032/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1798976 CPUtime=54.54
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 126397 0 2 0 5385 69 0 0 18 0 13 0 173066833 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 449744 112216 1333 9 0 447355 0
[pid=12400/tid=12402] ppid=12398 vsize=1798976 CPUtime=42.3
/proc/12400/task/12402/stat : 12402 (java) R 12398 12400 12337 0 -1 64 37769 0 2 0 4204 26 0 0 25 0 13 0 173066834 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109996027 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1798976 CPUtime=4.13
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 38102 0 0 0 397 16 0 0 16 0 13 0 173066836 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1798976 CPUtime=4.14
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 36541 0 0 0 395 19 0 0 16 0 13 0 173066836 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1798976 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 173066838 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1798976 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173066838 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1798976 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173066838 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1798976 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1798976 CPUtime=1.74
/proc/12400/task/12409/stat : 12409 (java) R 12398 12400 12337 0 -1 64 4811 0 0 0 172 2 0 0 17 0 13 0 173066842 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101908153 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1798976 CPUtime=2.18
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 8425 0 0 0 215 3 0 0 16 0 13 0 173066842 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1798976 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173066842 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1798976 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173066842 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12413] ppid=12398 vsize=1798976 CPUtime=0
/proc/12400/task/12413/stat : 12413 (java) S 12398 12400 12337 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173071287 1842151424 112216 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 54.54
Current children cumulated vsize (KiB) 1798976

[startup+47.6023 s]
/proc/loadavg: 1.14 1.01 1.00 2/90 12413
/proc/meminfo: memFree=831032/2055920 swapFree=4140660/4192956
[pid=12400] ppid=12398 vsize=1798320 CPUtime=54.74
/proc/12400/stat : 12400 (java) S 12398 12400 12337 0 -1 0 126951 0 2 0 5404 70 0 0 18 0 12 0 173066833 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12400/statm: 449580 112151 1334 9 0 447191 0
[pid=12400/tid=12402] ppid=12398 vsize=1798320 CPUtime=42.33
/proc/12400/task/12402/stat : 12402 (java) S 12398 12400 12337 0 -1 64 37773 0 2 0 4207 26 0 0 17 0 12 0 173066834 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12403] ppid=12398 vsize=1798320 CPUtime=4.13
/proc/12400/task/12403/stat : 12403 (java) S 12398 12400 12337 0 -1 64 38102 0 0 0 397 16 0 0 16 0 12 0 173066836 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12404] ppid=12398 vsize=1798320 CPUtime=4.14
/proc/12400/task/12404/stat : 12404 (java) S 12398 12400 12337 0 -1 64 36541 0 0 0 395 19 0 0 16 0 12 0 173066836 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12405] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12405/stat : 12405 (java) S 12398 12400 12337 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 173066838 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12406] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12406/stat : 12406 (java) S 12398 12400 12337 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173066838 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12407] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12407/stat : 12407 (java) S 12398 12400 12337 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173066838 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12408] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12408/stat : 12408 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12409] ppid=12398 vsize=1798320 CPUtime=1.82
/proc/12400/task/12409/stat : 12409 (java) S 12398 12400 12337 0 -1 64 5357 0 0 0 180 2 0 0 18 0 12 0 173066842 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12410] ppid=12398 vsize=1798320 CPUtime=2.23
/proc/12400/task/12410/stat : 12410 (java) S 12398 12400 12337 0 -1 64 8426 0 0 0 220 3 0 0 16 0 12 0 173066842 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12400/tid=12411] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12411/stat : 12411 (java) S 12398 12400 12337 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173066842 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12400/tid=12412] ppid=12398 vsize=1798320 CPUtime=0
/proc/12400/task/12412/stat : 12412 (java) S 12398 12400 12337 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173066842 1841479680 112151 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.74
Current children cumulated vsize (KiB) 1798320

Child status: 10
Real time (s): 47.6912
CPU time (s): 54.8157
CPU user time (s): 54.0468
CPU system time (s): 0.768883
CPU usage (%): 114.939
Max. virtual memory (cumulated for all children) (KiB): 1799768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.0468
system time used= 0.768883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126954
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2169
involuntary context switches= 2087

runsolver used 0.053991 second user time and 0.132979 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Thu Apr 19 08:11:31 UTC 2007

IDJOB= 360498
IDBENCH= 1375
IDSOLVER= 164
FILE ID= node3/360498-1176970290

PBS_JOBID= 4630318

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  ab4957c8b8761f975030868126e78f02

RANDOM SEED= 471814076

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1274032 kB
Buffers:         37844 kB
Cached:         674280 kB
SwapCached:      15204 kB
Active:         204188 kB
Inactive:       530684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274032 kB
SwapTotal:     4192956 kB
SwapFree:      4140660 kB
Dirty:           92452 kB
Writeback:           0 kB
Mapped:          29724 kB
Slab:            32596 kB
Committed_AS:  5279436 kB
PageTables:       1780 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= 66269 MiB

End job on node3 on Thu Apr 19 08:12:19 UTC 2007