Trace number 353644

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.16SAT (TO)-41 1800.27 1800.76

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

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/node65/watcher-353644-1176671743 -o ROOT/results/node65/solver-353644-1176671743 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353644-1176671743/instance-353644-1176671743.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: 1.01 1.01 1.00 3/64 12174
/proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=13980 CPUtime=0
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 143163923 14315520 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 3495 336 281 324 0 2003 0

[startup+0.0464119 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 12174
/proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=7276 CPUtime=0.04
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 693 0 0 0 4 0 0 0 18 0 1 0 143163923 7450624 661 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 1819 661 341 324 0 327 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7276

[startup+0.101411 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 12174
/proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=8652 CPUtime=0.09
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 1110 0 0 0 9 0 0 0 18 0 1 0 143163923 8859648 1078 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 2163 1078 421 324 0 671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8652

[startup+0.301424 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 12174
/proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=13328 CPUtime=0.29
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 2583 0 0 0 28 1 0 0 19 0 1 0 143163923 13647872 2551 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 3332 2552 709 324 0 1840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13328

[startup+0.701457 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 12174
/proc/meminfo: memFree=1762592/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=20824 CPUtime=0.69
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 5164 0 0 0 66 3 0 0 23 0 1 0 143163923 21323776 4571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 5206 4571 307 324 0 4275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20824

[startup+1.50152 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 12175
/proc/meminfo: memFree=1745432/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=20824 CPUtime=1.49
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 5164 0 0 0 145 4 0 0 25 0 1 0 143163923 21323776 4571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 5206 4571 307 324 0 4275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20824

[startup+3.10166 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 12175
/proc/meminfo: memFree=1745304/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=20264 CPUtime=3.1
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 6464 0 0 0 300 10 0 0 25 0 1 0 143163923 20750336 4450 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 5066 4450 312 324 0 4135 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20264

[startup+6.30192 s]
/proc/loadavg: 1.09 1.02 1.01 2/65 12175
/proc/meminfo: memFree=1712792/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=60100 CPUtime=6.29
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 16422 0 0 0 614 15 0 0 25 0 1 0 143163923 61542400 14408 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 15025 14408 312 324 0 14094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60100

[startup+12.7014 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 12175
/proc/meminfo: memFree=1654488/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=116784 CPUtime=12.69
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 30577 0 0 0 1245 24 0 0 25 0 1 0 143163923 119586816 28563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 29196 28563 312 324 0 28265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116784

[startup+25.5025 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 12175
/proc/meminfo: memFree=1577368/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=189280 CPUtime=25.49
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 48713 0 0 0 2516 33 0 0 25 0 1 0 143163923 193822720 46699 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 47320 46699 312 324 0 46389 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 189280

[startup+51.1026 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 12175
/proc/meminfo: memFree=1412504/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=354020 CPUtime=51.07
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 89894 0 0 0 5056 51 0 0 25 0 1 0 143163923 362516480 87880 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 88505 87880 312 324 0 87574 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 354020

[startup+102.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 12175
/proc/meminfo: memFree=1118744/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=646776 CPUtime=102.26
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 163095 0 0 0 10140 86 0 0 25 0 1 0 143163923 662298624 161081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 161694 161081 312 324 0 160763 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 646776

[startup+162.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 12175
/proc/meminfo: memFree=905752/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=860084 CPUtime=162.24
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 216418 0 0 0 16108 116 0 0 25 0 1 0 143163923 880726016 214404 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 215021 214404 312 324 0 214090 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 860084

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=808664/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=955628 CPUtime=222.23
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 240313 0 0 0 22093 130 0 0 25 0 1 0 143163923 978563072 238299 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 238907 238299 312 324 0 237976 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 955628

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=708312/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1056456 CPUtime=282.21
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 265512 0 0 0 28079 142 0 0 25 0 1 0 143163923 1081810944 263498 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 264114 263498 312 324 0 263183 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1056456

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=612824/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1151256 CPUtime=342.19
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 289195 0 0 0 34063 156 0 0 25 0 1 0 143163923 1178886144 287181 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 287814 287181 312 324 0 286883 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1151256

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=547288/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1216920 CPUtime=402.17
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 305631 0 0 0 40051 166 0 0 25 0 1 0 143163923 1246126080 303617 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 304230 303617 312 324 0 303299 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1216920

[startup+462.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 12175
/proc/meminfo: memFree=492888/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1271168 CPUtime=462.16
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 319176 0 0 0 46043 173 0 0 25 0 1 0 143163923 1301676032 317162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 317792 317162 312 324 0 316861 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1271168

[startup+522.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 12175
/proc/meminfo: memFree=447256/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1316992 CPUtime=522.14
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 330634 0 0 0 52034 180 0 0 25 0 1 0 143163923 1348599808 328620 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 329248 328620 312 324 0 328317 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1316992

[startup+582.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/65 12175
/proc/meminfo: memFree=404824/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1358928 CPUtime=582.13
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 341117 0 0 0 58027 186 0 0 25 0 1 0 143163923 1391542272 339103 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 339732 339103 312 324 0 338801 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1358928

[startup+642.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 12175
/proc/meminfo: memFree=359704/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1403488 CPUtime=642.12
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 352258 0 0 0 64020 192 0 0 25 0 1 0 143163923 1437171712 350244 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 350872 350244 312 324 0 349941 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1403488


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=942.03
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 93979 224 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1633896

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128920/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1002.02
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 99975 227 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1633896

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1062
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 105972 228 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1633896

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1121.98
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 111969 229 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1633896

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1181.97
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 117966 231 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1633896

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1241.95
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 123961 234 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1633896

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1301.94
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 129959 235 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1633896

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12175
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1361.92
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 135956 236 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1633896

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1421.91
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 141953 238 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1633896

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1481.89
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 147950 239 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1633896

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128856/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1541.87
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 153948 239 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1633896

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1601.86
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 159946 240 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1633896

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1661.84
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 165943 241 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1633896

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128728/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1721.82
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 171941 241 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1633896

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1781.81
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 177939 242 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1633896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12177
/proc/meminfo: memFree=128792/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=1633896 CPUtime=1800
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194304 409976 0 0 0 179758 242 0 0 25 0 1 0 143163923 1673109504 407861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 408474 407861 312 324 0 407543 0
Current children cumulated CPU time (s) 1800
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.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12178
/proc/meminfo: memFree=754072/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=0 CPUtime=1800.1
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194308 409977 0 0 0 179758 252 0 0 25 0 1 0 143163923 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12178
/proc/meminfo: memFree=754072/2055920 swapFree=4183928/4192956
[pid=12174] ppid=12172 vsize=0 CPUtime=1800.2
/proc/12174/stat : 12174 (bsolo3.0.16) R 12172 12174 11212 0 -1 4194308 409977 0 0 0 179758 262 0 0 25 0 1 0 143163923 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/12174/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.76
CPU time (s): 1800.27
CPU user time (s): 1797.59
CPU system time (s): 2.67959
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1634300

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

runsolver used 1.15182 second user time and 3.77842 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Sun Apr 15 21:15:43 UTC 2007

IDJOB= 353644
IDBENCH= 2258
IDSOLVER= 163
FILE ID= node65/353644-1176671743

PBS_JOBID= 4559912

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/353644-1176671743/instance-353644-1176671743.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-353644-1176671743 -o ROOT/results/node65/solver-353644-1176671743 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353644-1176671743/instance-353644-1176671743.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  20471e978018d28aed0ca16c46de4e3d

RANDOM SEED= 976500682

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1763064 kB
Buffers:         53992 kB
Cached:         160216 kB
SwapCached:       2984 kB
Active:         126808 kB
Inactive:       105248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763064 kB
SwapTotal:     4192956 kB
SwapFree:      4183928 kB
Dirty:            6628 kB
Writeback:           0 kB
Mapped:          22692 kB
Slab:            46764 kB
Committed_AS:  2161588 kB
PageTables:       1480 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= 66557 MiB

End job on node65 on Sun Apr 15 21:45:46 UTC 2007