Trace number 42216

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 85.0701 82.0716

General information on the benchmark

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.94 1.07 0.99 3/64 7917
/proc/meminfo: memFree=1690608/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1784 CPUtime=0
/proc/7917/stat : 7917 (java) D 7915 7917 7871 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 197826602 1826816 141 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7917/statm: 446 141 106 14 0 91 0

[startup+10.0029 s]
/proc/loadavg: 0.95 1.07 0.99 2/75 7928
/proc/meminfo: memFree=1497048/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1712912 CPUtime=10.69
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 52655 0 1 0 1042 27 0 0 18 0 12 0 197826602 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428228 50187 1878 14 0 414975 0
[pid=7917/tid=7918] ppid=7915 vsize=1712912 CPUtime=0.23
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 2937 0 0 0 21 2 0 0 15 0 12 0 197826606 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1712912 CPUtime=0.22
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 3273 0 0 0 21 1 0 0 16 0 12 0 197826606 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 197826608 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 197826612 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197826612 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1712912 CPUtime=0.41
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 1621 0 0 0 41 0 0 0 16 0 12 0 197826612 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1712912 CPUtime=0.35
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 1286 0 0 0 34 1 0 0 16 0 12 0 197826612 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197826612 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197826612 1754021888 50187 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (Kb) 1712912

[startup+20.0108 s]
/proc/loadavg: 0.95 1.06 0.99 2/75 7928
/proc/meminfo: memFree=1483160/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1712912 CPUtime=20.86
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 56365 0 1 0 2057 29 0 0 25 0 12 0 197826602 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071384762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428228 53714 1878 14 0 414975 0
[pid=7917/tid=7918] ppid=7915 vsize=1712912 CPUtime=0.4
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 4787 0 0 0 38 2 0 0 16 0 12 0 197826606 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1712912 CPUtime=0.39
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 5111 0 0 0 37 2 0 0 16 0 12 0 197826606 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 197826608 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 197826612 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197826612 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1712912 CPUtime=0.41
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 1621 0 0 0 41 0 0 0 16 0 12 0 197826612 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1712912 CPUtime=0.35
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 1286 0 0 0 34 1 0 0 16 0 12 0 197826612 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197826612 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197826612 1754021888 53714 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.86
Current children cumulated vsize (Kb) 1712912

[startup+30.0188 s]
/proc/loadavg: 0.96 1.06 0.99 2/75 7928
/proc/meminfo: memFree=1466584/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1712912 CPUtime=31.07
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 60723 0 1 0 3075 32 0 0 18 0 12 0 197826602 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428228 57860 1878 14 0 414975 0
[pid=7917/tid=7918] ppid=7915 vsize=1712912 CPUtime=0.61
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 6590 0 0 0 58 3 0 0 16 0 12 0 197826606 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1712912 CPUtime=0.6
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 7645 0 0 0 57 3 0 0 16 0 12 0 197826606 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 197826608 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 197826612 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197826612 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1712912 CPUtime=0.41
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 1621 0 0 0 41 0 0 0 16 0 12 0 197826612 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1712912 CPUtime=0.35
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 1286 0 0 0 34 1 0 0 16 0 12 0 197826612 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197826612 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197826612 1754021888 57860 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.07
Current children cumulated vsize (Kb) 1712912

[startup+40.0258 s]
/proc/loadavg: 0.97 1.06 0.99 2/81 7951
/proc/meminfo: memFree=1453856/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1712912 CPUtime=41.29
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 63731 0 1 0 4093 36 0 0 24 0 12 0 197826602 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071379033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428228 60732 1878 14 0 414975 0
[pid=7917/tid=7918] ppid=7915 vsize=1712912 CPUtime=0.85
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 8161 0 0 0 81 4 0 0 16 0 12 0 197826606 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1712912 CPUtime=0.82
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 9061 0 0 0 78 4 0 0 17 0 12 0 197826606 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1712912 CPUtime=0.01
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 1 0 0 0 16 0 12 0 197826608 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197826609 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 197826612 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197826612 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1712912 CPUtime=0.41
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 1621 0 0 0 41 0 0 0 16 0 12 0 197826612 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1712912 CPUtime=0.35
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 1286 0 0 0 34 1 0 0 16 0 12 0 197826612 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197826612 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1712912 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197826612 1754021888 60732 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.29
Current children cumulated vsize (Kb) 1712912

[startup+50.0337 s]
/proc/loadavg: 0.97 1.06 0.99 2/81 7999
/proc/meminfo: memFree=1444448/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1712328 CPUtime=51.5
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 66292 0 1 0 5111 39 0 0 25 0 12 0 197826602 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428082 63056 1878 14 0 414829 0
[pid=7917/tid=7918] ppid=7915 vsize=1712328 CPUtime=1.07
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 9290 0 0 0 102 5 0 0 16 0 12 0 197826606 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1712328 CPUtime=1.04
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 10468 0 0 0 100 4 0 0 16 0 12 0 197826606 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1712328 CPUtime=0.02
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 1 1 0 0 15 0 12 0 197826608 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197826609 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197826609 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 197826612 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197826612 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1712328 CPUtime=0.41
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 1621 0 0 0 41 0 0 0 16 0 12 0 197826612 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1712328 CPUtime=0.36
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 1291 0 0 0 35 1 0 0 17 0 12 0 197826612 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197826612 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197826612 1753423872 63056 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.5
Current children cumulated vsize (Kb) 1712328

[startup+60.0417 s]
/proc/loadavg: 0.98 1.05 0.99 2/75 8123
/proc/meminfo: memFree=1430264/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1712328 CPUtime=61.72
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 70187 0 1 0 6128 44 0 0 20 0 12 0 197826602 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428082 66849 1878 14 0 414829 0
[pid=7917/tid=7918] ppid=7915 vsize=1712328 CPUtime=1.34
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 11819 0 0 0 127 7 0 0 16 0 12 0 197826606 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1712328 CPUtime=1.31
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 11814 0 0 0 125 6 0 0 16 0 12 0 197826606 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1712328 CPUtime=0.02
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 1 1 0 0 16 0 12 0 197826608 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 197826609 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 197826609 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 197826612 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 197826612 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1712328 CPUtime=0.41
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 1621 0 0 0 41 0 0 0 16 0 12 0 197826612 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1712328 CPUtime=0.36
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 1291 0 0 0 35 1 0 0 17 0 12 0 197826612 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 197826612 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1712328 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 197826612 1753423872 66849 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 61.72
Current children cumulated vsize (Kb) 1712328

[startup+70.0496 s]
/proc/loadavg: 0.98 1.05 0.99 2/76 8124
/proc/meminfo: memFree=1408592/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1715916 CPUtime=72.66
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 77642 0 1 0 7214 52 0 0 20 0 13 0 197826602 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071535295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428979 72249 1907 14 0 415726 0
[pid=7917/tid=7918] ppid=7915 vsize=1715916 CPUtime=1.66
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 14012 0 0 0 157 9 0 0 16 0 13 0 197826606 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1715916 CPUtime=1.63
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 14500 0 0 0 153 10 0 0 17 0 13 0 197826606 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1715916 CPUtime=0.02
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 1 1 0 0 16 0 13 0 197826608 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197826609 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197826609 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197826612 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197826612 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1715916 CPUtime=0.83
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 2037 0 0 0 83 0 0 0 16 0 13 0 197826612 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1715916 CPUtime=0.8
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 3371 0 0 0 78 2 0 0 16 0 13 0 197826612 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197826612 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197826612 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=8124] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/8124/stat : 8124 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 197833529 1757097984 72249 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.66
Current children cumulated vsize (Kb) 1715916

[startup+80.0566 s]
/proc/loadavg: 0.98 1.05 0.99 2/76 8124
/proc/meminfo: memFree=1405456/2055920 swapFree=4182292/4192956
[pid=7917] ppid=7915 vsize=1715916 CPUtime=83.03
/proc/7917/stat : 7917 (java) R 7915 7917 7871 0 -1 0 78972 0 1 0 8249 54 0 0 24 0 13 0 197826602 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071552109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 428979 73107 1911 14 0 415726 0
[pid=7917/tid=7918] ppid=7915 vsize=1715916 CPUtime=1.72
/proc/7917/task/7918/stat : 7918 (java) S 7915 7917 7871 0 -1 64 14683 0 0 0 163 9 0 0 16 0 13 0 197826606 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1715916 CPUtime=1.7
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7871 0 -1 64 15102 0 0 0 160 10 0 0 16 0 13 0 197826606 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1715916 CPUtime=0.02
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7871 0 -1 64 27 0 0 0 1 1 0 0 15 0 13 0 197826608 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7871 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197826609 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197826609 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7871 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197826612 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1715916 CPUtime=0.01
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7871 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 197826612 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1715916 CPUtime=1.03
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7871 0 -1 64 2050 0 0 0 103 0 0 0 16 0 13 0 197826612 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1715916 CPUtime=1
/proc/7917/task/7926/stat : 7926 (java) S 7915 7917 7871 0 -1 64 3400 0 0 0 98 2 0 0 16 0 13 0 197826612 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7927/stat : 7927 (java) S 7915 7917 7871 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197826612 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/7928/stat : 7928 (java) S 7915 7917 7871 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197826612 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=8124] ppid=7915 vsize=1715916 CPUtime=0
/proc/7917/task/8124/stat : 8124 (java) S 7915 7917 7871 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 197833529 1757097984 73107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 83.03
Current children cumulated vsize (Kb) 1715916

Child status: 10
Real time (s): 82.0716
CPU time (s): 85.0701
CPU user time (s): 84.4802
CPU system time (s): 0.58991
CPU usage (%): 103.653
Max. virtual memory (cumulated for all children) (Kb): 1715916

Launcher Data (download as text)

Begin job on node74 on Sat Jun  3 08:00:22 UTC 2006


FILE ID= 42216-1149321621

PBS_JOBID= 309350

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42216-1149321621/instance-42216-1149321621.opb 532047492
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-42216-1149321621 -o ROOT/results/node74/solver-42216-1149321621 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42216-1149321621/instance-42216-1149321621.opb 532047492

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  e436f4a609b5bae6a8ddfe1313c390fe

RANDOM SEED= 532047492


/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.274
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.274
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:       1690816 kB
Buffers:          9436 kB
Cached:         292472 kB
SwapCached:       2324 kB
Active:         142772 kB
Inactive:       167840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690816 kB
SwapTotal:     4192956 kB
SwapFree:      4182292 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          15868 kB
Slab:            40500 kB
Committed_AS:   284192 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node74 on Sat Jun  3 08:01:45 UTC 2006