Trace number 373255

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
sat4jPseudoCPClause 2007-03-23SAT (TO)35 1800.39 1743.47

General information on the benchmark

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

Verifier Data (download as text)

OK	35

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-373255-1177175625 -o ROOT/results/node7/solver-373255-1177175625 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373255-1177175625/sat4jPseudoCPClause.jar /tmp/evaluation/373255-1177175625/instance-373255-1177175625.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.99 0.97 0.99 2/77 9227
/proc/meminfo: memFree=1690936/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=152 CPUtime=0
/proc/9227/stat : 9227 (java) R 9225 9227 6728 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 193600183 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 1 0 0
/proc/9227/statm: 38 26 19 9 0 4 0

[startup+0.07214 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 9227
/proc/meminfo: memFree=1690936/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1777708 CPUtime=0.05
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 3706 0 1 0 3 2 0 0 18 0 7 0 193600183 1820372992 3449 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 444427 3449 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101143 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 9227
/proc/meminfo: memFree=1690936/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1780112 CPUtime=0.09
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 3967 0 1 0 6 3 0 0 18 0 12 0 193600183 1822834688 3709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 445028 3709 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780112

[startup+0.301163 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 9227
/proc/meminfo: memFree=1690936/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1782436 CPUtime=0.31
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 5135 0 1 0 27 4 0 0 18 0 12 0 193600183 1825214464 4874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 445609 4874 1264 9 0 443220 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782436

[startup+0.701207 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 9227
/proc/meminfo: memFree=1690936/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1783472 CPUtime=0.93
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 6938 0 1 0 88 5 0 0 18 0 12 0 193600183 1826275328 6427 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 445868 6427 1301 9 0 443479 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 1783472

[startup+1.50229 s]
/proc/loadavg: 0.99 0.97 0.99 2/89 9239
/proc/meminfo: memFree=1662680/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1786236 CPUtime=2.13
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 17742 0 1 0 203 10 0 0 18 0 12 0 193600183 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 446559 16251 1307 9 0 444170 0
[pid=9227/tid=9229] ppid=9225 vsize=1786236 CPUtime=1.06
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 14395 0 1 0 98 8 0 0 19 0 12 0 193600184 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4160637012 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 193600186 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 193600186 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 193600188 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 193600188 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 193600188 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 193600192 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1786236 CPUtime=0.54
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 1664 0 0 0 54 0 0 0 16 0 12 0 193600192 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1786236 CPUtime=0.5
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 964 0 0 0 50 0 0 0 16 0 12 0 193600192 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 193600192 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1786236 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 193600192 1829105664 16251 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 1786236

[startup+3.10246 s]
/proc/loadavg: 0.99 0.97 0.99 3/90 9242
/proc/meminfo: memFree=1595216/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1796860 CPUtime=4.78
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 46333 0 1 0 457 21 0 0 18 0 13 0 193600183 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 449215 42756 1321 9 0 446826 0
[pid=9227/tid=9229] ppid=9225 vsize=1796860 CPUtime=2.23
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 37751 0 1 0 206 17 0 0 19 0 13 0 193600184 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109863465 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1796860 CPUtime=0.01
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 339 0 0 0 1 0 0 0 17 0 13 0 193600186 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1796860 CPUtime=0.01
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 429 0 0 0 1 0 0 0 16 0 13 0 193600186 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1796860 CPUtime=0
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 193600188 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1796860 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1796860 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 193600188 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1796860 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1796860 CPUtime=1.4
/proc/9227/task/9236/stat : 9236 (java) R 9225 9227 6728 0 -1 64 4670 0 0 0 138 2 0 0 18 0 13 0 193600192 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105427745 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1796860 CPUtime=1.09
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2415 0 0 0 109 0 0 0 17 0 13 0 193600192 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1796860 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1796860 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9242] ppid=9225 vsize=1796860 CPUtime=0
/proc/9227/task/9242/stat : 9242 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193600385 1839984640 42756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 1796860

[startup+6.30178 s]
/proc/loadavg: 0.99 0.97 0.99 2/90 9244
/proc/meminfo: memFree=1523840/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1794560 CPUtime=8.83
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 52076 0 1 0 858 25 0 0 18 0 13 0 193600183 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 448640 43815 1325 9 0 446251 0
[pid=9227/tid=9229] ppid=9225 vsize=1794560 CPUtime=5.17
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 37764 0 1 0 499 18 0 0 18 0 13 0 193600184 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109876213 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1794560 CPUtime=0.09
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 1361 0 0 0 9 0 0 0 16 0 13 0 193600186 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1794560 CPUtime=0.08
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 1539 0 0 0 8 0 0 0 16 0 13 0 193600186 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 193600188 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1794560 CPUtime=2.08
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 8062 0 0 0 204 4 0 0 16 0 13 0 193600192 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1794560 CPUtime=1.35
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2599 0 0 0 135 0 0 0 15 0 13 0 193600192 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1837629440 43815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.83
Current children cumulated vsize (KiB) 1794560

[startup+12.7025 s]
/proc/loadavg: 0.99 0.97 0.99 2/90 9245
/proc/meminfo: memFree=1484280/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1794560 CPUtime=15.33
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 61581 0 1 0 1505 28 0 0 18 0 13 0 193600183 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 448640 52396 1325 9 0 446251 0
[pid=9227/tid=9229] ppid=9225 vsize=1794560 CPUtime=11.48
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 44360 0 1 0 1128 20 0 0 22 0 13 0 193600184 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109863416 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1794560 CPUtime=0.14
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 2865 0 0 0 14 0 0 0 16 0 13 0 193600186 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1794560 CPUtime=0.15
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 2940 0 0 0 14 1 0 0 16 0 13 0 193600186 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 193600188 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1794560 CPUtime=2.14
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 8064 0 0 0 210 4 0 0 17 0 13 0 193600192 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1794560 CPUtime=1.37
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2599 0 0 0 137 0 0 0 16 0 13 0 193600192 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9245] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9245/stat : 9245 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 193600785 1837629440 52396 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.33
Current children cumulated vsize (KiB) 1794560

[startup+25.5028 s]
/proc/loadavg: 0.99 0.97 0.99 2/90 9246
/proc/meminfo: memFree=1517040/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1794560 CPUtime=28.25
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 63700 0 1 0 2795 30 0 0 18 0 13 0 193600183 1837629440 44075 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 448640 44075 1326 9 0 446251 0
[pid=9227/tid=9229] ppid=9225 vsize=1794560 CPUtime=24.17
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 44386 0 1 0 2396 21 0 0 25 0 13 0 193600184 1837629440 44075 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109871636 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1794560 CPUtime=0.23
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 3913 0 0 0 23 0 0 0 16 0 13 0 193600186 1837629440 44075 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1794560 CPUtime=0.24
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 3983 0 0 0 23 1 0 0 16 0 13 0 193600186 1837629440 44075 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 44075 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 44075 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0.44
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 90 0 0 0 27 17 0 0 16 0 13 0 193600188 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1794560 CPUtime=2.54
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 8070 0 0 0 250 4 0 0 17 0 13 0 193600192 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1794560 CPUtime=1.67
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2611 0 0 0 167 0 0 0 18 0 13 0 193600192 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9248] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9248/stat : 9248 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 193605883 1837629440 213219 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.77
Current children cumulated vsize (KiB) 1794560

[startup+1602.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/90 9250
/proc/meminfo: memFree=818912/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1794560 CPUtime=1651.95
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 275005 0 1 0 165037 158 0 0 18 0 13 0 193600183 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 448640 218756 1328 9 0 446251 0
[pid=9227/tid=9229] ppid=9225 vsize=1794560 CPUtime=1552.43
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 68845 0 1 0 155196 47 0 0 25 0 13 0 193600184 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109863390 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1794560 CPUtime=47.4
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 102561 0 0 0 4696 44 0 0 16 0 13 0 193600186 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1794560 CPUtime=47.39
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 92103 0 0 0 4697 42 0 0 16 0 13 0 193600186 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0.45
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 90 0 0 0 28 17 0 0 16 0 13 0 193600188 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1794560 CPUtime=2.54
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 8070 0 0 0 250 4 0 0 17 0 13 0 193600192 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1794560 CPUtime=1.67
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2611 0 0 0 167 0 0 0 18 0 13 0 193600192 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9248] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9248/stat : 9248 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 193605883 1837629440 218756 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.95
Current children cumulated vsize (KiB) 1794560

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 9250
/proc/meminfo: memFree=799328/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1794560 CPUtime=1715.1
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 280243 0 1 0 171349 161 0 0 18 0 13 0 193600183 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 448640 223561 1328 9 0 446251 0
[pid=9227/tid=9229] ppid=9225 vsize=1794560 CPUtime=1609.15
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 68902 0 1 0 160867 48 0 0 25 0 13 0 193600184 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109871755 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1794560 CPUtime=50.63
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 105937 0 0 0 5018 45 0 0 16 0 13 0 193600186 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1794560 CPUtime=50.59
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 93907 0 0 0 5016 43 0 0 16 0 13 0 193600186 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0.47
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 91 0 0 0 29 18 0 0 15 0 13 0 193600188 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1794560 CPUtime=2.54
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 8070 0 0 0 250 4 0 0 17 0 13 0 193600192 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1794560 CPUtime=1.67
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2611 0 0 0 167 0 0 0 18 0 13 0 193600192 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9248] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9248/stat : 9248 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 193605883 1837629440 223561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.1
Current children cumulated vsize (KiB) 1794560

[startup+1722.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/90 9251
/proc/meminfo: memFree=779416/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1794560 CPUtime=1777.95
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 285917 0 1 0 177630 165 0 0 18 0 13 0 193600183 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 448640 228763 1328 9 0 446251 0
[pid=9227/tid=9229] ppid=9225 vsize=1794560 CPUtime=1666.24
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 68957 0 1 0 166576 48 0 0 21 0 13 0 193600184 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109897494 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1794560 CPUtime=53.48
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 109892 0 0 0 5302 46 0 0 16 0 13 0 193600186 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1794560 CPUtime=53.46
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 95570 0 0 0 5302 44 0 0 17 0 13 0 193600186 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0.48
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 91 0 0 0 30 18 0 0 16 0 13 0 193600188 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1794560 CPUtime=2.54
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 8070 0 0 0 250 4 0 0 17 0 13 0 193600192 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1794560 CPUtime=1.67
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2611 0 0 0 167 0 0 0 18 0 13 0 193600192 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9251] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9251/stat : 9251 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 193771355 1837629440 228763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.95
Current children cumulated vsize (KiB) 1794560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1743.2 s]
/proc/loadavg: 1.18 1.07 1.01 2/90 9251
/proc/meminfo: memFree=770776/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=1794560 CPUtime=1800.05
/proc/9227/stat : 9227 (java) S 9225 9227 6728 0 -1 0 288016 0 1 0 179839 166 0 0 18 0 13 0 193600183 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9227/statm: 448640 230654 1328 9 0 446251 0
[pid=9227/tid=9229] ppid=9225 vsize=1794560 CPUtime=1685.9
/proc/9227/task/9229/stat : 9229 (java) R 9225 9227 6728 0 -1 64 68979 0 1 0 168542 48 0 0 25 0 13 0 193600184 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109876392 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9230] ppid=9225 vsize=1794560 CPUtime=54.71
/proc/9227/task/9230/stat : 9230 (java) S 9225 9227 6728 0 -1 64 111273 0 0 0 5424 47 0 0 16 0 13 0 193600186 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9231] ppid=9225 vsize=1794560 CPUtime=54.67
/proc/9227/task/9231/stat : 9231 (java) S 9225 9227 6728 0 -1 64 96266 0 0 0 5423 44 0 0 16 0 13 0 193600186 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9232] ppid=9225 vsize=1794560 CPUtime=0.48
/proc/9227/task/9232/stat : 9232 (java) S 9225 9227 6728 0 -1 64 91 0 0 0 30 18 0 0 15 0 13 0 193600188 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9227/tid=9233] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9233/stat : 9233 (java) S 9225 9227 6728 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9234] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9234/stat : 9234 (java) S 9225 9227 6728 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 193600188 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9235] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9235/stat : 9235 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193600192 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9236] ppid=9225 vsize=1794560 CPUtime=2.54
/proc/9227/task/9236/stat : 9236 (java) S 9225 9227 6728 0 -1 64 8070 0 0 0 250 4 0 0 17 0 13 0 193600192 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9237] ppid=9225 vsize=1794560 CPUtime=1.67
/proc/9227/task/9237/stat : 9237 (java) S 9225 9227 6728 0 -1 64 2611 0 0 0 167 0 0 0 18 0 13 0 193600192 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9238] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9238/stat : 9238 (java) S 9225 9227 6728 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 193600192 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9239] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9239/stat : 9239 (java) S 9225 9227 6728 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 193600192 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9227/tid=9251] ppid=9225 vsize=1794560 CPUtime=0
/proc/9227/task/9251/stat : 9251 (java) S 9225 9227 6728 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 193771355 1837629440 230654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1794560

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

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

[startup+1743.4 s]
/proc/loadavg: 1.18 1.07 1.01 2/80 9254
/proc/meminfo: memFree=1283344/2055920 swapFree=4159720/4192956
[pid=9227] ppid=9225 vsize=0 CPUtime=1800.31
/proc/9227/stat : 9227 (java) Z 9225 9227 6728 0 -1 1036 288034 0 1 0 179858 173 0 0 15 0 2 0 193600183 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9227/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1743.47
CPU time (s): 1800.39
CPU user time (s): 1798.59
CPU system time (s): 1.80173
CPU usage (%): 103.265
Max. virtual memory (cumulated for all children) (KiB): 1798120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.80173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288034
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= 54068
involuntary context switches= 51866

runsolver used 1.68674 second user time and 4.72428 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Apr 21 17:13:46 UTC 2007

IDJOB= 373255
IDBENCH= 25030
IDSOLVER= 164
FILE ID= node7/373255-1177175625

PBS_JOBID= 4648972

Free space on /tmp= 66407 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373255-1177175625/sat4jPseudoCPClause.jar /tmp/evaluation/373255-1177175625/instance-373255-1177175625.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-373255-1177175625 -o ROOT/results/node7/solver-373255-1177175625 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373255-1177175625/sat4jPseudoCPClause.jar /tmp/evaluation/373255-1177175625/instance-373255-1177175625.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  267e112b52309c055e255eac2f43ef33

RANDOM SEED= 284532477

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:       1691536 kB
Buffers:         46544 kB
Cached:         250752 kB
SwapCached:      13396 kB
Active:         150520 kB
Inactive:       170796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1691536 kB
SwapTotal:     4192956 kB
SwapFree:      4159720 kB
Dirty:            4288 kB
Writeback:           0 kB
Mapped:          30688 kB
Slab:            28620 kB
Committed_AS:  8817812 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 17:42:51 UTC 2007