Trace number 360564

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
sat4jPseudoCP 2007-03-23SAT 57.4663 50.548

General information on the benchmark

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

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/node42/watcher-360564-1176970849 -o ROOT/results/node42/solver-360564-1176970849 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360564-1176970849/sat4jPseudoCP.jar /tmp/evaluation/360564-1176970849/instance-360564-1176970849.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.90 1.03 1.01 2/77 5036
/proc/meminfo: memFree=1505456/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=18568 CPUtime=0
/proc/5036/stat : 5036 (runsolver) R 5034 5036 4810 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 144996960 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5036/statm: 4642 292 257 24 0 2626 0

[startup+0.05778 s]
/proc/loadavg: 0.90 1.03 1.01 2/77 5036
/proc/meminfo: memFree=1505456/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1776088 CPUtime=0.02
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 3189 0 1 0 1 1 0 0 18 0 4 0 144996960 1818714112 2936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 444022 2936 887 9 0 441658 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776088

[startup+0.101785 s]
/proc/loadavg: 0.90 1.03 1.01 2/77 5036
/proc/meminfo: memFree=1505456/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1777844 CPUtime=0.06
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 3792 0 1 0 5 1 0 0 18 0 7 0 144996960 1820512256 3534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 444461 3534 1086 9 0 442097 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777844

[startup+0.301825 s]
/proc/loadavg: 0.90 1.03 1.01 2/77 5036
/proc/meminfo: memFree=1505456/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1782448 CPUtime=0.29
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 5149 0 1 0 27 2 0 0 18 0 12 0 144996960 1825226752 4887 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 445612 4887 1263 9 0 443224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1782448

[startup+0.7019 s]
/proc/loadavg: 0.90 1.03 1.01 2/77 5036
/proc/meminfo: memFree=1505456/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1783248 CPUtime=0.87
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 6790 0 1 0 85 2 0 0 18 0 12 0 144996960 1826045952 6287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 445812 6287 1301 9 0 443424 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 1783248

[startup+1.50206 s]
/proc/loadavg: 0.90 1.03 1.01 4/89 5048
/proc/meminfo: memFree=1476112/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1785468 CPUtime=2.03
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 17855 0 1 0 194 9 0 0 18 0 12 0 144996960 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 446367 16219 1303 9 0 443979 0
[pid=5036/tid=5038] ppid=5034 vsize=1785468 CPUtime=1.01
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 14371 0 1 0 94 7 0 0 18 0 12 0 144996963 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103832480 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 144996965 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 144996965 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 144996968 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 144996968 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 3 0 0 0 0 0 0 0 24 0 12 0 144996968 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 144996972 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1785468 CPUtime=0.45
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 958 0 0 0 45 0 0 0 17 0 12 0 144996972 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1785468 CPUtime=0.54
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 1805 0 0 0 54 0 0 0 16 0 12 0 144996972 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 144996972 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1785468 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144996972 1828319232 16219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 1785468

[startup+3.10235 s]
/proc/loadavg: 0.98 1.04 1.02 2/89 5048
/proc/meminfo: memFree=1371152/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1785632 CPUtime=3.66
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 42444 0 1 0 345 21 0 0 18 0 12 0 144996960 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 446408 40799 1312 9 0 444020 0
[pid=5036/tid=5038] ppid=5034 vsize=1785632 CPUtime=2.57
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37691 0 1 0 238 19 0 0 24 0 12 0 144996963 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109519939 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1785632 CPUtime=0.03
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 691 0 0 0 3 0 0 0 16 0 12 0 144996965 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1785632 CPUtime=0.03
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 573 0 0 0 3 0 0 0 16 0 12 0 144996965 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1785632 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 144996968 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1785632 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144996968 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1785632 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144996968 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1785632 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 144996972 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1785632 CPUtime=0.45
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 958 0 0 0 45 0 0 0 17 0 12 0 144996972 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1785632 CPUtime=0.54
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 1805 0 0 0 54 0 0 0 16 0 12 0 144996972 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1785632 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 144996972 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1785632 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144996972 1828487168 40799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 1785632

[startup+6.30296 s]
/proc/loadavg: 0.98 1.04 1.02 2/89 5048
/proc/meminfo: memFree=1322128/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1786516 CPUtime=7.14
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 51961 0 1 0 688 26 0 0 18 0 12 0 144996960 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 446629 49423 1312 9 0 444241 0
[pid=5036/tid=5038] ppid=5034 vsize=1786516 CPUtime=5.46
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37696 0 1 0 526 20 0 0 17 0 12 0 144996963 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109540441 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1786516 CPUtime=0.32
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 5734 0 0 0 30 2 0 0 16 0 12 0 144996965 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1786516 CPUtime=0.32
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 5033 0 0 0 31 1 0 0 16 0 12 0 144996965 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 16 0 0 0 0 0 0 0 17 0 12 0 144996968 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144996968 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144996968 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 144996972 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1786516 CPUtime=0.45
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 958 0 0 0 45 0 0 0 17 0 12 0 144996972 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1786516 CPUtime=0.54
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 1805 0 0 0 54 0 0 0 16 0 12 0 144996972 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 144996972 1829392384 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144996972 1829392384 49423 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) 1786516

[startup+12.7022 s]
/proc/loadavg: 1.14 1.07 1.02 2/89 5048
/proc/meminfo: memFree=1265168/2055920 swapFree=4123776/4192956
[pid=5036] ppid=5034 vsize=1786516 CPUtime=14.42
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 66375 0 1 0 1408 34 0 0 18 0 12 0 144996960 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 446629 62327 1312 9 0 444241 0
[pid=5036/tid=5038] ppid=5034 vsize=1786516 CPUtime=10.98
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37705 0 1 0 1076 22 0 0 19 0 12 0 144996963 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109511143 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1786516 CPUtime=1.2
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 11701 0 0 0 115 5 0 0 16 0 12 0 144996965 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1786516 CPUtime=1.19
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 13469 0 0 0 115 4 0 0 16 0 12 0 144996965 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 144996968 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144996968 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144996968 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 144996972 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1786516 CPUtime=0.45
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 958 0 0 0 45 0 0 0 16 0 12 0 144996972 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1786516 CPUtime=0.54
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 1805 0 0 0 54 0 0 0 16 0 12 0 144996972 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 144996972 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1786516 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144996972 1829392384 62327 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.42
Current children cumulated vsize (KiB) 1786516

[startup+25.5016 s]
/proc/loadavg: 1.12 1.07 1.02 2/89 5048
/proc/meminfo: memFree=1198288/2055920 swapFree=4123840/4192956
[pid=5036] ppid=5034 vsize=1787540 CPUtime=28.36
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 83199 0 1 0 2792 44 0 0 18 0 12 0 144996960 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 446885 78307 1312 9 0 444497 0
[pid=5036/tid=5038] ppid=5034 vsize=1787540 CPUtime=22.62
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37720 0 1 0 2238 24 0 0 22 0 12 0 144996963 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109634970 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1787540 CPUtime=2.33
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 17829 0 0 0 226 7 0 0 17 0 12 0 144996965 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1787540 CPUtime=2.33
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 24002 0 0 0 223 10 0 0 16 0 12 0 144996965 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 144996968 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144996968 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144996968 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 144996972 1830440960 78307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/loadavg: 1.09 1.07 1.02 2/89 5048
/proc/meminfo: memFree=1128400/2055920 swapFree=4123840/4192956
[pid=5036] ppid=5034 vsize=1787540 CPUtime=42.44
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 101927 0 1 0 4187 57 0 0 18 0 12 0 144996960 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 446885 96786 1312 9 0 444497 0
[pid=5036/tid=5038] ppid=5034 vsize=1787540 CPUtime=34.09
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37733 0 1 0 3382 27 0 0 25 0 12 0 144996963 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109558915 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1787540 CPUtime=3.65
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 29061 0 0 0 352 13 0 0 17 0 12 0 144996965 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1787540 CPUtime=3.6
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 31483 0 0 0 347 13 0 0 16 0 12 0 144996965 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 144996968 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144996968 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144996968 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 144996972 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1787540 CPUtime=0.49
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 1099 0 0 0 49 0 0 0 16 0 12 0 144996972 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1787540 CPUtime=0.54
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 1805 0 0 0 54 0 0 0 16 0 12 0 144996972 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 144996972 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1787540 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144996972 1830440960 96786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.44
Current children cumulated vsize (KiB) 1787540

[startup+44.7013 s]
/proc/loadavg: 1.08 1.07 1.02 3/90 5049
/proc/meminfo: memFree=1081352/2055920 swapFree=4123840/4192956
[pid=5036] ppid=5034 vsize=1797780 CPUtime=50.96
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 120800 0 1 0 5029 67 0 0 18 0 13 0 144996960 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 449445 107574 1332 9 0 447057 0
[pid=5036/tid=5038] ppid=5034 vsize=1797780 CPUtime=39.2
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37794 0 1 0 3891 29 0 0 18 0 13 0 144996963 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109875679 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1797780 CPUtime=4.17
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 33567 0 0 0 402 15 0 0 17 0 13 0 144996965 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1797780 CPUtime=4.17
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 35623 0 0 0 402 15 0 0 16 0 13 0 144996965 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1797780 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 144996968 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1797780 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144996968 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1797780 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144996968 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1797780 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 144996972 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1797780 CPUtime=1.46
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 5549 0 0 0 144 2 0 0 15 0 13 0 144996972 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1797780 CPUtime=1.9
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 7517 0 0 0 187 3 0 0 16 0 13 0 144996972 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1797780 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 144996972 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1797780 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144996972 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5049] ppid=5034 vsize=1797780 CPUtime=0
/proc/5036/task/5049/stat : 5049 (java) S 5034 5036 4810 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 145001305 1840926720 107574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 1797780

[startup+47.9029 s]
/proc/loadavg: 1.08 1.06 1.02 2/90 5049
/proc/meminfo: memFree=1064648/2055920 swapFree=4123840/4192956
[pid=5036] ppid=5034 vsize=1796276 CPUtime=54.54
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 126085 0 1 0 5384 70 0 0 18 0 13 0 144996960 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 449069 111733 1332 9 0 446681 0
[pid=5036/tid=5038] ppid=5034 vsize=1796276 CPUtime=42.13
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37798 0 1 0 4184 29 0 0 25 0 13 0 144996963 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109974518 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1796276 CPUtime=4.38
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 36585 0 0 0 421 17 0 0 16 0 13 0 144996965 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1796276 CPUtime=4.37
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 37875 0 0 0 421 16 0 0 16 0 13 0 144996965 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 144996968 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144996968 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144996968 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 144996972 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1796276 CPUtime=1.55
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 5552 0 0 0 153 2 0 0 16 0 13 0 144996972 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1796276 CPUtime=2.05
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 7525 0 0 0 202 3 0 0 16 0 13 0 144996972 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 144996972 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144996972 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5049] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5049/stat : 5049 (java) S 5034 5036 4810 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 145001305 1839386624 111733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.54
Current children cumulated vsize (KiB) 1796276

[startup+49.5062 s]
/proc/loadavg: 1.08 1.06 1.02 4/90 5049
/proc/meminfo: memFree=1064392/2055920 swapFree=4123840/4192956
[pid=5036] ppid=5034 vsize=1797076 CPUtime=56.33
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 126949 0 1 0 5562 71 0 0 18 0 13 0 144996960 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 449269 112020 1333 9 0 446881 0
[pid=5036/tid=5038] ppid=5034 vsize=1797076 CPUtime=43.53
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37799 0 1 0 4324 29 0 0 25 0 13 0 144996963 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1797076 CPUtime=4.4
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 36585 0 0 0 423 17 0 0 16 0 13 0 144996965 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1797076 CPUtime=4.39
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 37949 0 0 0 423 16 0 0 16 0 13 0 144996965 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1797076 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 144996968 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1797076 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144996968 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1797076 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144996968 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1797076 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 144996972 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1797076 CPUtime=1.73
/proc/5036/task/5045/stat : 5045 (java) R 5034 5036 4810 0 -1 64 6319 0 0 0 170 3 0 0 18 0 13 0 144996972 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336858 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1797076 CPUtime=2.23
/proc/5036/task/5046/stat : 5046 (java) R 5034 5036 4810 0 -1 64 7547 0 0 0 220 3 0 0 18 0 13 0 144996972 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102397610 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1797076 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 144996972 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1797076 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144996972 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5049] ppid=5034 vsize=1797076 CPUtime=0
/proc/5036/task/5049/stat : 5049 (java) S 5034 5036 4810 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 145001305 1840205824 112020 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 56.33
Current children cumulated vsize (KiB) 1797076

[startup+50.3013 s]
/proc/loadavg: 1.08 1.06 1.02 4/90 5049
/proc/meminfo: memFree=1064392/2055920 swapFree=4123840/4192956
[pid=5036] ppid=5034 vsize=1796276 CPUtime=57.21
/proc/5036/stat : 5036 (java) S 5034 5036 4810 0 -1 0 127104 0 1 0 5650 71 0 0 18 0 13 0 144996960 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5036/statm: 449069 112034 1333 9 0 446681 0
[pid=5036/tid=5038] ppid=5034 vsize=1796276 CPUtime=44.28
/proc/5036/task/5038/stat : 5038 (java) R 5034 5036 4810 0 -1 64 37800 0 1 0 4399 29 0 0 25 0 13 0 144996963 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797986 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5039] ppid=5034 vsize=1796276 CPUtime=4.41
/proc/5036/task/5039/stat : 5039 (java) S 5034 5036 4810 0 -1 64 36724 0 0 0 424 17 0 0 16 0 13 0 144996965 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5040] ppid=5034 vsize=1796276 CPUtime=4.41
/proc/5036/task/5040/stat : 5040 (java) S 5034 5036 4810 0 -1 64 37949 0 0 0 425 16 0 0 16 0 13 0 144996965 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5041] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5041/stat : 5041 (java) S 5034 5036 4810 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 144996968 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5042] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5042/stat : 5042 (java) S 5034 5036 4810 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144996968 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5043] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5043/stat : 5043 (java) S 5034 5036 4810 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144996968 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5044] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5044/stat : 5044 (java) S 5034 5036 4810 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 144996972 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5045] ppid=5034 vsize=1796276 CPUtime=1.79
/proc/5036/task/5045/stat : 5045 (java) S 5034 5036 4810 0 -1 64 6330 0 0 0 176 3 0 0 16 0 13 0 144996972 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5046] ppid=5034 vsize=1796276 CPUtime=2.25
/proc/5036/task/5046/stat : 5046 (java) S 5034 5036 4810 0 -1 64 7551 0 0 0 222 3 0 0 18 0 13 0 144996972 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5036/tid=5047] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5047/stat : 5047 (java) S 5034 5036 4810 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 144996972 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5048] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5048/stat : 5048 (java) S 5034 5036 4810 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144996972 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5036/tid=5049] ppid=5034 vsize=1796276 CPUtime=0
/proc/5036/task/5049/stat : 5049 (java) S 5034 5036 4810 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 145001305 1839386624 112034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 57.21
Current children cumulated vsize (KiB) 1796276

[startup+50.5016 s]
/proc/loadavg: 1.08 1.06 1.02 2/79 5050
/proc/meminfo: memFree=1389896/2055920 swapFree=4123840/4192956
[pid=5036] ppid=5034 vsize=0 CPUtime=57.43
/proc/5036/stat : 5036 (java) Z 5034 5036 4810 0 -1 1036 127121 0 1 0 5667 76 0 0 16 0 2 0 144996960 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5036/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 57.43
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 50.548
CPU time (s): 57.4663
CPU user time (s): 56.6794
CPU system time (s): 0.78688
CPU usage (%): 113.687
Max. virtual memory (cumulated for all children) (KiB): 1798056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.6794
system time used= 0.78688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127121
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= 2394
involuntary context switches= 2291

runsolver used 0.077988 second user time and 0.121981 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Thu Apr 19 08:20:51 UTC 2007

IDJOB= 360564
IDBENCH= 1380
IDSOLVER= 160
FILE ID= node42/360564-1176970849

PBS_JOBID= 4630316

Free space on /tmp= 66359 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  81a731c23b82a1147f726d3bcf60f6bf

RANDOM SEED= 712060625

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1505864 kB
Buffers:         37224 kB
Cached:         419084 kB
SwapCached:      17584 kB
Active:         308316 kB
Inactive:       179304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1505864 kB
SwapTotal:     4192956 kB
SwapFree:      4123776 kB
Dirty:           92312 kB
Writeback:           0 kB
Mapped:          39236 kB
Slab:            47780 kB
Committed_AS:  2977300 kB
PageTables:       1912 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= 66359 MiB

End job on node42 on Thu Apr 19 08:21:41 UTC 2007