Trace number 372690

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 NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)36 1802.36 1798.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
MD5SUM6e9753dce198ef5ddba763a137b390c4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark48.3037
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables3973
Total number of constraints11097
Number of constraints which are clauses11097
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1906
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1906
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1906
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	36

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-372690-1177120964 -o ROOT/results/node34/solver-372690-1177120964 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372690-1177120964/sat4jPseudoResolution.jar /tmp/evaluation/372690-1177120964/instance-372690-1177120964.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 2/77 11642
/proc/meminfo: memFree=1811752/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=152 CPUtime=0
/proc/11642/stat : 11642 (java) R 11640 11642 10377 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 160011859 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 7721259 0 0 4096 0 0 0 0 17 1 0 0
/proc/11642/statm: 38 26 19 9 0 4 0

[startup+0.093092 s]
/proc/loadavg: 1.04 1.01 1.00 2/77 11642
/proc/meminfo: memFree=1811752/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1777844 CPUtime=0.08
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 3876 0 1 0 6 2 0 0 18 0 7 0 160011859 1820512256 3619 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 444461 3619 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777844

[startup+0.101093 s]
/proc/loadavg: 1.04 1.01 1.00 2/77 11642
/proc/meminfo: memFree=1811752/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1780108 CPUtime=0.08
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 3972 0 1 0 6 2 0 0 18 0 12 0 160011859 1822830592 3714 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 445027 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301106 s]
/proc/loadavg: 1.04 1.01 1.00 2/77 11642
/proc/meminfo: memFree=1811752/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1782360 CPUtime=0.32
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 5091 0 1 0 30 2 0 0 18 0 12 0 160011859 1825136640 4830 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 445590 4830 1264 9 0 443202 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782360

[startup+0.701139 s]
/proc/loadavg: 1.04 1.01 1.00 2/77 11642
/proc/meminfo: memFree=1811752/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1784472 CPUtime=0.94
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 7199 0 1 0 91 3 0 0 18 0 12 0 160011859 1827299328 6614 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 446118 6615 1301 9 0 443730 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 1784472

[startup+1.5022 s]
/proc/loadavg: 1.04 1.01 1.00 2/89 11654
/proc/meminfo: memFree=1782984/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1785864 CPUtime=2.14
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 13851 0 1 0 207 7 0 0 18 0 13 0 160011859 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 446466 12245 1311 9 0 444078 0
[pid=11642/tid=11644] ppid=11640 vsize=1785864 CPUtime=1.04
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 10430 0 1 0 100 4 0 0 20 0 13 0 160011860 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 160011862 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 160011862 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 160011864 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 160011865 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 160011865 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1785864 CPUtime=0.52
/proc/11642/task/11651/stat : 11651 (java) R 11640 11642 10377 0 -1 64 864 0 0 0 52 0 0 0 16 0 13 0 160011868 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 105057970 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1785864 CPUtime=0.54
/proc/11642/task/11652/stat : 11652 (java) R 11640 11642 10377 0 -1 64 1833 0 0 0 54 0 0 0 16 0 13 0 160011868 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 105858376 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1785864 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1828724736 12245 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 1785864

[startup+3.10232 s]
/proc/loadavg: 1.20 1.05 1.01 2/90 11657
/proc/meminfo: memFree=1764352/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1786844 CPUtime=4.16
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 15937 0 1 0 408 8 0 0 18 0 13 0 160011859 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 446711 13114 1317 9 0 444323 0
[pid=11642/tid=11644] ppid=11640 vsize=1786844 CPUtime=2.37
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 10966 0 1 0 232 5 0 0 21 0 13 0 160011860 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109828973 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 160011862 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 160011862 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 160011864 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 160011865 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 160011865 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1786844 CPUtime=0.87
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1356 0 0 0 86 1 0 0 16 0 13 0 160011868 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1786844 CPUtime=0.89
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 2891 0 0 0 88 1 0 0 15 0 13 0 160011868 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11657] ppid=11640 vsize=1786844 CPUtime=0
/proc/11642/task/11657/stat : 11657 (java) S 11640 11642 10377 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 160012039 1829728256 13114 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 1786844

[startup+6.30158 s]
/proc/loadavg: 1.20 1.05 1.01 5/90 11658
/proc/meminfo: memFree=1761912/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1785800 CPUtime=7.42
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 17161 0 1 0 733 9 0 0 18 0 13 0 160011859 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 446450 14088 1318 9 0 444062 0
[pid=11642/tid=11644] ppid=11640 vsize=1785800 CPUtime=5.52
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 12114 0 1 0 546 6 0 0 25 0 13 0 160011860 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109836215 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 160011862 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 160011862 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 160011864 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 160011865 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 160011865 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1785800 CPUtime=0.94
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1360 0 0 0 93 1 0 0 16 0 13 0 160011868 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1785800 CPUtime=0.94
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 2961 0 0 0 93 1 0 0 16 0 13 0 160011868 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1828659200 14088 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 1785800

[startup+12.7021 s]
/proc/loadavg: 1.17 1.04 1.01 2/90 11659
/proc/meminfo: memFree=1757496/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1785800 CPUtime=13.84
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 17782 0 1 0 1375 9 0 0 18 0 13 0 160011859 1828659200 14707 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 446450 14707 1318 9 0 444062 0
[pid=11642/tid=11644] ppid=11640 vsize=1785800 CPUtime=11.89
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 12722 0 1 0 1183 6 0 0 25 0 13 0 160011860 1828659200 14707 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109336810 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 160011862 1828659200 14707 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 160011862 1828659200 14707 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 160011864 1828659200 14707 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 160011865 1828659200 14707 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 160011865 1828659200 14708 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1828659200 14708 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1785800 CPUtime=0.97
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1371 0 0 0 96 1 0 0 16 0 13 0 160011868 1828659200 14708 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1785800 CPUtime=0.96
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 2963 0 0 0 95 1 0 0 16 0 13 0 160011868 1828659200 14708 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1828659200 14708 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1828659200 14708 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11659] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11659/stat : 11659 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 160012404 1828659200 14708 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.84
Current children cumulated vsize (KiB) 1785800

[startup+25.5011 s]
/proc/loadavg: 1.14 1.04 1.01 2/90 11659
/proc/meminfo: memFree=1752128/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1785800 CPUtime=26.64
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 19091 0 1 0 2654 10 0 0 18 0 13 0 160011859 1828659200 16015 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 446450 16015 1318 9 0 444062 0
[pid=11642/tid=11644] ppid=11640 vsize=1785800 CPUtime=24.68
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 14031 0 1 0 2461 7 0 0 25 0 13 0 160011860 1828659200 16015 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109343435 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 160011862 1828659200 16015 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 160011862 1828659200 16015 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 160011864 1828659200 16015 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1785800 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 160011865 1828659200 16015 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=11642/tid=11647] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 160011864 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1798096 CPUtime=1.05
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1393 0 0 0 104 1 0 0 16 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1798096 CPUtime=1.06
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 3784 0 0 0 105 1 0 0 17 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11660] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11660/stat : 11660 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 160017059 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.98
Current children cumulated vsize (KiB) 1798096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 11660
/proc/meminfo: memFree=1271864/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1798096 CPUtime=1724.97
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 164924 0 1 0 172397 100 0 0 18 0 13 0 160011859 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 449524 135753 1327 9 0 447136 0
[pid=11642/tid=11644] ppid=11640 vsize=1798096 CPUtime=1719.03
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 37759 0 1 0 171864 39 0 0 25 0 13 0 160011860 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109837091 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1798096 CPUtime=1.89
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 58879 0 0 0 163 26 0 0 22 0 13 0 160011862 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1798096 CPUtime=1.9
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 62374 0 0 0 160 30 0 0 24 0 13 0 160011862 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 160011864 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1798096 CPUtime=1.05
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1393 0 0 0 104 1 0 0 16 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1798096 CPUtime=1.06
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 3784 0 0 0 105 1 0 0 17 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11660] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11660/stat : 11660 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 160017059 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.97
Current children cumulated vsize (KiB) 1798096

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 11660
/proc/meminfo: memFree=1271864/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1798096 CPUtime=1784.95
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 164924 0 1 0 178395 100 0 0 18 0 13 0 160011859 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 449524 135753 1327 9 0 447136 0
[pid=11642/tid=11644] ppid=11640 vsize=1798096 CPUtime=1779.01
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 37759 0 1 0 177862 39 0 0 25 0 13 0 160011860 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109336810 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1798096 CPUtime=1.89
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 58879 0 0 0 163 26 0 0 22 0 13 0 160011862 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1798096 CPUtime=1.9
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 62374 0 0 0 160 30 0 0 24 0 13 0 160011862 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 160011864 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1798096 CPUtime=1.05
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1393 0 0 0 104 1 0 0 16 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1798096 CPUtime=1.06
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 3784 0 0 0 105 1 0 0 17 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11660] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11660/stat : 11660 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 160017059 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 1798096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 11660
/proc/meminfo: memFree=1271864/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1798096 CPUtime=1800.06
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 164924 0 1 0 179906 100 0 0 18 0 13 0 160011859 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 449524 135753 1327 9 0 447136 0
[pid=11642/tid=11644] ppid=11640 vsize=1798096 CPUtime=1794.12
/proc/11642/task/11644/stat : 11644 (java) R 11640 11642 10377 0 -1 64 37759 0 1 0 179372 40 0 0 25 0 13 0 160011860 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109837091 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1798096 CPUtime=1.89
/proc/11642/task/11645/stat : 11645 (java) S 11640 11642 10377 0 -1 64 58879 0 0 0 163 26 0 0 22 0 13 0 160011862 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1798096 CPUtime=1.9
/proc/11642/task/11646/stat : 11646 (java) S 11640 11642 10377 0 -1 64 62374 0 0 0 160 30 0 0 24 0 13 0 160011862 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 160011864 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160011865 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1798096 CPUtime=1.05
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1393 0 0 0 104 1 0 0 16 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1798096 CPUtime=1.06
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 3784 0 0 0 105 1 0 0 17 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160011868 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11660] ppid=11640 vsize=1798096 CPUtime=0
/proc/11642/task/11660/stat : 11660 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 160017059 1841250304 135753 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1798096

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1798.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 11660
/proc/meminfo: memFree=1271864/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=1798744 CPUtime=1801.64
/proc/11642/stat : 11642 (java) S 11640 11642 10377 0 -1 0 196360 0 1 0 180047 117 0 0 16 0 15 0 160011859 1841913856 161857 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11642/statm: 449686 161863 1327 9 0 447298 0
[pid=11642/tid=11644] ppid=11640 vsize=1798744 CPUtime=1794.13
/proc/11642/task/11644/stat : 11644 (java) S 11640 11642 10377 0 -1 64 37759 0 1 0 179373 40 0 0 25 0 15 0 160011860 1841913856 161867 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11645] ppid=11640 vsize=1798744 CPUtime=2.67
/proc/11642/task/11645/stat : 11645 (java) R 11640 11642 10377 0 -1 64 72751 0 0 0 233 34 0 0 23 0 15 0 160011862 1841913856 161872 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 105366897 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11646] ppid=11640 vsize=1798744 CPUtime=2.68
/proc/11642/task/11646/stat : 11646 (java) R 11640 11642 10377 0 -1 64 79942 0 0 0 229 39 0 0 23 0 15 0 160011862 1841913856 161877 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11647] ppid=11640 vsize=1798744 CPUtime=0
/proc/11642/task/11647/stat : 11647 (java) S 11640 11642 10377 0 -1 64 8 0 0 0 0 0 0 0 16 0 15 0 160011864 1841913856 161881 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11648] ppid=11640 vsize=1798744 CPUtime=0
/proc/11642/task/11648/stat : 11648 (java) S 11640 11642 10377 0 -1 64 11 0 0 0 0 0 0 0 17 0 15 0 160011865 1841913856 161886 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11649] ppid=11640 vsize=1798744 CPUtime=0
/proc/11642/task/11649/stat : 11649 (java) S 11640 11642 10377 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 160011865 1841913856 161889 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11650] ppid=11640 vsize=1798744 CPUtime=0
/proc/11642/task/11650/stat : 11650 (java) S 11640 11642 10377 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 160011868 1841913856 161893 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11651] ppid=11640 vsize=1798744 CPUtime=1.05
/proc/11642/task/11651/stat : 11651 (java) S 11640 11642 10377 0 -1 64 1393 0 0 0 104 1 0 0 16 0 15 0 160011868 1841913856 161897 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11642/tid=11652] ppid=11640 vsize=1798744 CPUtime=1.06
/proc/11642/task/11652/stat : 11652 (java) S 11640 11642 10377 0 -1 64 3784 0 0 0 105 1 0 0 17 0 15 0 160011868 1841913856 161902 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11653] ppid=11640 vsize=1798744 CPUtime=0
/proc/11642/task/11653/stat : 11653 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 160011868 1841913856 161907 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11654] ppid=11640 vsize=1798744 CPUtime=0
/proc/11642/task/11654/stat : 11654 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 160011868 1841913856 161911 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11642/tid=11660] ppid=11640 vsize=1798744 CPUtime=0
/proc/11642/task/11660/stat : 11660 (java) S 11640 11642 10377 0 -1 64 1 0 0 0 0 0 0 0 16 0 15 0 160017059 1841913856 161916 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1798744

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 11663
/proc/meminfo: memFree=1145504/2055920 swapFree=4159644/4192956
[pid=11642] ppid=11640 vsize=0 CPUtime=1802.34
/proc/11642/stat : 11642 (java) Z 11640 11642 10377 0 -1 1036 202478 0 1 0 180106 128 0 0 16 0 2 0 160011859 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11642/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1798.62
CPU time (s): 1802.36
CPU user time (s): 1801.07
CPU system time (s): 1.2948
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 1798744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.07
system time used= 1.2948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202478
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= 37226
involuntary context switches= 41226

runsolver used 1.9677 second user time and 4.6103 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Apr 21 02:02:44 UTC 2007

IDJOB= 372690
IDBENCH= 24990
IDSOLVER= 159
FILE ID= node34/372690-1177120964

PBS_JOBID= 4640478

Free space on /tmp= 66409 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372690-1177120964/sat4jPseudoResolution.jar /tmp/evaluation/372690-1177120964/instance-372690-1177120964.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-372690-1177120964 -o ROOT/results/node34/solver-372690-1177120964 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372690-1177120964/sat4jPseudoResolution.jar /tmp/evaluation/372690-1177120964/instance-372690-1177120964.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  6e9753dce198ef5ddba763a137b390c4

RANDOM SEED= 332740684

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1812096 kB
Buffers:         45052 kB
Cached:         111824 kB
SwapCached:       2788 kB
Active:         140208 kB
Inactive:        40412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812096 kB
SwapTotal:     4192956 kB
SwapFree:      4159644 kB
Dirty:            3916 kB
Writeback:           0 kB
Mapped:          30796 kB
Slab:            48504 kB
Committed_AS:  1532996 kB
PageTables:       1976 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= 66409 MiB

End job on node34 on Sat Apr 21 02:32:44 UTC 2007