Trace number 357202

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)-37 1800.34 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
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 -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
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 1150
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 1150
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 1150
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.49/0.57	c ...done
0.49/0.57	c #vars=1150 #constraints=81069 hasObjective=yes
0.99/1.02	c res. mode=mod
0.99/1.02	c VSIDS like heuristics
0.99/1.02	c complete search running
0.99/1.08	c nbDecision=33 #constraints=81069
0.99/1.08	c linear search for optimum
0.99/1.08	o -33
1.09/1.12	c nbDecision=33 #constraints=81071
1.09/1.12	o -34
4.69/4.76	c restart after 401 decisions
4.99/5.07	c nbDecision=434 #constraints=81365
4.99/5.07	o -35
5.79/5.82	c nbDecision=500 #constraints=81415
8.99/9.05	c restart after 801 decisions
11.78/11.84	c nbDecision=1000 #constraints=81761
19.59/19.62	c nbDecision=1500 #constraints=82186
21.29/21.39	c restart after 1601 decisions
29.18/29.23	c nbDecision=2000 #constraints=82611
40.08/40.10	c nbDecision=2500 #constraints=83074
49.68/49.73	c nbDecision=3000 #constraints=83427
49.88/49.91	c nbDecision=3006 #constraints=83429
49.88/49.91	o -36
54.27/54.35	c restart after 3201 decisions
63.48/63.55	c nbDecision=3500 #constraints=83745
74.67/74.71	c nbDecision=4000 #constraints=84047
87.06/87.16	c nbDecision=4500 #constraints=84373
101.97/102.09	c nbDecision=5000 #constraints=84729
116.26/116.35	c nbDecision=5500 #constraints=85036
130.06/130.13	c nbDecision=6000 #constraints=85305
141.36/141.45	c restart after 6401 decisions
151.35/151.47	c nbDecision=6500 #constraints=85583
173.85/173.90	c nbDecision=7000 #constraints=85860
197.65/197.74	c nbDecision=7500 #constraints=86148
221.73/221.84	c nbDecision=8000 #constraints=86463
251.49/251.67	c nbDecision=8500 #constraints=86746
277.74/277.95	c nbDecision=9000 #constraints=87033
305.41/305.67	c nbDecision=9500 #constraints=87298
333.71/333.92	c nbDecision=10000 #constraints=87598
360.80/361.09	c nbDecision=10500 #constraints=87864
387.30/387.58	c nbDecision=11000 #constraints=88108
416.29/416.59	c nbDecision=11500 #constraints=88378
452.79/453.00	c nbDecision=12000 #constraints=88695
484.18/484.47	c nbDecision=12500 #constraints=88986
504.07/504.34	c restart after 12801 decisions
525.47/525.73	c nbDecision=13000 #constraints=89283
550.96/551.24	c nbDecision=13370 #constraints=89539
550.96/551.24	o -37
560.45/560.71	c nbDecision=13500 #constraints=89637
593.45/593.79	c nbDecision=14000 #constraints=89995
628.34/628.61	c nbDecision=14500 #constraints=90357
667.43/667.79	c nbDecision=15000 #constraints=90741
707.22/707.50	c nbDecision=15500 #constraints=91135
750.21/750.50	c nbDecision=16000 #constraints=91508
791.61/792.00	c nbDecision=16500 #constraints=91886
834.99/835.36	c nbDecision=17000 #constraints=92273
876.38/876.73	c nbDecision=17500 #constraints=92644
920.77/921.11	c nbDecision=18000 #constraints=93013
968.86/969.27	c nbDecision=18500 #constraints=93413
1021.75/1022.18	c nbDecision=19000 #constraints=93842
1073.94/1074.38	c nbDecision=19500 #constraints=94242
1122.22/1122.64	c nbDecision=20000 #constraints=94621
1171.21/1171.61	c nbDecision=20500 #constraints=94999
1220.20/1220.69	c nbDecision=21000 #constraints=95367
1270.99/1271.42	c nbDecision=21500 #constraints=95739
1324.58/1325.00	c nbDecision=22000 #constraints=96128
1378.36/1378.86	c nbDecision=22500 #constraints=96526
1446.55/1447.05	c nbDecision=23000 #constraints=96969
1503.53/1504.00	c nbDecision=23500 #constraints=97363
1564.22/1564.74	c nbDecision=24000 #constraints=97772
1621.60/1622.17	c nbDecision=24500 #constraints=98141
1672.29/1672.87	c nbDecision=25000 #constraints=98487
1726.78/1727.31	c nbDecision=25500 #constraints=98873
1737.17/1737.73	c restart after 25601 decisions
1800.07/1800.60	Received signal 15
1800.07/1800.66	
1800.07/1800.66	s SATISFIABLE
1800.07/1800.66	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.07/1800.66	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.07/1800.66	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.07/1800.66	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.07/1800.66	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.07/1800.66	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.07/1800.66	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.07/1800.66	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189
1800.07/1800.66	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210
1800.07/1800.66	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.07/1800.66	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.07/1800.66	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.07/1800.66	v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.07/1800.66	v -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.07/1800.66	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.07/1800.66	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.07/1800.66	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.07/1800.66	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399
1800.07/1800.66	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420
1800.07/1800.66	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.07/1800.66	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.07/1800.66	v -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.07/1800.66	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.07/1800.66	v -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.07/1800.66	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.07/1800.66	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.07/1800.66	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.07/1800.66	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.07/1800.66	v -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.07/1800.66	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.07/1800.66	v -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.07/1800.66	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693
1800.07/1800.66	v -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.07/1800.66	v -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.07/1800.66	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.07/1800.66	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.07/1800.66	v x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.07/1800.66	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.07/1800.66	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.07/1800.66	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.07/1800.66	v -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.07/1800.66	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.07/1800.66	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.07/1800.66	v -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.07/1800.66	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966
1800.07/1800.66	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987
1800.07/1800.66	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.07/1800.66	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.07/1800.66	v -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.07/1800.66	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.07/1800.66	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074
1800.07/1800.66	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.07/1800.66	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1800.07/1800.66	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.07/1800.66	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.07/1800.66	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1800.07/1800.66	
1800.07/1800.66	c user time= 1798.79 s
1800.07/1800.66	c system time= 1.3458 s
1800.07/1800.66	c wall clock time=1800.67

Verifier Data (download as text)

OK	-37

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-357202-1176991028 -o ROOT/results/node30/solver-357202-1176991028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357202-1176991028/instance-357202-1176991028.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: 1.00 1.00 0.94 3/77 28819
/proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1468 CPUtime=0
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147018495 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827805 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 367 163 130 317 0 46 0

[startup+0.0228881 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 28819
/proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1864 CPUtime=0.02
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 281 0 0 0 2 0 0 0 18 0 1 0 147018495 1908736 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 466 264 130 317 0 145 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1864

[startup+0.101892 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 28819
/proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=3636 CPUtime=0.09
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 147018495 3723264 692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 909 692 130 317 0 588 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3636

[startup+0.301905 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 28819
/proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=7988 CPUtime=0.29
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 1825 0 0 0 29 0 0 0 19 0 1 0 147018495 8179712 1774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 1997 1774 130 317 0 1676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7988

[startup+0.70193 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 28819
/proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=18912 CPUtime=0.69
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 4585 0 0 0 67 2 0 0 23 0 1 0 147018495 19365888 4469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 4728 4469 137 317 0 4407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18912

[startup+1.50299 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1766776/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=25852 CPUtime=1.49
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 6349 0 0 0 146 3 0 0 25 0 1 0 147018495 26472448 5678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 6463 5678 170 317 0 6142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25852

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1760504/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=34680 CPUtime=3.09
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 8324 0 0 0 305 4 0 0 25 0 1 0 147018495 35512320 7653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 8670 7653 170 317 0 8349 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34680

[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1746488/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=48048 CPUtime=6.29
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 11259 0 0 0 624 5 0 0 25 0 1 0 147018495 49201152 10588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 12012 10588 170 317 0 11691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48048

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1724152/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=72344 CPUtime=12.68
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 16659 0 0 0 1261 7 0 0 25 0 1 0 147018495 74080256 15988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 18086 15988 170 317 0 17765 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72344

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1686136/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=114364 CPUtime=25.48
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 25821 0 0 0 2536 12 0 0 25 0 1 0 147018495 117108736 25150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 28591 25150 170 317 0 28270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 114364

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1624632/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=187940 CPUtime=51.08
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 41192 0 0 0 5087 21 0 0 25 0 1 0 147018495 192450560 40521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 46985 40521 170 317 0 46664 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 187940

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1558776/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=256756 CPUtime=102.27
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 57420 0 0 0 10200 27 0 0 25 0 1 0 147018495 262918144 56749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 64189 56749 170 317 0 63868 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 256756

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1491960/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=343760 CPUtime=162.25
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 74126 0 0 0 16190 35 0 0 25 0 1 0 147018495 352010240 73455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 85940 73455 170 317 0 85619 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 343760

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 28820
/proc/meminfo: memFree=1452856/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=385544 CPUtime=222.23
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 83808 0 0 0 22183 40 0 0 25 0 1 0 147018495 394797056 83137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 96386 83137 170 317 0 96065 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 385544

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/84 28994
/proc/meminfo: memFree=1420088/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=419104 CPUtime=282.14
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 91760 0 0 0 28168 46 0 0 25 0 1 0 147018495 429162496 91089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 104776 91089 170 317 0 104455 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 419104

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1390392/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=451196 CPUtime=342.11
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 99325 0 0 0 34161 50 0 0 25 0 1 0 147018495 462024704 98654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 112799 98654 170 317 0 112478 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 451196

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1360696/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=483272 CPUtime=402.1
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 106853 0 0 0 40157 53 0 0 25 0 1 0 147018495 494870528 106182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 120818 106182 170 317 0 120497 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 483272

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1334008/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=511232 CPUtime=462.08
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 113466 0 0 0 46152 56 0 0 25 0 1 0 147018495 523501568 112795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 127808 112795 170 317 0 127487 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 511232

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1312504/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=536300 CPUtime=522.06
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 118934 0 0 0 52148 58 0 0 25 0 1 0 147018495 549171200 118263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 134075 118263 170 317 0 133754 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 536300

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1247864/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=637384 CPUtime=582.06
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 134962 0 0 0 58140 66 0 0 25 0 1 0 147018495 652681216 134291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 159346 134291 170 317 0 159025 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 637384

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1215864/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=672968 CPUtime=642.05
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 142862 0 0 0 64136 69 0 0 25 0 1 0 147018495 689119232 142191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 168242 142191 170 317 0 167921 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 672968


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

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 0.94 3/78 29018
/proc/meminfo: memFree=1103864/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=793800 CPUtime=881.98
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 170827 0 0 0 88116 82 0 0 25 0 1 0 147018495 812851200 170156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 198450 170156 170 317 0 198129 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 793800

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1078520/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=821452 CPUtime=941.97
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 177191 0 0 0 94112 85 0 0 25 0 1 0 147018495 841166848 176520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 205363 176520 170 317 0 205042 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 821452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1052280/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=849104 CPUtime=1001.95
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 183712 0 0 0 100107 88 0 0 25 0 1 0 147018495 869482496 183041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 212276 183041 170 317 0 211955 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 849104

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1028856/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=873800 CPUtime=1061.93
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 189628 0 0 0 106102 91 0 0 25 0 1 0 147018495 894771200 188957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 218450 188957 170 317 0 218129 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 873800

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=1004536/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=899148 CPUtime=1121.92
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 195633 0 0 0 112097 95 0 0 25 0 1 0 147018495 920727552 194962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604243 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 224787 194962 170 317 0 224466 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 899148

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=981112/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=924020 CPUtime=1181.91
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 201493 0 0 0 118093 98 0 0 25 0 1 0 147018495 946196480 200822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 231005 200822 170 317 0 230684 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 924020

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=957496/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=949096 CPUtime=1241.89
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 207367 0 0 0 124089 100 0 0 25 0 1 0 147018495 971874304 206696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 237274 206696 170 317 0 236953 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 949096

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=935544/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=971904 CPUtime=1301.88
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 212790 0 0 0 130085 103 0 0 25 0 1 0 147018495 995229696 212119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 242976 212119 170 317 0 242655 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 971904

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=915128/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=995676 CPUtime=1361.86
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 217957 0 0 0 136081 105 0 0 25 0 1 0 147018495 1019572224 217286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 248919 217286 170 317 0 248598 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 995676

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=893432/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1018240 CPUtime=1421.85
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 223320 0 0 0 142077 108 0 0 25 0 1 0 147018495 1042677760 222649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 254560 222649 170 317 0 254239 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1018240

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=873144/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1039236 CPUtime=1481.83
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 228409 0 0 0 148073 110 0 0 25 0 1 0 147018495 1064177664 227738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 259809 227738 170 317 0 259488 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1039236

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=821368/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1190128 CPUtime=1541.82
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 258328 0 0 0 154061 121 0 0 25 0 1 0 147018495 1218691072 240563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 297532 240563 170 317 0 297211 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1190128

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=801720/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1211952 CPUtime=1601.81
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 263643 0 0 0 160057 124 0 0 25 0 1 0 147018495 1241038848 245482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 302988 245482 170 317 0 302667 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1211952

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 0.94 2/78 29018
/proc/meminfo: memFree=782776/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1235096 CPUtime=1661.79
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 268721 0 0 0 166052 127 0 0 25 0 1 0 147018495 1264738304 250164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 308774 250164 170 317 0 308453 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1235096

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 0.94 2/78 29018
/proc/meminfo: memFree=759288/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1260300 CPUtime=1721.78
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 274916 0 0 0 172046 132 0 0 25 0 1 0 147018495 1290547200 256095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 315075 256095 170 317 0 314754 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1260300

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=745208/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1272640 CPUtime=1781.77
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 278429 0 0 0 178043 134 0 0 25 0 1 0 147018495 1303183360 259509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 318160 259509 170 317 0 317839 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1272640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=740664/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=1278088 CPUtime=1800.07
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 279615 0 0 0 179873 134 0 0 25 0 1 0 147018495 1308762112 260662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 319522 260662 170 317 0 319201 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1278088

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 29018
/proc/meminfo: memFree=740664/2055920 swapFree=4157140/4192956
[pid=28819] ppid=28817 vsize=0 CPUtime=1800.26
/proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194308 279631 0 0 0 179881 145 0 0 25 0 1 0 147018495 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28819/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.34
CPU user time (s): 1798.82
CPU system time (s): 1.51877
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1278088

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

runsolver used 2.12868 second user time and 4.40633 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Thu Apr 19 13:57:08 UTC 2007

IDJOB= 357202
IDBENCH= 2261
IDSOLVER= 172
FILE ID= node30/357202-1176991028

PBS_JOBID= 4630423

Free space on /tmp= 66393 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/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= oree /tmp/evaluation/357202-1176991028/instance-357202-1176991028.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-357202-1176991028 -o ROOT/results/node30/solver-357202-1176991028 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357202-1176991028/instance-357202-1176991028.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  29f577041bedcbf69a98210424b233be

RANDOM SEED= 622394735

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.218
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.218
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:       1786136 kB
Buffers:         35412 kB
Cached:         168784 kB
SwapCached:      15104 kB
Active:          77116 kB
Inactive:       150148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786136 kB
SwapTotal:     4192956 kB
SwapFree:      4157140 kB
Dirty:            3232 kB
Writeback:           0 kB
Mapped:          30224 kB
Slab:            28020 kB
Committed_AS:  2864688 kB
PageTables:       1776 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= 66393 MiB

End job on node30 on Thu Apr 19 14:27:11 UTC 2007