Trace number 453312

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)26 1800.32 1755.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

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

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-453312-1178129948 -o ROOT/results/node20/solver-453312-1178129948 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453312-1178129948/sat4jPseudoCP.jar /tmp/evaluation/453312-1178129948/instance-453312-1178129948.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.92 0.98 0.99 2/77 10618
/proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=152 CPUtime=0
/proc/10618/stat : 10618 (java) D 10616 10618 9780 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 260912165 155648 26 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 7619364 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10618/statm: 38 26 19 9 0 4 0

[startup+0.0103449 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 10618
/proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=152 CPUtime=0
/proc/10618/stat : 10618 (java) R 10616 10618 9780 0 -1 0 203 0 0 0 0 0 0 0 18 0 1 0 260912165 155648 26 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 7619364 0 0 4096 0 0 0 0 17 1 0 0
/proc/10618/statm: 38 26 19 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152

[startup+0.101369 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 10618
/proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1780108 CPUtime=0.08
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 3971 0 1 0 6 2 0 0 18 0 12 0 260912165 1822830592 3714 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 445027 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301409 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 10618
/proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1782444 CPUtime=0.31
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 5142 0 1 0 28 3 0 0 18 0 12 0 260912165 1825222656 4882 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 445611 4882 1262 9 0 443223 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782444

[startup+0.701489 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 10618
/proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1782880 CPUtime=0.87
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 6163 0 1 0 83 4 0 0 18 0 12 0 260912165 1825669120 5876 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 445720 5876 1301 9 0 443332 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 1782880

[startup+1.50265 s]
/proc/loadavg: 0.92 0.98 0.99 4/89 10630
/proc/meminfo: memFree=1623080/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1786660 CPUtime=2.1
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 10629 0 1 0 204 6 0 0 18 0 12 0 260912165 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 446665 8267 1304 9 0 444277 0
[pid=10618/tid=10620] ppid=10616 vsize=1786660 CPUtime=1.2
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 6061 0 1 0 116 4 0 0 20 0 12 0 260912167 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109484447 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 260912168 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 260912168 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 260912171 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 260912171 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 260912171 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1786660 CPUtime=0.54
/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 2478 0 0 0 53 1 0 0 16 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1786660 CPUtime=0.34
/proc/10618/task/10628/stat : 10628 (java) R 10616 10618 9780 0 -1 64 1372 0 0 0 34 0 0 0 16 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103171087 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1786660 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 1786660

[startup+3.10298 s]
/proc/loadavg: 0.92 0.98 0.99 2/90 10633
/proc/meminfo: memFree=1600224/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794832 CPUtime=4.91
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 40244 0 1 0 472 19 0 0 18 0 13 0 260912165 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448708 34802 1317 9 0 446320 0
[pid=10618/tid=10620] ppid=10616 vsize=1794832 CPUtime=2.09
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 30680 0 1 0 194 15 0 0 18 0 13 0 260912167 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109884807 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 260912168 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 260912168 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 260912171 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 260912171 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 260912171 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1794832 CPUtime=1.51
/proc/10618/task/10627/stat : 10627 (java) R 10616 10618 9780 0 -1 64 4428 0 0 0 149 2 0 0 18 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103315570 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794832 CPUtime=1.28
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 4413 0 0 0 127 1 0 0 16 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794832 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 1794832

[startup+6.30262 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 10635
/proc/meminfo: memFree=1479064/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794816 CPUtime=9.27
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 54895 0 1 0 901 26 0 0 18 0 13 0 260912165 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448704 42979 1326 9 0 446316 0
[pid=10618/tid=10620] ppid=10616 vsize=1794816 CPUtime=4.73
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 37747 0 1 0 455 18 0 0 22 0 13 0 260912167 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109617814 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794816 CPUtime=0.08
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 1176 0 0 0 8 0 0 0 16 0 13 0 260912168 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794816 CPUtime=0.07
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 1021 0 0 0 7 0 0 0 16 0 13 0 260912168 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794816 CPUtime=0
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 260912171 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794816 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1794816 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1794816 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1794816 CPUtime=2.51
/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7454 0 0 0 247 4 0 0 17 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794816 CPUtime=1.83
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6758 0 0 0 181 2 0 0 17 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794816 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794816 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10635] ppid=10616 vsize=1794816 CPUtime=0
/proc/10618/task/10635/stat : 10635 (java) S 10616 10618 9780 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260912486 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.27
Current children cumulated vsize (KiB) 1794816

[startup+12.7029 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 10635
/proc/meminfo: memFree=1439480/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794784 CPUtime=15.96
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 65811 0 1 0 1565 31 0 0 18 0 13 0 260912165 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448696 53464 1326 9 0 446308 0
[pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=10.99
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 43318 0 1 0 1079 20 0 0 21 0 13 0 260912167 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109618749 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=0.19
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 4073 0 0 0 18 1 0 0 16 0 13 0 260912168 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=0.18
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 3440 0 0 0 17 1 0 0 16 0 13 0 260912168 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.65
/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7461 0 0 0 261 4 0 0 16 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.9
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6766 0 0 0 188 2 0 0 16 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10635] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10635/stat : 10635 (java) S 10616 10618 9780 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260912486 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.96
Current children cumulated vsize (KiB) 1794784

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 10635
/proc/meminfo: memFree=1445632/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794784 CPUtime=28.88
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 68765 0 1 0 2855 33 0 0 18 0 13 0 260912165 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448696 51785 1327 9 0 446308 0
[pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=23.64
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 43337 0 1 0 2344 20 0 0 25 0 13 0 260912167 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109617769 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=0.31
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 5829 0 0 0 29 2 0 0 15 0 13 0 260912168 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=0.31
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 4618 0 0 0 29 2 0 0 16 0 13 0 260912168 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1580.91
Current children cumulated vsize (KiB) 1794784

[startup+1602.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/90 10639
/proc/meminfo: memFree=909424/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794784 CPUtime=1642.72
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 224034 0 1 0 164144 128 0 0 18 0 13 0 260912165 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448696 185608 1335 9 0 446308 0
[pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1561.17
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 51814 0 1 0 156077 40 0 0 25 0 13 0 260912167 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109753336 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=38.29
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 77241 0 0 0 3796 33 0 0 16 0 13 0 260912168 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=38.25
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 79964 0 0 0 3789 36 0 0 17 0 13 0 260912168 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.27
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 53 0 0 0 17 10 0 0 15 0 13 0 260912171 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7
/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1642.72
Current children cumulated vsize (KiB) 1794784

[startup+1662.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/90 10639
/proc/meminfo: memFree=897520/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794784 CPUtime=1704.52
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 227211 0 1 0 170321 131 0 0 18 0 13 0 260912165 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448696 188488 1335 9 0 446308 0
[pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1619.31
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 51846 0 1 0 161890 41 0 0 25 0 13 0 260912167 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109701396 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=40.11
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 78129 0 0 0 3978 33 0 0 16 0 13 0 260912168 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=40.08
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 82221 0 0 0 3971 37 0 0 16 0 13 0 260912168 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.28
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 53 0 0 0 18 10 0 0 16 0 13 0 260912171 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7
/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1704.52
Current children cumulated vsize (KiB) 1794784

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/90 10639
/proc/meminfo: memFree=887088/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794784 CPUtime=1766.29
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 230060 0 1 0 176497 132 0 0 18 0 13 0 260912165 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448696 191082 1335 9 0 446308 0
[pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1677.43
/proc/10618/task/10620/stat : 10620 (java) S 10616 10618 9780 0 -1 64 51878 0 1 0 167702 41 0 0 25 0 13 0 260912167 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=41.93
/proc/10618/task/10621/stat : 10621 (java) R 10616 10618 9780 0 -1 64 79811 0 0 0 4159 34 0 0 16 0 13 0 260912168 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105070774 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=41.91
/proc/10618/task/10622/stat : 10622 (java) R 10616 10618 9780 0 -1 64 83356 0 0 0 4153 38 0 0 16 0 13 0 260912168 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105070832 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.29
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 53 0 0 0 18 11 0 0 15 0 13 0 260912171 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7
/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.29
Current children cumulated vsize (KiB) 1794784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1755.1 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 10639
/proc/meminfo: memFree=881328/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=1794784 CPUtime=1800.06
/proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 231667 0 1 0 179872 134 0 0 18 0 13 0 260912165 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10618/statm: 448696 192535 1335 9 0 446308 0
[pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1709.23
/proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 51894 0 1 0 170881 42 0 0 25 0 13 0 260912167 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109753169 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=42.91
/proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 81023 0 0 0 4256 35 0 0 16 0 13 0 260912168 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=42.89
/proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 83734 0 0 0 4251 38 0 0 16 0 13 0 260912168 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.3
/proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 54 0 0 0 19 11 0 0 16 0 13 0 260912171 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7
/proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98
/proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0
/proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1794784

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

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

[startup+1755.21 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 10639
/proc/meminfo: memFree=881328/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=0 CPUtime=1800.21
/proc/10618/stat : 10618 (java) Z 10616 10618 9780 0 -1 1036 231686 0 1 0 179884 137 0 0 15 0 2 0 260912165 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

[startup+1755.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 10639
/proc/meminfo: memFree=881328/2055920 swapFree=4154924/4192956
[pid=10618] ppid=10616 vsize=0 CPUtime=1800.29
/proc/10618/stat : 10618 (java) Z 10616 10618 9780 0 -1 1036 231686 0 1 0 179884 145 0 0 15 0 2 0 260912165 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1755.31
CPU time (s): 1800.32
CPU user time (s): 1798.85
CPU system time (s): 1.46978
CPU usage (%): 102.564
Max. virtual memory (cumulated for all children) (KiB): 1796800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.46978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231686
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= 47908
involuntary context switches= 70533

runsolver used 1.64175 second user time and 4.77327 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Wed May  2 18:19:08 UTC 2007

IDJOB= 453312
IDBENCH= 48122
IDSOLVER= 160
FILE ID= node20/453312-1178129948

PBS_JOBID= 4751037

Free space on /tmp= 66561 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453312-1178129948/sat4jPseudoCP.jar /tmp/evaluation/453312-1178129948/instance-453312-1178129948.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-453312-1178129948 -o ROOT/results/node20/solver-453312-1178129948 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453312-1178129948/sat4jPseudoCP.jar /tmp/evaluation/453312-1178129948/instance-453312-1178129948.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  08d7a5060b972f308367859ff82f87f6

RANDOM SEED= 434455635

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1649056 kB
Buffers:        213880 kB
Cached:          75156 kB
SwapCached:      16828 kB
Active:         188808 kB
Inactive:       129756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1649056 kB
SwapTotal:     4192956 kB
SwapFree:      4154924 kB
Dirty:            3736 kB
Writeback:           0 kB
Mapped:          35564 kB
Slab:            73852 kB
Committed_AS:  6508452 kB
PageTables:       1756 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= 66561 MiB

End job on node20 on Wed May  2 18:48:25 UTC 2007