Trace number 42214

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 79.5839 76.5433

General information on the benchmark

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.39 0.79 0.88 2/64 2063
/proc/meminfo: memFree=1340976/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=292 CPUtime=0
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 51 0 0 0 0 0 0 0 19 0 1 0 188385205 299008 34 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 8570607 0 0 4096 0 0 0 0 17 1 0 0
/proc/2063/statm: 73 35 27 14 0 5 0

[startup+10.0025 s]
/proc/loadavg: 0.56 0.82 0.88 2/75 2075
/proc/meminfo: memFree=1147608/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=1712276 CPUtime=10.79
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 52610 0 1 0 1050 29 0 0 24 0 12 0 188385205 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071365620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 428069 50114 1878 14 0 414816 0
[pid=2063/tid=2064] ppid=2061 vsize=1712276 CPUtime=0.22
/proc/2063/task/2064/stat : 2064 (java) S 2061 2063 2014 0 -1 64 3178 0 0 0 21 1 0 0 16 0 12 0 188385209 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2065] ppid=2061 vsize=1712276 CPUtime=0.22
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 2014 0 -1 64 3329 0 0 0 21 1 0 0 16 0 12 0 188385209 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2066] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 2014 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188385212 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2067] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2067/stat : 2067 (java) S 2061 2063 2014 0 -1 64 9 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2068] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 2014 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2069] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2069/stat : 2069 (java) S 2061 2063 2014 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188385216 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2070] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 2014 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188385216 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=1712276 CPUtime=0.36
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 2014 0 -1 64 1568 0 0 0 36 0 0 0 16 0 12 0 188385216 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2072] ppid=2061 vsize=1712276 CPUtime=0.4
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 2014 0 -1 64 981 0 0 0 40 0 0 0 16 0 12 0 188385216 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2074] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2074/stat : 2074 (java) S 2061 2063 2014 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188385216 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2075] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2075/stat : 2075 (java) S 2061 2063 2014 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188385216 1753370624 50114 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (Kb) 1712276

[startup+20.0104 s]
/proc/loadavg: 0.63 0.82 0.88 2/75 2075
/proc/meminfo: memFree=1134168/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=1712276 CPUtime=20.95
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 56150 0 1 0 2062 33 0 0 25 0 12 0 188385205 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071365247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 428069 53467 1878 14 0 414816 0
[pid=2063/tid=2064] ppid=2061 vsize=1712276 CPUtime=0.39
/proc/2063/task/2064/stat : 2064 (java) S 2061 2063 2014 0 -1 64 5017 0 0 0 36 3 0 0 16 0 12 0 188385209 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2065] ppid=2061 vsize=1712276 CPUtime=0.4
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 2014 0 -1 64 5010 0 0 0 37 3 0 0 16 0 12 0 188385209 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2066] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 2014 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 188385212 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2067] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2067/stat : 2067 (java) S 2061 2063 2014 0 -1 64 9 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2068] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 2014 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2069] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2069/stat : 2069 (java) S 2061 2063 2014 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188385216 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2070] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 2014 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188385216 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=1712276 CPUtime=0.36
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 2014 0 -1 64 1568 0 0 0 36 0 0 0 16 0 12 0 188385216 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2072] ppid=2061 vsize=1712276 CPUtime=0.4
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 2014 0 -1 64 981 0 0 0 40 0 0 0 16 0 12 0 188385216 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2074] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2074/stat : 2074 (java) S 2061 2063 2014 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188385216 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2075] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2075/stat : 2075 (java) S 2061 2063 2014 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188385216 1753370624 53467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.95
Current children cumulated vsize (Kb) 1712276

[startup+30.0184 s]
/proc/loadavg: 0.76 0.84 0.89 2/75 2075
/proc/meminfo: memFree=1117528/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=1712276 CPUtime=31.16
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 60594 0 1 0 3080 36 0 0 24 0 12 0 188385205 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 428069 57619 1878 14 0 414816 0
[pid=2063/tid=2064] ppid=2061 vsize=1712276 CPUtime=0.6
/proc/2063/task/2064/stat : 2064 (java) S 2061 2063 2014 0 -1 64 7502 0 0 0 56 4 0 0 16 0 12 0 188385209 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2065] ppid=2061 vsize=1712276 CPUtime=0.61
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 2014 0 -1 64 6947 0 0 0 57 4 0 0 16 0 12 0 188385209 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2066] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 2014 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188385212 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2067] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2067/stat : 2067 (java) S 2061 2063 2014 0 -1 64 9 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2068] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 2014 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2069] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2069/stat : 2069 (java) S 2061 2063 2014 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188385216 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2070] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 2014 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188385216 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=1712276 CPUtime=0.36
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 2014 0 -1 64 1568 0 0 0 36 0 0 0 16 0 12 0 188385216 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2072] ppid=2061 vsize=1712276 CPUtime=0.4
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 2014 0 -1 64 981 0 0 0 40 0 0 0 16 0 12 0 188385216 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2074] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2074/stat : 2074 (java) S 2061 2063 2014 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188385216 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2075] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2075/stat : 2075 (java) S 2061 2063 2014 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188385216 1753370624 57619 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.16
Current children cumulated vsize (Kb) 1712276

[startup+40.0253 s]
/proc/loadavg: 0.80 0.85 0.89 2/75 2075
/proc/meminfo: memFree=1106328/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=1712276 CPUtime=41.39
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 63493 0 1 0 4100 39 0 0 17 0 12 0 188385205 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071337416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 428069 60422 1878 14 0 414816 0
[pid=2063/tid=2064] ppid=2061 vsize=1712276 CPUtime=0.82
/proc/2063/task/2064/stat : 2064 (java) S 2061 2063 2014 0 -1 64 8969 0 0 0 78 4 0 0 16 0 12 0 188385209 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2065] ppid=2061 vsize=1712276 CPUtime=0.84
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 2014 0 -1 64 8359 0 0 0 80 4 0 0 16 0 12 0 188385209 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2066] ppid=2061 vsize=1712276 CPUtime=0.01
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 2014 0 -1 64 28 0 0 0 1 0 0 0 16 0 12 0 188385212 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2067] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2067/stat : 2067 (java) S 2061 2063 2014 0 -1 64 9 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2068] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 2014 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2069] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2069/stat : 2069 (java) S 2061 2063 2014 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188385216 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2070] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 2014 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 188385216 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=1712276 CPUtime=0.36
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 2014 0 -1 64 1568 0 0 0 36 0 0 0 16 0 12 0 188385216 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2072] ppid=2061 vsize=1712276 CPUtime=0.4
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 2014 0 -1 64 981 0 0 0 40 0 0 0 16 0 12 0 188385216 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2074] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2074/stat : 2074 (java) S 2061 2063 2014 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188385216 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2075] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2075/stat : 2075 (java) S 2061 2063 2014 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188385216 1753370624 60422 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.39
Current children cumulated vsize (Kb) 1712276

[startup+50.0323 s]
/proc/loadavg: 0.83 0.85 0.89 2/75 2075
/proc/meminfo: memFree=1096856/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=1712276 CPUtime=51.64
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 65933 0 1 0 5122 42 0 0 17 0 12 0 188385205 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071365295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 428069 62791 1878 14 0 414816 0
[pid=2063/tid=2064] ppid=2061 vsize=1712276 CPUtime=1.05
/proc/2063/task/2064/stat : 2064 (java) S 2061 2063 2014 0 -1 64 10183 0 0 0 100 5 0 0 17 0 12 0 188385209 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2065] ppid=2061 vsize=1712276 CPUtime=1.07
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 2014 0 -1 64 9562 0 0 0 102 5 0 0 16 0 12 0 188385209 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2066] ppid=2061 vsize=1712276 CPUtime=0.01
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 2014 0 -1 64 28 0 0 0 1 0 0 0 15 0 12 0 188385212 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2067] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2067/stat : 2067 (java) S 2061 2063 2014 0 -1 64 9 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2068] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 2014 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2069] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2069/stat : 2069 (java) S 2061 2063 2014 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188385216 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2070] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 2014 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188385216 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=1712276 CPUtime=0.37
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 2014 0 -1 64 1571 0 0 0 37 0 0 0 17 0 12 0 188385216 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2072] ppid=2061 vsize=1712276 CPUtime=0.4
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 2014 0 -1 64 981 0 0 0 40 0 0 0 16 0 12 0 188385216 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2074] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2074/stat : 2074 (java) S 2061 2063 2014 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188385216 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2075] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2075/stat : 2075 (java) S 2061 2063 2014 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188385216 1753370624 62791 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.64
Current children cumulated vsize (Kb) 1712276

[startup+60.0447 s]
/proc/loadavg: 0.85 0.86 0.89 3/75 2075
/proc/meminfo: memFree=1081496/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=1712276 CPUtime=61.92
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 69817 0 1 0 6145 47 0 0 16 0 12 0 188385205 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435530 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 428069 66620 1878 14 0 414816 0
[pid=2063/tid=2064] ppid=2061 vsize=1712276 CPUtime=1.34
/proc/2063/task/2064/stat : 2064 (java) R 2061 2063 2014 0 -1 64 12891 0 0 0 127 7 0 0 16 0 12 0 188385209 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2065] ppid=2061 vsize=1712276 CPUtime=1.36
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 2014 0 -1 64 10718 0 0 0 128 8 0 0 16 0 12 0 188385209 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2066] ppid=2061 vsize=1712276 CPUtime=0.01
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 2014 0 -1 64 28 0 0 0 1 0 0 0 15 0 12 0 188385212 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2067] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2067/stat : 2067 (java) S 2061 2063 2014 0 -1 64 9 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2068] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 2014 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2069] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2069/stat : 2069 (java) S 2061 2063 2014 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188385216 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2070] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 2014 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188385216 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=1712276 CPUtime=0.37
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 2014 0 -1 64 1571 0 0 0 37 0 0 0 17 0 12 0 188385216 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2072] ppid=2061 vsize=1712276 CPUtime=0.4
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 2014 0 -1 64 981 0 0 0 40 0 0 0 16 0 12 0 188385216 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2074] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2074/stat : 2074 (java) S 2061 2063 2014 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188385216 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2075] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2075/stat : 2075 (java) S 2061 2063 2014 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188385216 1753370624 66620 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 61.92
Current children cumulated vsize (Kb) 1712276

[startup+70.0542 s]
/proc/loadavg: 0.96 0.88 0.90 2/75 2075
/proc/meminfo: memFree=1072472/2055920 swapFree=4181196/4192956
[pid=2063] ppid=2061 vsize=1712276 CPUtime=72.29
/proc/2063/stat : 2063 (java) R 2061 2063 2014 0 -1 0 72106 0 1 0 7174 55 0 0 22 0 12 0 188385205 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071365620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2063/statm: 428069 68866 1884 14 0 414816 0
[pid=2063/tid=2064] ppid=2061 vsize=1712276 CPUtime=1.63
/proc/2063/task/2064/stat : 2064 (java) S 2061 2063 2014 0 -1 64 14083 0 0 0 154 9 0 0 16 0 12 0 188385209 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2065] ppid=2061 vsize=1712276 CPUtime=1.65
/proc/2063/task/2065/stat : 2065 (java) S 2061 2063 2014 0 -1 64 11767 0 0 0 153 12 0 0 16 0 12 0 188385209 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2066] ppid=2061 vsize=1712276 CPUtime=0.02
/proc/2063/task/2066/stat : 2066 (java) S 2061 2063 2014 0 -1 64 28 0 0 0 2 0 0 0 16 0 12 0 188385212 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2067] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2067/stat : 2067 (java) S 2061 2063 2014 0 -1 64 9 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2068] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2068/stat : 2068 (java) S 2061 2063 2014 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 188385212 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2069] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2069/stat : 2069 (java) S 2061 2063 2014 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 188385216 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2070] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2070/stat : 2070 (java) S 2061 2063 2014 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 188385216 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2071] ppid=2061 vsize=1712276 CPUtime=0.42
/proc/2063/task/2071/stat : 2071 (java) S 2061 2063 2014 0 -1 64 1589 0 0 0 42 0 0 0 16 0 12 0 188385216 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2072] ppid=2061 vsize=1712276 CPUtime=0.43
/proc/2063/task/2072/stat : 2072 (java) S 2061 2063 2014 0 -1 64 984 0 0 0 43 0 0 0 16 0 12 0 188385216 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2063/tid=2074] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2074/stat : 2074 (java) S 2061 2063 2014 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188385216 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2063/tid=2075] ppid=2061 vsize=1712276 CPUtime=0
/proc/2063/task/2075/stat : 2075 (java) S 2061 2063 2014 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188385216 1753370624 68866 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.29
Current children cumulated vsize (Kb) 1712276

Child status: 10
Real time (s): 76.5433
CPU time (s): 79.5839
CPU user time (s): 78.952
CPU system time (s): 0.631903
CPU usage (%): 103.972
Max. virtual memory (cumulated for all children) (Kb): 1712276

Launcher Data (download as text)

Begin job on node38 on Fri Jun  2 05:46:06 UTC 2006


FILE ID= 42214-1149227157

PBS_JOBID= 295989

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  f5d8cf0048d52cf223a3574d281ac8f8

RANDOM SEED= 450076702


/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.267
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.267
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:       1340984 kB
Buffers:         22012 kB
Cached:         620828 kB
SwapCached:       3636 kB
Active:         122160 kB
Inactive:       529588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1340984 kB
SwapTotal:     4192956 kB
SwapFree:      4181196 kB
Dirty:             264 kB
Writeback:           0 kB
Mapped:          14892 kB
Slab:            49236 kB
Committed_AS:   228272 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node38 on Fri Jun  2 05:47:46 UTC 2006