Trace number 360620

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 NameAnswerCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT 43.2394 38.2597

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
MD5SUM409a20f37901eec51bb3d0d7a35b01e1
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.11007
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 368
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-360620-1176971400 -o ROOT/results/node7/solver-360620-1176971400 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360620-1176971400/sat4jPseudoCP.jar /tmp/evaluation/360620-1176971400/instance-360620-1176971400.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: 1.01 1.03 1.00 2/77 30672
/proc/meminfo: memFree=1662904/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1800 CPUtime=0
/proc/30672/stat : 30672 (java) R 30670 30672 29987 0 -1 0 149 0 0 0 0 0 0 0 18 0 1 0 173177722 1843200 122 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 10851963 0 0 4096 0 0 0 0 17 1 0 0
/proc/30672/statm: 450 126 90 9 0 92 0

[startup+0.0622241 s]
/proc/loadavg: 1.01 1.03 1.00 2/77 30672
/proc/meminfo: memFree=1662904/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1777060 CPUtime=0.04
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 3521 0 1 0 2 2 0 0 18 0 5 0 173177722 1819709440 3266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 444265 3266 1046 9 0 441901 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1777060

[startup+0.101227 s]
/proc/loadavg: 1.01 1.03 1.00 2/77 30672
/proc/meminfo: memFree=1662904/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1777844 CPUtime=0.08
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 3870 0 1 0 6 2 0 0 18 0 7 0 173177722 1820512256 3613 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 444461 3613 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777844

[startup+0.301249 s]
/proc/loadavg: 1.01 1.03 1.00 2/77 30672
/proc/meminfo: memFree=1662904/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1781420 CPUtime=0.23
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 4944 0 1 0 20 3 0 0 18 0 12 0 173177722 1824174080 4683 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 445355 4683 1246 9 0 442967 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 1781420

[startup+0.70129 s]
/proc/loadavg: 1.01 1.03 1.00 2/77 30672
/proc/meminfo: memFree=1662904/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1782284 CPUtime=0.76
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 6470 0 1 0 72 4 0 0 18 0 12 0 173177722 1825058816 6038 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 445571 6038 1294 9 0 443183 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 1782284

[startup+1.50238 s]
/proc/loadavg: 1.01 1.03 1.00 2/89 30684
/proc/meminfo: memFree=1638360/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1785420 CPUtime=1.97
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 15805 0 1 0 189 8 0 0 18 0 12 0 173177722 1828270080 14318 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 446355 14320 1303 9 0 443967 0
[pid=30672/tid=30674] ppid=30670 vsize=1785420 CPUtime=0.94
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 12539 0 1 0 88 6 0 0 17 0 12 0 173177723 1828270080 14321 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109570666 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 173177724 1828270080 14322 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 173177724 1828270080 14323 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173177728 1828270080 14325 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 173177728 1828270080 14326 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 173177728 1828270080 14327 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 173177732 1828270080 14328 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1785420 CPUtime=0.54
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 1134 0 0 0 54 0 0 0 17 0 12 0 173177732 1828270080 14329 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1785420 CPUtime=0.46
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 1417 0 0 0 46 0 0 0 16 0 12 0 173177732 1828270080 14331 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173177732 1828270080 14332 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173177732 1828270080 14333 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 1785420

[startup+3.10254 s]
/proc/loadavg: 1.01 1.03 1.00 2/89 30684
/proc/meminfo: memFree=1541656/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1785420 CPUtime=3.6
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 42133 0 1 0 340 20 0 0 18 0 12 0 173177722 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 446355 40636 1312 9 0 443967 0
[pid=30672/tid=30674] ppid=30670 vsize=1785420 CPUtime=2.49
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37674 0 1 0 232 17 0 0 24 0 12 0 173177723 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109570468 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1785420 CPUtime=0.03
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 663 0 0 0 3 0 0 0 16 0 12 0 173177724 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1785420 CPUtime=0.03
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 521 0 0 0 3 0 0 0 17 0 12 0 173177724 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 173177728 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173177728 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173177728 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 173177732 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1785420 CPUtime=0.54
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 1134 0 0 0 54 0 0 0 17 0 12 0 173177732 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1785420 CPUtime=0.46
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 1417 0 0 0 46 0 0 0 16 0 12 0 173177732 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173177732 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1785420 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173177732 1828270080 40636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 1785420

[startup+6.30187 s]
/proc/loadavg: 1.01 1.03 1.00 2/89 30684
/proc/meminfo: memFree=1478552/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1786720 CPUtime=7.07
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 51246 0 1 0 682 25 0 0 18 0 12 0 173177722 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 446680 49209 1312 9 0 444292 0
[pid=30672/tid=30674] ppid=30670 vsize=1786720 CPUtime=5.38
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37679 0 1 0 520 18 0 0 17 0 12 0 173177723 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1786720 CPUtime=0.32
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 4744 0 0 0 30 2 0 0 16 0 12 0 173177724 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1786720 CPUtime=0.32
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 5540 0 0 0 30 2 0 0 17 0 12 0 173177724 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1786720 CPUtime=0
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 173177728 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1786720 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173177728 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1786720 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173177728 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1786720 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 173177732 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1786720 CPUtime=0.54
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 1134 0 0 0 54 0 0 0 17 0 12 0 173177732 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1786720 CPUtime=0.46
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 1417 0 0 0 46 0 0 0 16 0 12 0 173177732 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1786720 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173177732 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1786720 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173177732 1829601280 49209 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 1786720

[startup+12.7017 s]
/proc/loadavg: 1.01 1.02 1.00 2/89 30684
/proc/meminfo: memFree=1418392/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1788640 CPUtime=14.23
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 66807 0 1 0 1390 33 0 0 18 0 12 0 173177722 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 447160 63088 1312 9 0 444772 0
[pid=30672/tid=30674] ppid=30670 vsize=1788640 CPUtime=11
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37688 0 1 0 1081 19 0 0 20 0 12 0 173177723 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1788640 CPUtime=1.09
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 12937 0 0 0 104 5 0 0 17 0 12 0 173177724 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1788640 CPUtime=1.08
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 12897 0 0 0 103 5 0 0 16 0 12 0 173177724 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1788640 CPUtime=0
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 17 0 0 0 0 0 0 0 16 0 12 0 173177728 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1788640 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173177728 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1788640 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173177728 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1788640 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 173177732 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1788640 CPUtime=0.54
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 1134 0 0 0 54 0 0 0 17 0 12 0 173177732 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1788640 CPUtime=0.46
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 1417 0 0 0 46 0 0 0 16 0 12 0 173177732 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1788640 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173177732 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1788640 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173177732 1831567360 63088 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.23
Current children cumulated vsize (KiB) 1788640

[startup+25.5021 s]
/proc/loadavg: 1.23 1.07 1.02 2/90 30685
/proc/meminfo: memFree=1362000/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1798836 CPUtime=30.09
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 91645 0 1 0 2965 44 0 0 18 0 13 0 173177722 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 449709 76638 1333 9 0 447321 0
[pid=30672/tid=30674] ppid=30670 vsize=1798836 CPUtime=22.23
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37759 0 1 0 2202 21 0 0 18 0 13 0 173177723 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109843934 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1798836 CPUtime=1.77
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 16816 0 0 0 171 6 0 0 17 0 13 0 173177724 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1798836 CPUtime=1.76
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 21385 0 0 0 167 9 0 0 16 0 13 0 173177724 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1798836 CPUtime=0
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 173177728 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1798836 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173177728 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1798836 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173177728 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1798836 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 173177732 1842008064 76638 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 7325 0 0 0 203 2 0 0 17 0 13 0 173177732 1841958912 79935 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1798788 CPUtime=2.29
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 7620 0 0 0 226 3 0 0 16 0 13 0 173177732 1841958912 79935 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 173177732 1841958912 79935 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173177732 1841958912 79935 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30685] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30685/stat : 30685 (java) S 30670 30672 29987 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173179529 1841958912 79935 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (KiB) 1798788

[startup+36.7023 s]
/proc/loadavg: 1.20 1.07 1.01 2/90 30685
/proc/meminfo: memFree=1346512/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1798788 CPUtime=41.63
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 96341 0 1 0 4116 47 0 0 18 0 13 0 173177722 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 449697 80643 1334 9 0 447309 0
[pid=30672/tid=30674] ppid=30670 vsize=1798788 CPUtime=33.14
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37772 0 1 0 3293 21 0 0 25 0 13 0 173177723 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110012554 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1798788 CPUtime=2.05
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 19513 0 0 0 197 8 0 0 16 0 13 0 173177724 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1798788 CPUtime=2.02
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 23366 0 0 0 193 9 0 0 17 0 13 0 173177724 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1798788 CPUtime=0.01
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 24 0 0 0 1 0 0 0 16 0 13 0 173177728 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1798788 CPUtime=2.05
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 7325 0 0 0 203 2 0 0 17 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1798788 CPUtime=2.29
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 7620 0 0 0 226 3 0 0 16 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30685] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30685/stat : 30685 (java) S 30670 30672 29987 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173179529 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.63
Current children cumulated vsize (KiB) 1798788

[startup+37.5023 s]
/proc/loadavg: 1.18 1.07 1.01 2/90 30685
/proc/meminfo: memFree=1345040/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1798788 CPUtime=42.43
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 96341 0 1 0 4196 47 0 0 18 0 13 0 173177722 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 449697 80643 1334 9 0 447309 0
[pid=30672/tid=30674] ppid=30670 vsize=1798788 CPUtime=33.94
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37772 0 1 0 3373 21 0 0 25 0 13 0 173177723 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110013459 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1798788 CPUtime=2.05
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 19513 0 0 0 197 8 0 0 16 0 13 0 173177724 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1798788 CPUtime=2.02
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 23366 0 0 0 193 9 0 0 17 0 13 0 173177724 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1798788 CPUtime=0.01
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 24 0 0 0 1 0 0 0 16 0 13 0 173177728 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1798788 CPUtime=2.05
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 7325 0 0 0 203 2 0 0 17 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1798788 CPUtime=2.29
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 7620 0 0 0 226 3 0 0 16 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173177732 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30685] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30685/stat : 30685 (java) S 30670 30672 29987 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173179529 1841958912 80643 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.43
Current children cumulated vsize (KiB) 1798788

[startup+37.9014 s]
/proc/loadavg: 1.18 1.07 1.01 2/90 30685
/proc/meminfo: memFree=1345040/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1798788 CPUtime=42.85
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 96753 0 1 0 4238 47 0 0 18 0 13 0 173177722 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 449697 80967 1334 9 0 447309 0
[pid=30672/tid=30674] ppid=30670 vsize=1798788 CPUtime=34.31
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37773 0 1 0 3410 21 0 0 25 0 13 0 173177723 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110013271 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1798788 CPUtime=2.07
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 19792 0 0 0 199 8 0 0 16 0 13 0 173177724 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1798788 CPUtime=2.06
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 23498 0 0 0 196 10 0 0 16 0 13 0 173177724 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1798788 CPUtime=0.01
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 24 0 0 0 1 0 0 0 16 0 13 0 173177728 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1798788 CPUtime=2.05
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 7325 0 0 0 203 2 0 0 17 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1798788 CPUtime=2.29
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 7620 0 0 0 226 3 0 0 16 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30685] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30685/stat : 30685 (java) S 30670 30672 29987 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173179529 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.85
Current children cumulated vsize (KiB) 1798788

[startup+38.1014 s]
/proc/loadavg: 1.18 1.07 1.01 2/90 30685
/proc/meminfo: memFree=1345040/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1798788 CPUtime=43.05
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 96753 0 1 0 4258 47 0 0 18 0 13 0 173177722 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 449697 80967 1334 9 0 447309 0
[pid=30672/tid=30674] ppid=30670 vsize=1798788 CPUtime=34.51
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 29987 0 -1 64 37773 0 1 0 3430 21 0 0 25 0 13 0 173177723 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109845836 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1798788 CPUtime=2.07
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 19792 0 0 0 199 8 0 0 16 0 13 0 173177724 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1798788 CPUtime=2.06
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 23498 0 0 0 196 10 0 0 16 0 13 0 173177724 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1798788 CPUtime=0.01
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 24 0 0 0 1 0 0 0 16 0 13 0 173177728 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173177728 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1798788 CPUtime=2.05
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 7325 0 0 0 203 2 0 0 17 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1798788 CPUtime=2.29
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 7620 0 0 0 226 3 0 0 16 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30684] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30684/stat : 30684 (java) S 30670 30672 29987 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 173177732 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30685] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30685/stat : 30685 (java) S 30670 30672 29987 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 173179529 1841958912 80967 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 43.05
Current children cumulated vsize (KiB) 1798788

[startup+38.2014 s]
/proc/loadavg: 1.18 1.07 1.01 2/90 30685
/proc/meminfo: memFree=1345040/2055920 swapFree=4159716/4192956
[pid=30672] ppid=30670 vsize=1798788 CPUtime=43.18
/proc/30672/stat : 30672 (java) S 30670 30672 29987 0 -1 0 96764 0 1 0 4271 47 0 0 18 0 10 0 173177722 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30672/statm: 449697 80976 1335 9 0 447309 0
[pid=30672/tid=30674] ppid=30670 vsize=1798788 CPUtime=34.58
/proc/30672/task/30674/stat : 30674 (java) S 30670 30672 29987 0 -1 64 37779 0 1 0 3437 21 0 0 16 0 10 0 173177723 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=1798788 CPUtime=2.07
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 29987 0 -1 64 19792 0 0 0 199 8 0 0 16 0 10 0 173177724 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=1798788 CPUtime=2.06
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 29987 0 -1 64 23498 0 0 0 196 10 0 0 16 0 10 0 173177724 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30677] ppid=30670 vsize=1798788 CPUtime=0.01
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 29987 0 -1 64 24 0 0 0 1 0 0 0 16 0 10 0 173177728 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 29987 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 173177728 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 29987 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 173177728 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=1798788 CPUtime=2.08
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 29987 0 -1 64 7326 0 0 0 206 2 0 0 16 0 10 0 173177732 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30672/tid=30682] ppid=30670 vsize=1798788 CPUtime=2.31
/proc/30672/task/30682/stat : 30682 (java) S 30670 30672 29987 0 -1 64 7620 0 0 0 228 3 0 0 16 0 10 0 173177732 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30672/tid=30683] ppid=30670 vsize=1798788 CPUtime=0
/proc/30672/task/30683/stat : 30683 (java) S 30670 30672 29987 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 173177732 1841958912 80976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.18
Current children cumulated vsize (KiB) 1798788

Child status: 10
Real time (s): 38.2597
CPU time (s): 43.2394
CPU user time (s): 42.7165
CPU system time (s): 0.52292
CPU usage (%): 113.016
Max. virtual memory (cumulated for all children) (KiB): 1799672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.7165
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96764
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= 1940
involuntary context switches= 1800

runsolver used 0.056991 second user time and 0.122981 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Thu Apr 19 08:30:01 UTC 2007

IDJOB= 360620
IDBENCH= 1384
IDSOLVER= 160
FILE ID= node7/360620-1176971400

PBS_JOBID= 4630288

Free space on /tmp= 66335 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360620-1176971400/sat4jPseudoCP.jar /tmp/evaluation/360620-1176971400/instance-360620-1176971400.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-360620-1176971400 -o ROOT/results/node7/solver-360620-1176971400 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360620-1176971400/sat4jPseudoCP.jar /tmp/evaluation/360620-1176971400/instance-360620-1176971400.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  409a20f37901eec51bb3d0d7a35b01e1

RANDOM SEED= 793689164

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1663312 kB
Buffers:         20528 kB
Cached:         305836 kB
SwapCached:      13228 kB
Active:         219184 kB
Inactive:       130752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1663312 kB
SwapTotal:     4192956 kB
SwapFree:      4159716 kB
Dirty:           37720 kB
Writeback:           0 kB
Mapped:          30588 kB
Slab:            28128 kB
Committed_AS:  7124704 kB
PageTables:       1860 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= 66335 MiB

End job on node7 on Thu Apr 19 08:30:39 UTC 2007