Trace number 44585

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
SAT4JPSEUDO 2006.2SAT (TO)17363962 1800.91 1778.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos17.opb
MD5SUM6ec9fbaf74a275630384576eed2d57d7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12238459
Best CPU time to get the best result obtained on this benchmark1800.9
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7508861
Optimality of the best value was proved NO
Number of variables3115
Total number of constraints671
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints671
Minimum length of a constraint11
Maximum length of a constraint780
Number of terms in the objective function 2126
Biggest coefficient in the objective function 27663360
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 110500348
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1677721600000000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 40265324766820451
Number of bits of the biggest sum of numbers56
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	17363962

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node35/watcher-44585-1149305662 -o ROOT/results/node35/solver-44585-1149305662 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node35/44585-1149305662/instance-44585-1149305662.opb 83206401 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 3657
/proc/meminfo: memFree=1540360/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1784 CPUtime=0
/proc/3657/stat : 3657 (java) D 3655 3657 3611 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 196230120 1826816 146 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3657/statm: 446 146 111 14 0 91 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.95 0.90 2/76 3672
/proc/meminfo: memFree=1363888/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=11.43
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 51124 0 1 0 1119 24 0 0 25 0 13 0 196230120 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071546516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3657/statm: 428285 45908 1908 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=0.23
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 4737 0 0 0 20 3 0 0 16 0 13 0 196230123 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=0.22
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 4865 0 0 0 20 2 0 0 16 0 13 0 196230123 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196230126 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=0.97
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2039 0 0 0 97 0 0 0 17 0 13 0 196230137 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.85
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1748 0 0 0 85 0 0 0 17 0 13 0 196230137 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3672] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3672/stat : 3672 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196230946 1754255360 45908 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (Kb) 1713140

[startup+20.0099 s]
/proc/loadavg: 0.94 0.96 0.91 2/76 3674
/proc/meminfo: memFree=1366064/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=21.49
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 54034 0 1 0 2123 26 0 0 25 0 13 0 196230120 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071427697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3657/statm: 428285 45330 1908 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=0.28
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 5533 0 0 0 25 3 0 0 15 0 13 0 196230123 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=0.25
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 5846 0 0 0 23 2 0 0 16 0 13 0 196230123 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 196230126 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=0.98
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2040 0 0 0 98 0 0 0 16 0 13 0 196230137 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.87
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 87 0 0 0 16 0 13 0 196230137 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3674] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3674/stat : 3674 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196231227 1754255360 45330 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.49
Current children cumulated vsize (Kb) 1713140

[startup+30.0182 s]
/proc/loadavg: 0.95 0.96 0.91 2/76 3674
/proc/meminfo: memFree=1378288/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=31.56
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 54564 0 1 0 3129 27 0 0 25 0 13 0 196230120 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071524303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3657/statm: 428285 42289 1908 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=0.3
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 5871 0 0 0 27 3 0 0 16 0 13 0 196230123 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=0.28
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 6005 0 0 0 26 2 0 0 16 0 13 0 196230123 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.02
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 33 0 0 0 1 1 0 0 16 0 13 0 196230126 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=0.98
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2040 0 0 0 98 0 0 0 16 0 13 0 196230137 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.87
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 87 0 0 0 16 0 13 0 196230137 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3674] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3674/stat : 3674 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196231227 1754255360 42289 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.56
Current children cumulated vsize (Kb) 1713140

[startup+40.0814 s]
/proc/loadavg: 0.95 0.96 0.91 2/76 3674
/proc/meminfo: memFree=1382000/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=41.59
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 55175 0 1 0 4131 28 0 0 25 0 13 0 196230120 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071427792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3657/statm: 428285 41365 1908 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=0.33
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 6137 0 0 0 30 3 0 0 16 0 13 0 196230123 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=0.3
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 6311 0 0 0 28 2 0 0 16 0 13 0 196230123 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.03
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 33 0 0 0 1 2 0 0 16 0 13 0 196230126 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=0.98
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2040 0 0 0 98 0 0 0 16 0 13 0 196230137 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.87
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 87 0 0 0 16 0 13 0 196230137 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3674] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3674/stat : 3674 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196231227 1754255360 41365 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.59
Current children cumulated vsize (Kb) 1713140

[startup+50.0886 s]
/proc/loadavg: 0.96 0.96 0.91 2/76 3674
/proc/meminfo: memFree=1386480/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=51.62
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 56306 0 1 0 5133 29 0 0 25 0 13 0 196230120 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071440499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3657/statm: 428285 40233 1908 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=0.37
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 6706 0 0 0 34 3 0 0 16 0 13 0 196230123 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=0.35
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 6832 0 0 0 32 3 0 0 16 0 13 0 196230123 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.04
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 33 0 0 0 2 2 0 0 16 0 13 0 196230126 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=0.98
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2040 0 0 0 98 0 0 0 16 0 13 0 196230137 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.87
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 87 0 0 0 16 0 13 0 196230137 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3674] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3674/stat : 3674 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196231227 1754255360 40233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.62
Current children cumulated vsize (Kb) 1713140

[startup+60.0958 s]
/proc/loadavg: 0.97 0.96 0.91 2/76 3676
/proc/meminfo: memFree=1336112/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=61.71
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 69853 0 1 0 6135 36 0 0 21 0 13 0 196230120 1754255360 52836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071537954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3657/statm: 428285 52836 1908 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=0.44
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 7874 0 0 0 40 4 0 0 16 0 13 0 196230123 1754255360 52836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=0.41
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 7862 0 0 0 37 4 0 0 15 0 13 0 196230123 1754255360 52836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.04
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 61 0 0 0 2 2 0 0 16 0 13 0 196230126 1754255360 52836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 52836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 52836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 52836 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=1.03
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2042 0 0 0 103 0 0 0 17 0 13 0 196230137 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.89
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 89 0 0 0 16 0 13 0 196230137 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3682] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3682/stat : 3682 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196367568 1754255360 161817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 1713140

[startup+1775.45 s]
/proc/loadavg: 1.00 1.00 0.95 2/76 3877
/proc/meminfo: memFree=898576/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=1797.61
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 258172 0 1 0 179545 216 0 0 21 0 13 0 196230120 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071538008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3657/statm: 428285 161794 1910 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=21.94
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 73150 0 0 0 2141 53 0 0 16 0 13 0 196230123 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=21.96
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 74179 0 0 0 2144 52 0 0 16 0 13 0 196230123 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.94
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 214 0 0 0 51 43 0 0 16 0 13 0 196230126 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=1.03
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2042 0 0 0 103 0 0 0 17 0 13 0 196230137 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.89
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 89 0 0 0 16 0 13 0 196230137 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3682] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3682/stat : 3682 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196367568 1754255360 161794 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 1713140

[startup+1776.46 s]
/proc/loadavg: 1.00 1.00 0.95 2/76 3877
/proc/meminfo: memFree=898512/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=1798.63
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 258207 0 1 0 179647 216 0 0 25 0 13 0 196230120 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071537168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3657/statm: 428285 161826 1910 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=21.96
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 73155 0 0 0 2143 53 0 0 16 0 13 0 196230123 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=21.98
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 74207 0 0 0 2146 52 0 0 16 0 13 0 196230123 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.94
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 214 0 0 0 51 43 0 0 16 0 13 0 196230126 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=1.03
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2042 0 0 0 103 0 0 0 17 0 13 0 196230137 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.89
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 89 0 0 0 16 0 13 0 196230137 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3682] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3682/stat : 3682 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196367568 1754255360 161826 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 1713140

[startup+1777.46 s]
/proc/loadavg: 1.00 1.00 0.95 2/76 3877
/proc/meminfo: memFree=898448/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=1799.65
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 258230 0 1 0 179749 216 0 0 17 0 13 0 196230120 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071427721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3657/statm: 428285 161846 1910 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=21.98
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 73168 0 0 0 2145 53 0 0 16 0 13 0 196230123 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=22
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 74215 0 0 0 2148 52 0 0 15 0 13 0 196230123 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.94
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 214 0 0 0 51 43 0 0 16 0 13 0 196230126 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=1.03
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2042 0 0 0 103 0 0 0 17 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.89
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 89 0 0 0 16 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3682] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3682/stat : 3682 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196367568 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 1713140

[startup+1778.47 s]
/proc/loadavg: 1.00 1.00 0.95 2/76 3877
/proc/meminfo: memFree=898448/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=1800.67
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 258231 0 1 0 179851 216 0 0 25 0 13 0 196230120 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071524303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3657/statm: 428285 161846 1910 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=21.99
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 73168 0 0 0 2146 53 0 0 15 0 13 0 196230123 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=22.01
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 74215 0 0 0 2149 52 0 0 16 0 13 0 196230123 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.94
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 214 0 0 0 51 43 0 0 15 0 13 0 196230126 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=1.03
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2042 0 0 0 103 0 0 0 17 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.89
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 89 0 0 0 16 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3682] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3682/stat : 3682 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196367568 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (Kb) 1713140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.47 s]
/proc/loadavg: 1.00 1.00 0.95 2/76 3877
/proc/meminfo: memFree=898448/2055920 swapFree=4180888/4192956
[pid=3657] ppid=3655 vsize=1713140 CPUtime=1800.67
/proc/3657/stat : 3657 (java) R 3655 3657 3611 0 -1 0 258231 0 1 0 179851 216 0 0 25 0 13 0 196230120 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071538873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3657/statm: 428285 161846 1910 14 0 415032 0
[pid=3657/tid=3658] ppid=3655 vsize=1713140 CPUtime=21.99
/proc/3657/task/3658/stat : 3658 (java) S 3655 3657 3611 0 -1 64 73168 0 0 0 2146 53 0 0 15 0 13 0 196230123 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3659] ppid=3655 vsize=1713140 CPUtime=22.01
/proc/3657/task/3659/stat : 3659 (java) S 3655 3657 3611 0 -1 64 74215 0 0 0 2149 52 0 0 16 0 13 0 196230123 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3660] ppid=3655 vsize=1713140 CPUtime=0.94
/proc/3657/task/3660/stat : 3660 (java) S 3655 3657 3611 0 -1 64 214 0 0 0 51 43 0 0 15 0 13 0 196230126 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3661] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3661/stat : 3661 (java) S 3655 3657 3611 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196230127 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3662] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3662/stat : 3662 (java) S 3655 3657 3611 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196230127 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3663] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3663/stat : 3663 (java) S 3655 3657 3611 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3664] ppid=3655 vsize=1713140 CPUtime=0.01
/proc/3657/task/3664/stat : 3664 (java) S 3655 3657 3611 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3665] ppid=3655 vsize=1713140 CPUtime=1.03
/proc/3657/task/3665/stat : 3665 (java) S 3655 3657 3611 0 -1 64 2042 0 0 0 103 0 0 0 17 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3666] ppid=3655 vsize=1713140 CPUtime=0.89
/proc/3657/task/3666/stat : 3666 (java) S 3655 3657 3611 0 -1 64 1749 0 0 0 89 0 0 0 16 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3667] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3667/stat : 3667 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3657/tid=3668] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3668/stat : 3668 (java) S 3655 3657 3611 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196230137 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3657/tid=3682] ppid=3655 vsize=1713140 CPUtime=0
/proc/3657/task/3682/stat : 3682 (java) S 3655 3657 3611 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196367568 1754255360 161846 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (Kb) 1713140

Sending SIGTERM to -3657
Sleeping 2 seconds

Child status: 143
Real time (s): 1778.66
CPU time (s): 1800.91
CPU user time (s): 1798.66
CPU system time (s): 2.25866
CPU usage (%): 101.251
Max. virtual memory (cumulated for all children) (Kb): 1713140

Launcher Data (download as text)

Begin job on node35 on Sat Jun  3 03:34:22 UTC 2006


FILE ID= 44585-1149305662

PBS_JOBID= 307614

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node35/44585-1149305662/instance-44585-1149305662.opb 83206401
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-44585-1149305662 -o ROOT/results/node35/solver-44585-1149305662 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node35/44585-1149305662/instance-44585-1149305662.opb 83206401

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  6ec9fbaf74a275630384576eed2d57d7

RANDOM SEED= 83206401


/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.210
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.210
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:       1540632 kB
Buffers:         28240 kB
Cached:         418660 kB
SwapCached:       3872 kB
Active:          81980 kB
Inactive:       373736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1540632 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            45628 kB
Committed_AS:   350620 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Sat Jun  3 04:04:01 UTC 2006