Trace number 372691

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
sat4jPseudoCP 2007-03-23SAT (TO)33 1800.37 1772.92

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

Verifier Data (download as text)

OK	33

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-372691-1177121124 -o ROOT/results/node7/solver-372691-1177121124 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372691-1177121124/sat4jPseudoCP.jar /tmp/evaluation/372691-1177121124/instance-372691-1177121124.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.92 1.00 0.99 2/77 3802
/proc/meminfo: memFree=1699440/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=18568 CPUtime=0
/proc/3802/stat : 3802 (runsolver) R 3800 3802 2307 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 188150025 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3802/statm: 4642 292 257 24 0 2626 0

[startup+0.0936361 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 3802
/proc/meminfo: memFree=1699440/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1777844 CPUtime=0.07
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 3864 0 1 0 5 2 0 0 18 0 7 0 188150025 1820512256 3607 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 444461 3607 1092 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.101638 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 3802
/proc/meminfo: memFree=1699440/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1780108 CPUtime=0.08
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 3963 0 1 0 6 2 0 0 18 0 12 0 188150025 1822830592 3705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 445027 3705 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301658 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 3802
/proc/meminfo: memFree=1699440/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1781420 CPUtime=0.33
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 5089 0 1 0 29 4 0 0 18 0 12 0 188150025 1824174080 4828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 445355 4828 1264 9 0 442967 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781420

[startup+0.701701 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 3802
/proc/meminfo: memFree=1699440/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1783884 CPUtime=0.94
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 7272 0 1 0 90 4 0 0 18 0 12 0 188150025 1826697216 6616 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 445971 6617 1301 9 0 443583 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 1783884

[startup+1.50279 s]
/proc/loadavg: 0.92 1.00 0.99 4/89 3814
/proc/meminfo: memFree=1672592/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1786408 CPUtime=2.1
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 14052 0 1 0 202 8 0 0 18 0 12 0 188150025 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 446602 12014 1311 9 0 444214 0
[pid=3802/tid=3804] ppid=3800 vsize=1786408 CPUtime=0.98
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 10143 0 1 0 92 6 0 0 25 0 12 0 188150026 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109605107 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 188150028 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 188150028 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188150030 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 188150030 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 188150030 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188150034 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1786408 CPUtime=0.6
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 1510 0 0 0 60 0 0 0 17 0 12 0 188150034 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1786408 CPUtime=0.49
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 1676 0 0 0 49 0 0 0 16 0 12 0 188150034 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188150034 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) R 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188150034 1829281792 12014 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 1786408

[startup+3.10295 s]
/proc/loadavg: 0.92 1.00 0.99 2/90 3816
/proc/meminfo: memFree=1569416/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1786408 CPUtime=4.03
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 42966 0 1 0 383 20 0 0 18 0 13 0 188150025 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 446602 40805 1322 9 0 444214 0
[pid=3802/tid=3804] ppid=3800 vsize=1786408 CPUtime=2.39
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 37747 0 1 0 222 17 0 0 25 0 13 0 188150026 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109830108 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1786408 CPUtime=0.01
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 673 0 0 0 1 0 0 0 16 0 13 0 188150028 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1786408 CPUtime=0.02
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 474 0 0 0 2 0 0 0 16 0 13 0 188150028 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 188150030 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188150030 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188150030 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188150034 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1786408 CPUtime=0.82
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 1649 0 0 0 82 0 0 0 16 0 13 0 188150034 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1786408 CPUtime=0.73
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 1690 0 0 0 73 0 0 0 16 0 13 0 188150034 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150034 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188150034 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3816] ppid=3800 vsize=1786408 CPUtime=0
/proc/3802/task/3816/stat : 3816 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150180 1829281792 40805 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 1786408

[startup+6.30128 s]
/proc/loadavg: 0.93 1.00 0.99 2/90 3817
/proc/meminfo: memFree=1532224/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1793544 CPUtime=8.25
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 53695 0 1 0 801 24 0 0 18 0 13 0 188150025 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 448386 47428 1325 9 0 445998 0
[pid=3802/tid=3804] ppid=3800 vsize=1793544 CPUtime=5.29
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 41372 0 1 0 511 18 0 0 24 0 13 0 188150026 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109835004 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1793544 CPUtime=0.09
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 1639 0 0 0 8 1 0 0 16 0 13 0 188150028 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1793544 CPUtime=0.07
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 1364 0 0 0 7 0 0 0 16 0 13 0 188150028 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 188150030 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188150030 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188150030 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188150034 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1793544 CPUtime=1.71
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 6860 0 0 0 169 2 0 0 16 0 13 0 188150034 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1793544 CPUtime=1.04
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 1705 0 0 0 104 0 0 0 15 0 13 0 188150034 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150034 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188150034 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3817] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3817/stat : 3817 (java) S 3800 3802 2307 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188150385 1836589056 47428 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 1793544

[startup+12.703 s]
/proc/loadavg: 1.01 1.01 1.00 2/90 3818
/proc/meminfo: memFree=1498104/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1793544 CPUtime=14.98
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 58965 0 1 0 1472 26 0 0 18 0 13 0 188150025 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 448386 50501 1326 9 0 445998 0
[pid=3802/tid=3804] ppid=3800 vsize=1793544 CPUtime=11.59
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 45886 0 1 0 1139 20 0 0 25 0 13 0 188150026 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109834935 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1793544 CPUtime=0.12
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 2060 0 0 0 11 1 0 0 15 0 13 0 188150028 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1793544 CPUtime=0.1
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 1673 0 0 0 10 0 0 0 16 0 13 0 188150028 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 33 0 0 0 0 0 0 0 17 0 13 0 188150030 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188150030 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188150030 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188150034 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1793544 CPUtime=1.95
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 6884 0 0 0 193 2 0 0 15 0 13 0 188150034 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1793544 CPUtime=1.17
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 1707 0 0 0 117 0 0 0 16 0 13 0 188150034 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150034 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188150034 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3818] ppid=3800 vsize=1793544 CPUtime=0
/proc/3802/task/3818/stat : 3818 (java) S 3800 3802 2307 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188151112 1836589056 50501 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.98
Current children cumulated vsize (KiB) 1793544

[startup+25.5023 s]
/proc/loadavg: 1.01 1.01 1.00 2/90 3818
/proc/meminfo: memFree=1524344/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1793544 CPUtime=28.36
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 62102 0 1 0 2806 30 0 0 18 0 13 0 188150025 1836589056 44813 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 448386 44813 1326 9 0 445998 0
[pid=3802/tid=3804] ppid=3800 vsize=1793544 CPUtime=24.22
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 45924 0 1 0 2402 20 0 0 25 0 13 0 188150026 1836589056 44813 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110058974 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1793544 CPUtime=0.17
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 2693 0 0 0 16 1 0 0 16 0 13 0 188150028 1836589056 44813 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1793544 CPUtime=0.16
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 2155 0 0 0 15 1 0 0 16 0 13 0 188150028 1836589056 44813 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1793544 CPUtime=0.02
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 33 0 0 0 1 1 0 0 15 0 13 0 188150030 1836589056 44813 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=3802/tid=3807] ppid=3800 vsize=1794568 CPUtime=0.78
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 214 0 0 0 48 30 0 0 16 0 13 0 188150030 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188150034 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1794568 CPUtime=2.57
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 7584 0 0 0 254 3 0 0 17 0 13 0 188150034 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1794568 CPUtime=2.12
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 4448 0 0 0 210 2 0 0 17 0 13 0 188150034 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150034 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188150034 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3820] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3820/stat : 3820 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 188161233 1837637632 150597 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1626.26
Current children cumulated vsize (KiB) 1794568

[startup+1662.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/90 3822
/proc/meminfo: memFree=1088488/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1794568 CPUtime=1687.43
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 241459 0 1 0 168580 163 0 0 18 0 13 0 188150025 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 448642 153539 1329 9 0 446254 0
[pid=3802/tid=3804] ppid=3800 vsize=1794568 CPUtime=1635.75
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 100619 0 1 0 163521 54 0 0 25 0 13 0 188150026 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110117023 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1794568 CPUtime=23.04
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 66847 0 0 0 2270 34 0 0 16 0 13 0 188150028 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1794568 CPUtime=23.09
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 61021 0 0 0 2273 36 0 0 16 0 13 0 188150028 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1794568 CPUtime=0.8
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 214 0 0 0 49 31 0 0 16 0 13 0 188150030 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188150034 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1794568 CPUtime=2.57
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 7584 0 0 0 254 3 0 0 17 0 13 0 188150034 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1794568 CPUtime=2.12
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 4448 0 0 0 210 2 0 0 17 0 13 0 188150034 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150034 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188150034 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3820] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3820/stat : 3820 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 188161233 1837637632 153539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1687.43
Current children cumulated vsize (KiB) 1794568

[startup+1722.3 s]
/proc/loadavg: 1.04 1.04 1.01 2/90 3822
/proc/meminfo: memFree=1074856/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1794568 CPUtime=1748.63
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 245333 0 1 0 174696 167 0 0 18 0 13 0 188150025 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 448642 157057 1329 9 0 446254 0
[pid=3802/tid=3804] ppid=3800 vsize=1794568 CPUtime=1694.43
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 100726 0 1 0 169388 55 0 0 25 0 13 0 188150026 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110059765 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1794568 CPUtime=24.3
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 69094 0 0 0 2395 35 0 0 16 0 13 0 188150028 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1794568 CPUtime=24.33
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 62541 0 0 0 2396 37 0 0 16 0 13 0 188150028 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1794568 CPUtime=0.82
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 214 0 0 0 50 32 0 0 15 0 13 0 188150030 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188150034 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1794568 CPUtime=2.57
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 7584 0 0 0 254 3 0 0 17 0 13 0 188150034 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1794568 CPUtime=2.12
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 4448 0 0 0 210 2 0 0 17 0 13 0 188150034 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150034 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188150034 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3820] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3820/stat : 3820 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 188161233 1837637632 157057 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1748.63
Current children cumulated vsize (KiB) 1794568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.7 s]
/proc/loadavg: 1.02 1.03 1.00 2/90 3822
/proc/meminfo: memFree=1061800/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1794568 CPUtime=1800.06
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 248804 0 1 0 179836 170 0 0 18 0 13 0 188150025 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 448642 160200 1329 9 0 446254 0
[pid=3802/tid=3804] ppid=3800 vsize=1794568 CPUtime=1743.7
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 100815 0 1 0 174315 55 0 0 25 0 13 0 188150026 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109808707 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1794568 CPUtime=25.37
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 70628 0 0 0 2501 36 0 0 16 0 13 0 188150028 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1794568 CPUtime=25.41
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 64388 0 0 0 2503 38 0 0 16 0 13 0 188150028 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1794568 CPUtime=0.84
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 215 0 0 0 51 33 0 0 15 0 13 0 188150030 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188150030 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188150034 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1794568 CPUtime=2.57
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 7584 0 0 0 254 3 0 0 17 0 13 0 188150034 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1794568 CPUtime=2.12
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 4448 0 0 0 210 2 0 0 17 0 13 0 188150034 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188150034 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188150034 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3820] ppid=3800 vsize=1794568 CPUtime=0
/proc/3802/task/3820/stat : 3820 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 188161233 1837637632 160200 18446744073709551615 134512640 134550740 4294956416 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) 1794568

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

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

[startup+1772.81 s]
/proc/loadavg: 1.02 1.03 1.00 2/90 3822
/proc/meminfo: memFree=1061800/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=1795216 CPUtime=1800.25
/proc/3802/stat : 3802 (java) S 3800 3802 2307 0 -1 0 248823 0 1 0 179855 170 0 0 16 0 14 0 188150025 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 448804 160218 1329 9 0 446416 0
[pid=3802/tid=3804] ppid=3800 vsize=1795216 CPUtime=1743.79
/proc/3802/task/3804/stat : 3804 (java) R 3800 3802 2307 0 -1 64 100815 0 1 0 174324 55 0 0 17 0 14 0 188150026 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109840044 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3805] ppid=3800 vsize=1795216 CPUtime=25.38
/proc/3802/task/3805/stat : 3805 (java) S 3800 3802 2307 0 -1 64 70628 0 0 0 2502 36 0 0 16 0 14 0 188150028 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3806] ppid=3800 vsize=1795216 CPUtime=25.42
/proc/3802/task/3806/stat : 3806 (java) S 3800 3802 2307 0 -1 64 64388 0 0 0 2504 38 0 0 15 0 14 0 188150028 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3807] ppid=3800 vsize=1795216 CPUtime=0.84
/proc/3802/task/3807/stat : 3807 (java) S 3800 3802 2307 0 -1 64 215 0 0 0 51 33 0 0 16 0 14 0 188150030 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3808] ppid=3800 vsize=1795216 CPUtime=0
/proc/3802/task/3808/stat : 3808 (java) S 3800 3802 2307 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 188150030 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3809] ppid=3800 vsize=1795216 CPUtime=0
/proc/3802/task/3809/stat : 3809 (java) S 3800 3802 2307 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 188150030 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3810] ppid=3800 vsize=1795216 CPUtime=0
/proc/3802/task/3810/stat : 3810 (java) S 3800 3802 2307 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 188150034 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3802/tid=3811] ppid=3800 vsize=1795216 CPUtime=2.6
/proc/3802/task/3811/stat : 3811 (java) S 3800 3802 2307 0 -1 64 7585 0 0 0 257 3 0 0 16 0 14 0 188150034 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3812] ppid=3800 vsize=1795216 CPUtime=2.13
/proc/3802/task/3812/stat : 3812 (java) S 3800 3802 2307 0 -1 64 4448 0 0 0 211 2 0 0 16 0 14 0 188150034 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3813] ppid=3800 vsize=1795216 CPUtime=0
/proc/3802/task/3813/stat : 3813 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 188150034 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3814] ppid=3800 vsize=1795216 CPUtime=0
/proc/3802/task/3814/stat : 3814 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 188150034 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3802/tid=3820] ppid=3800 vsize=1795216 CPUtime=0
/proc/3802/task/3820/stat : 3820 (java) S 3800 3802 2307 0 -1 64 1 0 0 0 0 0 0 0 16 0 14 0 188161233 1838301184 160218 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 1795216

[startup+1772.9 s]
/proc/loadavg: 1.02 1.03 1.00 2/90 3822
/proc/meminfo: memFree=1061800/2055920 swapFree=4159720/4192956
[pid=3802] ppid=3800 vsize=0 CPUtime=1800.34
/proc/3802/stat : 3802 (java) Z 3800 3802 2307 0 -1 1036 248823 0 1 0 179856 178 0 0 16 0 2 0 188150025 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3802/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1772.92
CPU time (s): 1800.37
CPU user time (s): 1798.57
CPU system time (s): 1.79973
CPU usage (%): 101.548
Max. virtual memory (cumulated for all children) (KiB): 1798000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.79973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248823
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= 69907
involuntary context switches= 47693

runsolver used 2.25066 second user time and 5.58315 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Apr 21 02:05:24 UTC 2007

IDJOB= 372691
IDBENCH= 24990
IDSOLVER= 160
FILE ID= node7/372691-1177121124

PBS_JOBID= 4640466

Free space on /tmp= 66407 MiB

SOLVER NAME= sat4jPseudoCP 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/372691-1177121124/sat4jPseudoCP.jar /tmp/evaluation/372691-1177121124/instance-372691-1177121124.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-372691-1177121124 -o ROOT/results/node7/solver-372691-1177121124 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372691-1177121124/sat4jPseudoCP.jar /tmp/evaluation/372691-1177121124/instance-372691-1177121124.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  6e9753dce198ef5ddba763a137b390c4

RANDOM SEED= 20141598

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1699848 kB
Buffers:         45820 kB
Cached:         242092 kB
SwapCached:      13396 kB
Active:         141372 kB
Inactive:       171532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699848 kB
SwapTotal:     4192956 kB
SwapFree:      4159720 kB
Dirty:            3904 kB
Writeback:           0 kB
Mapped:          31640 kB
Slab:            28580 kB
Committed_AS:  8808548 kB
PageTables:       1864 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= 66407 MiB

End job on node7 on Sat Apr 21 02:34:59 UTC 2007