Trace number 365658

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)491516 1800.66 1801.11

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sample2.opb
MD5SUMf72f6e3cf70b31c2d253740c5b04c4f6
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark384000
Best CPU time to get the best result obtained on this benchmark7.17691
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 384000
Optimality of the best value was proved YES
Number of variables1296
Total number of constraints46
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints43
Minimum length of a constraint4
Maximum length of a constraint150
Number of terms in the objective function 729
Biggest coefficient in the objective function 3221225472
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 70867574718
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 3221225472
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 70867574718
Number of bits of the biggest sum of numbers37
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.00/0.01	c ...done
0.00/0.01	c #vars=1296 #constraints=68 hasObjective=yes
0.02/0.02	c res. mode=mod
0.02/0.02	c VSIDS like heuristics
0.02/0.02	c complete search running
0.59/0.65	c restart after 401 decisions
0.79/0.81	c nbDecision=500 #constraints=417
1.79/1.80	c restart after 801 decisions
2.10/2.14	c nbDecision=1000 #constraints=779
3.29/3.39	c nbDecision=1500 #constraints=1239
3.69/3.71	c restart after 1601 decisions
4.39/4.41	c nbDecision=2000 #constraints=1551
5.89/5.97	c nbDecision=2500 #constraints=1963
8.08/8.12	c nbDecision=3000 #constraints=2405
9.18/9.25	c restart after 3201 decisions
10.69/10.75	c nbDecision=3500 #constraints=2790
12.29/12.39	c nbDecision=3691 #constraints=2938
12.29/12.39	c linear search for optimum
12.29/12.39	o 593914
12.39/12.43	c nbDecision=3693 #constraints=2939
12.39/12.43	o 491516
14.19/14.28	c nbDecision=4000 #constraints=3109
18.89/18.92	c nbDecision=4500 #constraints=3424
25.09/25.16	c nbDecision=5000 #constraints=3795
34.69/34.75	c nbDecision=5500 #constraints=4154
49.88/49.96	c nbDecision=6000 #constraints=4576
57.77/57.87	c restart after 6401 decisions
58.68/58.75	c nbDecision=6500 #constraints=4922
65.07/65.14	c nbDecision=7000 #constraints=5304
73.27/73.32	c nbDecision=7500 #constraints=5779
81.67/81.76	c nbDecision=8000 #constraints=6240
92.56/92.65	c nbDecision=8500 #constraints=6718
105.86/105.90	c nbDecision=9000 #constraints=7193
119.66/119.76	c nbDecision=9500 #constraints=7644
131.66/131.79	c nbDecision=10000 #constraints=8121
148.26/148.37	c nbDecision=10500 #constraints=8598
165.35/165.48	c nbDecision=11000 #constraints=9064
184.75/184.86	c nbDecision=11500 #constraints=9523
203.54/203.60	c nbDecision=12000 #constraints=9979
225.13/225.25	c nbDecision=12500 #constraints=10442
237.33/237.47	c restart after 12801 decisions
244.73/244.80	c nbDecision=13000 #constraints=10808
251.73/251.81	c nbDecision=13500 #constraints=10970
259.23/259.38	c nbDecision=14000 #constraints=11183
266.82/266.90	c nbDecision=14500 #constraints=11571
276.33/276.46	c nbDecision=15000 #constraints=11965
285.93/286.08	c nbDecision=15500 #constraints=12336
296.21/296.38	c nbDecision=16000 #constraints=12719
308.51/308.68	c nbDecision=16500 #constraints=13134
320.11/320.23	c nbDecision=17000 #constraints=13523
332.81/332.91	c nbDecision=17500 #constraints=13932
346.21/346.38	c nbDecision=18000 #constraints=14330
358.60/358.76	c nbDecision=18500 #constraints=14733
371.70/371.84	c nbDecision=19000 #constraints=15110
387.70/387.88	c nbDecision=19500 #constraints=15527
400.69/400.84	c nbDecision=20000 #constraints=15915
412.79/412.94	c nbDecision=20500 #constraints=16342
428.19/428.35	c nbDecision=21000 #constraints=16732
444.68/444.87	c nbDecision=21500 #constraints=17107
460.48/460.62	c nbDecision=22000 #constraints=17463
476.27/476.44	c nbDecision=22500 #constraints=17775
491.17/491.39	c nbDecision=23000 #constraints=18174
513.26/513.40	c nbDecision=23500 #constraints=18577
533.96/534.13	c nbDecision=24000 #constraints=18913
551.85/552.06	c nbDecision=24500 #constraints=19201
570.55/570.76	c nbDecision=25000 #constraints=19470
592.14/592.32	c nbDecision=25500 #constraints=19769
594.94/595.14	c restart after 25601 decisions
700.72/700.92	c nbDecision=26000 #constraints=20082
895.47/895.72	c nbDecision=26500 #constraints=20504
1011.24/1011.57	c nbDecision=27000 #constraints=20853
1091.93/1092.22	c nbDecision=27500 #constraints=21108
1236.69/1237.03	c nbDecision=28000 #constraints=21509
1413.94/1414.32	c nbDecision=28500 #constraints=21954
1545.81/1546.27	c nbDecision=29000 #constraints=22435
1664.99/1665.49	c nbDecision=29500 #constraints=22895
1759.86/1760.33	c nbDecision=30000 #constraints=23283
1800.05/1800.50	Received signal 15
1800.54/1801.04	
1800.54/1801.04	s SATISFIABLE
1800.54/1801.04	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
1800.54/1801.04	v -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 -x55
1800.54/1801.04	v -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 -x81
1800.54/1801.04	v -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.54/1801.04	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.54/1801.04	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.54/1801.04	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.54/1801.04	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.54/1801.04	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.54/1801.04	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.54/1801.04	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.54/1801.04	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.54/1801.04	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.54/1801.04	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 x312 x313 x314 -x315
1800.54/1801.04	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.54/1801.04	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.54/1801.04	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 x373 x374 -x375 -x376 -x377 -x378
1800.54/1801.04	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.54/1801.04	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.54/1801.04	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.54/1801.04	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.54/1801.04	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.54/1801.04	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.54/1801.04	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 x522 x523 x524 -x525
1800.54/1801.04	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.54/1801.04	v -x547 -x548 -x549 -x550 x551 x552 x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.54/1801.04	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588
1800.54/1801.04	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.54/1801.04	v -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 -x626 -x627 x628 x629 -x630 x631 -x632
1800.54/1801.04	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.54/1801.04	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674
1800.54/1801.04	v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.54/1801.04	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.54/1801.04	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.54/1801.04	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.54/1801.04	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.54/1801.04	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.54/1801.04	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1800.54/1801.04	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1800.54/1801.04	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1800.54/1801.04	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1800.54/1801.04	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905
1800.54/1801.04	v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926
1800.54/1801.04	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
1800.54/1801.04	v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
1800.54/1801.04	v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1800.54/1801.04	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008
1800.54/1801.04	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025
1800.54/1801.04	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.54/1801.04	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.54/1801.04	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.54/1801.04	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.54/1801.04	v -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.54/1801.04	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.54/1801.04	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1800.54/1801.04	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162
1800.54/1801.04	v x1163 x1164 x1165 -x1166 x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1800.54/1801.04	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 x1198
1800.54/1801.04	v x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1800.54/1801.04	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 x1228 x1229 -x1230 -x1231 -x1232 -x1233
1800.54/1801.04	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 x1247 x1248 x1249 x1250 x1251
1800.54/1801.04	v x1252 x1253 x1254 x1255 -x1256 -x1257 x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1800.54/1801.04	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 x1286 -x1287
1800.54/1801.04	v x1288 -x1289 x1290 -x1291 -x1292 x1293 -x1294 x1295 x1296
1800.54/1801.04	
1800.54/1801.04	c user time= 1800.11 s
1800.54/1801.04	c system time= 0.487925 s
1800.54/1801.04	c wall clock time=1801.04

Verifier Data (download as text)

OK	491516

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-365658-1176995783 -o ROOT/results/node52/solver-365658-1176995783 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365658-1176995783/instance-365658-1176995783.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.92 0.98 0.96 3/64 13836
/proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=1468 CPUtime=0
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 54423372 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 367 161 131 317 0 46 0

[startup+0.025171 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 13836
/proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=1864 CPUtime=0.02
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 280 0 0 0 2 0 0 0 18 0 1 0 54423372 1908736 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534230 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 466 262 137 317 0 145 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1864

[startup+0.101176 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 13836
/proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=2380 CPUtime=0.09
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 438 0 0 0 9 0 0 0 18 0 1 0 54423372 2437120 420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 595 420 170 317 0 274 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2380

[startup+0.301189 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 13836
/proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=3700 CPUtime=0.29
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 773 0 0 0 29 0 0 0 19 0 1 0 54423372 3788800 755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 925 755 170 317 0 604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3700

[startup+0.701215 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 13836
/proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=5680 CPUtime=0.69
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 1275 0 0 0 69 0 0 0 22 0 1 0 54423372 5816320 1257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 1420 1257 170 317 0 1099 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5680

[startup+1.50127 s]
/proc/loadavg: 0.92 0.98 0.96 2/65 13837
/proc/meminfo: memFree=1807692/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=9632 CPUtime=1.49
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 2256 0 0 0 148 1 0 0 25 0 1 0 54423372 9863168 2238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 2408 2238 170 317 0 2087 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9632

[startup+3.10138 s]
/proc/loadavg: 0.92 0.98 0.96 2/65 13837
/proc/meminfo: memFree=1803020/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=15828 CPUtime=3.09
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 3789 0 0 0 308 1 0 0 25 0 1 0 54423372 16207872 3771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 3957 3771 170 317 0 3636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15828

[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.96 2/65 13837
/proc/meminfo: memFree=1792268/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=24556 CPUtime=6.29
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 5919 0 0 0 626 3 0 0 25 0 1 0 54423372 25145344 5901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 6139 5901 170 317 0 5818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24556

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.96 2/65 13837
/proc/meminfo: memFree=1779412/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=35964 CPUtime=12.69
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 8747 0 0 0 1265 4 0 0 25 0 1 0 54423372 36827136 8729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 8991 8729 170 317 0 8670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35964

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.96 2/65 13837
/proc/meminfo: memFree=1767380/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=48184 CPUtime=25.49
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 11673 0 0 0 2543 6 0 0 25 0 1 0 54423372 49340416 11655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 12046 11655 170 317 0 11725 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48184

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.96 2/65 13837
/proc/meminfo: memFree=1754324/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=61144 CPUtime=51.08
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 14957 0 0 0 5100 8 0 0 25 0 1 0 54423372 62611456 14939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 15286 14939 170 317 0 14965 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61144

[startup+102.304 s]
/proc/loadavg: 0.98 0.98 0.96 2/65 13837
/proc/meminfo: memFree=1713556/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=101780 CPUtime=102.26
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 25037 0 0 0 10211 15 0 0 25 0 1 0 54423372 104222720 25019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 25445 25019 170 317 0 25124 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 101780

[startup+162.301 s]
/proc/loadavg: 1.05 1.00 0.96 2/65 13837
/proc/meminfo: memFree=1679124/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=139336 CPUtime=162.25
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 33745 0 0 0 16205 20 0 0 25 0 1 0 54423372 142680064 33670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 34834 33670 170 317 0 34513 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 139336

[startup+222.301 s]
/proc/loadavg: 1.02 1.00 0.96 2/65 13837
/proc/meminfo: memFree=1654996/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=162504 CPUtime=222.24
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 39697 0 0 0 22201 23 0 0 25 0 1 0 54423372 166404096 39622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 40626 39622 170 317 0 40305 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 162504

[startup+282.301 s]
/proc/loadavg: 1.04 1.01 0.97 2/65 13837
/proc/meminfo: memFree=1632212/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=186236 CPUtime=282.22
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 45414 0 0 0 28196 26 0 0 25 0 1 0 54423372 190705664 45339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 46559 45339 170 317 0 46238 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 186236

[startup+342.301 s]
/proc/loadavg: 1.01 1.01 0.97 2/65 13837
/proc/meminfo: memFree=1609364/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=208892 CPUtime=342.21
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 51069 0 0 0 34192 29 0 0 25 0 1 0 54423372 213905408 50994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 52223 50994 170 317 0 51902 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 208892

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1588308/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=231156 CPUtime=402.19
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 56372 0 0 0 40188 31 0 0 25 0 1 0 54423372 236703744 56297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 57789 56297 170 317 0 57468 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 231156

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1570388/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=251552 CPUtime=462.18
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 60882 0 0 0 46184 34 0 0 25 0 1 0 54423372 257589248 60694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 62888 60694 170 317 0 62567 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 251552

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1555988/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=266964 CPUtime=522.16
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 64523 0 0 0 52180 36 0 0 25 0 1 0 54423372 273371136 64302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 66741 64302 170 317 0 66420 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 266964

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1543892/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=280416 CPUtime=582.15
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 67783 0 0 0 58177 38 0 0 25 0 1 0 54423372 287145984 67331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 70104 67331 170 317 0 69783 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 280416

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1539092/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=284912 CPUtime=642.14
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 68948 0 0 0 64175 39 0 0 25 0 1 0 54423372 291749888 68496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 71228 68496 170 317 0 70907 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 284912


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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1518996/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=310152 CPUtime=1002.04
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 73968 0 0 0 100163 41 0 0 25 0 1 0 54423372 317595648 73516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 77538 73516 170 317 0 77217 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 310152

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1514836/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=314972 CPUtime=1062.03
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 75054 0 0 0 106161 42 0 0 25 0 1 0 54423372 322531328 74569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715674 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 78743 74569 170 317 0 78422 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 314972

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1511188/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=318848 CPUtime=1122.01
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 75951 0 0 0 112159 42 0 0 25 0 1 0 54423372 326500352 75466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 79712 75466 170 317 0 79391 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 318848

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1508116/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=321752 CPUtime=1182
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 76721 0 0 0 118157 43 0 0 25 0 1 0 54423372 329474048 76236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 80438 76236 170 317 0 80117 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 321752

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1505300/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=324368 CPUtime=1241.98
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 77401 0 0 0 124155 43 0 0 25 0 1 0 54423372 332152832 76916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 81092 76916 170 317 0 80771 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 324368

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 0.97 2/65 13837
/proc/meminfo: memFree=1502612/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=326744 CPUtime=1301.98
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 78053 0 0 0 130154 44 0 0 25 0 1 0 54423372 334585856 77568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 81686 77568 170 317 0 81365 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 326744

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 0.97 2/65 13837
/proc/meminfo: memFree=1499476/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=329864 CPUtime=1361.96
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 78852 0 0 0 136152 44 0 0 25 0 1 0 54423372 337780736 78367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 82466 78367 170 317 0 82145 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 329864

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1495380/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=335272 CPUtime=1421.94
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 79861 0 0 0 142150 44 0 0 25 0 1 0 54423372 343318528 79376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 83818 79376 170 317 0 83497 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 335272

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1491412/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=338980 CPUtime=1481.92
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 80848 0 0 0 148147 45 0 0 25 0 1 0 54423372 347115520 80363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 84745 80363 170 317 0 84424 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 338980

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1486804/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=343416 CPUtime=1541.91
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 81997 0 0 0 154145 46 0 0 25 0 1 0 54423372 351657984 81512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 85854 81512 170 317 0 85533 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 343416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1481876/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=348532 CPUtime=1601.89
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 83255 0 0 0 160143 46 0 0 25 0 1 0 54423372 356896768 82770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 87133 82770 170 317 0 86812 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 348532

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 13837
/proc/meminfo: memFree=1477396/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=352352 CPUtime=1661.88
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 84354 0 0 0 166141 47 0 0 25 0 1 0 54423372 360808448 83869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 88088 83869 170 317 0 87767 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 352352

[startup+1722.3 s]
/proc/loadavg: 1.06 1.01 0.98 2/65 13837
/proc/meminfo: memFree=1472660/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=356920 CPUtime=1721.87
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 85553 0 0 0 172139 48 0 0 25 0 1 0 54423372 365486080 85068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 89230 85068 170 317 0 88909 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 356920

[startup+1782.3 s]
/proc/loadavg: 1.18 1.06 1.00 2/65 13837
/proc/meminfo: memFree=1468372/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=360784 CPUtime=1781.85
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86599 0 0 0 178137 48 0 0 25 0 1 0 54423372 369442816 86114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 90196 86114 170 317 0 89875 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 360784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.13 1.05 1.00 2/65 13837
/proc/meminfo: memFree=1467860/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=361168 CPUtime=1800.05
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86714 0 0 0 179957 48 0 0 25 0 1 0 54423372 369836032 86229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 90292 86229 170 317 0 89971 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 361168

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

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

[startup+1800.61 s]
/proc/loadavg: 1.13 1.05 1.00 2/66 13838
/proc/meminfo: memFree=1467852/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=361168 CPUtime=1800.15
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86714 0 0 0 179967 48 0 0 25 0 1 0 54423372 369836032 86229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 90292 86229 170 317 0 89971 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 361168

[startup+1801 s]
/proc/loadavg: 1.13 1.05 1.00 2/66 13838
/proc/meminfo: memFree=1467852/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=361168 CPUtime=1800.54
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86714 0 0 0 180006 48 0 0 25 0 1 0 54423372 369836032 86229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 90292 86229 170 317 0 89971 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 361168

[startup+1801.1 s]
/proc/loadavg: 1.13 1.05 1.00 2/66 13838
/proc/meminfo: memFree=1467852/2055920 swapFree=4182956/4192956
[pid=13836] ppid=13834 vsize=0 CPUtime=1800.65
/proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194308 86730 0 0 0 180011 54 0 0 25 0 1 0 54423372 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13836/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.11
CPU time (s): 1800.66
CPU user time (s): 1800.12
CPU system time (s): 0.543917
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 361168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.12
system time used= 0.543917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86730
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= 3422

runsolver used 1.16782 second user time and 3.76343 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Thu Apr 19 15:16:23 UTC 2007

IDJOB= 365658
IDBENCH= 2473
IDSOLVER= 172
FILE ID= node52/365658-1176995783

PBS_JOBID= 4630454

Free space on /tmp= 66312 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb
COMMAND LINE= oree /tmp/evaluation/365658-1176995783/instance-365658-1176995783.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-365658-1176995783 -o ROOT/results/node52/solver-365658-1176995783 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365658-1176995783/instance-365658-1176995783.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f72f6e3cf70b31c2d253740c5b04c4f6

RANDOM SEED= 293576829

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1813804 kB
Buffers:         11772 kB
Cached:         181324 kB
SwapCached:       3832 kB
Active:          64856 kB
Inactive:       137864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813804 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            1344 kB
Writeback:           0 kB
Mapped:          15612 kB
Slab:            25296 kB
Committed_AS:  1630360 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB

End job on node52 on Thu Apr 19 15:46:26 UTC 2007