Trace number 354049

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT (TO)7508861 1800.36 1784.02

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos17.opb
MD5SUM6ec9fbaf74a275630384576eed2d57d7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7508861
Best CPU time to get the best result obtained on this benchmark1800.36
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7508861
Optimality of the best value was proved NO
Number of variables3115
Total number of constraints671
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 constraints671
Minimum length of a constraint11
Maximum length of a constraint780
Number of terms in the objective function 2126
Biggest coefficient in the objective function 27663360
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 110500348
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1677721600000000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 40265324766820451
Number of bits of the biggest sum of numbers56
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.14	c no version file found!!!
0.09/0.14	c sun.arch.data.model	32
0.09/0.14	c java.version	1.6.0
0.09/0.14	c os.name	Linux
0.09/0.14	c os.version	2.6.9-22.EL.rootsmp
0.09/0.14	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.PBSolver)
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/354049-1176692652/instance-354049-1176692652.opb
0.20/0.20	c reading problem ... 
2.48/1.75	c ... done. Wall clock time 1.555s.
2.48/1.76	c CPU time (experimental) 1.2s.
2.48/1.76	c #vars     3115
2.48/1.76	c #constraints  672
12.42/9.97	c SATISFIABLE
12.42/9.97	c OPTIMIZING...
12.42/9.97	c Got one! Elapsed wall clock time (in seconds):9.767
12.42/9.98	o 34787593
15.27/12.76	c Got one! Elapsed wall clock time (in seconds):12.56
15.27/12.77	o 14319050
16.15/13.59	c Got one! Elapsed wall clock time (in seconds):13.392
16.25/13.60	o 10630083
18.91/16.28	c Got one! Elapsed wall clock time (in seconds):16.083
18.91/16.29	o 8819636
20.66/17.90	c Got one! Elapsed wall clock time (in seconds):17.699
20.66/17.90	o 7508861
1800.06/1783.82	c starts		: 8
1800.06/1783.82	c conflicts		: 742
1800.06/1783.82	c decisions		: 56269
1800.06/1783.82	c propagations		: 100540
1800.06/1783.82	c inspects		: 1519285
1800.06/1783.82	c learnt literals	: 0
1800.06/1783.82	c learnt binary clauses	: 0
1800.06/1783.82	c learnt ternary clauses	: 0
1800.06/1783.82	c learnt clauses	: 741
1800.06/1783.82	c root simplifications	: 0
1800.06/1783.82	c removed literals (reason simplification)	: 0
1800.06/1783.82	c reason swapping (by a shorter reason)	: 0
1800.06/1783.82	c Calls to reduceDB	: 0
1800.06/1783.82	c speed (decisions/second)	: 31.864078912422908
1800.06/1783.82	c non guided choices	2098
1800.06/1783.82	s SATISFIABLE
1800.06/1783.87	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.06/1783.87	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.06/1783.87	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.06/1783.87	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.06/1783.87	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.06/1783.87	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.06/1783.87	v -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.06/1783.87	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.06/1783.87	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.06/1783.87	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.06/1783.87	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.06/1783.87	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.06/1783.87	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.06/1783.87	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.06/1783.87	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.06/1783.87	v -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.06/1783.87	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.06/1783.87	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398
1800.06/1783.87	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.06/1783.87	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.06/1783.87	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.06/1783.87	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.06/1783.87	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.06/1783.87	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.06/1783.87	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.06/1783.87	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.06/1783.87	v -x567 -x568 -x569 -x570 x571 -x572 x573 x574 x575 -x576 x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.06/1783.87	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.06/1783.87	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.06/1783.87	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.06/1783.87	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.06/1783.87	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.06/1783.87	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.06/1783.87	v -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.06/1783.87	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756
1800.06/1783.87	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.06/1783.87	v -x778 -x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 x797 x798 x799
1800.06/1783.87	v x800 x801 x802 -x803 -x804 -x805 x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 x820 x821
1800.06/1783.87	v -x822 x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 x831 x832 x833 -x834 x835 x836 -x837 x838 -x839 x840 -x841 x842 -x843 x844
1800.06/1783.87	v x845 x846 x847 x848 x849 -x850 -x851 -x852 x853 x854 -x855 x856 x857 -x858 x859 -x860 -x861 x862 x863 -x864 -x865 x866 -x867
1800.06/1783.87	v -x868 -x869 x870 -x871 x872 -x873 x874 -x875 -x876 x877 -x878 x879 -x880 x881 -x882 x883 x884 -x885 -x886 -x887 x888 -x889
1800.06/1783.87	v x890 x891 x892 -x893 -x894 x895 x896 -x897 x898 -x899 x900 -x901 x902 -x903 x904 -x905 x906 -x907 -x908 -x909 -x910 x911 x912
1800.06/1783.87	v -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 x925 -x926 -x927 x928 -x929 x930 x931 x932 -x933 -x934
1800.06/1783.87	v -x935 -x936 x937 x938 -x939 -x940 -x941 -x942 x943 x944 x945 x946 -x947 -x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956
1800.06/1783.87	v x957 x958 x959 x960 x961 -x962 x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 x971 x972 -x973 -x974 x975 -x976 x977 -x978 -x979
1800.06/1783.87	v x980 x981 -x982 x983 x984 -x985 x986 x987 x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 x998 -x999 x1000 -x1001 x1002
1800.06/1783.87	v x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 x1010 x1011 -x1012 -x1013 x1014 x1015 -x1016 x1017 -x1018 x1019 x1020 -x1021
1800.06/1783.87	v -x1022 -x1023 -x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 x1039 x1040
1800.06/1783.87	v x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 -x1053 x1054 x1055 x1056 x1057 -x1058 x1059
1800.06/1783.87	v -x1060 -x1061 x1062 x1063 -x1064 -x1065 -x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 x1074 -x1075 -x1076 -x1077 x1078
1800.06/1783.87	v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095
1800.06/1783.87	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1800.06/1783.87	v -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130
1800.06/1783.87	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1800.06/1783.87	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.06/1783.87	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.06/1783.87	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.06/1783.87	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1800.06/1783.87	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.06/1783.87	v -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250
1800.06/1783.87	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268
1800.06/1783.87	v -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287
1800.06/1783.87	v -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304
1800.06/1783.87	v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 -x1321 -x1322 -x1323
1800.06/1783.87	v -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 x1337 -x1338 -x1339 -x1340 -x1341
1800.06/1783.87	v -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
1800.06/1783.87	v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
1800.06/1783.87	v -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392
1800.06/1783.87	v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1800.06/1783.87	v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.06/1783.87	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
1800.06/1783.87	v -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461
1800.06/1783.87	v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478
1800.06/1783.87	v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495
1800.06/1783.87	v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512
1800.06/1783.87	v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529
1800.06/1783.87	v -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546
1800.06/1783.87	v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563
1800.06/1783.87	v -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 x1579 -x1580 -x1581
1800.06/1783.87	v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598
1800.06/1783.87	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 x1612 -x1613 -x1614 -x1615 -x1616
1800.06/1783.87	v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633
1800.06/1783.87	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 x1650 -x1651
1800.06/1783.87	v -x1652 -x1653 -x1654 x1655 x1656 x1657 -x1658 x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669
1800.06/1783.87	v -x1670 -x1671 -x1672 -x1673 -x1674 x1675 x1676 x1677 x1678 x1679 x1680 x1681 x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.06/1783.87	v x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1800.06/1783.87	v -x1706 -x1707 -x1708 -x1709 x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1800.06/1783.87	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1800.06/1783.87	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757
1800.06/1783.87	v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1800.06/1783.87	v -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792
1800.06/1783.87	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809
1800.06/1783.87	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826
1800.06/1783.87	v -x1827 -x1828 -x1829 -x1830 x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844
1800.06/1783.87	v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
1800.06/1783.87	v -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878
1800.06/1783.87	v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
1800.06/1783.87	v -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912
1800.06/1783.87	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929
1800.06/1783.87	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946
1800.06/1783.87	v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963
1800.06/1783.87	v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
1800.06/1783.87	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997
1800.06/1783.87	v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015
1800.06/1783.87	v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032
1800.06/1783.87	v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049
1800.06/1783.87	v -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067
1800.06/1783.87	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 x2083 -x2084 -x2085
1800.06/1783.87	v -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103
1800.06/1783.87	v -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
1800.06/1783.87	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137
1800.06/1783.87	v -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154
1800.06/1783.87	v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171
1800.06/1783.87	v -x2172 x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189
1800.06/1783.87	v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207
1800.06/1783.87	v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224
1800.06/1783.87	v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241
1800.06/1783.87	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259
1800.06/1783.87	v x2260 x2261 x2262 x2263 x2264 x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278
1800.06/1783.87	v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295
1800.06/1783.87	v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312
1800.06/1783.87	v x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 -x2322 -x2323 -x2324 -x2325 x2326 x2327 x2328 -x2329 x2330 -x2331
1800.06/1783.87	v x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 x2349
1800.06/1783.87	v x2350 -x2351 x2352 -x2353 x2354 -x2355 -x2356 x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367
1800.06/1783.87	v -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384
1800.06/1783.87	v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401
1800.06/1783.87	v -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419
1800.06/1783.87	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
1800.06/1783.87	v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453
1800.06/1783.87	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1800.06/1783.87	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1800.06/1783.87	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.06/1783.87	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 x2512 x2513 x2514 x2515 x2516 x2517 x2518 x2519 -x2520 -x2521 -x2522 -x2523
1800.06/1783.87	v x2524 x2525 x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541
1800.06/1783.87	v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558
1800.06/1783.87	v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1800.06/1783.87	v -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 x2589 x2590 x2591 x2592 x2593 x2594 x2595
1800.06/1783.87	v x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 x2603 -x2604 x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1800.06/1783.87	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1800.06/1783.87	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1800.06/1783.87	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1800.06/1783.87	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 x2679 -x2680 -x2681 -x2682
1800.06/1783.87	v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
1800.06/1783.87	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1800.06/1783.87	v -x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734
1800.06/1783.87	v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752
1800.06/1783.87	v -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769
1800.06/1783.87	v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786
1800.06/1783.87	v -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803
1800.06/1783.87	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821
1800.06/1783.87	v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838
1800.06/1783.87	v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855
1800.06/1783.87	v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872
1800.06/1783.87	v -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889
1800.06/1783.87	v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906
1800.06/1783.87	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923
1800.06/1783.87	v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 x2932 x2933 -x2934 x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941
1800.06/1783.87	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958
1800.06/1783.87	v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975
1800.06/1783.87	v x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992
1800.06/1783.87	v -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010
1800.06/1783.87	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027
1800.06/1783.87	v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044
1800.06/1783.87	v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061
1800.06/1783.87	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078
1800.06/1783.87	v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 x3095 x3096
1800.06/1783.87	v x3097 x3098 x3099 x3100 x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114
1800.06/1783.87	v -x3115
1800.06/1783.89	c objective function=7508861
1800.06/1783.89	c Total wall clock time (ms): 1783.686

Verifier Data (download as text)

OK	7508861

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-354049-1176692652 -o ROOT/results/node71/solver-354049-1176692652 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354049-1176692652/sat4jPseudoCP.jar /tmp/evaluation/354049-1176692652/instance-354049-1176692652.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 0.99 2/64 5393
/proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=0 CPUtime=0
/proc/5393/stat : 5393 (runsolver) R 5391 5393 3610 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 145254550 0 0 18446744073709551615 0 0 0 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5393/statm: 0 0 0 0 0 0 0

[startup+0.018485 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 5393
/proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=12620 CPUtime=0
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 845 0 0 0 0 0 0 0 18 0 2 0 145254550 12922880 602 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 3155 602 285 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12620

[startup+0.101502 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 5393
/proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1780108 CPUtime=0.09
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 3971 0 1 0 7 2 0 0 18 0 12 0 145254550 1822830592 3713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 445027 3713 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.301529 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 5393
/proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1782300 CPUtime=0.35
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 5115 0 1 0 32 3 0 0 18 0 12 0 145254550 1825075200 4852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 445575 4853 1267 9 0 443187 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1782300

[startup+0.701586 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 5393
/proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1787412 CPUtime=0.98
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 8152 0 1 0 93 5 0 0 18 0 12 0 145254550 1830309888 7449 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 446853 7453 1303 9 0 444465 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1787412

[startup+1.5027 s]
/proc/loadavg: 0.92 0.98 0.99 4/76 5405
/proc/meminfo: memFree=1656928/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1792628 CPUtime=2.28
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 21842 0 1 0 218 10 0 0 18 0 12 0 145254550 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448157 18563 1304 9 0 445769 0
[pid=5393/tid=5395] ppid=5391 vsize=1792628 CPUtime=0.94
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 15021 0 1 0 88 6 0 0 25 0 12 0 145254551 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109185704 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 145254553 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 145254553 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 145254555 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 145254555 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 145254555 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1792628 CPUtime=0.54
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 1682 0 0 0 54 0 0 0 16 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1792628 CPUtime=0.75
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 4421 0 0 0 74 1 0 0 17 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1792628 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 1792628

[startup+3.10292 s]
/proc/loadavg: 0.92 0.98 0.99 4/77 5406
/proc/meminfo: memFree=1591768/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1799012 CPUtime=4.63
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 50897 0 1 0 440 23 0 0 18 0 13 0 145254550 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 449753 44741 1322 9 0 447365 0
[pid=5393/tid=5395] ppid=5391 vsize=1799012 CPUtime=2.11
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 37720 0 1 0 194 17 0 0 17 0 13 0 145254551 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109749440 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1799012 CPUtime=0.02
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 972 0 0 0 2 0 0 0 17 0 13 0 145254553 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1799012 CPUtime=0.03
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 953 0 0 0 3 0 0 0 17 0 13 0 145254553 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1799012 CPUtime=0
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1799012 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1799012 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145254555 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1799012 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1799012 CPUtime=1.07
/proc/5393/task/5402/stat : 5402 (java) R 5391 5393 3610 0 -1 64 3465 0 0 0 106 1 0 0 17 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103313512 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1799012 CPUtime=1.35
/proc/5393/task/5403/stat : 5403 (java) R 5391 5393 3610 0 -1 64 7060 0 0 0 132 3 0 0 17 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104846905 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1799012 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1799012 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5406] ppid=5391 vsize=1799012 CPUtime=0
/proc/5393/task/5406/stat : 5406 (java) S 5391 5393 3610 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 145254733 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 1799012

[startup+6.30234 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 5406
/proc/meminfo: memFree=1510936/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1795360 CPUtime=8.61
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 54822 0 1 0 836 25 0 0 18 0 13 0 145254550 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448840 44156 1332 9 0 446452 0
[pid=5393/tid=5395] ppid=5391 vsize=1795360 CPUtime=4.97
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 37729 0 1 0 480 17 0 0 24 0 13 0 145254551 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550097 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1795360 CPUtime=0.13
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 2234 0 0 0 13 0 0 0 16 0 13 0 145254553 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1795360 CPUtime=0.14
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 2175 0 0 0 14 0 0 0 17 0 13 0 145254553 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1795360 CPUtime=1.38
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3496 0 0 0 137 1 0 0 15 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1795360 CPUtime=1.93
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8449 0 0 0 190 3 0 0 16 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5406] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5406/stat : 5406 (java) S 5391 5393 3610 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 145254733 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 1795360

[startup+12.7051 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 5407
/proc/meminfo: memFree=1490448/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1795360 CPUtime=15.27
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 62432 0 1 0 1498 29 0 0 18 0 13 0 145254550 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448840 51395 1336 9 0 446452 0
[pid=5393/tid=5395] ppid=5391 vsize=1795360 CPUtime=11.19
/proc/5393/task/5395/stat : 5395 (java) S 5391 5393 3610 0 -1 64 38900 0 1 0 1101 18 0 0 22 0 13 0 145254551 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1795360 CPUtime=0.26
/proc/5393/task/5396/stat : 5396 (java) R 5391 5393 3610 0 -1 64 5709 0 0 0 24 2 0 0 16 0 13 0 145254553 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1795360 CPUtime=0.26
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 5113 0 0 0 24 2 0 0 16 0 13 0 145254553 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 145254555 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1795360 CPUtime=1.46
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3499 0 0 0 145 1 0 0 16 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1795360 CPUtime=2.04
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8456 0 0 0 201 3 0 0 17 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5407] ppid=5391 vsize=1795360 CPUtime=0
/proc/5393/task/5407/stat : 5407 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 145255554 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.27
Current children cumulated vsize (KiB) 1795360

[startup+25.503 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 5411
/proc/meminfo: memFree=1503664/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1795360 CPUtime=28.3
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 68891 0 1 0 2798 32 0 0 18 0 13 0 145254550 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448840 47815 1336 9 0 446452 0
[pid=5393/tid=5395] ppid=5391 vsize=1795360 CPUtime=23.85
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 43666 0 1 0 2366 19 0 0 22 0 13 0 145254551 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550300 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1795360 CPUtime=0.36
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 6653 0 0 0 33 3 0 0 16 0 13 0 145254553 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1795360 CPUtime=0.33
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 5834 0 0 0 31 2 0 0 16 0 13 0 145254553 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1795360 CPUtime=0.02
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 48 0 0 0 1 1 0 0 15 0 13 0 145254555 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.07
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 512 0 0 0 57 50 0 0 16 0 13 0 145254555 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1616.62
Current children cumulated vsize (KiB) 1794872

[startup+1662.3 s]
/proc/loadavg: 1.08 1.07 1.04 2/77 5411
/proc/meminfo: memFree=1161776/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1794872 CPUtime=1677.17
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 327207 0 1 0 167486 231 0 0 18 0 13 0 145254550 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448718 133019 1336 9 0 446330 0
[pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1644.33
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 174505 0 1 0 164347 86 0 0 25 0 13 0 145254551 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550429 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=13.88
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 71705 0 0 0 1344 44 0 0 16 0 13 0 145254553 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=13.83
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 67774 0 0 0 1341 42 0 0 16 0 13 0 145254553 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.1
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 517 0 0 0 59 51 0 0 15 0 13 0 145254555 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1677.17
Current children cumulated vsize (KiB) 1794872

[startup+1722.3 s]
/proc/loadavg: 1.03 1.06 1.03 2/77 5411
/proc/meminfo: memFree=1147952/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1794872 CPUtime=1737.8
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 333585 0 1 0 173545 235 0 0 18 0 13 0 145254550 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448718 136533 1336 9 0 446330 0
[pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1703.54
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 176208 0 1 0 170268 86 0 0 25 0 13 0 145254551 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550738 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=14.6
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 74447 0 0 0 1414 46 0 0 16 0 13 0 145254553 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=14.52
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 69702 0 0 0 1409 43 0 0 16 0 13 0 145254553 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.12
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 522 0 0 0 60 52 0 0 16 0 13 0 145254555 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1737.8
Current children cumulated vsize (KiB) 1794872

[startup+1782.3 s]
/proc/loadavg: 1.01 1.04 1.02 2/77 5411
/proc/meminfo: memFree=1134384/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1794872 CPUtime=1798.52
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 340011 0 1 0 179612 240 0 0 18 0 13 0 145254550 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448718 139942 1336 9 0 446330 0
[pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1762.69
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 177988 0 1 0 176182 87 0 0 25 0 13 0 145254551 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550137 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=15.35
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 76374 0 0 0 1488 47 0 0 16 0 13 0 145254553 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=15.3
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 72416 0 0 0 1485 45 0 0 15 0 13 0 145254553 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.15
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 527 0 0 0 62 53 0 0 16 0 13 0 145254555 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (KiB) 1794872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.8 s]
/proc/loadavg: 1.01 1.04 1.02 2/77 5411
/proc/meminfo: memFree=1133040/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=1794872 CPUtime=1800.06
/proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 340384 0 1 0 179766 240 0 0 18 0 13 0 145254550 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 448718 140273 1336 9 0 446330 0
[pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1764.16
/proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 178021 0 1 0 176329 87 0 0 25 0 13 0 145254551 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550256 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=15.39
/proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 76509 0 0 0 1492 47 0 0 16 0 13 0 145254553 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=15.33
/proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 72621 0 0 0 1488 45 0 0 16 0 13 0 145254553 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.15
/proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 527 0 0 0 62 53 0 0 16 0 13 0 145254555 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81
/proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15
/proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0
/proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1794872

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

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

[startup+1784 s]
/proc/loadavg: 1.01 1.04 1.02 2/77 5411
/proc/meminfo: memFree=1133040/2055920 swapFree=4184248/4192956
[pid=5393] ppid=5391 vsize=0 CPUtime=1800.33
/proc/5393/stat : 5393 (java) Z 5391 5393 3610 0 -1 1036 340538 0 1 0 179786 247 0 0 16 0 2 0 145254550 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5393/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1784.02
CPU time (s): 1800.36
CPU user time (s): 1797.86
CPU system time (s): 2.49362
CPU usage (%): 100.916
Max. virtual memory (cumulated for all children) (KiB): 1799012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.86
system time used= 2.49362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340538
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= 85891
involuntary context switches= 48133

runsolver used 1.9757 second user time and 5.21521 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Mon Apr 16 03:04:12 UTC 2007

IDJOB= 354049
IDBENCH= 2327
IDSOLVER= 160
FILE ID= node71/354049-1176692652

PBS_JOBID= 4559997

Free space on /tmp= 66552 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  6ec9fbaf74a275630384576eed2d57d7

RANDOM SEED= 785878681

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1691096 kB
Buffers:         51104 kB
Cached:         219072 kB
SwapCached:       2640 kB
Active:         168940 kB
Inactive:       124668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1691096 kB
SwapTotal:     4192956 kB
SwapFree:      4184248 kB
Dirty:            5136 kB
Writeback:           0 kB
Mapped:          28984 kB
Slab:            57080 kB
Committed_AS:  2465624 kB
PageTables:       1484 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= 66552 MiB

End job on node71 on Mon Apr 16 03:33:58 UTC 2007