Trace number 360577

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT 50.2824 44.4927

General information on the benchmark

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

Solver Data (download as text)

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

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/node52/watcher-360577-1176971023 -o ROOT/results/node52/solver-360577-1176971023 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360577-1176971023/sat4jPseudoResolution.jar /tmp/evaluation/360577-1176971023/instance-360577-1176971023.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.00 1.00 1.00 3/64 10013
/proc/meminfo: memFree=1654484/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=18568 CPUtime=0
/proc/10013/stat : 10013 (runsolver) R 10011 10013 9263 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 51947468 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/10013/statm: 4642 292 257 24 0 2626 0

[startup+0.0817589 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10013
/proc/meminfo: memFree=1654484/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1777708 CPUtime=0.06
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 3778 0 1 0 4 2 0 0 18 0 7 0 51947468 1820372992 3521 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 444427 3521 1086 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.101759 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10013
/proc/meminfo: memFree=1654484/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1780108 CPUtime=0.08
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 51947468 1822830592 3710 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 445027 3710 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301773 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10013
/proc/meminfo: memFree=1654484/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1781392 CPUtime=0.3
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 5150 0 1 0 27 3 0 0 18 0 12 0 51947468 1824145408 4889 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 445348 4890 1263 9 0 442960 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1781392

[startup+0.7018 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10013
/proc/meminfo: memFree=1654484/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1782464 CPUtime=0.88
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 6759 0 1 0 84 4 0 0 18 0 12 0 51947468 1825243136 6260 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 445616 6260 1301 9 0 443228 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 1782464

[startup+1.50286 s]
/proc/loadavg: 1.00 1.00 1.00 3/76 10025
/proc/meminfo: memFree=1628660/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1785600 CPUtime=2.04
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 17898 0 1 0 195 9 0 0 18 0 12 0 51947468 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 446400 16445 1303 9 0 444012 0
[pid=10013/tid=10015] ppid=10011 vsize=1785600 CPUtime=1.02
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 14662 0 1 0 95 7 0 0 18 0 12 0 51947469 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109343245 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 51947471 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 51947471 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 51947473 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 51947473 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 51947473 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1785600 CPUtime=0.5
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 1030 0 0 0 50 0 0 0 16 0 12 0 51947477 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1785600 CPUtime=0.49
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 1485 0 0 0 49 0 0 0 17 0 12 0 51947477 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 51947477 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 51947477 1828454400 16445 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 1785600

[startup+3.10295 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 10025
/proc/meminfo: memFree=1517108/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1785600 CPUtime=3.67
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 42132 0 1 0 346 21 0 0 18 0 12 0 51947468 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 446400 40672 1312 9 0 444012 0
[pid=10013/tid=10015] ppid=10011 vsize=1785600 CPUtime=2.58
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37673 0 1 0 240 18 0 0 25 0 12 0 51947469 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1785600 CPUtime=0.03
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 678 0 0 0 3 0 0 0 17 0 12 0 51947471 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1785600 CPUtime=0.03
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 540 0 0 0 3 0 0 0 16 0 12 0 51947471 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 51947473 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 51947473 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 51947473 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1785600 CPUtime=0.5
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 1030 0 0 0 50 0 0 0 16 0 12 0 51947477 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1785600 CPUtime=0.49
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 1485 0 0 0 49 0 0 0 17 0 12 0 51947477 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 51947477 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1785600 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 51947477 1828454400 40672 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 1785600

[startup+6.30217 s]
/proc/loadavg: 1.08 1.02 1.01 2/76 10025
/proc/meminfo: memFree=1470644/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1788136 CPUtime=7.15
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 51637 0 1 0 688 27 0 0 18 0 12 0 51947468 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 447034 49591 1312 9 0 444646 0
[pid=10013/tid=10015] ppid=10011 vsize=1788136 CPUtime=5.47
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37678 0 1 0 526 21 0 0 17 0 12 0 51947469 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109474381 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1788136 CPUtime=0.32
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 5351 0 0 0 31 1 0 0 16 0 12 0 51947471 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1788136 CPUtime=0.32
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 5358 0 0 0 30 2 0 0 17 0 12 0 51947471 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 17 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1788136 CPUtime=0.5
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 1030 0 0 0 50 0 0 0 16 0 12 0 51947477 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1788136 CPUtime=0.49
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 1485 0 0 0 49 0 0 0 17 0 12 0 51947477 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 51947477 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 51947477 1831051264 49591 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 1788136

[startup+12.7026 s]
/proc/loadavg: 1.07 1.02 1.00 2/76 10025
/proc/meminfo: memFree=1413556/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1788136 CPUtime=14.36
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 65272 0 1 0 1399 37 0 0 18 0 12 0 51947468 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 447034 61723 1312 9 0 444646 0
[pid=10013/tid=10015] ppid=10011 vsize=1788136 CPUtime=11.05
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37685 0 1 0 1082 23 0 0 23 0 12 0 51947469 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109584835 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1788136 CPUtime=1.13
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 13056 0 0 0 108 5 0 0 16 0 12 0 51947471 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1788136 CPUtime=1.13
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 11278 0 0 0 107 6 0 0 16 0 12 0 51947471 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 20 0 0 0 0 0 0 0 17 0 12 0 51947473 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1788136 CPUtime=0.5
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 1030 0 0 0 50 0 0 0 16 0 12 0 51947477 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1788136 CPUtime=0.49
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 1485 0 0 0 49 0 0 0 17 0 12 0 51947477 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 51947477 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 51947477 1831051264 61723 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 1788136

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 3/76 10025
/proc/meminfo: memFree=1354356/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1788136 CPUtime=28.36
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 82534 0 1 0 2791 45 0 0 18 0 12 0 51947468 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 447034 78099 1312 9 0 444646 0
[pid=10013/tid=10015] ppid=10011 vsize=1788136 CPUtime=22.63
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37702 0 1 0 2237 26 0 0 25 0 12 0 51947469 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109489008 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1788136 CPUtime=2.34
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 19976 0 0 0 226 8 0 0 16 0 12 0 51947471 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1788136 CPUtime=2.31
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 21592 0 0 0 222 9 0 0 16 0 12 0 51947471 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1831051264 78099 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1831051264 96765 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1788136 CPUtime=0.5
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 1030 0 0 0 50 0 0 0 16 0 12 0 51947477 1831051264 96765 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1788136 CPUtime=0.53
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 1489 0 0 0 53 0 0 0 16 0 12 0 51947477 1831051264 96765 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 51947477 1831051264 96765 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 51947477 1831051264 96765 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.4
Current children cumulated vsize (KiB) 1788136

[startup+41.5017 s]
/proc/loadavg: 1.04 1.01 1.00 2/76 10025
/proc/meminfo: memFree=1264372/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1788136 CPUtime=45.93
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 104816 0 1 0 4534 59 0 0 18 0 12 0 51947468 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 447034 100042 1312 9 0 444646 0
[pid=10013/tid=10015] ppid=10011 vsize=1788136 CPUtime=36.98
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37718 0 1 0 3669 29 0 0 19 0 12 0 51947469 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109561785 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1788136 CPUtime=3.9
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 32943 0 0 0 377 13 0 0 17 0 12 0 51947471 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1788136 CPUtime=3.95
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 30888 0 0 0 381 14 0 0 16 0 12 0 51947471 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1788136 CPUtime=0.01
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 29 0 0 0 1 0 0 0 16 0 12 0 51947473 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 51947473 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1788136 CPUtime=0.5
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 1030 0 0 0 50 0 0 0 16 0 12 0 51947477 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1788136 CPUtime=0.54
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 1490 0 0 0 54 0 0 0 16 0 12 0 51947477 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 51947477 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1788136 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 51947477 1831051264 100042 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.93
Current children cumulated vsize (KiB) 1788136

[startup+43.1029 s]
/proc/loadavg: 1.04 1.01 1.00 2/76 10025
/proc/meminfo: memFree=1248308/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1796008 CPUtime=48.26
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 111651 0 1 0 4764 62 0 0 18 0 12 0 51947468 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 449002 102977 1324 9 0 446614 0
[pid=10013/tid=10015] ppid=10011 vsize=1796008 CPUtime=38.18
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37742 0 1 0 3789 29 0 0 25 0 12 0 51947469 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109821963 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1796008 CPUtime=3.98
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 33577 0 0 0 385 13 0 0 16 0 12 0 51947471 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1796008 CPUtime=4.04
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 31241 0 0 0 390 14 0 0 16 0 12 0 51947471 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1796008 CPUtime=0.01
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 51947473 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1796008 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 51947473 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1796008 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 51947473 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1796008 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 51947477 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1796008 CPUtime=1.2
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 4921 0 0 0 118 2 0 0 16 0 12 0 51947477 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1796008 CPUtime=0.8
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 3423 0 0 0 79 1 0 0 16 0 12 0 51947477 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1796008 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 51947477 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1796008 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 51947477 1839112192 102977 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.26
Current children cumulated vsize (KiB) 1796008

[startup+43.9029 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 10026
/proc/meminfo: memFree=1231852/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1797104 CPUtime=49.37
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 116890 0 1 0 4873 64 0 0 18 0 13 0 51947468 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 449276 107066 1332 9 0 446888 0
[pid=10013/tid=10015] ppid=10011 vsize=1797104 CPUtime=38.75
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37769 0 1 0 3846 29 0 0 18 0 13 0 51947469 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109147561 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1797104 CPUtime=4.11
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 35573 0 0 0 397 14 0 0 16 0 13 0 51947471 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1797104 CPUtime=4.17
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 33410 0 0 0 402 15 0 0 17 0 13 0 51947471 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1797104 CPUtime=0.01
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 29 0 0 0 1 0 0 0 17 0 13 0 51947473 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1797104 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 51947473 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1797104 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 51947473 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1797104 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 51947477 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1797104 CPUtime=1.3
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 5038 0 0 0 128 2 0 0 17 0 13 0 51947477 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1797104 CPUtime=0.97
/proc/10013/task/10023/stat : 10023 (java) R 10011 10013 9263 0 -1 64 4348 0 0 0 96 1 0 0 18 0 13 0 51947477 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 102397686 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1797104 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 51947477 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1797104 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) R 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 51947477 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10026] ppid=10011 vsize=1797104 CPUtime=0
/proc/10013/task/10026/stat : 10026 (java) S 10011 10013 9263 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 51951841 1840234496 107066 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 1797104

[startup+44.3029 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 10026
/proc/meminfo: memFree=1231852/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1796332 CPUtime=50.06
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 119158 0 1 0 4941 65 0 0 18 0 13 0 51947468 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 449083 106909 1332 9 0 446695 0
[pid=10013/tid=10015] ppid=10011 vsize=1796332 CPUtime=39
/proc/10013/task/10015/stat : 10015 (java) R 10011 10013 9263 0 -1 64 37771 0 1 0 3871 29 0 0 18 0 13 0 51947469 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109873622 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1796332 CPUtime=4.11
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 35573 0 0 0 397 14 0 0 16 0 13 0 51947471 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1796332 CPUtime=4.17
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 33410 0 0 0 402 15 0 0 17 0 13 0 51947471 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1796332 CPUtime=0.01
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 29 0 0 0 1 0 0 0 17 0 13 0 51947473 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 51947473 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 51947473 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 51947477 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1796332 CPUtime=1.53
/proc/10013/task/10022/stat : 10022 (java) S 10011 10013 9263 0 -1 64 5346 0 0 0 151 2 0 0 16 0 13 0 51947477 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1796332 CPUtime=1.19
/proc/10013/task/10023/stat : 10023 (java) S 10011 10013 9263 0 -1 64 6306 0 0 0 117 2 0 0 16 0 13 0 51947477 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 51947477 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 51947477 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10026] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10026/stat : 10026 (java) S 10011 10013 9263 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 51951841 1839443968 106909 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (KiB) 1796332

[startup+44.4029 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 10026
/proc/meminfo: memFree=1231852/2055920 swapFree=4182956/4192956
[pid=10013] ppid=10011 vsize=1796332 CPUtime=50.17
/proc/10013/stat : 10013 (java) S 10011 10013 9263 0 -1 0 119164 0 1 0 4952 65 0 0 18 0 13 0 51947468 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10013/statm: 449083 106914 1333 9 0 446695 0
[pid=10013/tid=10015] ppid=10011 vsize=1796332 CPUtime=39.06
/proc/10013/task/10015/stat : 10015 (java) S 10011 10013 9263 0 -1 64 37774 0 1 0 3877 29 0 0 21 0 13 0 51947469 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10016] ppid=10011 vsize=1796332 CPUtime=4.11
/proc/10013/task/10016/stat : 10016 (java) S 10011 10013 9263 0 -1 64 35573 0 0 0 397 14 0 0 16 0 13 0 51947471 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10017] ppid=10011 vsize=1796332 CPUtime=4.17
/proc/10013/task/10017/stat : 10017 (java) S 10011 10013 9263 0 -1 64 33410 0 0 0 402 15 0 0 17 0 13 0 51947471 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10018] ppid=10011 vsize=1796332 CPUtime=0.01
/proc/10013/task/10018/stat : 10018 (java) S 10011 10013 9263 0 -1 64 29 0 0 0 1 0 0 0 16 0 13 0 51947473 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10019] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10019/stat : 10019 (java) S 10011 10013 9263 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 51947473 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10020] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10020/stat : 10020 (java) S 10011 10013 9263 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 51947473 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10021] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10021/stat : 10021 (java) S 10011 10013 9263 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 51947477 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10022] ppid=10011 vsize=1796332 CPUtime=1.54
/proc/10013/task/10022/stat : 10022 (java) R 10011 10013 9263 0 -1 64 5346 0 0 0 152 2 0 0 16 0 13 0 51947477 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 103171585 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10023] ppid=10011 vsize=1796332 CPUtime=1.21
/proc/10013/task/10023/stat : 10023 (java) R 10011 10013 9263 0 -1 64 6307 0 0 0 119 2 0 0 16 0 13 0 51947477 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 104787554 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10013/tid=10024] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10024/stat : 10024 (java) S 10011 10013 9263 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 51947477 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10013/tid=10025] ppid=10011 vsize=1796332 CPUtime=0
/proc/10013/task/10025/stat : 10025 (java) S 10011 10013 9263 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 51947477 1839443968 106914 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.17
Current children cumulated vsize (KiB) 1796332

Child status: 10
Real time (s): 44.4927
CPU time (s): 50.2824
CPU user time (s): 49.5655
CPU system time (s): 0.716891
CPU usage (%): 113.012
Max. virtual memory (cumulated for all children) (KiB): 1800128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5655
system time used= 0.716891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119173
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= 2055
involuntary context switches= 1471

runsolver used 0.052991 second user time and 0.12598 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Thu Apr 19 08:23:44 UTC 2007

IDJOB= 360577
IDBENCH= 1381
IDSOLVER= 159
FILE ID= node52/360577-1176971023

PBS_JOBID= 4630275

Free space on /tmp= 66224 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  16e382d24044cea3204cbf333685cccd

RANDOM SEED= 431765885

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1654956 kB
Buffers:         21440 kB
Cached:         326716 kB
SwapCached:       4288 kB
Active:         165744 kB
Inactive:       192644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1654956 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:           92248 kB
Writeback:           0 kB
Mapped:          15752 kB
Slab:            28544 kB
Committed_AS:  1590756 kB
PageTables:       1484 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= 66224 MiB

End job on node52 on Thu Apr 19 08:24:29 UTC 2007