Trace number 42211

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4JPSEUDO 2006.2 HeuristicsSAT 81.3396 78.4444

General information on the benchmark

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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

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/node34/watcher-42211-1149226967 -o ROOT/results/node34/solver-42211-1149226967 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/42211-1149226967/instance-42211-1149226967.opb 306981094 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.38 0.73 0.82 2/64 12472
/proc/meminfo: memFree=1045024/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1784 CPUtime=0
/proc/12472/stat : 12472 (java) D 12470 12472 12427 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 188362410 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/12472/statm: 446 137 102 14 0 91 0

[startup+10.0026 s]
/proc/loadavg: 0.47 0.74 0.82 2/75 12483
/proc/meminfo: memFree=850568/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1712764 CPUtime=10.69
/proc/12472/stat : 12472 (java) R 12470 12472 12427 0 -1 0 52344 0 1 0 1046 23 0 0 24 0 12 0 188362410 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071445898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12472/statm: 428191 50372 1877 14 0 414938 0
[pid=12472/tid=12473] ppid=12470 vsize=1712764 CPUtime=0.22
/proc/12472/task/12473/stat : 12473 (java) S 12470 12472 12427 0 -1 64 3021 0 0 0 22 0 0 0 16 0 12 0 188362414 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=1712764 CPUtime=0.22
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12427 0 -1 64 3343 0 0 0 21 1 0 0 16 0 12 0 188362414 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12475] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12427 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12476] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12427 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12427 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 188362421 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12427 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188362421 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12480] ppid=12470 vsize=1712764 CPUtime=0.39
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12427 0 -1 64 934 0 0 0 39 0 0 0 16 0 12 0 188362421 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12481] ppid=12470 vsize=1712764 CPUtime=0.34
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12427 0 -1 64 1521 0 0 0 34 0 0 0 16 0 12 0 188362421 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12427 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188362421 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188362421 1753870336 50372 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (Kb) 1712764

[startup+20.0093 s]
/proc/loadavg: 0.55 0.75 0.82 2/75 12483
/proc/meminfo: memFree=836744/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1712764 CPUtime=20.87
/proc/12472/stat : 12472 (java) R 12470 12472 12427 0 -1 0 55973 0 1 0 2061 26 0 0 25 0 12 0 188362410 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071445427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12472/statm: 428191 53841 1877 14 0 414938 0
[pid=12472/tid=12473] ppid=12470 vsize=1712764 CPUtime=0.4
/proc/12472/task/12473/stat : 12473 (java) S 12470 12472 12427 0 -1 64 4894 0 0 0 39 1 0 0 16 0 12 0 188362414 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=1712764 CPUtime=0.4
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12427 0 -1 64 5078 0 0 0 38 2 0 0 16 0 12 0 188362414 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12475] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12427 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12427 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12427 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 188362421 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12427 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188362421 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12480] ppid=12470 vsize=1712764 CPUtime=0.39
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12427 0 -1 64 934 0 0 0 39 0 0 0 16 0 12 0 188362421 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12481] ppid=12470 vsize=1712764 CPUtime=0.34
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12427 0 -1 64 1521 0 0 0 34 0 0 0 16 0 12 0 188362421 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12427 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188362421 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188362421 1753870336 53841 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.87
Current children cumulated vsize (Kb) 1712764

[startup+30.016 s]
/proc/loadavg: 0.70 0.77 0.83 2/75 12483
/proc/meminfo: memFree=820040/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1712764 CPUtime=31.08
/proc/12472/stat : 12472 (java) R 12470 12472 12427 0 -1 0 60385 0 1 0 3079 29 0 0 25 0 12 0 188362410 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071335962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12472/statm: 428191 58034 1877 14 0 414938 0
[pid=12472/tid=12473] ppid=12470 vsize=1712764 CPUtime=0.61
/proc/12472/task/12473/stat : 12473 (java) S 12470 12472 12427 0 -1 64 6757 0 0 0 59 2 0 0 16 0 12 0 188362414 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12474] ppid=12470 vsize=1712764 CPUtime=0.61
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12427 0 -1 64 7605 0 0 0 58 3 0 0 15 0 12 0 188362414 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12427 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12476] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12427 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12427 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 188362421 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12427 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188362421 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12480] ppid=12470 vsize=1712764 CPUtime=0.39
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12427 0 -1 64 934 0 0 0 39 0 0 0 17 0 12 0 188362421 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12481] ppid=12470 vsize=1712764 CPUtime=0.34
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12427 0 -1 64 1521 0 0 0 34 0 0 0 16 0 12 0 188362421 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12427 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188362421 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188362421 1753870336 58034 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.08
Current children cumulated vsize (Kb) 1712764

[startup+40.0265 s]
/proc/loadavg: 0.75 0.78 0.83 2/75 12483
/proc/meminfo: memFree=808584/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1712764 CPUtime=41.32
/proc/12472/stat : 12472 (java) R 12470 12472 12427 0 -1 0 63315 0 1 0 4100 32 0 0 16 0 12 0 188362410 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071445902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12472/statm: 428191 60882 1877 14 0 414938 0
[pid=12472/tid=12473] ppid=12470 vsize=1712764 CPUtime=0.85
/proc/12472/task/12473/stat : 12473 (java) S 12470 12472 12427 0 -1 64 7788 0 0 0 82 3 0 0 16 0 12 0 188362414 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12474] ppid=12470 vsize=1712764 CPUtime=0.89
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12427 0 -1 64 9483 0 0 0 85 4 0 0 15 0 12 0 188362414 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=1712764 CPUtime=0.01
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12427 0 -1 64 28 0 0 0 1 0 0 0 16 0 12 0 188362417 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12427 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12427 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188362417 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 188362421 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12427 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188362421 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12480] ppid=12470 vsize=1712764 CPUtime=0.39
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12427 0 -1 64 934 0 0 0 39 0 0 0 17 0 12 0 188362421 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12481] ppid=12470 vsize=1712764 CPUtime=0.34
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12427 0 -1 64 1521 0 0 0 34 0 0 0 16 0 12 0 188362421 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12427 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188362421 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=1712764 CPUtime=0
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188362421 1753870336 60882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.32
Current children cumulated vsize (Kb) 1712764

[startup+50.0336 s]
/proc/loadavg: 0.79 0.79 0.83 2/75 12483
/proc/meminfo: memFree=799944/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1711848 CPUtime=51.56
/proc/12472/stat : 12472 (java) R 12470 12472 12427 0 -1 0 65770 0 1 0 5122 34 0 0 18 0 12 0 188362410 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071335001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12472/statm: 427962 63036 1877 14 0 414709 0
[pid=12472/tid=12473] ppid=12470 vsize=1711848 CPUtime=1.08
/proc/12472/task/12473/stat : 12473 (java) S 12470 12472 12427 0 -1 64 8739 0 0 0 105 3 0 0 16 0 12 0 188362414 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=1711848 CPUtime=1.13
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12427 0 -1 64 10962 0 0 0 108 5 0 0 16 0 12 0 188362414 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12475] ppid=12470 vsize=1711848 CPUtime=0.02
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12427 0 -1 64 28 0 0 0 2 0 0 0 15 0 12 0 188362417 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12427 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188362417 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12427 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188362417 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 188362421 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12427 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188362421 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12480] ppid=12470 vsize=1711848 CPUtime=0.39
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12427 0 -1 64 934 0 0 0 39 0 0 0 17 0 12 0 188362421 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12481] ppid=12470 vsize=1711848 CPUtime=0.35
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12427 0 -1 64 1526 0 0 0 35 0 0 0 17 0 12 0 188362421 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12427 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188362421 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188362421 1752932352 63036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.56
Current children cumulated vsize (Kb) 1711848

[startup+60.0403 s]
/proc/loadavg: 0.82 0.79 0.83 2/75 12483
/proc/meminfo: memFree=784136/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1711848 CPUtime=61.84
/proc/12472/stat : 12472 (java) R 12470 12472 12427 0 -1 0 69780 0 1 0 6146 38 0 0 24 0 12 0 188362410 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071357326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12472/statm: 427962 66974 1877 14 0 414709 0
[pid=12472/tid=12473] ppid=12470 vsize=1711848 CPUtime=1.35
/proc/12472/task/12473/stat : 12473 (java) S 12470 12472 12427 0 -1 64 11322 0 0 0 131 4 0 0 15 0 12 0 188362414 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=1711848 CPUtime=1.42
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12427 0 -1 64 12368 0 0 0 136 6 0 0 16 0 12 0 188362414 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12475] ppid=12470 vsize=1711848 CPUtime=0.03
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12427 0 -1 64 28 0 0 0 2 1 0 0 16 0 12 0 188362417 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12476] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12427 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188362417 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12427 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188362417 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 188362421 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12427 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188362421 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12480] ppid=12470 vsize=1711848 CPUtime=0.39
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12427 0 -1 64 934 0 0 0 39 0 0 0 16 0 12 0 188362421 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12481] ppid=12470 vsize=1711848 CPUtime=0.35
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12427 0 -1 64 1526 0 0 0 35 0 0 0 17 0 12 0 188362421 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12427 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188362421 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=1711848 CPUtime=0
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188362421 1752932352 66974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 61.84
Current children cumulated vsize (Kb) 1711848

[startup+70.0478 s]
/proc/loadavg: 0.85 0.80 0.83 2/76 12484
/proc/meminfo: memFree=765376/2055920 swapFree=4181356/4192956
[pid=12472] ppid=12470 vsize=1714412 CPUtime=72.73
/proc/12472/stat : 12472 (java) R 12470 12472 12427 0 -1 0 75771 0 1 0 7230 43 0 0 25 0 13 0 188362410 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071561425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12472/statm: 428603 71661 1908 14 0 415350 0
[pid=12472/tid=12473] ppid=12470 vsize=1714412 CPUtime=1.65
/proc/12472/task/12473/stat : 12473 (java) S 12470 12472 12427 0 -1 64 13849 0 0 0 159 6 0 0 17 0 13 0 188362414 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=1714412 CPUtime=1.71
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12427 0 -1 64 14628 0 0 0 164 7 0 0 16 0 13 0 188362414 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12475] ppid=12470 vsize=1714412 CPUtime=0.03
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12427 0 -1 64 28 0 0 0 2 1 0 0 16 0 13 0 188362417 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=1714412 CPUtime=0
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12427 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188362417 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=1714412 CPUtime=0
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12427 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188362417 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=1714412 CPUtime=0
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 188362421 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=1714412 CPUtime=0
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12427 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188362421 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=1714412 CPUtime=0.73
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12427 0 -1 64 1999 0 0 0 73 0 0 0 16 0 13 0 188362421 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=1714412 CPUtime=0.78
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12427 0 -1 64 1585 0 0 0 78 0 0 0 16 0 13 0 188362421 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12482] ppid=12470 vsize=1714412 CPUtime=0
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12427 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 188362421 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=1714412 CPUtime=0
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188362421 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12472/tid=12484] ppid=12470 vsize=1714412 CPUtime=0
/proc/12472/task/12484/stat : 12484 (java) S 12470 12472 12427 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 188369255 1755557888 71661 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.73
Current children cumulated vsize (Kb) 1714412

Child status: 10
Real time (s): 78.4444
CPU time (s): 81.3396
CPU user time (s): 80.8527
CPU system time (s): 0.486925
CPU usage (%): 103.691
Max. virtual memory (cumulated for all children) (Kb): 1714412

Launcher Data (download as text)

Begin job on node34 on Fri Jun  2 05:42:50 UTC 2006


FILE ID= 42211-1149226967

PBS_JOBID= 295958

BENCH NAME= ROOT/tmp/node34/42211-1149226967/instance-42211-1149226967.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/42211-1149226967/instance-42211-1149226967.opb 306981094
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-42211-1149226967 -o ROOT/results/node34/solver-42211-1149226967 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/42211-1149226967/instance-42211-1149226967.opb 306981094

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  051b48fdf5558d73afe4ee3d3cae609a

RANDOM SEED= 306981094


/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.277
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.277
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:       1045040 kB
Buffers:         38256 kB
Cached:         897968 kB
SwapCached:       3536 kB
Active:         127252 kB
Inactive:       817968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1045040 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            51712 kB
Committed_AS:   243692 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Fri Jun  2 05:44:28 UTC 2006