Trace number 357200

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)-41 1800.36 1800.93

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.59/0.66	c ...done
0.59/0.66	c #vars=1272 #constraints=94228 hasObjective=yes
0.99/1.07	c res. mode=mod
0.99/1.07	c VSIDS like heuristics
0.99/1.07	c complete search running
1.10/1.13	c nbDecision=35 #constraints=94228
1.10/1.13	c linear search for optimum
1.10/1.13	o -35
6.29/6.33	c restart after 401 decisions
6.69/6.72	c nbDecision=435 #constraints=94569
6.69/6.72	o -36
7.39/7.42	c nbDecision=500 #constraints=94605
10.29/10.36	c restart after 801 decisions
13.58/13.63	c nbDecision=1000 #constraints=94907
22.78/22.80	c nbDecision=1500 #constraints=95400
24.68/24.75	c restart after 1601 decisions
34.08/34.11	c nbDecision=2000 #constraints=95858
47.48/47.55	c nbDecision=2500 #constraints=96340
62.37/62.40	c nbDecision=3000 #constraints=96801
69.37/69.43	c restart after 3201 decisions
73.47/73.54	c nbDecision=3241 #constraints=96983
73.47/73.54	o -40
78.97/79.09	c nbDecision=3370 #constraints=97061
78.97/79.09	o -41
83.87/83.95	c nbDecision=3500 #constraints=97136
104.16/104.20	c nbDecision=4000 #constraints=97532
125.45/125.50	c nbDecision=4500 #constraints=97955
147.15/147.24	c nbDecision=5000 #constraints=98347
168.84/168.96	c nbDecision=5500 #constraints=98732
194.64/194.77	c nbDecision=6000 #constraints=99145
215.93/216.05	c restart after 6401 decisions
228.63/228.76	c nbDecision=6500 #constraints=99576
269.62/269.78	c nbDecision=7000 #constraints=100065
302.81/302.98	c nbDecision=7500 #constraints=100565
338.90/339.06	c nbDecision=8000 #constraints=101059
384.45/384.68	c nbDecision=8500 #constraints=101544
425.89/426.13	c nbDecision=9000 #constraints=102037
467.87/468.12	c nbDecision=9500 #constraints=102536
512.37/512.68	c nbDecision=10000 #constraints=103019
561.76/562.09	c nbDecision=10500 #constraints=103516
604.34/604.62	c nbDecision=11000 #constraints=104016
651.73/652.09	c nbDecision=11500 #constraints=104511
697.12/697.47	c nbDecision=12000 #constraints=104980
751.80/752.15	c nbDecision=12500 #constraints=105466
782.09/782.43	c restart after 12801 decisions
817.38/817.75	c nbDecision=13000 #constraints=105912
871.66/872.02	c nbDecision=13500 #constraints=106386
928.45/928.82	c nbDecision=14000 #constraints=106867
987.94/988.37	c nbDecision=14500 #constraints=107354
1048.82/1049.27	c nbDecision=15000 #constraints=107840
1111.00/1111.41	c nbDecision=15500 #constraints=108324
1175.18/1175.64	c nbDecision=16000 #constraints=108805
1238.97/1239.43	c nbDecision=16500 #constraints=109297
1300.35/1300.88	c nbDecision=17000 #constraints=109785
1363.44/1363.97	c nbDecision=17500 #constraints=110273
1430.72/1431.22	c nbDecision=18000 #constraints=110769
1494.80/1495.35	c nbDecision=18500 #constraints=111257
1555.89/1556.40	c nbDecision=19000 #constraints=111734
1620.36/1620.99	c nbDecision=19500 #constraints=112221
1685.15/1685.78	c nbDecision=20000 #constraints=112700
1755.83/1756.45	c nbDecision=20500 #constraints=113200
1800.02/1800.61	Received signal 15
1800.02/1800.70	
1800.02/1800.70	s SATISFIABLE
1800.02/1800.70	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.02/1800.70	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.02/1800.70	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.02/1800.70	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.02/1800.70	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126
1800.02/1800.70	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147
1800.02/1800.70	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.02/1800.70	v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.02/1800.70	v -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.02/1800.70	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.02/1800.70	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.02/1800.70	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.02/1800.70	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294
1800.02/1800.70	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315
1800.02/1800.70	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.02/1800.70	v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.02/1800.70	v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.02/1800.70	v -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.02/1800.70	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.02/1800.70	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441
1800.02/1800.70	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462
1800.02/1800.70	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.02/1800.70	v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.02/1800.70	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.02/1800.70	v -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.02/1800.70	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.02/1800.70	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.02/1800.70	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.02/1800.70	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.02/1800.70	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.02/1800.70	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.02/1800.70	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.02/1800.70	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.02/1800.70	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.02/1800.70	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756
1800.02/1800.70	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.02/1800.70	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.02/1800.70	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.02/1800.70	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.02/1800.70	v x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.02/1800.70	v -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.02/1800.70	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903
1800.02/1800.70	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.02/1800.70	v x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.02/1800.70	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.02/1800.70	v -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.02/1800.70	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.02/1800.70	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.02/1800.70	v x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.02/1800.70	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.02/1800.70	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.02/1800.70	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.02/1800.70	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1800.02/1800.70	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.02/1800.70	v -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.02/1800.70	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.02/1800.70	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.02/1800.70	v -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.02/1800.70	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210
1800.02/1800.70	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1800.02/1800.70	v x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1800.02/1800.70	v -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1800.02/1800.70	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1800.12/1800.71	
1800.12/1800.71	c user time= 1798.62 s
1800.12/1800.71	c system time= 1.52077 s
1800.12/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

OK	-41

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-357200-1176990890 -o ROOT/results/node15/solver-357200-1176990890 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357200-1176990890/instance-357200-1176990890.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.99 0.97 0.97 3/77 17192
/proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1468 CPUtime=0
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147006673 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135174392 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 367 163 130 317 0 46 0

[startup+0.0508781 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 17192
/proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=2524 CPUtime=0.04
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 434 0 0 0 4 0 0 0 18 0 1 0 147006673 2584576 416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 631 416 130 317 0 310 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2524

[startup+0.102882 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 17192
/proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=3640 CPUtime=0.09
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 147006673 3727360 704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 910 704 130 317 0 589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3640

[startup+0.301902 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 17192
/proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=8124 CPUtime=0.29
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 1838 0 0 0 29 0 0 0 19 0 1 0 147006673 8318976 1787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 2031 1788 130 317 0 1710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8124

[startup+0.701936 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 17192
/proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=21652 CPUtime=0.69
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 5282 0 0 0 67 2 0 0 22 0 1 0 147006673 22171648 5166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 5413 5166 137 317 0 5092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21652

[startup+1.50201 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1631088/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=29380 CPUtime=1.49
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 7270 0 0 0 146 3 0 0 25 0 1 0 147006673 30085120 6509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 7345 6509 170 317 0 7024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29380

[startup+3.10116 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1624560/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=37132 CPUtime=3.09
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 9023 0 0 0 306 3 0 0 25 0 1 0 147006673 38023168 8262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 9283 8262 170 317 0 8962 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37132

[startup+6.30145 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1610032/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=50572 CPUtime=6.29
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 12060 0 0 0 624 5 0 0 25 0 1 0 147006673 51785728 11299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 12643 11299 170 317 0 12322 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50572

[startup+12.701 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1589936/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=71764 CPUtime=12.69
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 16917 0 0 0 1262 7 0 0 25 0 1 0 147006673 73486336 16156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 17941 16156 170 317 0 17620 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71764

[startup+25.5022 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1548208/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=117128 CPUtime=25.48
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 26859 0 0 0 2537 11 0 0 25 0 1 0 147006673 119939072 26098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 29282 26098 170 317 0 28961 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 117128

[startup+51.1026 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1488112/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=189568 CPUtime=51.08
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 42079 0 0 0 5090 18 0 0 25 0 1 0 147006673 194117632 41318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 47392 41318 170 317 0 47071 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 189568

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.97 3/78 17193
/proc/meminfo: memFree=1429104/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=249276 CPUtime=102.27
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 56597 0 0 0 10201 26 0 0 25 0 1 0 147006673 255258624 55836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 62319 55836 170 317 0 61998 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 249276

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1349232/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=351004 CPUtime=162.24
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 76684 0 0 0 16189 35 0 0 25 0 1 0 147006673 359428096 75923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 87751 75923 170 317 0 87430 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 351004

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1299888/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=401768 CPUtime=222.24
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 88798 0 0 0 22182 42 0 0 25 0 1 0 147006673 411410432 88037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 100442 88037 170 317 0 100121 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 401768

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1258864/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=444880 CPUtime=282.21
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 99171 0 0 0 28174 47 0 0 25 0 1 0 147006673 455557120 98410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 111220 98410 170 317 0 110899 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 444880

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17193
/proc/meminfo: memFree=1212848/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=492920 CPUtime=342.2
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 110570 0 0 0 34166 54 0 0 25 0 1 0 147006673 504750080 109809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 123230 109809 170 317 0 122909 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 492920

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/84 17357
/proc/meminfo: memFree=1177344/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=527544 CPUtime=402.11
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 119174 0 0 0 40152 59 0 0 25 0 1 0 147006673 540205056 118413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 131886 118413 170 317 0 131565 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 527544

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 3/78 17391
/proc/meminfo: memFree=1103600/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=642264 CPUtime=462.08
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 137747 0 0 0 46140 68 0 0 25 0 1 0 147006673 657678336 136986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 160566 136986 170 317 0 160245 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 642264

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=1068656/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=681716 CPUtime=522.06
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 146665 0 0 0 52134 72 0 0 25 0 1 0 147006673 698077184 145904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 170429 145904 170 317 0 170108 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 681716

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=1034288/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=718260 CPUtime=582.05
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 155131 0 0 0 58129 76 0 0 25 0 1 0 147006673 735498240 154370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 179565 154370 170 317 0 179244 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 718260

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=998000/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=757540 CPUtime=642.03
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 164096 0 0 0 64123 80 0 0 25 0 1 0 147006673 775720960 163335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 189385 163335 170 317 0 189064 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 757540


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=855792/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=904256 CPUtime=941.95
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 199680 0 0 0 94097 98 0 0 25 0 1 0 147006673 925958144 198919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 226064 198919 170 317 0 225743 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 904256

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=828208/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=932060 CPUtime=1001.94
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 206493 0 0 0 100092 102 0 0 25 0 1 0 147006673 954429440 205732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 233015 205732 170 317 0 232694 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 932060

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=802224/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=958844 CPUtime=1061.92
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 213038 0 0 0 106087 105 0 0 25 0 1 0 147006673 981856256 212277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 239711 212277 170 317 0 239390 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 958844

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=776368/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=984764 CPUtime=1121.9
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 219396 0 0 0 112082 108 0 0 25 0 1 0 147006673 1008398336 218635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 246191 218635 170 317 0 245870 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 984764

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=751664/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1011248 CPUtime=1181.89
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 225675 0 0 0 118078 111 0 0 25 0 1 0 147006673 1035517952 224914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 252812 224914 170 317 0 252491 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1011248

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=725936/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1036780 CPUtime=1241.87
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 232010 0 0 0 124073 114 0 0 25 0 1 0 147006673 1061662720 231249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 259195 231249 170 317 0 258874 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1036780

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=699376/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1063680 CPUtime=1301.86
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 238592 0 0 0 130068 118 0 0 25 0 1 0 147006673 1089208320 237831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716132 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 265920 237831 170 317 0 265599 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1063680

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=673776/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1089968 CPUtime=1361.84
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 245050 0 0 0 136063 121 0 0 25 0 1 0 147006673 1116127232 244289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 272492 244289 170 317 0 272171 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1089968

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=616304/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1254796 CPUtime=1421.83
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 277977 0 0 0 142051 132 0 0 25 0 1 0 147006673 1284911104 258472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 313699 258472 170 317 0 313378 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1254796

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=590640/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1283972 CPUtime=1481.81
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 285131 0 0 0 148046 135 0 0 25 0 1 0 147006673 1314787328 264966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 320993 264966 170 317 0 320672 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1283972

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=567536/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1311028 CPUtime=1541.79
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 290987 0 0 0 154041 138 0 0 25 0 1 0 147006673 1342492672 270657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 327757 270657 170 317 0 327436 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1311028

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=540528/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1339536 CPUtime=1601.77
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 298044 0 0 0 160036 141 0 0 25 0 1 0 147006673 1371684864 277483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 334884 277483 170 317 0 334563 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1339536

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=515248/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1365200 CPUtime=1661.75
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 304479 0 0 0 166031 144 0 0 25 0 1 0 147006673 1397964800 283720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 341300 283720 170 317 0 340979 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1365200

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=489712/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1391184 CPUtime=1721.74
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 311028 0 0 0 172026 148 0 0 25 0 1 0 147006673 1424572416 290170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 347796 290170 170 317 0 347475 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1391184

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=464880/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1417356 CPUtime=1781.73
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 317624 0 0 0 178022 151 0 0 25 0 1 0 147006673 1451372544 296304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 354339 296304 170 317 0 354018 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1417356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=458096/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=1424776 CPUtime=1800.02
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 319279 0 0 0 179851 151 0 0 25 0 1 0 147006673 1458970624 297959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 356194 297959 170 317 0 355873 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1424776

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: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=458096/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=0 CPUtime=1800.22
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194308 319300 0 0 0 179864 158 0 0 25 0 1 0 147006673 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17391
/proc/meminfo: memFree=458096/2055920 swapFree=4169120/4192956
[pid=17192] ppid=17190 vsize=0 CPUtime=1800.32
/proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194308 319300 0 0 0 179864 168 0 0 25 0 1 0 147006673 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17192/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.36
CPU user time (s): 1798.64
CPU system time (s): 1.71574
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1424776

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

runsolver used 2.13167 second user time and 4.40933 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Thu Apr 19 13:54:51 UTC 2007

IDJOB= 357200
IDBENCH= 2259
IDSOLVER= 172
FILE ID= node15/357200-1176990890

PBS_JOBID= 4630463

Free space on /tmp= 66481 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  604c6b786f56b09c749bc0d6b7c8f76d

RANDOM SEED= 382174821

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1652816 kB
Buffers:         36804 kB
Cached:         294192 kB
SwapCached:       2544 kB
Active:         217396 kB
Inactive:       136472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1652816 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            3568 kB
Writeback:           0 kB
Mapped:          30100 kB
Slab:            34660 kB
Committed_AS:  6275532 kB
PageTables:       1868 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= 66481 MiB

End job on node15 on Thu Apr 19 14:24:53 UTC 2007