Trace number 360568

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT 55.7945 49.562

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

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/node61/watcher-360568-1176970909 -o ROOT/results/node61/solver-360568-1176970909 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360568-1176970909/sat4jPseudoCPClause.jar /tmp/evaluation/360568-1176970909/instance-360568-1176970909.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.98 0.96 0.98 3/64 25117
/proc/meminfo: memFree=1524224/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=152 CPUtime=0
/proc/25117/stat : 25117 (java) R 25115 25117 24205 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 109054554 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 1 0 0
/proc/25117/statm: 38 26 19 9 0 4 0

[startup+0.0452259 s]
/proc/loadavg: 0.98 0.96 0.98 3/64 25117
/proc/meminfo: memFree=1524224/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=12056 CPUtime=0
/proc/25117/stat : 25117 (java) D 25115 25117 24205 0 -1 0 369 0 13 0 0 0 0 0 18 0 1 0 109054554 12345344 190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 10355498 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/25117/statm: 3014 190 135 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.103178 s]
/proc/loadavg: 0.98 0.96 0.98 3/64 25117
/proc/meminfo: memFree=1524224/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1776088 CPUtime=0.03
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 3200 0 29 0 1 2 0 0 18 0 4 0 109054554 1818714112 2976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 444022 2976 887 9 0 441658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1776088

[startup+0.302192 s]
/proc/loadavg: 0.98 0.96 0.98 3/64 25117
/proc/meminfo: memFree=1524224/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1782448 CPUtime=0.2
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 4736 0 29 0 16 4 0 0 18 0 12 0 109054554 1825226752 4503 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 445612 4503 1243 9 0 443223 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1782448

[startup+0.702232 s]
/proc/loadavg: 0.98 0.96 0.98 3/64 25117
/proc/meminfo: memFree=1524224/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1783600 CPUtime=0.71
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 6250 0 29 0 66 5 0 0 18 0 12 0 109054554 1826406400 5847 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 445900 5847 1292 9 0 443511 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 1783600

[startup+1.50131 s]
/proc/loadavg: 1.14 0.99 0.99 4/76 25129
/proc/meminfo: memFree=1493920/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1785852 CPUtime=1.92
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 14082 0 29 0 183 9 0 0 18 0 12 0 109054554 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 446463 12691 1303 9 0 444074 0
[pid=25117/tid=25119] ppid=25115 vsize=1785852 CPUtime=0.91
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 10861 0 1 0 84 7 0 0 17 0 12 0 109054562 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109675116 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 109054563 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 109054563 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 109054566 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 109054566 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 109054566 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 109054573 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1785852 CPUtime=0.49
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 1032 0 0 0 49 0 0 0 17 0 12 0 109054573 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1785852 CPUtime=0.48
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 1496 0 0 0 48 0 0 0 16 0 12 0 109054573 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 109054573 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 109054573 1828712448 12691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 1785852

[startup+3.10145 s]
/proc/loadavg: 1.14 0.99 0.99 2/76 25129
/proc/meminfo: memFree=1404192/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1785852 CPUtime=3.55
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 42131 0 29 0 332 23 0 0 18 0 12 0 109054554 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 446463 40735 1312 9 0 444074 0
[pid=25117/tid=25119] ppid=25115 vsize=1785852 CPUtime=2.46
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 37684 0 1 0 226 20 0 0 20 0 12 0 109054562 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109520472 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1785852 CPUtime=0.03
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 709 0 0 0 3 0 0 0 16 0 12 0 109054563 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1785852 CPUtime=0.03
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 512 0 0 0 3 0 0 0 16 0 12 0 109054563 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 109054566 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 109054566 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 109054566 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 109054573 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1785852 CPUtime=0.49
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 1032 0 0 0 49 0 0 0 17 0 12 0 109054573 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1785852 CPUtime=0.49
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 1496 0 0 0 49 0 0 0 16 0 12 0 109054573 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 109054573 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1785852 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 109054573 1828712448 40735 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 1785852

[startup+6.30276 s]
/proc/loadavg: 1.14 0.99 0.99 3/76 25129
/proc/meminfo: memFree=1336808/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1788420 CPUtime=7.05
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 51516 0 29 0 675 30 0 0 18 0 12 0 109054554 1831342080 49547 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 447105 49548 1312 9 0 444716 0
[pid=25117/tid=25119] ppid=25115 vsize=1788420 CPUtime=5.37
/proc/25117/task/25119/stat : 25119 (java) S 25115 25117 24205 0 -1 64 37688 0 1 0 514 23 0 0 22 0 12 0 109054562 1831342080 49549 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1788420 CPUtime=0.32
/proc/25117/task/25120/stat : 25120 (java) R 25115 25117 24205 0 -1 64 5210 0 0 0 30 2 0 0 16 0 12 0 109054563 1831342080 49550 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1788420 CPUtime=0.32
/proc/25117/task/25121/stat : 25121 (java) R 25115 25117 24205 0 -1 64 5388 0 0 0 30 2 0 0 17 0 12 0 109054563 1831342080 49551 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105369140 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 16 0 0 0 0 0 0 0 15 0 12 0 109054566 1831342080 49552 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 109054566 1831342080 49553 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 109054566 1831342080 49555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 109054573 1831342080 49556 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1788420 CPUtime=0.49
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 1032 0 0 0 49 0 0 0 17 0 12 0 109054573 1831342080 49557 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1788420 CPUtime=0.49
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 1496 0 0 0 49 0 0 0 16 0 12 0 109054573 1831342080 49558 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 109054573 1831342080 49559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 109054573 1831342080 49560 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 1788420

[startup+12.7104 s]
/proc/loadavg: 1.12 0.99 0.99 2/76 25129
/proc/meminfo: memFree=1276520/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1788420 CPUtime=14.22
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 65407 0 29 0 1384 38 0 0 18 0 12 0 109054554 1831342080 61951 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 447105 61951 1312 9 0 444716 0
[pid=25117/tid=25119] ppid=25115 vsize=1788420 CPUtime=11.01
/proc/25117/task/25119/stat : 25119 (java) S 25115 25117 24205 0 -1 64 37697 0 1 0 1077 24 0 0 22 0 12 0 109054562 1831342080 61952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1788420 CPUtime=1.08
/proc/25117/task/25120/stat : 25120 (java) R 25115 25117 24205 0 -1 64 12430 0 0 0 103 5 0 0 16 0 12 0 109054563 1831342080 61952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1788420 CPUtime=1.08
/proc/25117/task/25121/stat : 25121 (java) R 25115 25117 24205 0 -1 64 12044 0 0 0 103 5 0 0 16 0 12 0 109054563 1831342080 61953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105369140 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 20 0 0 0 0 0 0 0 15 0 12 0 109054566 1831342080 61953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 109054566 1831342080 61953 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 109054566 1831342080 61954 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 109054573 1831342080 61954 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1788420 CPUtime=0.49
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 1032 0 0 0 49 0 0 0 17 0 12 0 109054573 1831342080 61955 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1788420 CPUtime=0.49
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 1496 0 0 0 49 0 0 0 16 0 12 0 109054573 1831342080 61955 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 109054573 1831342080 61956 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1788420 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 109054573 1831342080 61956 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.22
Current children cumulated vsize (KiB) 1788420

[startup+25.5026 s]
/proc/loadavg: 1.10 0.99 0.99 2/76 25129
/proc/meminfo: memFree=1209832/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1788112 CPUtime=28.11
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 82856 0 29 0 2762 49 0 0 18 0 12 0 109054554 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 447028 78469 1312 9 0 444639 0
[pid=25117/tid=25119] ppid=25115 vsize=1788112 CPUtime=22.67
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 37713 0 1 0 2241 26 0 0 21 0 12 0 109054562 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109674930 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1788112 CPUtime=2.18
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 23233 0 0 0 208 10 0 0 16 0 12 0 109054563 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1788112 CPUtime=2.16
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 18579 0 0 0 207 9 0 0 16 0 12 0 109054563 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 109054566 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 109054566 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 109054566 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 109054573 1831026688 78469 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/loadavg: 1.08 0.99 0.99 2/76 25129
/proc/meminfo: memFree=1140008/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1788112 CPUtime=42.1
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 101568 0 29 0 4151 59 0 0 18 0 12 0 109054554 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 447028 96952 1312 9 0 444639 0
[pid=25117/tid=25119] ppid=25115 vsize=1788112 CPUtime=34.22
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 37726 0 1 0 3393 29 0 0 19 0 12 0 109054562 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109585332 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1788112 CPUtime=3.39
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 31308 0 0 0 326 13 0 0 16 0 12 0 109054563 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1788112 CPUtime=3.4
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 29201 0 0 0 327 13 0 0 17 0 12 0 109054563 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 109054566 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 109054566 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 109054566 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 109054573 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1788112 CPUtime=0.53
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 1119 0 0 0 53 0 0 0 16 0 12 0 109054573 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1788112 CPUtime=0.49
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 1496 0 0 0 49 0 0 0 16 0 12 0 109054573 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 109054573 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1788112 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 109054573 1831026688 96952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.1
Current children cumulated vsize (KiB) 1788112

[startup+44.7014 s]
/proc/loadavg: 1.07 0.99 0.99 4/77 25130
/proc/meminfo: memFree=1094880/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1797256 CPUtime=50.52
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 121440 0 29 0 4984 68 0 0 18 0 13 0 109054554 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 449314 107533 1332 9 0 446925 0
[pid=25117/tid=25119] ppid=25115 vsize=1797256 CPUtime=39.45
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 37778 0 1 0 3915 30 0 0 21 0 13 0 109054562 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110032913 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1797256 CPUtime=3.92
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 35790 0 0 0 377 15 0 0 17 0 13 0 109054563 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1797256 CPUtime=3.92
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 33355 0 0 0 378 14 0 0 16 0 13 0 109054563 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1797256 CPUtime=0
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 109054566 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1797256 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 109054566 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1797256 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109054566 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1797256 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109054573 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1797256 CPUtime=1.96
/proc/25117/task/25126/stat : 25126 (java) R 25115 25117 24205 0 -1 64 10231 0 0 0 193 3 0 0 17 0 13 0 109054573 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102297797 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1797256 CPUtime=1.2
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 3564 0 0 0 119 1 0 0 16 0 13 0 109054573 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1797256 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 109054573 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1797256 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109054573 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25130] ppid=25115 vsize=1797256 CPUtime=0
/proc/25117/task/25130/stat : 25130 (java) S 25115 25117 24205 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 109058931 1840390144 107533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 1797256

[startup+47.9027 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 25130
/proc/meminfo: memFree=1078432/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1794644 CPUtime=54.11
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 126996 0 29 0 5340 71 0 0 18 0 13 0 109054554 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 448661 111329 1332 9 0 446272 0
[pid=25117/tid=25119] ppid=25115 vsize=1794644 CPUtime=42.37
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 37783 0 1 0 4206 31 0 0 24 0 13 0 109054562 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110033037 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1794644 CPUtime=4.1
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 39542 0 0 0 394 16 0 0 16 0 13 0 109054563 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1794644 CPUtime=4.12
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 35136 0 0 0 397 15 0 0 16 0 13 0 109054563 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1794644 CPUtime=0.01
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 109054566 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 109054566 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109054566 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109054573 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1794644 CPUtime=2.1
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 10242 0 0 0 207 3 0 0 16 0 13 0 109054573 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1794644 CPUtime=1.33
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 3571 0 0 0 132 1 0 0 16 0 13 0 109054573 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 109054573 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109054573 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25130] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25130/stat : 25130 (java) S 25115 25117 24205 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 109058931 1837715456 111329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.11
Current children cumulated vsize (KiB) 1794644

[startup+48.7028 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 25130
/proc/meminfo: memFree=1077984/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1794644 CPUtime=54.93
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 127113 0 29 0 5422 71 0 0 18 0 13 0 109054554 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 448661 111333 1332 9 0 446272 0
[pid=25117/tid=25119] ppid=25115 vsize=1794644 CPUtime=43.15
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 37784 0 1 0 4284 31 0 0 24 0 13 0 109054562 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110035267 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1794644 CPUtime=4.13
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 39658 0 0 0 396 17 0 0 16 0 13 0 109054563 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1794644 CPUtime=4.14
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 35136 0 0 0 399 15 0 0 17 0 13 0 109054563 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1794644 CPUtime=0.01
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 109054566 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 109054566 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109054566 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1794644 CPUtime=2.1
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 10242 0 0 0 207 3 0 0 16 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1794644 CPUtime=1.34
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 3571 0 0 0 133 1 0 0 16 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25130] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25130/stat : 25130 (java) S 25115 25117 24205 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 109058931 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.93
Current children cumulated vsize (KiB) 1794644

[startup+49.1028 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 25130
/proc/meminfo: memFree=1077984/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=1794644 CPUtime=55.33
/proc/25117/stat : 25117 (java) S 25115 25117 24205 0 -1 0 127113 0 29 0 5462 71 0 0 18 0 13 0 109054554 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 448661 111333 1332 9 0 446272 0
[pid=25117/tid=25119] ppid=25115 vsize=1794644 CPUtime=43.55
/proc/25117/task/25119/stat : 25119 (java) R 25115 25117 24205 0 -1 64 37784 0 1 0 4324 31 0 0 25 0 13 0 109054562 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109535042 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25120] ppid=25115 vsize=1794644 CPUtime=4.13
/proc/25117/task/25120/stat : 25120 (java) S 25115 25117 24205 0 -1 64 39658 0 0 0 396 17 0 0 16 0 13 0 109054563 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25121] ppid=25115 vsize=1794644 CPUtime=4.14
/proc/25117/task/25121/stat : 25121 (java) S 25115 25117 24205 0 -1 64 35136 0 0 0 399 15 0 0 17 0 13 0 109054563 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25122] ppid=25115 vsize=1794644 CPUtime=0.01
/proc/25117/task/25122/stat : 25122 (java) S 25115 25117 24205 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 109054566 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25123] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25123/stat : 25123 (java) S 25115 25117 24205 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 109054566 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25124] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25124/stat : 25124 (java) S 25115 25117 24205 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 109054566 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25125] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25125/stat : 25125 (java) S 25115 25117 24205 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25126] ppid=25115 vsize=1794644 CPUtime=2.1
/proc/25117/task/25126/stat : 25126 (java) S 25115 25117 24205 0 -1 64 10242 0 0 0 207 3 0 0 16 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25117/tid=25127] ppid=25115 vsize=1794644 CPUtime=1.34
/proc/25117/task/25127/stat : 25127 (java) S 25115 25117 24205 0 -1 64 3571 0 0 0 133 1 0 0 16 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25128] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25128/stat : 25128 (java) S 25115 25117 24205 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25129] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25129/stat : 25129 (java) S 25115 25117 24205 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 109054573 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25117/tid=25130] ppid=25115 vsize=1794644 CPUtime=0
/proc/25117/task/25130/stat : 25130 (java) S 25115 25117 24205 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 109058931 1837715456 111333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 55.33
Current children cumulated vsize (KiB) 1794644

[startup+49.5071 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 25130
/proc/meminfo: memFree=1077920/2055920 swapFree=4184080/4192956
[pid=25117] ppid=25115 vsize=0 CPUtime=55.73
/proc/25117/stat : 25117 (java) Z 25115 25117 24205 0 -1 1036 127123 0 29 0 5501 72 0 0 16 0 2 0 109054554 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25117/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 55.73
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 49.562
CPU time (s): 55.7945
CPU user time (s): 55.0156
CPU system time (s): 0.778881
CPU usage (%): 112.575
Max. virtual memory (cumulated for all children) (KiB): 1798300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.0156
system time used= 0.778881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127123
page faults= 29
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2486
involuntary context switches= 1075

runsolver used 0.050992 second user time and 0.140978 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Thu Apr 19 08:21:49 UTC 2007

IDJOB= 360568
IDBENCH= 1380
IDSOLVER= 164
FILE ID= node61/360568-1176970909

PBS_JOBID= 4630299

Free space on /tmp= 66413 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  81a731c23b82a1147f726d3bcf60f6bf

RANDOM SEED= 242773205

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1524824 kB
Buffers:          5320 kB
Cached:         474004 kB
SwapCached:       2456 kB
Active:         271480 kB
Inactive:       217640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1524824 kB
SwapTotal:     4192956 kB
SwapFree:      4184080 kB
Dirty:           92260 kB
Writeback:           0 kB
Mapped:          15984 kB
Slab:            28128 kB
Committed_AS:   846432 kB
PageTables:       1392 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= 66413 MiB

End job on node61 on Thu Apr 19 08:22:39 UTC 2007