Trace number 351019

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)16 1800.33 1778.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
MD5SUM6a8d837851671f69c34bdd14861bc7ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables2910
Total number of constraints56
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 constraints56
Minimum length of a constraint30
Maximum length of a constraint810
Number of terms in the objective function 2460
Biggest coefficient in the objective function 12627
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526152
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	16

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-351019-1176574021 -o ROOT/results/node69/solver-351019-1176574021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351019-1176574021/sat4jPseudoCPClause.jar /tmp/evaluation/351019-1176574021/instance-351019-1176574021.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.93 1.03 1.00 2/64 2181
/proc/meminfo: memFree=1802724/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=152 CPUtime=0
/proc/2181/stat : 2181 (java) R 2179 2181 1390 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 133391525 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 11952932 0 0 4096 0 0 0 0 17 1 0 0
/proc/2181/statm: 38 26 19 9 0 4 0

[startup+0.0906611 s]
/proc/loadavg: 0.93 1.03 1.00 2/64 2181
/proc/meminfo: memFree=1802724/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1777844 CPUtime=0.07
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 3868 0 1 0 5 2 0 0 18 0 7 0 133391525 1820512256 3610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 444461 3610 1092 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.10166 s]
/proc/loadavg: 0.93 1.03 1.00 2/64 2181
/proc/meminfo: memFree=1802724/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1780112 CPUtime=0.08
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 133391525 1822834688 3720 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 445028 3720 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301692 s]
/proc/loadavg: 0.93 1.03 1.00 2/64 2181
/proc/meminfo: memFree=1802724/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1782328 CPUtime=0.32
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 5090 0 1 0 29 3 0 0 18 0 12 0 133391525 1825103872 4826 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 445582 4826 1264 9 0 443193 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782328

[startup+0.70176 s]
/proc/loadavg: 0.93 1.03 1.00 2/64 2181
/proc/meminfo: memFree=1802724/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1790216 CPUtime=0.99
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 8447 0 1 0 94 5 0 0 18 0 12 0 133391525 1833181184 7641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 447554 7641 1302 9 0 445165 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 1790216

[startup+1.50289 s]
/proc/loadavg: 0.93 1.03 1.00 4/76 2193
/proc/meminfo: memFree=1768964/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1792604 CPUtime=2.44
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 17160 0 1 0 233 11 0 0 18 0 13 0 133391525 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448151 14076 1313 9 0 445762 0
[pid=2181/tid=2183] ppid=2179 vsize=1792604 CPUtime=0.88
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 10484 0 1 0 82 6 0 0 25 0 13 0 133391526 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109574656 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1792604 CPUtime=0
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 133391528 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1792604 CPUtime=0
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 133391528 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1792604 CPUtime=0.03
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 1 2 0 0 16 0 13 0 133391530 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1792604 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 133391530 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1792604 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 133391530 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1792604 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1792604 CPUtime=0.68
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 1978 0 0 0 68 0 0 0 16 0 13 0 133391534 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1792604 CPUtime=0.82
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 3972 0 0 0 81 1 0 0 17 0 13 0 133391534 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1792604 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1792604 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1835626496 14076 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 1792604

[startup+3.10214 s]
/proc/loadavg: 0.93 1.03 1.00 2/77 2194
/proc/meminfo: memFree=1666940/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793628 CPUtime=4.48
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 47495 0 1 0 424 24 0 0 18 0 13 0 133391525 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448407 42957 1325 9 0 446018 0
[pid=2181/tid=2183] ppid=2179 vsize=1793628 CPUtime=2.32
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 37728 0 1 0 215 17 0 0 22 0 13 0 133391526 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109555357 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793628 CPUtime=0.02
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 769 0 0 0 2 0 0 0 16 0 13 0 133391528 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793628 CPUtime=0.01
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 669 0 0 0 1 0 0 0 16 0 13 0 133391528 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793628 CPUtime=0.03
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 1 2 0 0 16 0 13 0 133391530 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1793628 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 133391530 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1793628 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 133391530 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1793628 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1793628 CPUtime=0.91
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2294 0 0 0 91 0 0 0 16 0 13 0 133391534 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793628 CPUtime=1.13
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5303 0 0 0 111 2 0 0 16 0 13 0 133391534 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793628 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793628 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2194] ppid=2179 vsize=1793628 CPUtime=0
/proc/2181/task/2194/stat : 2194 (java) S 2179 2181 1390 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133391641 1836675072 42957 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 1793628

[startup+6.30266 s]
/proc/loadavg: 0.93 1.02 1.00 2/77 2195
/proc/meminfo: memFree=1636724/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793596 CPUtime=7.9
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 52795 0 1 0 762 28 0 0 18 0 13 0 133391525 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448399 47269 1327 9 0 446010 0
[pid=2181/tid=2183] ppid=2179 vsize=1793596 CPUtime=5.4
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 40220 0 1 0 522 18 0 0 17 0 13 0 133391526 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109790736 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793596 CPUtime=0.1
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 2208 0 0 0 9 1 0 0 16 0 13 0 133391528 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793596 CPUtime=0.09
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 1990 0 0 0 8 1 0 0 16 0 13 0 133391528 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793596 CPUtime=0.03
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 30 0 0 0 1 2 0 0 16 0 13 0 133391530 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1793596 CPUtime=0.98
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2315 0 0 0 98 0 0 0 15 0 13 0 133391534 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793596 CPUtime=1.24
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5308 0 0 0 122 2 0 0 15 0 13 0 133391534 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2195] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2195/stat : 2195 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 133392018 1836642304 47269 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 1793596

[startup+12.7027 s]
/proc/loadavg: 0.94 1.02 1.00 2/77 2196
/proc/meminfo: memFree=1595180/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793596 CPUtime=14.56
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 58718 0 1 0 1426 30 0 0 18 0 13 0 133391525 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448399 52495 1329 9 0 446010 0
[pid=2181/tid=2183] ppid=2179 vsize=1793596 CPUtime=11.69
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 44051 0 1 0 1149 20 0 0 25 0 13 0 133391526 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109790852 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793596 CPUtime=0.14
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 3269 0 0 0 13 1 0 0 16 0 13 0 133391528 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793596 CPUtime=0.14
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 2983 0 0 0 13 1 0 0 16 0 13 0 133391528 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793596 CPUtime=0.03
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 30 0 0 0 1 2 0 0 16 0 13 0 133391530 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1793596 CPUtime=1.1
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2326 0 0 0 110 0 0 0 17 0 13 0 133391534 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793596 CPUtime=1.38
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5334 0 0 0 136 2 0 0 17 0 13 0 133391534 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2196] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2196/stat : 2196 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 133392528 1836642304 52495 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.56
Current children cumulated vsize (KiB) 1793596

[startup+25.5018 s]
/proc/loadavg: 0.95 1.02 1.00 2/77 2196
/proc/meminfo: memFree=1631660/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793596 CPUtime=27.41
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 60396 0 1 0 2710 31 0 0 18 0 13 0 133391525 1836642304 43801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448399 43801 1330 9 0 446010 0
[pid=2181/tid=2183] ppid=2179 vsize=1793596 CPUtime=24.39
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 44079 0 1 0 2419 20 0 0 25 0 13 0 133391526 1836642304 43801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109772566 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793596 CPUtime=0.21
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 3933 0 0 0 20 1 0 0 15 0 13 0 133391528 1836642304 43801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793596 CPUtime=0.21
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 3968 0 0 0 20 1 0 0 16 0 13 0 133391528 1836642304 43801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793596 CPUtime=0.05
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 30 0 0 0 2 3 0 0 16 0 13 0 133391530 1836642304 43801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2334 0 0 0 114 0 0 0 17 0 13 0 133391534 1836642304 183898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793596 CPUtime=1.44
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5337 0 0 0 142 2 0 0 16 0 13 0 133391534 1836642304 183898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836642304 183898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836642304 183898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2199] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2199/stat : 2199 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 133525843 1836642304 183898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1562.31
Current children cumulated vsize (KiB) 1793596

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 2199
/proc/meminfo: memFree=1069588/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793596 CPUtime=1622.56
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 292028 0 1 0 162099 157 0 0 18 0 13 0 133391525 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448399 183880 1336 9 0 446010 0
[pid=2181/tid=2183] ppid=2179 vsize=1793596 CPUtime=1580.45
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 103494 0 1 0 157994 51 0 0 25 0 13 0 133391526 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109657019 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793596 CPUtime=19.46
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 87850 0 0 0 1909 37 0 0 16 0 13 0 133391528 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793596 CPUtime=19.46
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 92003 0 0 0 1907 39 0 0 16 0 13 0 133391528 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793596 CPUtime=0.53
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 281 0 0 0 29 24 0 0 16 0 13 0 133391530 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1793596 CPUtime=1.14
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2334 0 0 0 114 0 0 0 17 0 13 0 133391534 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793596 CPUtime=1.44
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5337 0 0 0 142 2 0 0 16 0 13 0 133391534 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2199] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2199/stat : 2199 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 133525843 1836642304 183880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1622.56
Current children cumulated vsize (KiB) 1793596

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 2199
/proc/meminfo: memFree=1069268/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793596 CPUtime=1683.04
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 295086 0 1 0 168145 159 0 0 18 0 13 0 133391525 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448399 183953 1336 9 0 446010 0
[pid=2181/tid=2183] ppid=2179 vsize=1793596 CPUtime=1639.9
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 103526 0 1 0 163939 51 0 0 25 0 13 0 133391526 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109657099 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793596 CPUtime=19.97
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 89320 0 0 0 1959 38 0 0 16 0 13 0 133391528 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793596 CPUtime=19.97
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 93559 0 0 0 1957 40 0 0 16 0 13 0 133391528 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793596 CPUtime=0.54
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 281 0 0 0 30 24 0 0 16 0 13 0 133391530 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1793596 CPUtime=1.14
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2334 0 0 0 114 0 0 0 17 0 13 0 133391534 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793596 CPUtime=1.44
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5337 0 0 0 142 2 0 0 16 0 13 0 133391534 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2199] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2199/stat : 2199 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 133525843 1836642304 183953 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1683.04
Current children cumulated vsize (KiB) 1793596

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 2199
/proc/meminfo: memFree=1067092/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793596 CPUtime=1743.54
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 298193 0 1 0 174193 161 0 0 18 0 13 0 133391525 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448399 184501 1336 9 0 446010 0
[pid=2181/tid=2183] ppid=2179 vsize=1793596 CPUtime=1699.31
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 103558 0 1 0 169880 51 0 0 25 0 13 0 133391526 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109661318 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793596 CPUtime=20.52
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 91092 0 0 0 2013 39 0 0 16 0 13 0 133391528 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793596 CPUtime=20.52
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 94862 0 0 0 2011 41 0 0 16 0 13 0 133391528 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793596 CPUtime=0.54
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 281 0 0 0 30 24 0 0 16 0 13 0 133391530 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1793596 CPUtime=1.14
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2334 0 0 0 114 0 0 0 17 0 13 0 133391534 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793596 CPUtime=1.44
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5337 0 0 0 142 2 0 0 16 0 13 0 133391534 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2199] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2199/stat : 2199 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 133525843 1836642304 184501 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1743.54
Current children cumulated vsize (KiB) 1793596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 2199
/proc/meminfo: memFree=1066452/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=1793596 CPUtime=1800.03
/proc/2181/stat : 2181 (java) S 2179 2181 1390 0 -1 0 300961 0 1 0 179840 163 0 0 18 0 13 0 133391525 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 448399 184643 1336 9 0 446010 0
[pid=2181/tid=2183] ppid=2179 vsize=1793596 CPUtime=1754.74
/proc/2181/task/2183/stat : 2183 (java) R 2179 2181 1390 0 -1 64 103588 0 1 0 175423 51 0 0 24 0 13 0 133391526 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109772497 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=1793596 CPUtime=21.04
/proc/2181/task/2184/stat : 2184 (java) S 2179 2181 1390 0 -1 64 92774 0 0 0 2065 39 0 0 16 0 13 0 133391528 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2185] ppid=2179 vsize=1793596 CPUtime=21.04
/proc/2181/task/2185/stat : 2185 (java) S 2179 2181 1390 0 -1 64 95918 0 0 0 2063 41 0 0 16 0 13 0 133391528 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2186] ppid=2179 vsize=1793596 CPUtime=0.55
/proc/2181/task/2186/stat : 2186 (java) S 2179 2181 1390 0 -1 64 281 0 0 0 30 25 0 0 15 0 13 0 133391530 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2181/tid=2187] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2187/stat : 2187 (java) S 2179 2181 1390 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2188] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2188/stat : 2188 (java) S 2179 2181 1390 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 133391530 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2189] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2189/stat : 2189 (java) S 2179 2181 1390 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 133391534 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2190] ppid=2179 vsize=1793596 CPUtime=1.14
/proc/2181/task/2190/stat : 2190 (java) S 2179 2181 1390 0 -1 64 2334 0 0 0 114 0 0 0 17 0 13 0 133391534 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2191] ppid=2179 vsize=1793596 CPUtime=1.44
/proc/2181/task/2191/stat : 2191 (java) S 2179 2181 1390 0 -1 64 5337 0 0 0 142 2 0 0 16 0 13 0 133391534 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2192] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2192/stat : 2192 (java) S 2179 2181 1390 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 133391534 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2193] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2193/stat : 2193 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133391534 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2181/tid=2199] ppid=2179 vsize=1793596 CPUtime=0
/proc/2181/task/2199/stat : 2199 (java) S 2179 2181 1390 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 133525843 1836642304 184643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1793596

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

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

[startup+1778.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 2199
/proc/meminfo: memFree=1066452/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=0 CPUtime=1800.21
/proc/2181/stat : 2181 (java) Z 2179 2181 1390 0 -1 1036 300986 0 1 0 179857 164 0 0 15 0 2 0 133391525 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

[startup+1778.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 2199
/proc/meminfo: memFree=1066452/2055920 swapFree=4184060/4192956
[pid=2181] ppid=2179 vsize=0 CPUtime=1800.3
/proc/2181/stat : 2181 (java) Z 2179 2181 1390 0 -1 1036 300986 0 1 0 179857 173 0 0 15 0 2 0 133391525 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2181/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1778.52
CPU time (s): 1800.33
CPU user time (s): 1798.58
CPU system time (s): 1.75273
CPU usage (%): 101.226
Max. virtual memory (cumulated for all children) (KiB): 1794652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.75273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300986
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= 55901
involuntary context switches= 40260

runsolver used 2.08068 second user time and 5.2332 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Sat Apr 14 18:07:01 UTC 2007

IDJOB= 351019
IDBENCH= 1642
IDSOLVER= 164
FILE ID= node69/351019-1176574021

PBS_JOBID= 4556919

Free space on /tmp= 66561 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351019-1176574021/sat4jPseudoCPClause.jar /tmp/evaluation/351019-1176574021/instance-351019-1176574021.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-351019-1176574021 -o ROOT/results/node69/solver-351019-1176574021 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351019-1176574021/sat4jPseudoCPClause.jar /tmp/evaluation/351019-1176574021/instance-351019-1176574021.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  6a8d837851671f69c34bdd14861bc7ba

RANDOM SEED= 651494363

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1803132 kB
Buffers:          3100 kB
Cached:         150936 kB
SwapCached:       2976 kB
Active:          56456 kB
Inactive:       111696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803132 kB
SwapTotal:     4192956 kB
SwapFree:      4184060 kB
Dirty:            3704 kB
Writeback:           0 kB
Mapped:          20128 kB
Slab:            70532 kB
Committed_AS:   751912 kB
PageTables:       1488 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= 66561 MiB

End job on node69 on Sat Apr 14 18:36:41 UTC 2007