Trace number 357196

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
oree 0.1.2 alphaSAT (TO)-40 1800.37 1801.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM1925793f412227c60146f261684ef7c1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94127
Number of constraints which are clauses94127
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.59/0.66	c ...done
0.59/0.66	c #vars=1272 #constraints=94128 hasObjective=yes
1.00/1.05	c res. mode=mod
1.00/1.05	c VSIDS like heuristics
1.00/1.05	c complete search running
1.10/1.11	c nbDecision=36 #constraints=94128
1.10/1.11	c linear search for optimum
1.10/1.11	o -36
1.69/1.77	c nbDecision=117 #constraints=94178
1.69/1.77	o -37
3.89/3.98	c nbDecision=363 #constraints=94332
3.89/3.98	o -38
4.39/4.42	c restart after 401 decisions
5.18/5.29	c nbDecision=500 #constraints=94399
8.79/8.85	c restart after 801 decisions
11.69/11.70	c nbDecision=1000 #constraints=94749
19.48/19.51	c nbDecision=1500 #constraints=95108
21.58/21.66	c restart after 1601 decisions
29.08/29.18	c nbDecision=2000 #constraints=95435
40.37/40.48	c nbDecision=2500 #constraints=95813
52.27/52.38	c nbDecision=3000 #constraints=96168
57.67/57.75	c restart after 3201 decisions
66.07/66.17	c nbDecision=3500 #constraints=96501
68.27/68.37	c nbDecision=3585 #constraints=96557
68.27/68.37	o -39
79.56/79.68	c nbDecision=4000 #constraints=96856
95.26/95.36	c nbDecision=4500 #constraints=97227
110.76/110.86	c nbDecision=5000 #constraints=97633
128.56/128.60	c nbDecision=5500 #constraints=98030
147.64/147.72	c nbDecision=6000 #constraints=98433
164.64/164.73	c restart after 6401 decisions
177.13/177.28	c nbDecision=6500 #constraints=98821
193.93/194.03	c nbDecision=6761 #constraints=99050
193.93/194.03	o -40
212.52/212.60	c nbDecision=7000 #constraints=99240
246.81/246.96	c nbDecision=7500 #constraints=99708
283.40/283.58	c nbDecision=8000 #constraints=100166
322.79/322.94	c nbDecision=8500 #constraints=100609
361.37/361.54	c nbDecision=9000 #constraints=101027
407.86/408.03	c nbDecision=9500 #constraints=101483
454.24/454.44	c nbDecision=10000 #constraints=101984
499.83/500.06	c nbDecision=10500 #constraints=102484
547.57/547.82	c nbDecision=11000 #constraints=102981
599.50/599.88	c nbDecision=11500 #constraints=103472
661.68/662.07	c nbDecision=12000 #constraints=103911
715.06/715.45	c nbDecision=12500 #constraints=104400
748.46/748.86	c restart after 12801 decisions
781.64/782.06	c nbDecision=13000 #constraints=104804
829.82/830.25	c nbDecision=13500 #constraints=105196
878.71/879.14	c nbDecision=14000 #constraints=105564
929.29/929.78	c nbDecision=14500 #constraints=105926
980.18/980.65	c nbDecision=15000 #constraints=106309
1034.26/1034.79	c nbDecision=15500 #constraints=106686
1088.24/1088.71	c nbDecision=16000 #constraints=107087
1143.43/1143.95	c nbDecision=16500 #constraints=107481
1202.41/1202.94	c nbDecision=17000 #constraints=107890
1263.49/1264.03	c nbDecision=17500 #constraints=108266
1326.77/1327.34	c nbDecision=18000 #constraints=108669
1396.74/1397.33	c nbDecision=18500 #constraints=109101
1460.72/1461.32	c nbDecision=19000 #constraints=109488
1536.20/1536.84	c nbDecision=19500 #constraints=109918
1608.08/1608.74	c nbDecision=20000 #constraints=110343
1682.56/1683.27	c nbDecision=20500 #constraints=110766
1756.13/1756.84	c nbDecision=21000 #constraints=111156
1800.02/1800.71	Received signal 15
1800.12/1800.84	
1800.12/1800.84	s SATISFIABLE
1800.12/1800.84	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.12/1800.84	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.12/1800.84	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.12/1800.84	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.12/1800.84	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126
1800.12/1800.84	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147
1800.12/1800.84	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.12/1800.84	v -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.12/1800.84	v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.12/1800.84	v -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.12/1800.84	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.12/1800.84	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273
1800.12/1800.84	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294
1800.12/1800.84	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.12/1800.84	v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.12/1800.84	v -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.12/1800.84	v -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.12/1800.84	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.12/1800.84	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.12/1800.84	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.12/1800.84	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.12/1800.84	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.12/1800.84	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.12/1800.84	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525
1800.12/1800.84	v -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.12/1800.84	v -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.12/1800.84	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.12/1800.84	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.12/1800.84	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630
1800.12/1800.84	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651
1800.12/1800.84	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.12/1800.84	v -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.12/1800.84	v -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.12/1800.84	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.12/1800.84	v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.12/1800.84	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.12/1800.84	v -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.12/1800.84	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.12/1800.84	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.12/1800.84	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.12/1800.84	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.12/1800.84	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.12/1800.84	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.12/1800.84	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.12/1800.84	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966
1800.12/1800.84	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.12/1800.84	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.12/1800.84	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.12/1800.84	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040
1800.12/1800.84	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.12/1800.84	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.12/1800.84	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.12/1800.84	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108
1800.12/1800.84	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.12/1800.84	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142
1800.12/1800.84	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.12/1800.84	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.12/1800.84	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.12/1800.84	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1800.12/1800.84	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227
1800.12/1800.84	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1800.12/1800.84	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1800.12/1800.84	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1800.12/1800.84	
1800.12/1800.84	c user time= 1798.75 s
1800.12/1800.84	c system time= 1.41878 s
1800.12/1800.84	c wall clock time=1800.85

Verifier Data (download as text)

OK	-40

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-357196-1176990730 -o ROOT/results/node39/solver-357196-1176990730 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357196-1176990730/instance-357196-1176990730.opb mod 

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.91 0.95 0.97 2/77 2243
/proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1468 CPUtime=0
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 146985072 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 367 163 130 317 0 46 0

[startup+0.0107889 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 2243
/proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1600 CPUtime=0
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 146985072 1638400 195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 400 195 130 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1600

[startup+0.101804 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 2243
/proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=3640 CPUtime=0.1
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 716 0 0 0 10 0 0 0 18 0 1 0 146985072 3727360 698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134600013 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 910 699 130 317 0 589 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3640

[startup+0.301838 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 2243
/proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=8124 CPUtime=0.29
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 1836 0 0 0 29 0 0 0 19 0 1 0 146985072 8318976 1785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 2031 1786 130 317 0 1710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8124

[startup+0.701905 s]
/proc/loadavg: 0.91 0.95 0.97 2/77 2243
/proc/meminfo: memFree=1527944/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=21560 CPUtime=0.69
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 5275 0 0 0 68 1 0 0 23 0 1 0 146985072 22077440 5159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 5390 5159 137 317 0 5069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21560

[startup+1.50104 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 2244
/proc/meminfo: memFree=1506304/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=29412 CPUtime=1.49
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 7275 0 0 0 147 2 0 0 25 0 1 0 146985072 30117888 6515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 7353 6515 170 317 0 7032 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29412

[startup+3.10131 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 2244
/proc/meminfo: memFree=1499968/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=37144 CPUtime=3.09
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 9044 0 0 0 306 3 0 0 25 0 1 0 146985072 38035456 8284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 9286 8284 170 317 0 8965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37144

[startup+6.30185 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 2244
/proc/meminfo: memFree=1485760/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=50584 CPUtime=6.29
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 12129 0 0 0 625 4 0 0 25 0 1 0 146985072 51798016 11369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593381 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 12646 11369 170 317 0 12325 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50584

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 2244
/proc/meminfo: memFree=1462848/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=74008 CPUtime=12.69
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 17483 0 0 0 1263 6 0 0 25 0 1 0 146985072 75784192 16723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 18502 16723 170 317 0 18181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74008

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 2244
/proc/meminfo: memFree=1428928/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=111880 CPUtime=25.48
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 25723 0 0 0 2538 10 0 0 25 0 1 0 146985072 114565120 24963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 27970 24963 170 317 0 27649 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 111880

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 2244
/proc/meminfo: memFree=1385600/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=158848 CPUtime=51.07
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 36625 0 0 0 5092 15 0 0 25 0 1 0 146985072 162660352 35865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 39712 35865 170 317 0 39391 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 158848

[startup+102.306 s]
/proc/loadavg: 1.02 0.98 0.97 2/78 2244
/proc/meminfo: memFree=1301824/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=250500 CPUtime=102.27
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 57298 0 0 0 10202 25 0 0 25 0 1 0 146985072 256512000 56538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 62625 56538 170 317 0 62304 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 250500

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2244
/proc/meminfo: memFree=1211840/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=361280 CPUtime=162.23
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 79870 0 0 0 16188 35 0 0 25 0 1 0 146985072 369950720 79110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 90320 79110 170 317 0 89999 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 361280

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2244
/proc/meminfo: memFree=1174400/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=399208 CPUtime=222.22
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 89081 0 0 0 22182 40 0 0 25 0 1 0 146985072 408788992 88321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 99802 88321 170 317 0 99481 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 399208

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2244
/proc/meminfo: memFree=1130880/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=444436 CPUtime=282.2
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 100063 0 0 0 28174 46 0 0 25 0 1 0 146985072 455102464 99303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 111109 99303 170 317 0 110788 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 444436

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2244
/proc/meminfo: memFree=1093312/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=482488 CPUtime=342.19
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 109344 0 0 0 34167 52 0 0 25 0 1 0 146985072 494067712 108584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 120622 108584 170 317 0 120301 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 482488

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2244
/proc/meminfo: memFree=1060352/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=516288 CPUtime=402.16
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 117634 0 0 0 40161 55 0 0 25 0 1 0 146985072 528678912 116874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 129072 116874 170 317 0 128751 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 516288

[startup+462.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2244
/proc/meminfo: memFree=1025280/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=553248 CPUtime=462.14
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 126302 0 0 0 46154 60 0 0 25 0 1 0 146985072 566525952 125542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 138312 125542 170 317 0 137991 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 553248

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2244
/proc/meminfo: memFree=955776/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=664176 CPUtime=522.12
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 143715 0 0 0 52144 68 0 0 25 0 1 0 146985072 680116224 142955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 166044 142955 170 317 0 165723 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 664176

[startup+582.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/84 2422
/proc/meminfo: memFree=922120/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=699104 CPUtime=582.01
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 151741 0 0 0 58129 72 0 0 25 0 1 0 146985072 715882496 150981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 174776 150981 170 317 0 174455 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 699104

[startup+642.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=897024/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=726120 CPUtime=641.99
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 158197 0 0 0 64124 75 0 0 25 0 1 0 146985072 743546880 157437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 181530 157437 170 317 0 181209 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 726120


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=795008/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=831148 CPUtime=881.91
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 183690 0 0 0 88103 88 0 0 25 0 1 0 146985072 851095552 182930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 207787 182930 170 317 0 207466 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 831148

[startup+942.301 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=771200/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=855864 CPUtime=941.89
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 189715 0 0 0 94097 92 0 0 25 0 1 0 146985072 876404736 188955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 213966 188955 170 317 0 213645 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 855864

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=746752/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=880260 CPUtime=1001.87
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 195773 0 0 0 100092 95 0 0 25 0 1 0 146985072 901386240 195013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 220065 195013 170 317 0 219744 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 880260

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=725056/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=904784 CPUtime=1061.85
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 201228 0 0 0 106087 98 0 0 25 0 1 0 146985072 926498816 200468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 226196 200468 170 317 0 225875 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 904784

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.97 3/78 2442
/proc/meminfo: memFree=700992/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=928892 CPUtime=1121.83
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 207203 0 0 0 112082 101 0 0 25 0 1 0 146985072 951185408 206443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 232223 206444 170 317 0 231902 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 928892

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=677376/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=952676 CPUtime=1181.82
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 213119 0 0 0 118077 105 0 0 25 0 1 0 146985072 975540224 212359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 238169 212359 170 317 0 237848 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 952676

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=654848/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=974864 CPUtime=1241.79
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 218707 0 0 0 124071 108 0 0 25 0 1 0 146985072 998260736 217947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 243716 217947 170 317 0 243395 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 974864

[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=633664/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=996196 CPUtime=1301.78
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 223940 0 0 0 130067 111 0 0 25 0 1 0 146985072 1020104704 223180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 249049 223180 170 317 0 248728 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 996196

[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=614656/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1017244 CPUtime=1361.75
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 228739 0 0 0 136061 114 0 0 25 0 1 0 146985072 1041657856 227979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 254311 227979 170 317 0 253990 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1017244

[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=593280/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1038284 CPUtime=1421.74
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 234016 0 0 0 142057 117 0 0 25 0 1 0 146985072 1063202816 233256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 259571 233256 170 317 0 259250 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1038284

[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=572800/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1058372 CPUtime=1481.71
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 239150 0 0 0 148052 119 0 0 25 0 1 0 146985072 1083772928 238390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 264593 238390 170 317 0 264272 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1058372

[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=555328/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1077424 CPUtime=1541.7
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 243489 0 0 0 154048 122 0 0 25 0 1 0 146985072 1103282176 242729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 269356 242729 170 317 0 269035 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1077424

[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=534848/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1097776 CPUtime=1601.68
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 248674 0 0 0 160043 125 0 0 25 0 1 0 146985072 1124122624 247914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 274444 247914 170 317 0 274123 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1097776

[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=480896/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1260536 CPUtime=1661.66
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 280957 0 0 0 166030 136 0 0 25 0 1 0 146985072 1290788864 261222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 315134 261222 170 317 0 314813 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1260536

[startup+1722.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=464192/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1280672 CPUtime=1721.64
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 285407 0 0 0 172026 138 0 0 25 0 1 0 146985072 1311408128 265441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 320168 265441 170 317 0 319847 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1280672

[startup+1782.3 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=443648/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1300340 CPUtime=1781.62
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 290646 0 0 0 178021 141 0 0 25 0 1 0 146985072 1331548160 270515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 325085 270515 170 317 0 324764 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1300340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=438144/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=1306988 CPUtime=1800.02
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194304 292092 0 0 0 179861 141 0 0 25 0 1 0 146985072 1338355712 271862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 326747 271862 170 317 0 326426 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1306988

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

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

[startup+1801 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 2442
/proc/meminfo: memFree=438144/2055920 swapFree=4154524/4192956
[pid=2243] ppid=2241 vsize=0 CPUtime=1800.31
/proc/2243/stat : 2243 (oree) R 2241 2243 2092 0 -1 4194308 292109 0 0 0 179877 154 0 0 25 0 1 0 146985072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2243/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.05
CPU time (s): 1800.37
CPU user time (s): 1798.77
CPU system time (s): 1.59476
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 1306988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.59476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2873

runsolver used 1.9587 second user time and 4.6083 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Thu Apr 19 13:52:10 UTC 2007

IDJOB= 357196
IDBENCH= 2255
IDSOLVER= 172
FILE ID= node39/357196-1176990730

PBS_JOBID= 4630459

Free space on /tmp= 66486 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= oree /tmp/evaluation/357196-1176990730/instance-357196-1176990730.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-357196-1176990730 -o ROOT/results/node39/solver-357196-1176990730 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357196-1176990730/instance-357196-1176990730.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1925793f412227c60146f261684ef7c1

RANDOM SEED= 916965107

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1528288 kB
Buffers:         45940 kB
Cached:         389144 kB
SwapCached:      18408 kB
Active:         173648 kB
Inactive:       289896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1528288 kB
SwapTotal:     4192956 kB
SwapFree:      4154524 kB
Dirty:            3660 kB
Writeback:           0 kB
Mapped:          30572 kB
Slab:            49380 kB
Committed_AS:  1771896 kB
PageTables:       2012 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= 66486 MiB

End job on node39 on Thu Apr 19 14:22:14 UTC 2007