Trace number 353933

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)3336192 1800.57 1786.6

General information on the benchmark

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

Verifier Data (download as text)

OK	3336192

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-353933-1176688829 -o ROOT/results/node38/solver-353933-1176688829 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353933-1176688829/sat4jPseudoResolution.jar /tmp/evaluation/353933-1176688829/instance-353933-1176688829.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 0.98 1.01 3/77 32348
/proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=152 CPUtime=0
/proc/32348/stat : 32348 (java) D 32346 32348 31417 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 101049567 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 8606500 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/32348/statm: 38 26 19 9 0 4 0

[startup+0.046789 s]
/proc/loadavg: 0.92 0.98 1.01 3/77 32348
/proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=12056 CPUtime=0
/proc/32348/stat : 32348 (java) D 32346 32348 31417 0 -1 0 365 0 4 0 0 0 0 0 18 0 1 0 101049567 12345344 177 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 8577311 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/32348/statm: 3014 177 135 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.103618 s]
/proc/loadavg: 0.92 0.98 1.01 3/77 32348
/proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=12380 CPUtime=0.02
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 710 0 25 0 0 2 0 0 18 0 2 0 101049567 12677120 530 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 3095 530 225 9 0 1229 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12380

[startup+0.302682 s]
/proc/loadavg: 0.92 0.98 1.01 3/77 32348
/proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=1777708 CPUtime=0.08
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 3651 0 43 0 3 5 0 0 18 0 7 0 101049567 1820372992 3436 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 444427 3436 1081 9 0 442063 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777708

[startup+0.701735 s]
/proc/loadavg: 0.92 0.98 1.01 3/77 32348
/proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=1782224 CPUtime=0.52
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 5529 0 43 0 45 7 0 0 18 0 12 0 101049567 1824997376 5286 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 445556 5286 1283 9 0 443168 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 1782224

[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 1.01 4/89 32360
/proc/meminfo: memFree=1833640/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=1793144 CPUtime=1.99
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 13706 0 43 0 188 11 0 0 18 0 12 0 101049567 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448286 11034 1312 9 0 445898 0
[pid=32348/tid=32350] ppid=32346 vsize=1793144 CPUtime=0.66
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 7163 0 18 0 61 5 0 0 18 0 12 0 101049577 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 101049588 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 101049588 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 101049592 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 101049593 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 101049593 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793144 CPUtime=0.57
/proc/32348/task/32357/stat : 32357 (java) R 32346 32348 31417 0 -1 64 2050 0 0 0 56 1 0 0 16 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103336735 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793144 CPUtime=0.71
/proc/32348/task/32358/stat : 32358 (java) R 32346 32348 31417 0 -1 64 3798 0 0 0 69 2 0 0 16 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103061514 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793144 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 1793144

[startup+3.10219 s]
/proc/loadavg: 0.92 0.98 1.01 4/90 32362
/proc/meminfo: memFree=1811040/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=1793468 CPUtime=4.05
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 20721 0 43 0 392 13 0 0 18 0 13 0 101049567 1836511232 18048 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448367 18048 1319 9 0 445979 0
[pid=32348/tid=32350] ppid=32346 vsize=1793468 CPUtime=2.07
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 14073 0 18 0 199 8 0 0 25 0 13 0 101049577 1836511232 18048 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109557391 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 101049588 1836511232 18048 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 101049588 1836511232 18049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 101049592 1836511232 18049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 101049593 1836511232 18050 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 101049593 1836511232 18050 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836511232 18051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793468 CPUtime=0.94
/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2128 0 0 0 93 1 0 0 16 0 13 0 101049603 1836511232 18052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793468 CPUtime=1.01
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3820 0 0 0 99 2 0 0 15 0 13 0 101049603 1836511232 18052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836511232 18053 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793468 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836511232 18054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 1793468

[startup+6.3018 s]
/proc/loadavg: 0.93 0.98 1.01 2/90 32364
/proc/meminfo: memFree=1741784/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=1793116 CPUtime=7.25
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 38207 0 43 0 704 21 0 0 18 0 13 0 101049567 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448279 35451 1319 9 0 445891 0
[pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=5.27
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 31559 0 18 0 511 16 0 0 25 0 13 0 101049577 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109557401 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 101049588 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 101049588 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101049592 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 101049593 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 101049593 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=0.94
/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2128 0 0 0 93 1 0 0 17 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.01
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3820 0 0 0 99 2 0 0 16 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 1793116

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 1.01 2/90 32364
/proc/meminfo: memFree=1692056/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=1793116 CPUtime=13.74
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 45983 0 43 0 1349 25 0 0 18 0 13 0 101049567 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448279 43213 1328 9 0 445891 0
[pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=11.63
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 37694 0 18 0 1144 19 0 0 25 0 13 0 101049577 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109510720 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=0.01
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 1161 0 0 0 1 0 0 0 16 0 13 0 101049588 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=0.01
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 468 0 0 0 1 0 0 0 16 0 13 0 101049588 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 101049592 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=0.99
/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2133 0 0 0 98 1 0 0 16 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.05
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3822 0 0 0 103 2 0 0 16 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.74
Current children cumulated vsize (KiB) 1793116

[startup+25.5025 s]
/proc/loadavg: 0.95 0.98 1.01 2/90 32364
/proc/meminfo: memFree=1669528/2055920 swapFree=4141880/4192956
[pid=32348] ppid=32346 vsize=1793116 CPUtime=26.61
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 51767 0 43 0 2633 28 0 0 18 0 13 0 101049567 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448279 48875 1328 9 0 445891 0
[pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=24.33
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 37698 0 18 0 2414 19 0 0 25 0 13 0 101049577 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109773847 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=0.07
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 4902 0 0 0 5 2 0 0 16 0 13 0 101049588 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=0.07
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 2500 0 0 0 6 1 0 0 16 0 13 0 101049588 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 101049592 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2135 0 0 0 102 1 0 0 17 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.09
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3825 0 0 0 107 2 0 0 16 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1614.76
Current children cumulated vsize (KiB) 1793116

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 506
/proc/meminfo: memFree=465944/2055920 swapFree=4141924/4192956
[pid=32348] ppid=32346 vsize=1793116 CPUtime=1675.28
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 475718 0 43 0 167281 247 0 0 18 0 13 0 101049567 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448279 340069 1328 9 0 445891 0
[pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1646.9
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 55339 0 18 0 164647 43 0 0 25 0 13 0 101049577 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109787084 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 202558 0 0 0 1206 94 0 0 16 0 13 0 101049588 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.03
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 210986 0 0 0 1210 93 0 0 17 0 13 0 101049588 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.14
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 178 0 0 0 5 9 0 0 16 0 13 0 101049592 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.03
/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2135 0 0 0 102 1 0 0 17 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.09
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3825 0 0 0 107 2 0 0 16 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1675.28
Current children cumulated vsize (KiB) 1793116

[startup+1722.3 s]
/proc/loadavg: 1.14 1.05 1.01 2/90 506
/proc/meminfo: memFree=432984/2055920 swapFree=4141924/4192956
[pid=32348] ppid=32346 vsize=1793116 CPUtime=1735.8
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 487441 0 43 0 173327 253 0 0 18 0 13 0 101049567 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448279 348298 1328 9 0 445891 0
[pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1706.26
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 55351 0 18 0 170582 44 0 0 25 0 13 0 101049577 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109826243 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13.57
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 212664 0 0 0 1258 99 0 0 16 0 13 0 101049588 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.63
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 212580 0 0 0 1269 94 0 0 17 0 13 0 101049588 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.15
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 189 0 0 0 6 9 0 0 16 0 13 0 101049592 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.03
/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2135 0 0 0 102 1 0 0 17 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.09
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3825 0 0 0 107 2 0 0 16 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1735.8
Current children cumulated vsize (KiB) 1793116

[startup+1782.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/90 506
/proc/meminfo: memFree=383960/2055920 swapFree=4141924/4192956
[pid=32348] ppid=32346 vsize=1793116 CPUtime=1796.11
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 499823 0 43 0 179352 259 0 0 18 0 13 0 101049567 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448279 360497 1331 9 0 445891 0
[pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1766.02
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 59986 0 18 0 176556 46 0 0 25 0 13 0 101049577 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110012039 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13.79
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 219218 0 0 0 1277 102 0 0 16 0 13 0 101049588 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.84
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 213738 0 0 0 1290 94 0 0 16 0 13 0 101049588 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.15
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 208 0 0 0 6 9 0 0 16 0 13 0 101049592 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.11
/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2147 0 0 0 110 1 0 0 16 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.12
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3829 0 0 0 110 2 0 0 16 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 1793116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.2 s]
/proc/loadavg: 1.04 1.04 1.00 2/90 506
/proc/meminfo: memFree=383960/2055920 swapFree=4141924/4192956
[pid=32348] ppid=32346 vsize=1793116 CPUtime=1800.03
/proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 499825 0 43 0 179744 259 0 0 18 0 13 0 101049567 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 448279 360499 1331 9 0 445891 0
[pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1769.93
/proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 59986 0 18 0 176947 46 0 0 25 0 13 0 101049577 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110011629 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13.79
/proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 219218 0 0 0 1277 102 0 0 16 0 13 0 101049588 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.84
/proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 213738 0 0 0 1290 94 0 0 16 0 13 0 101049588 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.15
/proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 208 0 0 0 6 9 0 0 16 0 13 0 101049592 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.11
/proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2147 0 0 0 110 1 0 0 16 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.14
/proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3831 0 0 0 112 2 0 0 17 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0
/proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1793116

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

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

[startup+1786.41 s]
/proc/loadavg: 1.04 1.04 1.00 7/93 509
/proc/meminfo: memFree=371200/2055920 swapFree=4141924/4192956
[pid=32348] ppid=32346 vsize=0 CPUtime=1800.37
/proc/32348/stat : 32348 (java) Z 32346 32348 31417 0 -1 1036 503247 0 43 0 179773 264 0 0 15 0 2 0 101049567 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

[startup+1786.5 s]
/proc/loadavg: 1.04 1.04 1.00 7/93 509
/proc/meminfo: memFree=371200/2055920 swapFree=4141924/4192956
[pid=32348] ppid=32346 vsize=0 CPUtime=1800.47
/proc/32348/stat : 32348 (java) Z 32346 32348 31417 0 -1 1036 503247 0 43 0 179773 274 0 0 15 0 2 0 101049567 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32348/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.6
CPU time (s): 1800.57
CPU user time (s): 1797.74
CPU system time (s): 2.83757
CPU usage (%): 100.782
Max. virtual memory (cumulated for all children) (KiB): 1795012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.74
system time used= 2.83757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503247
page faults= 43
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42415
involuntary context switches= 54127

runsolver used 1.73773 second user time and 4.87426 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Mon Apr 16 02:00:29 UTC 2007

IDJOB= 353933
IDBENCH= 2295
IDSOLVER= 159
FILE ID= node38/353933-1176688829

PBS_JOBID= 4559988

Free space on /tmp= 66318 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353933-1176688829/sat4jPseudoResolution.jar /tmp/evaluation/353933-1176688829/instance-353933-1176688829.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-353933-1176688829 -o ROOT/results/node38/solver-353933-1176688829 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353933-1176688829/sat4jPseudoResolution.jar /tmp/evaluation/353933-1176688829/instance-353933-1176688829.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  9d08937c2a2ec73e4fca19adadace920

RANDOM SEED= 169816619

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1870304 kB
Buffers:          4708 kB
Cached:          31204 kB
SwapCached:       5364 kB
Active:         123248 kB
Inactive:        18964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870304 kB
SwapTotal:     4192956 kB
SwapFree:      4141880 kB
Dirty:            3808 kB
Writeback:           0 kB
Mapped:         112704 kB
Slab:            28640 kB
Committed_AS:  1491308 kB
PageTables:       2060 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= 66318 MiB

End job on node38 on Mon Apr 16 02:30:18 UTC 2007