Trace number 357204

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.32 1801.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUMe81d6b8e8ff8ec031773b7b65d16ea78
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -50
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
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.48/0.56	c ...done
0.48/0.56	c #vars=1150 #constraints=80259 hasObjective=yes
0.89/0.98	c res. mode=mod
0.89/0.98	c VSIDS like heuristics
0.89/0.98	c complete search running
1.00/1.03	c nbDecision=35 #constraints=80259
1.00/1.03	c linear search for optimum
1.00/1.03	o -35
3.49/3.54	c restart after 401 decisions
3.89/3.90	c nbDecision=446 #constraints=80462
3.89/3.90	o -36
4.49/4.59	c nbDecision=500 #constraints=80514
7.08/7.14	c nbDecision=718 #constraints=80673
7.08/7.14	o -37
7.18/7.25	c nbDecision=729 #constraints=80680
7.18/7.25	o -38
7.48/7.53	c nbDecision=757 #constraints=80697
7.48/7.53	o -39
7.98/8.02	c restart after 801 decisions
9.89/9.91	c nbDecision=1000 #constraints=80820
15.19/15.27	c nbDecision=1500 #constraints=81116
16.09/16.12	c restart after 1601 decisions
20.78/20.87	c nbDecision=2000 #constraints=81355
27.48/27.54	c nbDecision=2500 #constraints=81657
35.38/35.47	c nbDecision=3000 #constraints=81965
39.18/39.25	c restart after 3201 decisions
46.97/47.07	c nbDecision=3500 #constraints=82294
57.77/57.84	c nbDecision=4000 #constraints=82603
70.87/70.96	c nbDecision=4500 #constraints=82948
83.36/83.48	c nbDecision=5000 #constraints=83246
100.25/100.33	c nbDecision=5500 #constraints=83627
120.55/120.65	c nbDecision=5997 #constraints=84039
120.55/120.65	o -40
120.75/120.80	c nbDecision=6000 #constraints=84043
137.04/137.10	c restart after 6401 decisions
145.94/146.09	c nbDecision=6500 #constraints=84443
164.24/164.37	c nbDecision=7000 #constraints=84792
185.62/185.78	c nbDecision=7500 #constraints=85207
207.51/207.63	c nbDecision=8000 #constraints=85640
232.35/232.50	c nbDecision=8500 #constraints=86055
255.62/255.88	c nbDecision=9000 #constraints=86474
279.39/279.63	c nbDecision=9500 #constraints=86893
306.98/307.20	c nbDecision=10000 #constraints=87303
337.27/337.57	c nbDecision=10500 #constraints=87742
370.55/370.85	c nbDecision=11000 #constraints=88192
398.25/398.56	c nbDecision=11500 #constraints=88555
423.24/423.56	c nbDecision=12000 #constraints=88873
448.53/448.85	c nbDecision=12500 #constraints=89180
466.32/466.67	c restart after 12801 decisions
493.41/493.72	c nbDecision=13000 #constraints=89517
528.90/529.25	c nbDecision=13500 #constraints=89801
567.19/567.57	c nbDecision=14000 #constraints=90110
602.77/603.13	c nbDecision=14500 #constraints=90391
642.06/642.45	c nbDecision=15000 #constraints=90695
683.75/684.19	c nbDecision=15500 #constraints=90979
729.23/729.65	c nbDecision=16000 #constraints=91310
766.92/767.37	c nbDecision=16500 #constraints=91613
809.30/809.79	c nbDecision=17000 #constraints=91937
852.59/853.04	c nbDecision=17500 #constraints=92229
884.67/885.17	c nbDecision=18000 #constraints=92484
927.96/928.49	c nbDecision=18500 #constraints=92785
973.74/974.24	c nbDecision=19000 #constraints=93101
1019.33/1019.87	c nbDecision=19500 #constraints=93382
1068.81/1069.34	c nbDecision=20000 #constraints=93693
1114.30/1114.89	c nbDecision=20500 #constraints=93975
1152.98/1153.58	c nbDecision=21000 #constraints=94226
1198.56/1199.15	c nbDecision=21500 #constraints=94531
1240.15/1240.74	c nbDecision=22000 #constraints=94797
1293.23/1293.86	c nbDecision=22500 #constraints=95121
1336.81/1337.40	c nbDecision=23000 #constraints=95372
1389.29/1389.98	c nbDecision=23500 #constraints=95654
1452.38/1453.08	c nbDecision=24000 #constraints=95988
1510.66/1511.31	c nbDecision=24500 #constraints=96296
1569.14/1569.81	c nbDecision=25000 #constraints=96602
1626.71/1627.42	c nbDecision=25500 #constraints=96904
1640.00/1640.72	c restart after 25601 decisions
1722.18/1722.92	c nbDecision=26000 #constraints=97273
1800.05/1800.80	Received signal 15
1800.05/1800.87	
1800.05/1800.87	s SATISFIABLE
1800.05/1800.87	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.05/1800.87	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.05/1800.87	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.05/1800.87	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.05/1800.87	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.05/1800.87	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147
1800.05/1800.87	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.05/1800.87	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189
1800.05/1800.87	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
1800.05/1800.87	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231
1800.05/1800.87	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.05/1800.87	v -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.05/1800.87	v -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.05/1800.87	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.05/1800.87	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.05/1800.87	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.05/1800.87	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.05/1800.87	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.05/1800.87	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.05/1800.87	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.05/1800.87	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.05/1800.87	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483
1800.05/1800.87	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504
1800.05/1800.87	v -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.05/1800.87	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546
1800.05/1800.87	v -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.05/1800.87	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588
1800.05/1800.87	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.05/1800.87	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630
1800.05/1800.87	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.05/1800.87	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672
1800.05/1800.87	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.05/1800.87	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.05/1800.87	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735
1800.05/1800.87	v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.05/1800.87	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.05/1800.87	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.05/1800.87	v -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.05/1800.87	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.05/1800.87	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.05/1800.87	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.05/1800.87	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903
1800.05/1800.87	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.05/1800.87	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.05/1800.87	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966
1800.05/1800.87	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.05/1800.87	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.05/1800.87	v -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024
1800.05/1800.87	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1800.05/1800.87	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1800.05/1800.87	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075
1800.05/1800.87	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.05/1800.87	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.05/1800.87	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126
1800.05/1800.87	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.05/1800.87	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1800.05/1800.87	
1800.05/1800.87	c user time= 1798.78 s
1800.05/1800.87	c system time= 1.35679 s
1800.05/1800.87	c wall clock time=1800.87

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/node20/watcher-357204-1176991048 -o ROOT/results/node20/solver-357204-1176991048 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357204-1176991048/instance-357204-1176991048.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 0.99 0.99 3/77 32413
/proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1468 CPUtime=0
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147022138 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134544626 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 367 163 130 317 0 46 0

[startup+0.0390631 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 32413
/proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=2260 CPUtime=0.03
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 368 0 0 0 3 0 0 0 18 0 1 0 147022138 2314240 350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 565 350 130 317 0 244 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2260

[startup+0.101069 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 32413
/proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=3636 CPUtime=0.09
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 147022138 3723264 689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714826 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 909 689 130 317 0 588 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3636

[startup+0.30111 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 32413
/proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=7988 CPUtime=0.29
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 1822 0 0 0 29 0 0 0 19 0 1 0 147022138 8179712 1771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 1997 1771 130 317 0 1676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7988

[startup+0.701191 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 32413
/proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=18756 CPUtime=0.69
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 4542 0 0 0 67 2 0 0 23 0 1 0 147022138 19206144 4426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 4689 4426 137 317 0 4368 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18756

[startup+1.50135 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1803376/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=25572 CPUtime=1.48
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 6265 0 0 0 146 2 0 0 25 0 1 0 147022138 26185728 5600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 6393 5600 170 317 0 6072 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25572

[startup+3.10167 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1797744/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=33844 CPUtime=3.09
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 8128 0 0 0 305 4 0 0 25 0 1 0 147022138 34656256 7463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 8461 7463 170 317 0 8140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33844

[startup+6.30131 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1784176/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=47068 CPUtime=6.29
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 11050 0 0 0 624 5 0 0 25 0 1 0 147022138 48197632 10385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 11767 10385 170 317 0 11446 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47068

[startup+12.7016 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1762416/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=70572 CPUtime=12.69
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 16238 0 0 0 1261 8 0 0 25 0 1 0 147022138 72265728 15573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 17643 15573 170 317 0 17322 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70572

[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1726384/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=111084 CPUtime=25.48
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 25004 0 0 0 2537 11 0 0 25 0 1 0 147022138 113750016 24339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 27771 24339 170 317 0 27450 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 111084

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1675632/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=172956 CPUtime=51.07
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 37719 0 0 0 5090 17 0 0 25 0 1 0 147022138 177106944 37054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 43239 37054 170 317 0 42918 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 172956

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1609712/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=242060 CPUtime=102.26
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 53921 0 0 0 10200 26 0 0 25 0 1 0 147022138 247869440 53256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273225 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 60515 53256 170 317 0 60194 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 242060

[startup+162.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32414
/proc/meminfo: memFree=1538416/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=334384 CPUtime=162.23
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 71857 0 0 0 16190 33 0 0 25 0 1 0 147022138 342409216 71192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 83596 71192 170 317 0 83275 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 334384

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/84 32488
/proc/meminfo: memFree=1478392/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=396600 CPUtime=222.18
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 86338 0 0 0 22175 43 0 0 25 0 1 0 147022138 406118400 85673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 99150 85673 170 317 0 98829 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 396600

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1426224/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=454416 CPUtime=282.09
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 99737 0 0 0 28159 50 0 0 25 0 1 0 147022138 465321984 99072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 113604 99072 170 317 0 113283 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 454416

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1381552/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=501220 CPUtime=342.07
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 110763 0 0 0 34152 55 0 0 25 0 1 0 147022138 513249280 110098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135276985 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 125305 110098 170 317 0 124984 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 501220

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1311728/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=608488 CPUtime=402.04
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 128273 0 0 0 40142 62 0 0 25 0 1 0 147022138 623091712 127608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 152122 127608 170 317 0 151801 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 608488

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1273392/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=653076 CPUtime=462.03
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 137773 0 0 0 46135 68 0 0 25 0 1 0 147022138 668749824 137108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 163269 137108 170 317 0 162948 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 653076

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1252848/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=674748 CPUtime=522
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 142914 0 0 0 52130 70 0 0 25 0 1 0 147022138 690941952 142249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 168687 142249 170 317 0 168366 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 674748

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1227632/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=701368 CPUtime=581.98
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 149183 0 0 0 58125 73 0 0 25 0 1 0 147022138 718200832 148518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 175342 148518 170 317 0 175021 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 701368

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1203696/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=727020 CPUtime=641.96
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 155072 0 0 0 64119 77 0 0 25 0 1 0 147022138 744468480 154407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 181755 154407 170 317 0 181434 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 727020


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1114608/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=824188 CPUtime=881.87
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 177258 0 0 0 88097 90 0 0 25 0 1 0 147022138 843968512 176593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 206047 176593 170 317 0 205726 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 824188

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1092336/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=847292 CPUtime=941.86
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 182870 0 0 0 94092 94 0 0 25 0 1 0 147022138 867627008 182205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 211823 182205 170 317 0 211502 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 847292

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1071664/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=868736 CPUtime=1001.83
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 187971 0 0 0 100087 96 0 0 25 0 1 0 147022138 889585664 187306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 217184 187306 170 317 0 216863 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 868736

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1052016/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=889308 CPUtime=1061.81
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 192923 0 0 0 106082 99 0 0 25 0 1 0 147022138 910651392 192258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 222327 192258 170 317 0 222006 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 889308

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1033904/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=909716 CPUtime=1121.79
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 197405 0 0 0 112078 101 0 0 25 0 1 0 147022138 931549184 196740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 227429 196740 170 317 0 227108 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 909716

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=1012720/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=931640 CPUtime=1181.77
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 202749 0 0 0 118074 103 0 0 25 0 1 0 147022138 953999360 202084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 232910 202084 170 317 0 232589 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 931640

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=992368/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=951984 CPUtime=1241.75
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 207776 0 0 0 124069 106 0 0 25 0 1 0 147022138 974831616 207111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 237996 207111 170 317 0 237675 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 951984

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=972656/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=971584 CPUtime=1301.73
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 212637 0 0 0 130064 109 0 0 25 0 1 0 147022138 994902016 211972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 242896 211972 170 317 0 242575 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 971584

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=957296/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=989204 CPUtime=1361.71
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 216510 0 0 0 136060 111 0 0 25 0 1 0 147022138 1012944896 215845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 247301 215845 170 317 0 246980 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 989204

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=939376/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1007284 CPUtime=1421.69
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 220926 0 0 0 142055 114 0 0 25 0 1 0 147022138 1031458816 220261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 251821 220261 170 317 0 251500 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 1007284

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=922416/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1024496 CPUtime=1481.66
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 225212 0 0 0 148050 116 0 0 25 0 1 0 147022138 1049083904 224547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 256124 224547 170 317 0 255803 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1024496

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=907440/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1041040 CPUtime=1541.64
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 228889 0 0 0 154047 117 0 0 25 0 1 0 147022138 1066024960 228224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 260260 228224 170 317 0 259939 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 1041040

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=862192/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1181896 CPUtime=1601.62
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 257021 0 0 0 160033 129 0 0 25 0 1 0 147022138 1210261504 239460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 295474 239460 170 317 0 295153 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 1181896

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=851888/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1196048 CPUtime=1661.6
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 259938 0 0 0 166029 131 0 0 25 0 1 0 147022138 1224753152 241981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 299012 241981 170 317 0 298691 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 1196048

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=834736/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1212756 CPUtime=1721.58
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 264423 0 0 0 172025 133 0 0 25 0 1 0 147022138 1241862144 246301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 303189 246301 170 317 0 302868 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1212756

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=821040/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1229532 CPUtime=1781.56
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 267991 0 0 0 178021 135 0 0 25 0 1 0 147022138 1259040768 249671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 307383 249671 170 317 0 307062 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1229532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 32612
/proc/meminfo: memFree=816624/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=1235504 CPUtime=1800.05
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 269146 0 0 0 179870 135 0 0 25 0 1 0 147022138 1265156096 250760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/statm: 308876 250760 170 317 0 308555 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1235504

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.99 0.99 2/78 32612
/proc/meminfo: memFree=816624/2055920 swapFree=4155228/4192956
[pid=32413] ppid=32411 vsize=0 CPUtime=1800.26
/proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194308 269162 0 0 0 179880 146 0 0 25 0 1 0 147022138 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32413/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): 1801.07
CPU time (s): 1800.32
CPU user time (s): 1798.8
CPU system time (s): 1.52377
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 1235504

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

runsolver used 2.0037 second user time and 4.54331 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Thu Apr 19 13:57:28 UTC 2007

IDJOB= 357204
IDBENCH= 2263
IDSOLVER= 172
FILE ID= node20/357204-1176991048

PBS_JOBID= 4630460

Free space on /tmp= 66454 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-4.opb
COMMAND LINE= oree /tmp/evaluation/357204-1176991048/instance-357204-1176991048.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-357204-1176991048 -o ROOT/results/node20/solver-357204-1176991048 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357204-1176991048/instance-357204-1176991048.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e81d6b8e8ff8ec031773b7b65d16ea78

RANDOM SEED= 880077051

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1823120 kB
Buffers:         26912 kB
Cached:         122788 kB
SwapCached:      16084 kB
Active:          76016 kB
Inactive:        96536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823120 kB
SwapTotal:     4192956 kB
SwapFree:      4155228 kB
Dirty:            3288 kB
Writeback:           0 kB
Mapped:          29900 kB
Slab:            45804 kB
Committed_AS:  1892716 kB
PageTables:       1744 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= 66454 MiB

End job on node20 on Thu Apr 19 14:27:31 UTC 2007