Trace number 433106

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
bsolo 3.0.17SAT (TO)-41 1800.28 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
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.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433106-1177954536/instance-433106-1177954536.opb
0.00/0.00	c File size is 2294904 bytes.
0.30/0.38	c Highest Coefficient sum: 1272
0.30/0.38	c Parsing was ok!!
0.30/0.38	c Total parsing time: 0.383 s
0.39/0.42	c Var: 1272 Constr: 94226 94226/0/0 Lit: 188452 Watch. Lit: 188452
0.39/0.42	c Obj. Vars: 1272 (100 % of total variables)
2.89/2.95	c Pre-processing Time: 2.952 s
2.89/2.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.96	c        0   1272    94226   188452    2   188452   31408      0      0 2.95
2.89/2.96	c Switching off LPR mode.
2.89/2.97	o -36	2.967
2.89/2.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.99	c        0   1272    94227   189724    2   188490   32408      1      0 2.97
2.89/2.99	o -37	2.994
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c       38   1272    94266   237848    2   188605   32408     40     12 3.00
2.99/3.01	o -38	3.007
2.99/3.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.02	c       48   1272    94277   251435    2   188665   32408     51     15 3.01
2.99/3.02	o -40	3.02
33.18/33.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.18/33.25	c       57   1272    94287   263787    2   188725   32408     61     18 3.02
33.18/33.25	c      158   1272    94388   387808    4   188927   35649    162     50 3.10
33.18/33.25	c      408   1272    94638   694806    7   189427   39214    412    124 3.29
33.18/33.25	c      884   1272    95114  1279319   13   190379   43136    888    236 3.74
33.18/33.25	c     1698   1272    95928  2278976   23   192007   47450   1702    358 4.73
33.18/33.25	c     3019   1272    97249  3901582   40   194649   52196   3023    421 7.16
33.18/33.25	c     5100   1272    99330  6457378   65   198811   57416   5104    465 10.96
33.18/33.25	c     8323   1272   102553 10416294  101   205257   63158   8327    432 19.23
33.18/33.25	c    13259   1272   107489 16476591  153   215129   69474  13263    399 33.20
33.18/33.25	o -41	33.243
1800.02/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.61	c    13260   1272   107491 16479094  153   215174   32408  13265    398 33.25
1800.02/1800.61	c    13361   1272   107592 16603026  154   215376   35649  13366    400 33.34
1800.02/1800.61	c    13611   1272   107842 16909780  156   215876   39214  13616    404 33.62
1800.02/1800.61	c    14086   1272   108317 17492520  161   216826   43136  14091    412 34.17
1800.02/1800.61	c    14899   1272   109130 18489742  169   218452   47450  14904    423 35.15
1800.02/1800.61	c    16219   1272   110450 20109322  182   221092   52196  16224    437 37.08
1800.02/1800.61	c    18301   1272   112532 22663727  201   225256   57416  18306    454 40.26
1800.02/1800.61	c    21524   1272   115755 26619459  229   231702   63158  21529    414 51.94
1800.02/1800.61	c    26460   1272   120691 32676681  270   241574   69474  26465    395 66.97
1800.02/1800.61	c    33966   1272   128197 41885868  326   256586   76422  33971    389 87.28
1800.02/1800.61	c    45328   1272   139559 55826795  400   279310   84065  45333    350 129.41
1800.02/1800.61	c    62474   1272   156705 76867624  490   313602   92472  62479    242 257.69
1800.02/1800.61	c    88293   1272   182524 108552425  594   365240  101720  88298    137 642.74
1800.02/1800.61	c   127125   1272   130771 45019917  344   261583  111893  36545    107 1179.83
1800.02/1800.61	c Caught signal: 15
1800.02/1800.61	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
1800.02/1800.61	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239
1800.02/1800.61	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
1800.02/1800.61	v -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205
1800.02/1800.61	v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
1800.02/1800.61	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1800.02/1800.61	v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1800.02/1800.61	v -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
1800.02/1800.61	v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
1800.02/1800.61	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1800.02/1800.61	v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086
1800.02/1800.61	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 x1069
1800.02/1800.61	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1800.02/1800.61	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1800.02/1800.61	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1800.02/1800.61	v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001
1800.02/1800.61	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981
1800.02/1800.61	v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960
1800.02/1800.61	v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939
1800.02/1800.61	v -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918
1800.02/1800.61	v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897
1800.02/1800.61	v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876
1800.02/1800.61	v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855
1800.02/1800.61	v -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834
1800.02/1800.61	v -x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
1800.02/1800.61	v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
1800.02/1800.61	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
1800.02/1800.61	v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
1800.02/1800.61	v -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
1800.02/1800.61	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1800.02/1800.61	v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687
1800.02/1800.61	v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1800.02/1800.61	v x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1800.02/1800.61	v -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1800.02/1800.61	v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603
1800.02/1800.61	v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.02/1800.61	v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1800.02/1800.61	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540
1800.02/1800.61	v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.02/1800.61	v -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.02/1800.61	v -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1800.02/1800.61	v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456
1800.02/1800.61	v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1800.02/1800.61	v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1800.02/1800.61	v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.02/1800.61	v -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1800.02/1800.61	v -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351
1800.02/1800.61	v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1800.02/1800.61	v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309
1800.02/1800.61	v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1800.02/1800.61	v -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1800.02/1800.61	v -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1800.02/1800.61	v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1800.02/1800.61	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204
1800.02/1800.61	v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1800.02/1800.61	v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1800.02/1800.61	v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1800.02/1800.61	v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1800.02/1800.61	v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.02/1800.61	v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73
1800.02/1800.61	v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47
1800.02/1800.61	v -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21
1800.02/1800.61	v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.61	c   26   171771  18777   196498   175417 99793968  81191     95 1800.02
1800.02/1800.61	c Objective: -41
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	c Total time: 1800.02 s

Verifier Data (download as text)

OK	-41

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node27/watcher-433106-1177954536 -o ROOT/results/node27/solver-433106-1177954536 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433106-1177954536/instance-433106-1177954536.opb 

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.77 0.92 0.91 3/65 24605
/proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=13980 CPUtime=0
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 208149564 14315520 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 3495 335 279 324 0 2004 0

[startup+0.0303851 s]
/proc/loadavg: 0.77 0.92 0.91 3/65 24605
/proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=6868 CPUtime=0.02
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 568 0 0 0 2 0 0 0 18 0 1 0 208149564 7032832 538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 1717 539 316 324 0 226 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6868

[startup+0.101392 s]
/proc/loadavg: 0.77 0.92 0.91 3/65 24605
/proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=8652 CPUtime=0.09
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 1112 0 0 0 9 0 0 0 18 0 1 0 208149564 8859648 1082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 2163 1082 420 324 0 672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8652

[startup+0.301411 s]
/proc/loadavg: 0.77 0.92 0.91 3/65 24605
/proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=13464 CPUtime=0.3
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 2598 0 0 0 28 2 0 0 19 0 1 0 208149564 13787136 2568 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 3366 2568 711 324 0 1875 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13464

[startup+0.701451 s]
/proc/loadavg: 0.77 0.92 0.91 3/65 24605
/proc/meminfo: memFree=1776536/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=20824 CPUtime=0.69
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 5160 0 0 0 66 3 0 0 22 0 1 0 208149564 21323776 4569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 5206 4569 305 324 0 4276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20824

[startup+1.50153 s]
/proc/loadavg: 0.77 0.92 0.91 2/66 24606
/proc/meminfo: memFree=1759376/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=20824 CPUtime=1.49
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 5160 0 0 0 145 4 0 0 25 0 1 0 208149564 21323776 4569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 5206 4569 305 324 0 4276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20824

[startup+3.10169 s]
/proc/loadavg: 0.79 0.92 0.91 2/66 24606
/proc/meminfo: memFree=1759248/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=20264 CPUtime=3.09
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 6468 0 0 0 301 8 0 0 25 0 1 0 208149564 20750336 4456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 5066 4456 310 324 0 4136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20264

[startup+6.30302 s]
/proc/loadavg: 0.79 0.92 0.91 2/66 24606
/proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=59976 CPUtime=6.29
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 16387 0 0 0 617 12 0 0 25 0 1 0 208149564 61415424 14375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 14994 14375 310 324 0 14064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59976

[startup+12.7017 s]
/proc/loadavg: 0.81 0.92 0.91 2/66 24606
/proc/meminfo: memFree=1668816/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=116408 CPUtime=12.69
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 30499 0 0 0 1252 17 0 0 25 0 1 0 208149564 119201792 28487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 29102 28487 310 324 0 28172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116408

[startup+25.502 s]
/proc/loadavg: 0.85 0.93 0.91 2/66 24606
/proc/meminfo: memFree=1591376/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=189280 CPUtime=25.49
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 48705 0 0 0 2523 26 0 0 25 0 1 0 208149564 193822720 46693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 47320 46693 310 324 0 46390 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 189280

[startup+51.1015 s]
/proc/loadavg: 0.90 0.93 0.91 2/66 24606
/proc/meminfo: memFree=1426512/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=354020 CPUtime=51.08
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 89894 0 0 0 5064 44 0 0 25 0 1 0 208149564 362516480 87882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 88505 87882 310 324 0 87575 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 354020

[startup+102.306 s]
/proc/loadavg: 0.96 0.94 0.91 2/66 24606
/proc/meminfo: memFree=1131984/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=647152 CPUtime=102.27
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 163177 0 0 0 10152 75 0 0 25 0 1 0 208149564 662683648 161165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 161788 161165 310 324 0 160858 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 647152

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.91 2/66 24606
/proc/meminfo: memFree=919440/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=860588 CPUtime=162.25
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 216524 0 0 0 16127 98 0 0 25 0 1 0 208149564 881242112 214512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 215147 214512 310 324 0 214217 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 860588

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.91 2/66 24606
/proc/meminfo: memFree=822672/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=955880 CPUtime=222.23
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 240344 0 0 0 22113 110 0 0 25 0 1 0 208149564 978821120 238332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 238970 238332 310 324 0 238040 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 955880

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.91 2/66 24606
/proc/meminfo: memFree=722320/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1056584 CPUtime=282.22
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 265527 0 0 0 28099 123 0 0 25 0 1 0 208149564 1081942016 263515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 264146 263515 310 324 0 263216 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1056584

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=626768/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1151380 CPUtime=342.2
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 289226 0 0 0 34086 134 0 0 25 0 1 0 208149564 1179013120 287214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 287845 287214 310 324 0 286915 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1151380

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=561296/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1217168 CPUtime=402.18
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 305670 0 0 0 40077 141 0 0 25 0 1 0 208149564 1246380032 303658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 304292 303658 310 324 0 303362 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1217168

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=506640/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1271420 CPUtime=462.16
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 319240 0 0 0 46067 149 0 0 25 0 1 0 208149564 1301934080 317228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 317855 317228 310 324 0 316925 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1271420

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=461200/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1316992 CPUtime=522.14
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 330641 0 0 0 52060 154 0 0 25 0 1 0 208149564 1348599808 328629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 329248 328629 310 324 0 328318 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1316992

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=418768/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1359052 CPUtime=582.13
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 341144 0 0 0 58053 160 0 0 25 0 1 0 208149564 1391669248 339132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 339763 339132 310 324 0 338833 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1359052

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=373776/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1403488 CPUtime=642.12
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 352262 0 0 0 64047 165 0 0 25 0 1 0 208149564 1437171712 350250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 350872 350250 310 324 0 349942 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1403488


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142864/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=882.05
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 88010 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1633896

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=942.03
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 94008 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1633896

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1002.01
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 100006 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1633896

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1061.99
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 106004 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1633896

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142992/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1121.98
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 112003 195 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1633896

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142992/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1181.97
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 118001 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1897776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1633896

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1241.95
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 123999 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1633896

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1301.94
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 129998 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1633896

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142864/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1361.91
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 135995 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1633896

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1421.9
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 141994 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1633896

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24606
/proc/meminfo: memFree=142928/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1481.88
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 147992 196 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1633896

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/72 24714
/proc/meminfo: memFree=141600/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1541.83
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 153986 197 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1633896

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24804
/proc/meminfo: memFree=142544/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1601.76
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 159979 197 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1633896

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24804
/proc/meminfo: memFree=142544/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1661.74
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 165977 197 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1633896

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24804
/proc/meminfo: memFree=142544/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1721.73
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 171975 198 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1633896

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24804
/proc/meminfo: memFree=142608/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1781.71
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 177973 198 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1633896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24804
/proc/meminfo: memFree=142672/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=1633896 CPUtime=1800.02
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194304 409972 0 0 0 179804 198 0 0 25 0 1 0 208149564 1673109504 407859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 408474 407859 310 324 0 407544 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1633896

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.91 2/66 24804
/proc/meminfo: memFree=142672/2055920 swapFree=4182924/4192956
[pid=24605] ppid=24603 vsize=0 CPUtime=1800.21
/proc/24605/stat : 24605 (bsolo3.0.17) R 24603 24605 24542 0 -1 4194308 409976 0 0 0 179804 217 0 0 25 0 1 0 208149564 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/24605/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.86
CPU time (s): 1800.28
CPU user time (s): 1798.04
CPU system time (s): 2.23566
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 1634300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.04
system time used= 2.23566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409976
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= 12
involuntary context switches= 3101

runsolver used 1.39379 second user time and 3.58345 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 30 17:35:37 UTC 2007

IDJOB= 433106
IDBENCH= 2258
IDSOLVER= 199
FILE ID= node27/433106-1177954536

PBS_JOBID= 4727695

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
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-5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433106-1177954536/instance-433106-1177954536.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-433106-1177954536 -o ROOT/results/node27/solver-433106-1177954536 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433106-1177954536/instance-433106-1177954536.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  20471e978018d28aed0ca16c46de4e3d

RANDOM SEED= 329712074

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1776944 kB
Buffers:         32284 kB
Cached:         168668 kB
SwapCached:       4068 kB
Active:          64828 kB
Inactive:       145688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776944 kB
SwapTotal:     4192956 kB
SwapFree:      4182924 kB
Dirty:            9008 kB
Writeback:           0 kB
Mapped:          15472 kB
Slab:            54464 kB
Committed_AS:  2311656 kB
PageTables:       1412 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= 66556 MiB

End job on node27 on Mon Apr 30 18:05:39 UTC 2007