Trace number 44019

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)155 1800.43 1777.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb
MD5SUMd6a4c3ac1d0b6ea0e8794ac4dcbcb530
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark155
Best CPU time to get the best result obtained on this benchmark1800.43
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 152
Optimality of the best value was proved NO
Number of variables1705
Total number of constraints98
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 constraints98
Minimum length of a constraint30
Maximum length of a constraint420
Number of terms in the objective function 1615
Biggest coefficient in the objective function 18850
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525584
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525584
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15	c no version file found!!!
0.15	c sun.arch.data.model	32
0.15	c java.version	1.5.0_06
0.15	c os.name	Linux
0.15	c os.version	2.6.9-22.EL.rootsmp
0.15	c os.arch	i386
0.15	c Free memory 1548419056
0.15	c Max memory 1551040512
0.15	c Total memory 1551040512
0.15	c Number of processors 2
0.20	c Cutting planes based inference
0.20	c --- Begin Solver configuration ---
0.20	c org.sat4j.minisat.uip.FirstUIP@1037c71
0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d
0.20	c org.sat4j.minisat.learning.MiniSATLearning@1546e25
0.20	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20	c No reason simplification
0.20	c --- End Solver configuration ---
0.20	c solving ROOT/tmp/node61/44019-1149352300/instance-44019-1149352300.opb
0.20	c reading problem ... 
0.68	c ... done. Time 0.476 ms.
0.68	c #vars     1705
0.68	c #constraints  134
575.43	c SATISFIABLE
575.43	c OPTIMIZING...
575.43	c Got one! Ellapsed CPU time (in seconds):575.225
575.45	o 196
774.33	c Got one! Ellapsed CPU time (in seconds):774.13
774.33	o 168
1160.75	c Got one! Ellapsed CPU time (in seconds):1160.551
1160.75	o 155
1777.44	c starts		: 24
1777.44	c conflicts		: 7387
1777.44	c decisions		: 143296
1777.44	c propagations		: 434197
1777.44	c inspects		: 39133819
1777.44	c learnt literals	: 0
1777.44	c learnt binary clauses	: 0
1777.44	c learnt ternary clauses	: 0
1777.44	c learnt clauses	: 7387
1777.44	c root simplifications	: 0
1777.44	c removed literals (reason simplification)	: 0
1777.44	c reason swapping (by a shorter reason)	: 0
1777.44	c Calls to reduceDB	: 0
1777.44	c speed (decisions/second)	: 232.3679981578687
1777.44	c non guided choices	612
1777.44	s SATISFIABLE
1777.47	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
1777.47	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
1777.47	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
1777.47	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
1777.47	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1777.47	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1777.47	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1777.47	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1777.47	v -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1777.47	v -x210 -x211 x212 -x213 x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1777.47	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1777.47	v -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1777.47	v x273 -x274 -x275 -x276 x277 -x278 x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1777.47	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1777.47	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 x336
1777.47	v -x337 x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1777.47	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 -x375 -x376 -x377 -x378
1777.47	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399
1777.47	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1777.47	v -x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441
1777.47	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1777.47	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 x482 -x483
1777.47	v -x484 -x485 -x486 x487 -x488 x489 -x490 x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1777.47	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526
1777.47	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1777.47	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1777.47	v -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1777.47	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1777.47	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1777.47	v x632 -x633 -x634 -x635 x636 -x637 x638 -x639 x640 x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1777.47	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674
1777.47	v x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695
1777.47	v x696 x697 -x698 -x699 x700 x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
1777.47	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738
1777.47	v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759
1777.47	v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
1777.47	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801
1777.47	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822
1777.47	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843
1777.47	v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864
1777.47	v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885
1777.47	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906
1777.47	v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927
1777.47	v -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 x945 -x946 -x947 -x948
1777.47	v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1777.47	v -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
1777.47	v -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009
1777.47	v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027
1777.47	v -x1028 x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1777.47	v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
1777.47	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1777.47	v -x1080 -x1081 x1082 x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1777.47	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1777.47	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1777.47	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149
1777.47	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1777.47	v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184
1777.47	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1777.47	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
1777.47	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
1777.47	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252
1777.47	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1777.47	v -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1777.47	v -x1288 -x1289 -x1290 -x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 x1305
1777.47	v x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322
1777.47	v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339
1777.47	v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356
1777.47	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373
1777.47	v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
1777.47	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
1777.47	v -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 x1415 x1416 x1417 x1418 x1419 x1420 -x1421 -x1422 x1423 x1424 x1425 -x1426
1777.47	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
1777.47	v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460
1777.47	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 x1474 x1475 -x1476 -x1477 -x1478
1777.47	v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495
1777.47	v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512
1777.47	v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529
1777.47	v -x1530 x1531 -x1532 x1533 x1534 x1535 -x1536 -x1537 -x1538 x1539 x1540 -x1541 -x1542 x1543 -x1544 -x1545 x1546 -x1547 -x1548
1777.47	v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565
1777.47	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582
1777.47	v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601
1777.47	v -x1602 x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1777.47	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636
1777.47	v x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654
1777.47	v x1655 -x1656 x1657 x1658 x1659 x1660 -x1661 x1662 x1663 x1664 x1665 -x1666 x1667 x1668 -x1669 x1670 -x1671 x1672 x1673 x1674
1777.47	v x1675 -x1676 x1677 -x1678 x1679 x1680 -x1681 x1682 x1683 x1684 x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 x1692 x1693
1777.47	v x1694 -x1695 -x1696 -x1697 x1698 x1699 x1700 -x1701 x1702 -x1703 x1704 x1705
1777.48	c objective function=155
1777.48	c Total wall clock time (ms): 1777.274

Verifier Data (download as text)

OK	155

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/node61/watcher-44019-1149352300 -o ROOT/results/node61/solver-44019-1149352300 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/44019-1149352300/instance-44019-1149352300.opb 403795672 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.97 2/64 8215
/proc/meminfo: memFree=1566248/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=172 CPUtime=0
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 200897884 176128 24 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 0 0 0
/proc/8215/statm: 43 24 18 14 0 3 0

[startup+10.0015 s]
/proc/loadavg: 0.93 0.97 0.97 2/76 8227
/proc/meminfo: memFree=1380048/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=11.21
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 53550 0 1 0 1099 22 0 0 25 0 13 0 200897884 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071575982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 48268 1907 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=0.07
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 1919 0 0 0 7 0 0 0 16 0 13 0 200897887 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=0.07
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 1754 0 0 0 7 0 0 0 16 0 13 0 200897887 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 200897894 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.82
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2892 0 0 0 82 0 0 0 16 0 13 0 200897894 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.85
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2398 0 0 0 85 0 0 0 16 0 13 0 200897894 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8227] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8227/stat : 8227 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 200897955 1755598848 48268 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (Kb) 1714452

[startup+20.0085 s]
/proc/loadavg: 0.94 0.97 0.97 2/76 8227
/proc/meminfo: memFree=1396816/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=21.25
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 54093 0 1 0 2102 23 0 0 25 0 13 0 200897884 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071354026 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 44088 1907 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=0.1
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 2128 0 0 0 10 0 0 0 16 0 13 0 200897887 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=0.1
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 2063 0 0 0 9 1 0 0 16 0 13 0 200897887 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.01
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 200897890 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 200897894 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.82
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2892 0 0 0 82 0 0 0 16 0 13 0 200897894 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.85
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2398 0 0 0 85 0 0 0 16 0 13 0 200897894 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8227] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8227/stat : 8227 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 200897955 1755598848 44088 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.25
Current children cumulated vsize (Kb) 1714452

[startup+30.0155 s]
/proc/loadavg: 0.95 0.97 0.97 2/76 8227
/proc/meminfo: memFree=1399440/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=31.34
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 54971 0 1 0 3110 24 0 0 18 0 13 0 200897884 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071576009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 43445 1910 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=0.12
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 2494 0 0 0 12 0 0 0 16 0 13 0 200897887 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=0.14
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 2452 0 0 0 13 1 0 0 15 0 13 0 200897887 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.01
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 200897890 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 200897894 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.89
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2986 0 0 0 88 1 0 0 17 0 13 0 200897894 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.87
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2401 0 0 0 87 0 0 0 17 0 13 0 200897894 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8227] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8227/stat : 8227 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 200897955 1755598848 43445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.34
Current children cumulated vsize (Kb) 1714452

[startup+40.0225 s]
/proc/loadavg: 0.96 0.97 0.97 2/76 8227
/proc/meminfo: memFree=1404048/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=41.42
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 55807 0 1 0 4117 25 0 0 17 0 13 0 200897884 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071417487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8215/statm: 428613 42291 1910 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=0.16
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 2898 0 0 0 15 1 0 0 15 0 13 0 200897887 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=0.17
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 2852 0 0 0 16 1 0 0 15 0 13 0 200897887 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.01
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 37 0 0 0 0 1 0 0 16 0 13 0 200897890 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.94
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2988 0 0 0 93 1 0 0 17 0 13 0 200897894 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.88
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2401 0 0 0 88 0 0 0 17 0 13 0 200897894 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8227] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8227/stat : 8227 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897955 1755598848 42291 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.42
Current children cumulated vsize (Kb) 1714452

[startup+50.0332 s]
/proc/loadavg: 0.96 0.97 0.97 2/76 8227
/proc/meminfo: memFree=1406608/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=51.43
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 56107 0 1 0 5118 25 0 0 17 0 13 0 200897884 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071417371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8215/statm: 428613 41667 1910 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=0.17
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 3065 0 0 0 16 1 0 0 15 0 13 0 200897887 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=0.18
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 2964 0 0 0 17 1 0 0 16 0 13 0 200897887 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.01
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 37 0 0 0 0 1 0 0 15 0 13 0 200897890 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.94
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2988 0 0 0 93 1 0 0 17 0 13 0 200897894 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.88
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2401 0 0 0 88 0 0 0 17 0 13 0 200897894 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8227] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8227/stat : 8227 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897955 1755598848 41667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.43
Current children cumulated vsize (Kb) 1714452

[startup+60.0402 s]
/proc/loadavg: 0.97 0.97 0.97 2/76 8227
/proc/meminfo: memFree=1408336/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=61.48
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 57301 0 1 0 6122 26 0 0 22 0 13 0 200897884 1755598848 41242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071626786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8215/statm: 428613 41242 1910 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=0.22
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 3552 0 0 0 21 1 0 0 16 0 13 0 200897887 1755598848 41242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=0.24
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 3638 0 0 0 22 2 0 0 16 0 13 0 200897887 1755598848 41242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.02
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 40 0 0 0 0 2 0 0 16 0 13 0 200897890 1755598848 41242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 41242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 41242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 41242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.98
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2990 0 0 0 97 1 0 0 17 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.91
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2403 0 0 0 91 0 0 0 17 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8232] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8232/stat : 8232 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201013960 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (Kb) 1714452

[startup+1774.39 s]
/proc/loadavg: 1.05 1.03 1.00 2/82 8331
/proc/meminfo: memFree=920184/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=1797.08
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 227399 0 1 0 179552 156 0 0 25 0 13 0 200897884 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071457187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 162485 1911 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=22.53
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 67343 0 0 0 2215 38 0 0 16 0 13 0 200897887 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=22.61
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 66278 0 0 0 2224 37 0 0 16 0 13 0 200897887 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.59
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 144 0 0 0 33 26 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.98
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2990 0 0 0 97 1 0 0 17 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.91
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2403 0 0 0 91 0 0 0 17 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8232] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8232/stat : 8232 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201013960 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.08
Current children cumulated vsize (Kb) 1714452

[startup+1775.4 s]
/proc/loadavg: 1.05 1.03 1.00 2/82 8331
/proc/meminfo: memFree=920184/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=1798.09
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 227399 0 1 0 179653 156 0 0 25 0 13 0 200897884 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071417081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 162485 1911 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=22.53
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 67343 0 0 0 2215 38 0 0 16 0 13 0 200897887 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=22.61
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 66278 0 0 0 2224 37 0 0 16 0 13 0 200897887 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.59
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 144 0 0 0 33 26 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.98
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2990 0 0 0 97 1 0 0 17 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.91
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2403 0 0 0 91 0 0 0 17 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8232] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8232/stat : 8232 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201013960 1755598848 162485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.09
Current children cumulated vsize (Kb) 1714452

[startup+1776.4 s]
/proc/loadavg: 1.05 1.03 1.00 2/82 8345
/proc/meminfo: memFree=918072/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=1799.15
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 227983 0 1 0 179758 157 0 0 17 0 13 0 200897884 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071417593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 163006 1911 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=22.58
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 67547 0 0 0 2220 38 0 0 16 0 13 0 200897887 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=22.67
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 66655 0 0 0 2229 38 0 0 16 0 13 0 200897887 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.59
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 144 0 0 0 33 26 0 0 16 0 13 0 200897890 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.98
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2990 0 0 0 97 1 0 0 17 0 13 0 200897894 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.91
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2403 0 0 0 91 0 0 0 17 0 13 0 200897894 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8232] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8232/stat : 8232 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201013960 1755598848 163006 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (Kb) 1714452

[startup+1777.41 s]
/proc/loadavg: 1.05 1.03 1.00 2/82 8345
/proc/meminfo: memFree=918008/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=1800.17
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 227986 0 1 0 179859 158 0 0 25 0 13 0 200897884 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 163008 1911 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=22.59
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 67549 0 0 0 2221 38 0 0 16 0 13 0 200897887 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=22.68
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 66655 0 0 0 2230 38 0 0 16 0 13 0 200897887 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.59
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 144 0 0 0 33 26 0 0 16 0 13 0 200897890 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.98
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2990 0 0 0 97 1 0 0 17 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.91
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2403 0 0 0 91 0 0 0 17 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8232] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8232/stat : 8232 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201013960 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (Kb) 1714452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1777.42 s]
/proc/loadavg: 1.05 1.03 1.00 2/82 8345
/proc/meminfo: memFree=918008/2055920 swapFree=4180908/4192956
[pid=8215] ppid=8213 vsize=1714452 CPUtime=1800.17
/proc/8215/stat : 8215 (java) R 8213 8215 8169 0 -1 0 227986 0 1 0 179859 158 0 0 25 0 13 0 200897884 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071499065 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8215/statm: 428613 163008 1911 14 0 415360 0
[pid=8215/tid=8216] ppid=8213 vsize=1714452 CPUtime=22.59
/proc/8215/task/8216/stat : 8216 (java) S 8213 8215 8169 0 -1 64 67549 0 0 0 2221 38 0 0 16 0 13 0 200897887 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8217] ppid=8213 vsize=1714452 CPUtime=22.68
/proc/8215/task/8217/stat : 8217 (java) S 8213 8215 8169 0 -1 64 66655 0 0 0 2230 38 0 0 16 0 13 0 200897887 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8218] ppid=8213 vsize=1714452 CPUtime=0.59
/proc/8215/task/8218/stat : 8218 (java) S 8213 8215 8169 0 -1 64 144 0 0 0 33 26 0 0 16 0 13 0 200897890 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8219] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8219/stat : 8219 (java) S 8213 8215 8169 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8220] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8220/stat : 8220 (java) S 8213 8215 8169 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200897890 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8221] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8221/stat : 8221 (java) S 8213 8215 8169 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8222] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8222/stat : 8222 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8223] ppid=8213 vsize=1714452 CPUtime=0.98
/proc/8215/task/8223/stat : 8223 (java) S 8213 8215 8169 0 -1 64 2990 0 0 0 97 1 0 0 17 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8224] ppid=8213 vsize=1714452 CPUtime=0.91
/proc/8215/task/8224/stat : 8224 (java) S 8213 8215 8169 0 -1 64 2403 0 0 0 91 0 0 0 17 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8215/tid=8225] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8225/stat : 8225 (java) S 8213 8215 8169 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8226] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8226/stat : 8226 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200897894 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8215/tid=8232] ppid=8213 vsize=1714452 CPUtime=0
/proc/8215/task/8232/stat : 8232 (java) S 8213 8215 8169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201013960 1755598848 163008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (Kb) 1714452

Sending SIGTERM to -8215
Sleeping 2 seconds

Child status: 143
Real time (s): 1777.61
CPU time (s): 1800.43
CPU user time (s): 1798.75
CPU system time (s): 1.68274
CPU usage (%): 101.284
Max. virtual memory (cumulated for all children) (Kb): 1714452

Launcher Data (download as text)

Begin job on node61 on Sat Jun  3 16:31:40 UTC 2006


FILE ID= 44019-1149352300

PBS_JOBID= 311069

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/44019-1149352300/instance-44019-1149352300.opb 403795672
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-44019-1149352300 -o ROOT/results/node61/solver-44019-1149352300 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/44019-1149352300/instance-44019-1149352300.opb 403795672

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  d6a4c3ac1d0b6ea0e8794ac4dcbcb530

RANDOM SEED= 403795672


/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.232
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.232
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:       1566456 kB
Buffers:         16688 kB
Cached:         406560 kB
SwapCached:       3724 kB
Active:          60060 kB
Inactive:       371892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1566456 kB
SwapTotal:     4192956 kB
SwapFree:      4180908 kB
Dirty:             140 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            43620 kB
Committed_AS:   367640 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node61 on Sat Jun  3 17:01:18 UTC 2006