Trace number 354354

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT (TO)91539978 1800.35 1785.1

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUMc3570b707fa12d3d9c0d2ae31848c1b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark65442871
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65313511
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	91539978

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node52/watcher-354354-1176706046 -o ROOT/results/node52/solver-354354-1176706046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354354-1176706046/sat4jPseudoCP.jar /tmp/evaluation/354354-1176706046/instance-354354-1176706046.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.89 1.00 1.00 2/64 16826
/proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=152 CPUtime=0
/proc/16826/stat : 16826 (java) D 16824 16826 16763 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 25449677 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 4309796 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16826/statm: 38 26 19 9 0 4 0

[startup+0.0767569 s]
/proc/loadavg: 0.89 1.00 1.00 2/64 16826
/proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1777708 CPUtime=0.06
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 3691 0 1 0 4 2 0 0 18 0 7 0 25449677 1820372992 3433 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 444427 3433 1081 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.101757 s]
/proc/loadavg: 0.89 1.00 1.00 2/64 16826
/proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1777844 CPUtime=0.08
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 3879 0 1 0 6 2 0 0 18 0 7 0 25449677 1820512256 3621 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 444461 3621 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777844

[startup+0.301771 s]
/proc/loadavg: 0.89 1.00 1.00 2/64 16826
/proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1781664 CPUtime=0.34
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 5082 0 1 0 31 3 0 0 18 0 12 0 25449677 1824423936 4820 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 445416 4820 1267 9 0 443028 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1781664

[startup+0.701801 s]
/proc/loadavg: 0.89 1.00 1.00 2/64 16826
/proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1789832 CPUtime=0.98
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 8596 0 1 0 94 4 0 0 18 0 12 0 25449677 1832787968 7502 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 447458 7502 1303 9 0 445070 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1789832

[startup+1.50286 s]
/proc/loadavg: 1.06 1.03 1.01 4/77 16839
/proc/meminfo: memFree=1837996/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1794928 CPUtime=2.56
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 16512 0 1 0 250 6 0 0 18 0 13 0 25449677 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 448732 10642 1318 9 0 446344 0
[pid=16826/tid=16828] ppid=16824 vsize=1794928 CPUtime=0.79
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 6455 0 1 0 76 3 0 0 25 0 13 0 25449679 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 25449680 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 25449680 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 25449682 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 25449683 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 25449683 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1794928 CPUtime=0.84
/proc/16826/task/16835/stat : 16835 (java) R 16824 16826 16763 0 -1 64 4213 0 0 0 84 0 0 0 17 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 104808386 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1794928 CPUtime=0.89
/proc/16826/task/16836/stat : 16836 (java) R 16824 16826 16763 0 -1 64 5121 0 0 0 88 1 0 0 18 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 104726448 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16839] ppid=16824 vsize=1794928 CPUtime=0
/proc/16826/task/16839/stat : 16839 (java) S 16824 16826 16763 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 25449769 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 1794928

[startup+3.10295 s]
/proc/loadavg: 1.06 1.03 1.01 3/77 16841
/proc/meminfo: memFree=1791652/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1794736 CPUtime=4.87
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 51722 0 1 0 467 20 0 0 18 0 13 0 25449677 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 448684 42777 1333 9 0 446296 0
[pid=16826/tid=16828] ppid=16824 vsize=1794736 CPUtime=2.11
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 37729 0 1 0 197 14 0 0 18 0 13 0 25449679 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109880174 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 428 0 0 0 0 0 0 0 16 0 13 0 25449680 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1794736 CPUtime=0.01
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 406 0 0 0 1 0 0 0 16 0 13 0 25449680 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 10 0 0 0 0 0 0 0 15 0 13 0 25449682 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1794736 CPUtime=1.45
/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 6836 0 0 0 143 2 0 0 15 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1794736 CPUtime=1.26
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 5589 0 0 0 124 2 0 0 16 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16841] ppid=16824 vsize=1794736 CPUtime=0
/proc/16826/task/16841/stat : 16841 (java) S 16824 16826 16763 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 25449856 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 1794736

[startup+6.30117 s]
/proc/loadavg: 1.06 1.03 1.01 2/77 16841
/proc/meminfo: memFree=1685348/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1794384 CPUtime=8.33
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 62459 0 1 0 809 24 0 0 18 0 13 0 25449677 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 448596 52586 1333 9 0 446208 0
[pid=16826/tid=16828] ppid=16824 vsize=1794384 CPUtime=5.21
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 47107 0 1 0 503 18 0 0 18 0 13 0 25449679 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109542621 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1794384 CPUtime=0.04
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 882 0 0 0 4 0 0 0 15 0 13 0 25449680 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1794384 CPUtime=0.04
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 940 0 0 0 4 0 0 0 16 0 13 0 25449680 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 26 0 0 0 0 0 0 0 15 0 13 0 25449682 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1794384 CPUtime=1.61
/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7184 0 0 0 159 2 0 0 16 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1794384 CPUtime=1.39
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 5596 0 0 0 137 2 0 0 16 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) R 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16841] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16841/stat : 16841 (java) S 16824 16826 16763 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 25449856 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 1794384

[startup+12.7026 s]
/proc/loadavg: 1.05 1.03 1.01 2/77 16841
/proc/meminfo: memFree=1676772/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1794384 CPUtime=14.81
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 62756 0 1 0 1456 25 0 0 18 0 13 0 25449677 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 448596 49363 1333 9 0 446208 0
[pid=16826/tid=16828] ppid=16824 vsize=1794384 CPUtime=11.54
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 47125 0 1 0 1136 18 0 0 25 0 13 0 25449679 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109872970 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1794384 CPUtime=0.05
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 999 0 0 0 5 0 0 0 16 0 13 0 25449680 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1794384 CPUtime=0.05
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 1082 0 0 0 5 0 0 0 16 0 13 0 25449680 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 26 0 0 0 0 0 0 0 15 0 13 0 25449682 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1794384 CPUtime=1.66
/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7188 0 0 0 164 2 0 0 16 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1794384 CPUtime=1.45
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 5612 0 0 0 143 2 0 0 16 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16841] ppid=16824 vsize=1794384 CPUtime=0
/proc/16826/task/16841/stat : 16841 (java) S 16824 16826 16763 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 25449856 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.81
Current children cumulated vsize (KiB) 1794384

[startup+25.5015 s]
/proc/loadavg: 1.04 1.03 1.01 2/77 16842
/proc/meminfo: memFree=1687452/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1796432 CPUtime=28.02
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 64843 0 1 0 2775 27 0 0 18 0 13 0 25449677 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 449108 47020 1334 9 0 446720 0
[pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=24.1
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 47186 0 1 0 2392 18 0 0 18 0 13 0 25449679 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109872716 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=0.1
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 1493 0 0 0 9 1 0 0 16 0 13 0 25449680 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=0.1
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 1474 0 0 0 9 1 0 0 16 0 13 0 25449680 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1615.94
Current children cumulated vsize (KiB) 1796432

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 17043
/proc/meminfo: memFree=1271132/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1796432 CPUtime=1676.47
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 390471 0 1 0 167366 281 0 0 18 0 13 0 25449677 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 449108 150586 1334 9 0 446720 0
[pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1645.74
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 216379 0 1 0 164461 113 0 0 25 0 13 0 25449679 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109543003 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=12.68
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 79162 0 0 0 1215 53 0 0 16 0 13 0 25449680 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=12.69
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 78176 0 0 0 1223 46 0 0 16 0 13 0 25449680 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.26
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 562 0 0 0 66 60 0 0 16 0 13 0 25449682 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07
/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1676.47
Current children cumulated vsize (KiB) 1796432

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 17043
/proc/meminfo: memFree=1256348/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1796432 CPUtime=1736.95
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 397517 0 1 0 173409 286 0 0 18 0 13 0 25449677 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 449108 154579 1334 9 0 446720 0
[pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1705.15
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 220625 0 1 0 170399 116 0 0 25 0 13 0 25449679 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109647531 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=13.19
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 80437 0 0 0 1266 53 0 0 16 0 13 0 25449680 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=13.22
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 79690 0 0 0 1275 47 0 0 16 0 13 0 25449680 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.29
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 573 0 0 0 68 61 0 0 15 0 13 0 25449682 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07
/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1736.95
Current children cumulated vsize (KiB) 1796432

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17043
/proc/meminfo: memFree=1245724/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1796432 CPUtime=1797.45
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 407479 0 1 0 179453 292 0 0 18 0 13 0 25449677 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 449108 156868 1334 9 0 446720 0
[pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1764.56
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 225331 0 1 0 176338 118 0 0 25 0 13 0 25449679 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109887418 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=13.73
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 83230 0 0 0 1318 55 0 0 16 0 13 0 25449680 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=13.74
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 82143 0 0 0 1326 48 0 0 16 0 13 0 25449680 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.32
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 583 0 0 0 69 63 0 0 16 0 13 0 25449682 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07
/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 1796432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17043
/proc/meminfo: memFree=1247516/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=1796432 CPUtime=1800.08
/proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 407721 0 1 0 179715 293 0 0 18 0 13 0 25449677 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 449108 156591 1334 9 0 446720 0
[pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1767.14
/proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 225336 0 1 0 176596 118 0 0 25 0 13 0 25449679 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109542959 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=13.75
/proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 83347 0 0 0 1320 55 0 0 15 0 13 0 25449680 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=13.76
/proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 82263 0 0 0 1328 48 0 0 16 0 13 0 25449680 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.33
/proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 583 0 0 0 70 63 0 0 16 0 13 0 25449682 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07
/proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96
/proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0
/proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1796432

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1785.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17043
/proc/meminfo: memFree=1247516/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=0 CPUtime=1800.26
/proc/16826/stat : 16826 (java) Z 16824 16826 16763 0 -1 1036 407740 0 1 0 179732 294 0 0 15 0 2 0 25449677 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17043
/proc/meminfo: memFree=1247516/2055920 swapFree=4184492/4192956
[pid=16826] ppid=16824 vsize=0 CPUtime=1800.35
/proc/16826/stat : 16826 (java) Z 16824 16826 16763 0 -1 1036 407740 0 1 0 179732 303 0 0 15 0 2 0 25449677 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16826/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1785.1
CPU time (s): 1800.35
CPU user time (s): 1797.32
CPU system time (s): 3.03154
CPU usage (%): 100.854
Max. virtual memory (cumulated for all children) (KiB): 1800160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.32
system time used= 3.03154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407740
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91205
involuntary context switches= 49600

runsolver used 1.9937 second user time and 5.06123 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Mon Apr 16 06:47:26 UTC 2007

IDJOB= 354354
IDBENCH= 2496
IDSOLVER= 160
FILE ID= node52/354354-1176706046

PBS_JOBID= 4560073

Free space on /tmp= 66397 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354354-1176706046/sat4jPseudoCP.jar /tmp/evaluation/354354-1176706046/instance-354354-1176706046.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-354354-1176706046 -o ROOT/results/node52/solver-354354-1176706046 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354354-1176706046/sat4jPseudoCP.jar /tmp/evaluation/354354-1176706046/instance-354354-1176706046.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  c3570b707fa12d3d9c0d2ae31848c1b3

RANDOM SEED= 476025647

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.236
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.236
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:       1872108 kB
Buffers:          3812 kB
Cached:         121020 kB
SwapCached:       2192 kB
Active:          32416 kB
Inactive:       101568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872108 kB
SwapTotal:     4192956 kB
SwapFree:      4184492 kB
Dirty:            3824 kB
Writeback:           0 kB
Mapped:          15668 kB
Slab:            35796 kB
Committed_AS:  1496232 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66397 MiB

End job on node52 on Mon Apr 16 07:17:13 UTC 2007